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.

Uma análise da formação de professores de física do IFRN a partir da epistemologia de Ludwik Fleck

This study arises in the context of physics teacher training and aims, from the speech of the teacher trainer, identify possible pedagogical models and characterize thinking styles present in the course of licentiate in physics of IFRN using the epistemology of Ludwik Fleck. We classify our research as qualitative with an empirical nature, and for the analysis we chose the discursive textual analysis - DTA (MORAES, 2003). The locus of our research will be the licentiate in physics at the Federal Institute of Education, Science and Technology of Rio Grande do Norte - IFRN, Natal-Central Campus and the research subjects, a group of teacher trainers of this course. We interviewed ten teachers, being six from the group dedicated to physics and four from the group dedicated to didactics and pedagogy. From this design, we performed data acquisition consisted of: 1) semi-structured interview, 2) document analysis. On the data analysis, with the support of pedagogical trends that were observed in our study based on the perception of the similarities and differences between the ideas presented by teachers about: education and teaching; ideal teaching practice, teacher's role, learning conceptions, and according to the student and on the ideological thinking of these former teachers on the professional profile of graduates, we noted subsidies to identify evidences of the presence of three distinct thinking styles that interrelate with each other in a considerably intense way. The relevance of the study is presented in the understanding of thinking styles that participate in the dynamics of the course of teacher training in physics, and by consequence, elucidation of a problem pointed out a priori as motivating the research: the difficulty of communicative interaction on educational practices among teacher trainers. We bring Fleck's epistemology as a motivating possibility of dialogue and negotiation, setting thus an instrument of real change, towards the significance of teacher training in physics.

Padronização de testes para avaliação do estado de mania e potencial anti-maníaco de um agonista do receptor NOP

Bipolar disorder is characterized by mood impairment, alternating between mania/hypomania and depression, and its exact pathophysiology is already unknown. The treatment of bipolar disorder is based on prevention of the manic and depressive episodes using mood stabilizers. Nociceptin/orfanin FQ (N/OFQ) is an endogenous heptadecapeptide which binds as an agonist to NOP receptor, which is a G-coupled inhibitory receptor. N/OFQ and its receptor modulate a lot of functions in the organism, including emotional processes. It is known that the plasmatic concentration of N/OFQ is altered in patients in both phases depressive and manic of bipolar disorder and it is assumed that this system has a role on the etiology of this disorder. Concerning mania, the animal models used in research tend to focus in an unique aspect of the manic behavior, as hyperactivity or agressivity. In the 60’s, the hole board test was proposed, and it consists of an apparatus with holes where a behavior known as head-dippings is measured. High levels of head-dippings are suggestive of neophilia, while low levels can be characteristic of an anxious-like behavior. As the increase of exploratory and goal-directed behavior are characteristics of manic behavior, this test could help in mania research. Thus, this work was organized in 3 steps and aims to: (1) investigate the induction of a manic-like state promoted by ouabain, a Na+/K+-ATPase inhibitor, in the mouse open field test; (2) set up the hole board as a test to measure manic-like behaviors; and (3) investigate the N/OFQ effects in prevention of this kind of behavior on hole board. Male Swiss mice were used in this study, and they take part of only one of the described steps. Depending on the step performed, mice received one or more of the following treatments: (1) ouabain 10-6 , 10-5 , 10-4 , 10-3 or 10-2 M, intracerebroventricular (icv); (2) sodium valproate 300 mg/kg, intraperitoneal (ip); (3) sodium valproate 400 mg/kg, ip; (4) diazepam 1 mg/kg, ip; (5) methylphenidate 10 mg/kg, ip; and (6) N/OFQ 0,1 or 1 nmol, icv. The results suggest that hole board can be used to evaluate a manic state, through analysis of different animal behaviors. However, it was not possible to standard the model of Na+ /K+ -ATPase dysfunction through ouabain administration in mice. Moreover, the data suggest that N/OFQ, at the doses tested, has not affected the methylphenidate-induced mania-like behavior. Taken together, the results point to a new approach of manic research, through the hole board using. However, more studies are necessary in order to verify the role of N/OFQ system on bipolar disorder.

