Incidence, morphology and morphometry of the foramen of Vesalius: complementary study for a safer planning and execution of the trigeminal rhizotomy technique

The foramen of Vesalius (FV) is located in the greater wing of the sphenoid bone between the foramen ovale (FO) and the foramen rotundum in an intracranial view. The FO allows the passage of the mandibular branch of trigeminal nerve, which is the target of the trigeminal radiofrequency rhizotomy. We analyzed its location, morphology, morphometry and interrelation among other foramina. 400 macerated adult human skulls were examined. A digital microscope (Dino-Lite plus(A (R))) was used to capture images from the FV. A digital caliper was used to perform the measurements of the distance between the FV and other foramina (FO, foramen spinosum and the carotid canal) in an extracranial view of the skull base. In the 400 analyzed skulls, the FV was identified in 135 skulls (33.75%) and absent on both sides in 265 skulls (66.25%). The FV was observed present bilaterally in 15.5% of the skulls. The incidence of unilateral foramen was 18.25% of the skulls of which 7.75% on right side and 10.5% on left side. The diameter of the FV was measured and we found an average value of 0.65 mm, on right side 0.63 mm and on the left side 0.67 mm. We verified that positive correlations were statistically significant among the three analyzed distances. This study intends to offer specific anatomical data with morphological patterns (macroscopic and mesoscopic) to increase the understanding of the FV features as frequency, incidence and important distances among adjacent foramina.

Physical consequences of falls in the elderly: a literature review from 1995 to 2010

In the last decade, population ageing has been registered as a global phenomenon. A relation exists between falling and ageing, since falling frequency increases significantly with age. In fact, one in three older adult falls annually. Although ageing is generically associated with decrease and degeneration of psychological and physical functions, it is still not common for the correct identification of risk factors to lead to a clinical prognosis of the elder being in risk of falling. Therefore, the goal of this review article is to identify, categorise and analyse typical ageing and fall factors mentioned in the literature as well as to quantify the number of times they were referenced. The research considered hundreds of publications, but analysis was then restricted to the 87 most pertinent articles written in English and published in journals or scientific magazines between 1995 and 2010. We concluded that falls among older adults can be characterised by the following: anatomic characteristics and physiological consequences of ageing; the pathologies that induce falls, which can be neurological, musculoskeletal, cardiovascular and other diseases; causes and risk factors of falls that can be behavioural, biological, environmental or socio-economic; type of physical consequences of falls, including fractures, bruises, injuries or other physical consequences; and strategies to prevent, mitigate or rehabilitate, which can be of a physical, environmental or behavioural nature.

Physical consequences of falls in the elderly: a literature review from 1995 to 2010

In the last decade, population ageing has been registered as a global phenomenon. A relation exists between falling and ageing, since falling frequency increases significantly with age. In fact, one in three older adult falls annually. Although ageing is generically associated with decrease and degeneration of psychological and physical functions, it is still not common for the correct identification of risk factors to lead to a clinical prognosis of the elder being in risk of falling. Therefore, the goal of this review article is to identify, categorise and analyse typical ageing and fall factors mentioned in the literature as well as to quantify the number of times they were referenced. The research considered hundreds of publications, but analysis was then restricted to the 87 most pertinent articles written in English and published in journals or scientific magazines between 1995 and 2010. We concluded that falls among older adults can be characterised by the following: anatomic characteristics and physiological consequences of ageing; the pathologies that induce falls, which can be neurological, musculoskeletal, cardiovascular and other diseases; causes and risk factors of falls that can be behavioural, biological, environmental or socio-economic; type of physical consequences of falls, including fractures, bruises, injuries or other physical consequences; and strategies to prevent, mitigate or rehabilitate, which can be of a physical, environmental or behavioural nature.

A Generic Library for GUI Reasoning and Testing

Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper presents a generic model for language-independent reverse engineering of graphical user interface based applications, and we explore the integration of model-based testing techniques in our approach, thus allowing us to perform fault detection. A prototype tool has been constructed, which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing.

Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

Abstract. Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineer an abstract model of a user interface directly from the GUI’s legacy code. We also present results from a case study. These results are encouraging and give evidence that the goal of reverse engineering user interfaces can be met with more work on this technique.

Models for the Reverse Engineering of Java/Swing Applications

Abstract. Interest in design and development of graphical user interface (GUIs) is growing in the last few years. However, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineering abstract GUI models directly from the Java/Swing code.

Use of performance information by local politicians: a field study in the Portuguese context.

This paper seeks to investigate the use of performance information by politicians and whether the institutional reforms on performance management (PM) have been operationalized by local politicians. Differences on the policy field and the organizational context have been analyzed. Our goal is contribute to knowledge on PM in the political sphere and understand the different responses of politicians to government change initiatives (mainly coercive pressures). Our findings show that local politicians support the notion that greater attention should be devoted to the use of performance information on the evaluation process. Nevertheless they are very skeptic in relation to effective execution of government reforms. There is an internal culture where agencies are embedded, strongly influenced by the high degree of politicisation among senior managers, that lead politicians to be more concerned about personal opinions and informal performance information rather than to use more sophisticated information (output and outcome measures). The institutional approach helps us to identify political responses to institutional pressures and understand the reasons for a reduced use in the Portuguese context.

Assessment of Laparoscopic Skills Performance: 2D Versus 3D Vision and Classic Instrument Versus New Hand-Held Robotic Device for Laparoscopy

Introduction and Objectives. Laparoscopic surgery has undeniable advantages, such as reduced postoperative pain, smaller incisions, and faster recovery. However, to improve surgeons’ performance, ergonomic adaptations of the laparoscopic instruments and introduction of robotic technology are needed. The aim of this study was to ascertain the influence of a new hand-held robotic device for laparoscopy (HHRDL) and 3D vision on laparoscopic skills performance of 2 different groups, naïve and expert. Materials and Methods. Each participant performed 3 laparoscopic tasks—Peg transfer, Wire chaser, Knot—in 4 different ways. With random sequencing we assigned the execution order of the tasks based on the first type of visualization and laparoscopic instrument. Time to complete each laparoscopic task was recorded and analyzed with one-way analysis of variance. Results. Eleven experts and 15 naïve participants were included. Three-dimensional video helps the naïve group to get better performance in Peg transfer, Wire chaser 2 hands, and Knot; the new device improved the execution of all laparoscopic tasks (P < .05). For expert group, the 3D video system benefited them in Peg transfer and Wire chaser 1 hand, and the robotic device in Peg transfer, Wire chaser 1 hand, and Wire chaser 2 hands (P < .05). Conclusion. The HHRDL helps the execution of difficult laparoscopic tasks, such as Knot, in the naïve group. Three-dimensional vision makes the laparoscopic performance of the participants without laparoscopic experience easier, unlike those with experience in laparoscopic procedures.

Distributed process execution in collaborative networks

Processes are a central entity in enterprise collaboration. Collaborative processes need to be executed and coordinated in a distributed Computational platform where computers are connected through heterogeneous networks and systems. Life cycle management of such collaborative processes requires a framework able to handle their diversity based on different computational and communication requirements. This paper proposes a rational for such framework, points out key requirements and proposes it strategy for a supporting technological infrastructure. Beyond the portability of collaborative process definitions among different technological bindings, a framework to handle different life cycle phases of those definitions is presented and discussed. (c) 2007 Elsevier Ltd. All rights reserved.

Oral health in the family health strategy: a change of practices or semantics diversionism

OBJECTIVE:To evaluate public health dentistry practices of two different family health models. METHODS: Qualitative study conducted with data obtained from focus groups consisting of 58 dentists working in the Family Health Strategy for at least three years between August-October, 2006. The Paideia Family Health Approach was used in the city of Campinas and the Oral Health Initiative as part of the Family Health Strategy was implemented in the city of Curitiba, Southeastern and Southern Brazil, respectively. Data was analyzed using the hermeneutic-dialectic method. Analysis indicators were employed to indicate backwardness, stagnation or progress in oral health practices effective from the implementation of the strategies referred. The indicators used were: work process; interdisciplinary approach; territorialization; capacity building of human resources; health promotion practices; and responsiveness to users' demands. RESULTS: There was progress in user access to services, humanization of health care, patient welcoming and patient-provider relationship. The results related to health promotion practices, territorialization, interdisciplinary approach and resource capacity building indicated a need for technical and operational enhancements in both cities. CONCLUSIONS: Both models have brought about important advances in terms of increased access to services and humanization of health care. Universal access to oral health at all levels of complexity was not achieved in both cities studied. Local health managers and oral health program coordinators must bring more weight to bear in the arena that defines public policy priorities.

Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

Finding an upper bound on the increase in execution time due to contention on the memory bus in COTS-based multicore systems

Contention on the memory bus in COTS based multicore systems is becoming a major determining factor of the execution time of a task. Analyzing this extra execution time is non-trivial because (i) bus arbitration protocols in such systems are often undocumented and (ii) the times when the memory bus is requested to be used are not explicitly controlled by the operating system scheduler; they are instead a result of cache misses. We present a method for finding an upper bound on the extra execution time of a task due to contention on the memory bus in COTS based multicore systems. This method makes no assumptions on the bus arbitration protocol (other than assuming that it is work-conserving).