This paper describes an underwater glider motion control system intended to enhance locomotive efficiency by reducing the energy expended by vehicle guidance and control.In previous work, the authors obtained an approximate analytical expression for steady turning motion as a regular Incontinence/Single Use perturbation from wings level flight.Usin
AADL along with its Behavior Annex is an architecture and behavior description language for safety-critical domains, e.g.avionics, aerospace, and defence.In order to formally analyze behavior properties of AADL models, it is necessary to transform the AADL language into formal languages supported by formal verification tools.Moreover, comprehensive
Although research misconduct is responsible for most retractions in health and life sciences from authors affiliated with Brazilian institutions, there are few studies evaluating retraction notices and research misconduct in the country.Understanding the form of research misconduct may share light on the weaknesses and strengths of individual, orga
ABSTRACT Introduction: in Brazil, trauma is responsible for 40% of deaths in the age group between 5 and 9 years old, and 18% between 1 and 4 years, and bleeding is the leading cause of preventable death in the traumatized child.Conservative management of blunt abdominal trauma with solid organs injury - started in the 60s - is the current world tr