Avaliação da suplementação de vitamina E sobre a concentração de alfa-tocoferol no leite materno em mulheres com partos prematuros

The term vitamin E refers to a group of eight molecular compounds which differ in structure and bioavailability, and the RRR-alpha-tocopherol more biologically active form. The composition of vitamin E in breast milk undergoes variations during lactation, colostrum and milk richer in this micronutrient compared to transitional and mature milk. Newborns, especially premature infants are more susceptible to vitamin E deficiency and to prevent the damage caused by this deficiency has been proposed supplementation of neonates with this micronutrient, however, there is no consensus to carry out this intervention. Thus, maternal supplementation with RRRalpha-tocopherol in the postpartum period can be a good alternative to try to raise the alpha-tocopherol levels in breast milk and therefore provide the premature newborn adequate amounts of vitamin E. This study to evaluate the effect of supplementation with 400 UI acetate RRR-alpha-tocopherol in women with premature births, on the concentration of alpha-tocopherol in breast milk colostrum, transitional and mature. The study included 89 healthy adult women were enrolled in the control group (n = 51) and supplemented group (n = 38). Blood samples were collected and milk colostrum soon after birth (0h milk) twenty-four hours, new rate of colostrum milk was collected (24h milk). The transitional and mature milk were collected in seven days (7d milk) and thirty days (30d milk) after delivery, respectively. Supplementation in the supplemented group was held after the collection of blood and 0h milk. The alpha-tocopherol analyzes were performed by high-performance liquid chromatography. Serum levels of alpha-tocopherol less than 516 μg/dL were considered indicative of nutritional deficiency. The average concentration of alphatocopherol in the serum of the control group mothers was 1159.8 ± 292.4 μg/dL and the supplemented group was 1128.3 ± 407.2 μg/dL (p = 0.281). All women had nutritional status in vitamin E suitable. In both groups, it was observed that the concentration of vitamin E in colostrum milk was higher compared to transitional and mature milk. In the supplemented group, the concentration of alpha-tocopherol in the milk increased 60 % after supplementation, from 1339.3 ± 414.2 μg/dL (0h milk) to 2234.7 ± 997.3 μg/dL (24h milk). While the control group values in colostrum 0h and colostrum 24h were similar (p = 0.681). In the control group the follow-on milk alphatocopherol value was 875.3 ± 292.4 μg/dL and in the group supplemented 1352.8 ± 542.3 μg/dL, an increase of 35% in the supplemented group compared to control (p <0.001). In mature milk alpha-tocopherol concentrations between the control group (426.6 ± 187.5 μg/dL) and supplemented (416.4 ± 214.2 μg/dL) were similar (p = 0.853). Only 24h milk supplemented group answered the nutritional requirement of alpha-tocopherol (4 mg/day) of the newborn. These results show that the transport of this micronutrient for milk occurs in a controlled and limited way. Thus, the native vitamin E supplementation increases the concentration of alpha-tocopherol in colostrum and milk and transition does not influence the concentration in mature milk. Only the increase in colostrum milk was sufficient to meet the nutritional requirement of premature newborns.

Música e surdez: o ensino de música numa perspectiva bilíngue na escola regular

The present study focuses on the development of pedagogical activities in Music Teaching, aiming to enhance the accessibility of musical knowledge for both deaf and hearing students, using a bilingual approach in regular schools. Few studies address Music and Deafness, and those that do focus exclusively on the context of special education, and specifically the deaf student, which signals the urgent need for conducting research on this issue in the context of inclusion – empirically and carried out on school grounds. Therefore, we developed our study at a Natal City Public Elementary school, in a class of 6th graders, comprised of 37 students, 3 of whom were deaf. The objective of the study was to develop a proposal for a pedagogical intervention in Music Teaching, using a bilingual approach, with deaf and hearing students, in the context of regular school classes. The research is based on the theoretical framework presented in Penna (2010), Brito (2001) and Fonterrada (2008), with reference to music education, and Haguiara-Cervellini (2003), Finck (2009) and Louro (2006), with reference to inclusion in teaching music. To achieve this objective, we developed a proposal for intervention based on the methodological dictates of intervention research, presented in studies by Jobim and Souza (2011) in light of the theoretical concepts posited by Mikhail Bakhtin, which assert that knowledge is produced through interaction between subjects, dialogically and through alterity. This methodology was carried out in pedagogical workshops, conceived as spaces for the construction of knowledge, mobilizing participants to engage in ludic activities of musical experimentation. Content covered in these workshops focused on Pulse and Rhythm – basic elements in music education – demonstrating that awareness about and sensitivity to these elements is not limited to the auditory sensory perception of the student, once the entire body is used as an agent of acquisition and expression. Thus, we began the trajectory of our research from the starting point of the identification and perception of „Pulse‟, using one‟s own body and the body of classmates, representing it through physical expressions and movement. Subsequently, this Pulse was extended from the body to a percussion instrument, and was then represented graphically as lines of rhythm, constituting a process of reading and writing; ultimately the intervention culminated in the class presentation with the musical group De Pau e Lata (Stick and Can). In our analysis, faced with the challenges and possibilities presented in our study, findings showed satisfactory results with regard to the participation of all of the students: completing the activities proposed in the class, asking questions when they did not understand, positioning themselves when they thought it necessary, expressing opinions about the work completed, evaluating the workshops given, interacting, helping in the activities, constructing knowledge collaterally, experimenting and experiencing musical elements through the body in activities that applied to both groups (deaf and hearing) in the one class. These indications elucidate the viability of teaching music to deaf and hearing students, using a bilingual approach, and based on experiences with the body and communicative and cultural specificities involved, confirming, as well, the role of Sign Language as a mediator in the teaching/learning process.

Behavioural profiles of captive capuchin monkeys (Sapajus spp.): analyses at group and individual levels

The use of behavioural indicators of suffering and welfare in captive animals has produced ambiguous results. In comparisons between groups, those in worse condition tend to exhibit increased overall rate of Behaviours Potentially Indicative of Stress (BPIS), but when comparing within groups, individuals differ in their stress coping strategies. This dissertation presents analyses to unravel the Behavioural Profile of a sample of 26 captive capuchin monkeys, of three different species (Sapajus libidinosus, S. flavius and S. xanthosternos), kept in different enclosure types. In total, 147,17 hours of data were collected. We explored four type of analysis: Activity Budgets, Diversity indexes, Markov chains and Sequence analyses, and Social Network Analyses, resulting in nine indexes of behavioural occurrence and organization. In chapter One we explore group differences. Results support predictions of minor sex and species differences and major differences in behavioural profile due to enclosure type: i. individuals in less enriched enclosures exhibited a more diverse BPIS repertoire and a decreased probability of a sequence with six Genus Normative Behaviour; ii. number of most probable behavioural transitions including at least one BPIS was higher in less enriched enclosures; iii. proeminence indexes indicate that BPIS function as dead ends of behavioural sequences, and proeminence of three BPIS (pacing, self-direct, active I) were higher in less enriched enclosures. Overall, these data are not supportive of BPIS as a repetitive pattern, with a mantra-like calming effect. Rather, the picture that emerges is more supportive of BPIS as activities that disrupt organization of behaviours, introducing “noise” that compromises optimal activity budget. In chapter Two we explored individual differences in stress coping strategies. We classified individuals along six axes of exploratory behaviour. These were only weakly correlated indicating low correlation among behavioural indicators of syndromes. Nevertheless, the results are suggestive of two broad stress coping strategies, similar to the bold/proactive and shy/reactive pattern: more exploratory capuchin monkeys exhibited increased values of proeminence in Pacing, aberrant sexual display and Active 1 BPIS, while less active animals exhibited increased probability in significant sequences involving at least one BPIS, and increased prominence in own stereotypy. Capuchin monkeys are known for their cognitive capacities and behavioural flexibility, therefore, the search for a consistent set of behavioural indictors of welfare and individual differences requires further studies and larger data sets. With this work we aim contributing to design scientifically grounded and statistically correct protocols for collection of behavioural data that permits comparability of results and meta-analyses, from whatever theoretical perspective interpretation it may receive.

Petrologia e geologia estrutural do plutão granítico Barcelona, província Borborema, NE do Brasil

