11 resultados para Symbolic Execution
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:
Guimarães, in the northwest of Portugal, is a city of strong symbolic and cultural significance and its nomination by UNESCO as world heritage, in 2001, enlarged its tourism potential. In this paper we present a few results of a survey that envisaged capturing the Guimarães residents’ perceptions of tourism impacts and their attitudes towards tourists. Specifically, one analyzes the type of relationship that exists between some socio-demographic groups and the perceived tourism impacts, as well as their socio-characteristics and the existing level of interaction between residents and tourists. The survey was implemented between January and March 2010 to a convenience sample of 540 inhabitants of the municipality of Guimarães resulting in 400 questionnaires with complete data. For this, we made use of various statistical techniques. Using a factorial analysis, we can conclude that the three factors used explain 52.3% of the variance contained in the original variables obtained from the survey. By another side, using a logit model in the analysis and taking as the dependent variable the frequent or very frequent contact with tourists, we found that only the variables referred to perceived positive impacts of tourism, education and the place of residence in urban areas have shown to be statistically significant. We are aware of the multiple ways the issue of residents’ perceptions and attitudes towards tourism can be approached and of the difficulties to get useful policy-oriented insights. This paper is a step in that trail.
Resumo:
The city of Guimarães in Portugal is a place of strong symbolic and cultural significance, and the nomination of its historical center as a World Heritage Site in 2001 enhanced its tourism potential. This study presents the results of a survey conducted in 2010 and 2011 to capture the profile and motivations of tourists visiting Guimarães as a cultural tourism destination. The study addressed two main issues: whether males and females have similar or different preferences in choosing the city as their destination, and whether there are gender differences in the perception of the attributes of Guimarães. A better understanding of the gendered nature of the destination is a valuable cue for shaping products and services according to visitors’ preferences. The results suggest that both men and women are aware of the main elements responsible for the city’s World Heritage status. That the destination is a Heritage Site that also offers the opportunity to tour the region has a significant positive effect on male tourists’ choice of Guimarães. Regarding the perceived attributes of the city, results indicate minor gender differences with one exception: Women expressed more apprehension than men regarding the perceived security of the destination.
Resumo:
To date few studies have been undertaken in Portugal dealing with the attitudes, motivations, and profile of tourists who visit World Heritage Sites. Also, few studies have dealt with destination image (e.g., Agapito, Mendes & Valle, 2010; Lopes, 2011). As far as it is known, none have approached the issue of gender differences in the choice of a Portuguese heritage destination. Since cultural tourism destinations need to differentiate themselves from each other, appropriate market segmentation must be based on a deep understanding of the customers’ motivations and preferences. Keeping in mind results from empirical literature (e.g., Silberberg, 1995; Beerli & Martin, 2004; Richards, 2004; Pérez, 2009; Sheng, Shen, & Chen, 2008), gender seems to be a possible approach to market segmentation, whether for Guimarães or for other cultural tourism destinations around the world. Located in the north-western region of Portugal, Guimarães is a city of strong symbolic and cultural significance, and the nomination of its historical centre as a World Heritage Site in 2001 enhanced its tourism potential. This study analyses the possible relation between gender and attitudes and motivations towards a World Heritage Site, such as Guimarães. Additionally, the empirical approach used in the study tries to capture differences in the perceived attributes of the city. Commonalities and distinctions within and between groups of tourists, by focusing on the specific characteristic of gender, were analysed. The study addressed two main questions: first, whether males and females have similar or different preferences in choosing the city as their destination; and, second, whether there are gender differences in the perception of the attributes of Guimarães. A better understanding of the gendered nature of the destination is a valuable cue for shaping products and services according to visitors’ preferences.
Resumo:
The city of Guimar˜aes in Portugal is a place of strong symbolic and cultural significance, and the nomination of its historical center as a World Heritage Site in 2001 enhanced its tourism potential. This study presents the results of a survey conducted in 2010 and 2011 to capture the profile and motivations of tourists visiting Guimar˜aes as a cultural tourism destination. The study addressed two main issues: whether males and females have similar or different preferences in choosing the city as their destination, and whether there are gender differences in the perception of the attributes of Guimar˜aes. A better understanding of the gendered nature of the destination is a valuable cue for shaping products and services according to visitors’ preferences. The results suggest that both men and women are aware of the main elements responsible for the city’s World Heritage status. That the destination is a Heritage Site that also offers the opportunity to tour the region has a significant positive effect on male tourists’ choice of Guimar˜aes. Regarding the perceived attributes of the city, results indicate minor gender differences with one exception: Women expressed more apprehension than men regarding the perceived security of the destination.
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.