Requiescat in park: o Central Park de Nova Iorque sob a ótica do cinema Norte - americano

Taking into account the Environmental Restorative Theory (ERT) , created by Fre derick Law Olmsted in mid XIX ce ntury , according which, urban parks can contribute to solve problems arisen from crowding , particularly urban stress, we analize how the ERT arrived at XXI century, having as approach the evaluation of New York Central Park (CP). Considering that the CP and the cinema were born around at the same, we question if the North American cinema produced between 1960 and 2013 show the ideals, which engendered the CP. By answering this question we defend the hypothesis that, even though has existed adjusts and modificati ons in the CP plan through time, it kept reasonably faithful to the ERT premises, propitiating to the XX and XXI centuries cinema identify and bring forth the presence of the Olmsted’s Ideals in the present days. The thesis main objective was nonetheless u nderstand similarities and/or differences between the XIX century ideals (that gave birth to CP) and the way the cinema represents the present uses of the place, taking into account that the Olmstedian ERT proposal have survived to the context changes (soc ial, economic, political and cultural). Methodologically , we drew upon bibliographical and documental analysis to build the first chapters and to the cinema as analytical lenses to investigate the ERT. The results point that although the CP plan has kept r elatively intact and faithful to the ERT – with the presence of natural elements in the films (notably vegetation and water) – many of contemporary behaviors were not foreseen previously, especially in relation to sports practice, the massive feminine pres ence, as well as criminality.

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.

Assistência em cuidados paliativos a pessoa idosa na atenção primária a saúde

This study aims to understand the significance of palliative care for the elder health care professionals working in primary health care. Descriptive study of qualitative approach. Conducted in three health units of the Family and a core of support for Health, the Felipe Camarão neighborhood, District of Natal Health West, RN. Of the 25 participants, 19 are professionals of the Family Health Strategy and six of the Center for Support to Health, the majority being women, with minimal professional work experience, a year in primary health care. The study was approved by the Ethics Committee of the Federal University of Rio Grande do Norte, under CAAE no. 43895815.4.0000.5537. There were individual interviews between July and September 2015, with the use of questionnaire containing open and closed questions on the topic of study. Our results were recorded in MP4 and transcribed into written language, and analyzed using the open coding process medium in which the categories were interpreted and identified, followed by axial coding, where categories were developed and systematically related. Three categories emerged: enhancement of elder health professionals in palliative care, behavioral health professionals across care in palliative care in primary care and disjointed Meaning between palliative care and health professionals. The categories were interpreted and analyzed by the theoretical framework of social phenomenology of Alfred Schütz. Regarding the valuation of subjective perception of professionals, it is clear the issue of the complexity of multiple relationships through various aspects of his central task: focus a philosophy of the world's reality, namely a phenomenology of natural attitude; Before the professional behavior were identified: the discovery and depth of assumptions through the structure, and meaning in a common sense, and at the meaning of the disconnection between the health professionals-including that reality imminent can be represented by individuality special interest of the experience. It follows that health professionals understand there is a difficulty facing the assistance in palliative care to the elderly in primary care, and this difficulty, characterized by the complexity of social interactions across the joint teamwork. Although, I believe that the articulation between the teams, work and family, is essential for the subsequent improvement of care in palliative care favoring the health context surrounding the Elder.

Assistência em cuidados paliativos a pessoa idosa na atenção primária a saúde

This study aims to understand the significance of palliative care for the elder health care professionals working in primary health care. Descriptive study of qualitative approach. Conducted in three health units of the Family and a core of support for Health, the Felipe Camarão neighborhood, District of Natal Health West, RN. Of the 25 participants, 19 are professionals of the Family Health Strategy and six of the Center for Support to Health, the majority being women, with minimal professional work experience, a year in primary health care. The study was approved by the Ethics Committee of the Federal University of Rio Grande do Norte, under CAAE no. 43895815.4.0000.5537. There were individual interviews between July and September 2015, with the use of questionnaire containing open and closed questions on the topic of study. Our results were recorded in MP4 and transcribed into written language, and analyzed using the open coding process medium in which the categories were interpreted and identified, followed by axial coding, where categories were developed and systematically related. Three categories emerged: enhancement of elder health professionals in palliative care, behavioral health professionals across care in palliative care in primary care and disjointed Meaning between palliative care and health professionals. The categories were interpreted and analyzed by the theoretical framework of social phenomenology of Alfred Schütz. Regarding the valuation of subjective perception of professionals, it is clear the issue of the complexity of multiple relationships through various aspects of his central task: focus a philosophy of the world's reality, namely a phenomenology of natural attitude; Before the professional behavior were identified: the discovery and depth of assumptions through the structure, and meaning in a common sense, and at the meaning of the disconnection between the health professionals-including that reality imminent can be represented by individuality special interest of the experience. It follows that health professionals understand there is a difficulty facing the assistance in palliative care to the elderly in primary care, and this difficulty, characterized by the complexity of social interactions across the joint teamwork. Although, I believe that the articulation between the teams, work and family, is essential for the subsequent improvement of care in palliative care favoring the health context surrounding the Elder.

Caminhos de sobrevivência institucional: a gestão do Núcleo de Oficinas e Artes Profissionalizantes Laís Aderne

The object of this study is the organizational management, particularly the relational processenvironment organization focused on the survival of the space Department of the Arts and Crafts Mestre Raimundo Cardoso linked to the structural arrangement of the Liceu do Paracuri.. Aimed to understand the ways of organizational survival, from the actors' perception of the Center for Arts Career Workshops and Lais Aderne, with investments that discuss the theoretical models of management, institutional theory, cultural organization and institutionalization of public education requirement of the municipal light LDB. (1996) used a qualitative approach with a view to RICHARDSON (1985). The data generated were analyzed based on the technique of content analysis, the thematic type [categorical] Bardin (1977). The results indicate that the institutionalization of the arrangement of the Liceu do Paracuri emerges meet the legal requirement of the autonomy of municipal educational administration under the aegis of sustainable development, quality of life and basic education from the municipal Hélio Gueiros (1993-1996 ). More specifically the Center for Arts and Crafts Laís Aderne, the unit of analysis, the subjects said that this space is designed as a link between the demands of school and community searching through interdisciplinary activities educate and train manpower mainly potter. They did mention the existence of institutional factors (history, culture, habits, values) represent a strong socio-cultural element to the actors belonging to the core that guides behavior and actions of these individuals, fueled by a sense of hope, inclusion of future artisans in culture ceramist. It made a shared management, the existence of a unique work through cultural revival. However, over the course of time, the core is faced with dilemmas of managing transitions mainly regarding governmental, technological beyond endurance by the craftsmen for the optimization of their work. The conclusion - that the paths chosen for the organizational survival of the core meaning and guiding their actions in the systematization of conduct, representations, memories and traditions through habits and choices of consensus, the viewpoint of the actors