The Dissertation aimed to advance the geological knowledge of the Barcelona Granitic Pluton (BGP). This body is located in the eastern portion of the Rio Grande do Norte Domain (RND), within the São José do Campestre subdomain (SJC), NE of the Borborema Province. The main goal was to understand the geological evolution of the rocks of the pluton and the tectonic setting of magma generation and its emplacement. The BGP has an assumed Ediacaran age and outcropping area of approximately 260 km2, being composed of three varied petrographic/textural facies: (a) porphyritic biotite monzogranite; (b) dykes and sheets of biotite microgranite; (c) dioritic to quartz-dioritic enclaves. The rocks of the BGP have the following structures: (i) a NE-SW and NW-SE directed magmatic fabric (Sγ), accompanied by a magmatic lineation (Lγ) with gentle dip to NE-SW and NW-SE. In the southern portion, there is the concentric pattern of this foliation with medium to high dip, and (ii) a solid state foliation, in part mylonitic (S3+), mainly on the eastern edge with slightly plunging to west. The integration of structural and gravity data permitted to interpret the emplacement of the BGP as controlled by the transcurrent shear zones systems Lajes Pintadas (LPSZ) and Sítio Novo (SNSZ), both of dextral strike-slip kinematics. Mineral chemistry data show that the amphibole form the porphyritic biotite monzogranite facies is hastingsite with moderate Mg / (Mg + Fe) ratios, indicating crystallization under moderate to high ƒO2 and cristallization pressure of around 5.0-6.0 kbar. The biotite tends to be slightly richer in annite molecule and plots in the transitional field from primary biotite to reequilibrated biotite. In discriminant diagrams of magmatic series, the biotite behave like those of subalkaline affinity, consistent with the potassium calc-alkaline / sub-alkaline geochemical affinity of the hosting rock. The opaque minerals are primarily magnetite, with some crystals martitized to hematite indicating relatively oxidizing conditions during magma evolution that originated the BGP. Zoning in plagioclase, K-feldspar and allanite crystals suggest fractional crystallization process. Lithogeochemical data suggest that the facies described for the BGP have similar magma source, usually plotting in the fields and trends of the subalkaline / high potassium calc-alkaline series.

Trajetórias construídas em caminhos (não) planejados: os sentidos formativos da escrita no estágio supervisionado obrigatório do curso de Pedagogia da UFMA

This research is taking as study aim the mediatory teaching action, its involvement with educational guidance reports of Supervised Obligatory Student Teaching in curriculum managing by formal teachers is more related to the form as each one understands the mediatory action of the pedagogy teaching activities than to the adherence of a common project, that is: the Course Pedagogy Project (CPP). Thus, our aim is meant to understand the attribution from the formal teachers to curriculum managing process, having as forms its action in the supervised obligatory student teaching at UFMA Pedagogy Course. On one side, we look for traces about established relation by them between their professional experience and their report guidance in current course. On the other hand, a research concern comes up to us on the forming meaning of the report writing by UFMA Pedagogy Teachers Course. In order to do that, we used interviews interpreted by means of methodology understanding interview. Starting from oral speeches, we understand that the managing formation in this course is linked to postures not identical and adjustable to conditions the teachers have access. We identify a curriculum subject group and a group that by their conformation adapted is considered as object group of curriculum practices. As for the mediatory action in writing formation process, we noticed that they contribute to teacher information at UFMA in the reflexive critic perspective and or in the bureaucratic reproduction perspective. The report writing at the end of the Supervised Obligatory internship is characteristic of quality quantity assessment display, as bureaucratic process and as reflexive display and didactic pedagogy activity intervention. We defend that the teachers´ guidance under critical reflections, where the writing has a social role, must overcome individual dimension, they must be debated as collective and organized practices. We hope to contribute with such a research on teacher mediatory actions and their implementing with help of reporting writing guidance in the Supervised Obligatory Student Teaching in the Curriculum Teacher managing process.

Contabilidade Ambiental - Mensuração e Divulgação dos Gastos Ambientais

Relatório de estágio, Mestrado, Contabilidade e Fiscalidade, Instituto Politécnico de Santarém, Escola Superior de Gestão e Tecnologia, 2016

Verificación de algoritmos y estructuras de datos en Dafny

