O exame neurológico do recém-nascido pré-termo não complicado: avaliação pela escala de saint-anne dargassies, e screening pelas escalas de amiel-barrier-shnider modificada e prechtl ao termo

This study compared the evolution of posture, tone and neonatal reflexes in preterm infants without clinical or neurological complications before and after the age of term using the scale of Saint-Anne Dargassies. To reach the age of the term, was applied Scales Amiel-Barrier-Shnider changed and the Prechtl, traditionally used in the evaluation of term newborns, looking for possible changes to the term, while also evaluating the sensitivity of these scales. We studied 20 non-complicated preterm infants, both sexes aged 32-36 weeks, born in Januário Cicco Maternity School, from August 2006 to August 2007. Was applied to the scale of Saint-Anne Dargassies every two weeks until reach the term, and the range of Amiel-Barrier-Shnider changed and the Prechtl, after reaching 39 and 41 weeks. The evaluation result of articular angles was subjected to the test of Friedman ANOVA, significant differences between the three measurements of the scale of Saint-Anne Dargassies only for angles heel-to-ear to term. Neonatal reflexes changed in the period of prematurity were the cardinal points reflexes, Moro reflexes, cross extensions reflex and the automatic walking reflexes. The posture was the parameter which remained unchanged in the three scales. Considering a significance level of 5% by applying Cochran Q Test, it was found that the scale of Saint-Anne Dargassies is more sensitive to detect suspects. With this methodology and the results it was possible to prepare a manuscript: The neurological examination of non-complicated preterm newborns using the Sanit-Anne Dargssies Scale from birth to term: normal or altered? In which we describe that despite the good clinical condition, the RNP show changes in tone and neonatal reflexes. These data are important because though non-complicated RNP need further attention its maturation process, enabling us to detect and intervene early. With these results we can build a scale simplified neurological assessment made with items found most altered during the application of three scales. The development of this project has a multidisciplinary approach, because it involved Paediatric Neurologist, Physiotherapist and Neonatologist, as recommended by PPGCSA

Morfologia em alta resolução espacial de estrelas de tipo Mira e R Corenae Borealis

Mira and R Coronae Borealis (R CrB) variable stars are evolved objects surrounded by circumstellar envelopes (CSE) composed of the ejected stellar material. We present a detailed high-spatial resolution morfological study of the CSE of three stars: IRC+10216, the closest and more studied Carbon-Rich Mira; o Ceti, the prototype of the Mira class; and RY Sagitarii (RY Sgr), the brightest R CrB variable of the south hemisphere. JHKL near-infrared adaptive optics images of IRC+10216 with high dynamic range and Vband images with high angular resolution and high depth, collected with the VLT/NACO and VLT/FORS1 instruments, were analyzed. NACO images of o Ceti were also analyzed. Interferometric observations of RY Sgr collected with the VLTI/MIDI instrument allowed us to explore its CSE innermost regions (»20 40 mas). The CSE of IRC+10216 exhibit, in near-infrared, clumps with more complex relative displacements than proposed in previous studies. In V-band, the majority of the non-concentric shells, located in the outer CSE layers, seem to be composed of thinner elongated shells. In a global view, the morphological connection between the shells and the bipolar core of the nebulae, located in the outer layers, together with the clumps, located in the innermost regions, has a difficult interpretation. In the CSE of o Ceti, preliminar results would be indicating the presence of possible clumps. In the innermost regions (.110 UA) of the CSE of RY Sgr, two clouds were detected in different epochs, embedded in a variable gaussian envelope. Based on a rigorous verification, the first cloud was located at »100 R¤ (or »30 AU) from the centre, toward the east-north-east direction (modulo 180o) and the second one was almost at a perpendicular direction, having aproximately 2£ the distance of the first cloud. This study introduces new constraints to the mass-loss history of these kind of variables and to the morphology of their innermost CSE regions

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy