7 resultados para Execution semantics
em CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.