La verificación formal de un programa es la demostración de que este funciona de acuerdo a una descripción del comportamiento esperado en toda posible ejecución. La especificación de lo deseado puede utilizar técnicas diversas y entrar en mayor o menor detalle, pero para ganarse el título de formal esta ha de ser matemáticamente rigurosa. El estudio y ejercicio manual de alguna de esas técnicas forma parte del currículo común a los estudios de grado de la Facultad de Informática y del itinerario de Ciencias de la Computación de la Facultad de Ciencias Matemáticas de la Universidad Complutense de Madrid, como es el caso de la verificación con pre- y postcondiciones o lógica de Hoare. En el presente trabajo se explora la automatización de estos métodos mediante el lenguaje y verificador Dafny, con el que se especifican y verifican algoritmos y estructuras de datos de diversa complejidad. Dafny es un lenguaje de programación diseñado para integrar la especificación y permitir la verificación automática de sus programas, con la ayuda del programador y de un demostrador de teoremas en la sombra. Dafny es un proyecto en desarrollo activo aunque suficientemente maduro, que genera programas ejecutables.

Sobre los Números Normales de Borel

Este trabajo contiene los principales resultados sobre Números Normales de Borel, como son los teoremas sobre su medida en el intervalo unitario y algunas caracterizaciones y definiciones alternativas. Se exponen también los ejemplos más conocidos, curiosidades y resultados necesarios en relación con las Leyes de los Grandes Números y la representación en expansión b-ádica.

Gestão de Recursos Humanos no Terceiro Setor: O Caso das Instituições Particulares de Solidariedade Social

O presente trabalho tem como objetivo geral estudar a gestão de recursos humanos (GRH) no terceiro setor, focando-se especificamente nas Instituições Particulares de Solidariedade Social (IPSS). Estas organizações têm vindo a demonstrar um papel cada vez mais relevante nas comunidades em que se inserem, pela sua missão em prestar serviços de cariz social e pela atual relevância como entidades empregadoras. A diversidade presente nas IPSS ao nível da estrutura, funcionamento, dimensão, organização e dinâmicas internas, proporciona o estudo e reflexão das especificidades na GRH. Para isso, abordam-se um conjunto de aspetos: i) diferenças entre meio empresarial e terceiro setor na GRH; ii) implicações da diversidade de respostas sociais e suas especificidades na gestão de pessoas; iii) o papel do Instituto de Segurança Social e as implicações legais na gestão de pessoas; iv) a localização geográfica e acesso a recursos humanos qualificados; v) a perspetiva das IPSS sobre os recursos humanos; vi) o perfil profissional dos colaboradores das IPSS; vii) práticas quotidianas na gestão de recursos humanos nas IPSS; viii) características da GRH nas IPSS (administrativa ou estratégica); ix) responsáveis pela GRH nas IPSS; x) o papel dos órgãos sociais na GRH; xi) profissionalização versus voluntariado; xii) a GRH, certificação e qualidade; xiii) as tendências do terceiro setor na gestão de pessoas. Foi utilizada uma metodologia qualitativa e aplicada a técnica de entrevista para recolher o conhecimento, experiências e perspetivas de diferentes interlocutores do terceiro setor, dirigentes, técnicos superiores, diretores de serviço, investigadores e representantes nacionais e distritais das IPSS. Da sistematização e análise dos dados recolhidos retiraram-se várias conclusões. As pessoas são consideradas o recurso mais importante para estas organizações, pela natureza social e humana das atividades desenvolvidas, prestadas por pessoas e destinadas a pessoas. Neste sentido, é demonstrada a importância do potencial humano aquando do recrutamento e seleção, pela primazia de requisitos como o relacionamento interpessoal em detrimento das qualificações. O perfil profissional característico das IPSS reconhece a importância da polivalência, disponibilidade, comprometimento, confiança, proximidade afetiva, voluntarismo e sentido de missão dos colaboradores, os quais tendem a ser são vistos como investimento tanto quanto reúnam estes aspetos; caso contrário podem ser encarados como custo. Quanto à acessibilidade a recursos humanos, surgem diferentes modalidades, consoante fatores de localização, dimensão, formação e estrutura organizacional, bem como o fenómeno da fuga de mão de obra, indício da dificuldade em captar e reter recursos humanos. O modelo de GRH nas IPSS é de cariz tradicional, caracterizado por uma gestão porimproviso com diferentes níveis de sensibilidade e capacidade das IPSS, no que concerne à implementação de processos de GRH, tais como sistemas de progressão na carreira, recrutamento interno e sistemas de avaliação de desempenho. Quanto aos aspetos da motivação e satisfação profissional, é assumida a importância da proximidade e apoio aos colaboradores, indicativos de um sistema de recompensas informal. É percetível a resistência na aplicação de técnicas de desenvolvimento organizacional, comprovada pela limitação na formação dos quadros de colaboradores. No entanto as IPSS são confrontadas com a rigidez dos instrumentos legais. A responsabilidade pela GRH é mais ou menos partilhada entre a direção técnica e os órgãos sociais, condicionada pelo estilo de liderança e relação de confiança entre si, em norma, pouco clara quanto aos papéis e funções desempenhadas. Por fim, é percebida a necessidade de coexistência de uma gestão profissionalizada e de direções voluntárias mais capacitadas e sensibilizadas para o desenvolvimento de metodologias e estratégias de gestão de pessoas, adaptadas às especificidades das IPSS. Este trabalho pretende contribuir com um espaço de reflexão para a elaboração de respostas mais eficazes e inovadoras que proporcionem o desenvolvimento organizacional, face às necessidades e transformações do terceiro setor. / This work main objective is the study of human resource management (HRM) in the third sector. It is focused specifically on Instituições Particulares de Solidariedade Social [Private Institutions for Social Solidarity] (IPSS). These kind of organizations have demonstrated an increased value in the communities they are inserted in, by providing social care services and by generating new jobs in the local communities. The study and reflection of HRM specificities is based on the variety in the structure, the purpose, the size, the internal organization and the dynamics of the different IPSS. For this purpose we explored the following aspects : i) the differences between business community and the third sector in HRM; ii) the implications of social responses diversity in people management; iii) the role of the National Insurance Institute and the legal impact on people management; iv) the geographic location and the IPSS access to skilled human resources; v) the understanding of IPSS on human resources; vi) the professional profile of IPSS employees; vii) the daily practices in human resource management on the IPSS; viii) the characteristics of HRM in IPSS (managerial or strategic); ix) who is responsible for HRM in IPSS; x) the role of executive board in HRM; xi) professionalization versus voluntary work; xii) HRM, quality and certification; xiii) the third sector trends in people management. The qualitative method and the interview technique were applied in order to gather knowledge, experiences and perspectives from several sources such as, different partners of the third sector, managers, service directors, technicians, researchers and national and local IPSS representatives. The results indicate several conclusions. Firstly the human resources are the most important resource of IPSS organizations due to the social nature of the services provided by them but also the importance of, the individual and social, skills required for these activities that are provided by people and are directed to people. This demonstrates the importance of interpersonal skills over professional qualifications during recruitment and selection. The IPSS recognize in their professionals the importance of versatility, availability, commitment, confidence, emotional proximity, voluntarism and sense of mission. If an employee fulfills these requirements, is considered an investment; otherwise might be seen as a cost. Regarding the accessibility of IPSS to qualified human resources, we consider different models, depending on location, size and training and organizational structure as well as the phenomenon run of hand labor, defined as the index of difficulty in capturing and retaining human resources. The model of HRM in IPSS is traditional in its nature and is characterized by management based on improvisation at different levels, regarding the implementation ofHRM processes such as career advancement systems, internal recruitment and performance evaluation. In regards to motivation and job satisfaction, it is valued the proximity and the support to the employees, showing therefore an informal system of rewards. There is a noticeable resistance to the application of organizational techniques which is demonstrated by controlling the formation of employees. However the IPSS are required to face the rigidity of legal instruments. The responsibility for HRM is shared between the technical direction and the management bodies, which depends on leadership style and mutual trust, and is generally unclear about the roles and duties performed. Finally, it becomes evident the need for coexistence between a professional management and a voluntary management, more capable and more sensible to the development of methods and strategies for people management, specifically adapted to each IPSS. This paper aims to contribute with space for reflection in the development of more effective and innovative responses for the organizational development, given the needs and transformations of the third sector.

Software educativo de álgebra para el noveno año de educación general básica 2

El presente trabajo de graduación denominado Software Educativo de álgebra para el Noveno Año de Educación General Básica 2, está basado en los contenidos de la reforma curricular ecuatoriana de álgebra para el noveno año. Se ha diseñado una página web y un texto guía el cual contiene la base teórica de: Potenciación, Radicación, Ecuaciones e Inecuaciones; con sus respectivos enunciados, leyes, teoremas, fórmulas, y ejercicios resueltos. Se pretende que el software educativo, haga el papel de profesor virtual. Para la creación del software se utilizaron los programas: MACROMEDIA FLASH 8 y MICROSOFT FRONTPAGE 2003, mediante los cuales he diseñado y publicado en la página web animaciones que contienen la resolución de ejercicios, problemas y aplicación de teorías. Para la estructura general de la página web, se utilizaron plantillas preestablecidas que facilitan el manejo de menús y marcos. Las animaciones flash que se encuentran en la página web, ayudarán a despertar el interés de los estudiantes en prestar atención y sobre todo a desarrollar capacidades, destrezas, competencias y creatividad en el estudio de Álgebra.

Dise?o de un libro de comics para la ense?anza del movimiento uniforme y el movimiento naturalmente acelerado propuesto por Galileo

Se reconoce que el mecanicismo y la rigidez con la cual se est? ense?ando la f?sica en las escuelas, el cual deja un aprendizaje tan solo de f?rmulas y no de relaciones cualitativas. Para esto se considera el dise?o de un c?mic como material que brinda enormes posibilidades para la ense?anza y el aprendizaje de las ciencias y de la f?sica en particular. Se plantea dise?ar una propuesta para la ense?anza del movimiento uniforme y movimiento natural acelerado a trav?s de un comic y para esto se realizara la revisi?n de la tercera jornada del libro ?Dialogo Entre Dos Nuevas Ciencias? en donde se tratan los teoremas y axiomas del movimiento uniforme y el movimiento natural acelerado de una manera cualitativa y dialogada a trav?s de unos interlocutores.

Entre o cartão-postal e a cidade real: um estudo sobre paisagem e produção imobiliária em Natal/RN

Recent studies concerning the landscape have investigated the most important activities that contribute for its modification and have tried to better understand the society through the marks left by its quotidian. It is understood that singular landscapes constitute the cultural patrimonies of the cities, once they are part of the daily life of the citizens and are present in their social representations. Some contemporary authors defend the preservation of the natural and urban landscape trying, specially, to keep its importance for the local population. Natal is a city where the ambient qualities are well defined and known by the beauty of the area where it is located. Situated just between a river and the sea, the city grew following its geographic characteristics. The Potengi River, the Atlantic Ocean and the vast dunes ecosystem represented natural limits to the urban expansion; at the same time they have favored the development of a landscape pattern marked by the dialectic between the natural elements and the human interventions. However, this relationship changed after the intensification of the high rising development process that took place since the 1960s. The urban legislation tried to preserve the features of the local landscape delimiting Areas for Controlling Building High , destined to protect the scenic value of some parts of the city. On the other hand, the civil construction sector has made constant pressure in sense to abolish or to modify this legal instrument, aiming profits that have increased, in the 1990s, because of the consumption and the qualification of the urban space for tourist activities. It is necessary the raising of new elements to stimulate the quarrel about the landscape preservation, the process of the urban space production and the best way for the legislation implementation. This work tries to raise elements about the subject at local level, in sense to use Natal City experience to contribute for the formulation of indicators to raise the question about the lack of measure for subjective values, for example the cultural and affective value of the landscape. The natural elements inserted in the urban profile, represent strong visual references and supply identity to the town; they are part of the collective imaginary and are detached in the social context of the city. Then, why the preservation of the landscape, that estimates the improvement in the quality of life, is not enough to justify the controlling building high already previewed as part of Natal City Legislation? These questions send us to the approach of the landscape, as a community patrimony, alerting that some of its significant esthetics attributes must be preserved as a legacy for the future generations