Economia solidária e relações de gênero na agricultura familiar: o caso do grupo produtivo mulheres decididas a vencer

The Women s experiences in the private sphere under the work s field changes the family relationship allowing them more freedom, autonomy and independence. The inequalities, socially built, homemade women s obligations results in discrimination, difficult to insert and recovery on female s job in a job s market, including low salary if compared with men s and difficult to services access in addiction a difficult daily life and in domestic sphere. The women s organisation in productive groups or economically solidary enterprises (ESE) torn possible the social economically organisations and politicians to promote deep changes in a domestically e socially relationship, positioning, for example, women s in publics areas and in the rout of emancipation. The objective of this search are understand men and women relationship in the family agriculture s field starts insert women in economically solidary enterprises (ESE) on Mulunguzinho s settlement (Mossoró/RN). The theoretical framework is inspirited Economical Solidary concept kind division s job and women s empowerment. This search had a qualitative character and exploration through case s study on Mulheres decididas a vencer s group. The secondary information was create through theoretical framework and information collected through semi-structured interviews based in interviews applied for women and yours respective husbands by criterion for women participation on productive activities of beekeeping culture of goat and sheep. This study turns possible conclude that the women s participations in productive groups in solidary economical change significantly their life and their family life. The group s organisations process, the training was received, the collective production, the marketing and the mobilized participation to move it all was fundamental for women share with their families partners some homemade and take care with the children. This finding confirm a different aspect not economical in solidary economy overcoming the monetary value in associative relationship observing principally individuals well-being and the concern with the form of reproduction this way of life in the associated

Efeito do exercício físico matinal realizado sob luz solar no ciclo vigília-sono de adolescentes

The sleep onset and offset delay at adolescence in relation to childhood. Besides biological causes, some external factors as academic obligations and socialization contributes, increasing the burden of school and socialization. However, morning school schedules reduce sleep duration. Besides light strong effect, studies in humans have indicated that exercise influence circadian synchronization. To evaluate the effect of the morning exercise under sunlight on sleep-wake cycle (SWC) of adolescents, 160 high school students (11th year) were exposed to the following conditions: lesson in usual classroom (Group C), lesson in swimming pool exposed to sunlight (Group E), half of them carrying through physical activity (EE) and the other resting (EL). Each experimental group met two stages: assessment of SWC 1 week before and 1 week during the intervention, which was held in Monday and Wednesday between 7:45 and 8:30 am. In the baseline, there were applied the questionnaires "Health and Sleep" and cronotype evaluation (H & O). In addition, students were evaluated before and during the intervention by "Sleep Diary", "Karolinska Sleepiness Scale" (KSS), Psychomotor Vigilance Test (PVT) and actimetry. During the intervention, there was a delay in wake-up time on the weekend and a trend to greater sleep duration on week for the three groups. At the weekend, only the groups EE and EL increased sleep duration. There was no difference in bedtime, irregularity of sleep schedules and nap variables. The sleepiness showed a circadian pattern characterized by higher alertness levels at 11:30 am and sleepiness levels at bedtime and wake-up time on week. On weekends there were higher levels of alertness in these times. In the days of intervention, there was an increase of sleepiness at 11:30 am for groups EL and EE, which may have been caused by a relaxing effect of contact with the water of the pool. In addition, the group EE showed higher alert levels at 14:30 pm on Monday and at 8:30 am in the Wednesday, possibly caused by exercise arousal effect. The reaction time assessed through the TPV did not vary between the stages. The sleep quality improved in the three groups in the second stage, making impossible the evaluation of intervention effect. However, the sleep quality increased on Monday and Tuesday only on the group EE. From the results, it is suggested that the intervention promoted effects on the sleepiness at some day hours. In other SWC variables there were no effects, possibly due to a large SWC irregularity on weekends. Thus, the evaluation of higher weekly frequency EF is necessary, since only two days were insufficient to promote greater effect on adolescents SWC

Protagonismo juvenil :um estudo da particição social dos adolescentes nos programas de saúde sexual e reprodutiva em Natal/RN

The study does a analysis about the social participation of teenagers in the healthy sexual and reproductive Programs in Natal/RN city, in the perspective of Protagonism Juvenile, that presuppose the teenager condition like main actor and subject of the right and obligations. In front of this, the aim this search is to discuss and analyse the juvenile protagonism and theirpolitic , pedagogics and soscial means, to go off on to the participation of teenagers like social subject in the healthy sexual and reproductive Programs in Natal/Rn city. The way to the teoric reflexion this study privileged the approach historic-member, being assisted by quality methodology, to making useful an interview semistructured with teenagers, families and co-ordinators of the Programs. The social participation of the teenagers, in these programs, reaffirm itself like a proposal politic-pedagogical that contribute to the development of competences of the teenagers and improvement of habilities in the treatment of the questions about heathy sexual and reprodutive,valorizing the condition of the social subjects, in the perspective of the protagonism juvenile. The relevance this study to be detached by the contribution in the building and implementation of the programs politic-pedagogical, that affirm to the teenagers the condition of the right and obligations

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

Histórias de adoção tardia: considerações a partir da analítica existencial heideggeriana

Adoption establishes a filiation status, resulting from a legal act, which attributes to the child and parents the rights and obligations associated with such condition, being legally irrevocable. Nevertheless, in practice there are adoptions that do not concretize and the child returns to justice during or even after the legal process is closed. Late adoption is the denomination of the adoption of children over two years and it is still permeated by myths and stigmas, leading to a frequent return of the child to justice in these cases. The late adoption involves a process of building a unique relationship with a child whose backstory is commonly marked by the dissolution of the relationship with the family of origin, due to violation of rights and, in some cases, the experience of institutional care. Given such a scenario, this research, based on the Existential Analytic proposed by Martin Heidegger, seeks to understand the experience of mothers and children in the process of late adoption, in order to obtain subsidies to psychological attention in this context. This is a qualitative, phenomenological study with a comprehensive focus. The participants were two mothers and two children who have gone through late adoption for about two years. The procedures of data generation contemplated narrative interviews with mothers and individual meetings with children, in which ludic resources were used as mediators of expression (free drawings, unfinished children's story and "Story-Drawings" on late adoption). The procedures were audiotaped and transcribed. Data analysis was grounded in Heidegger's hermeneutics. The late adoption process, permeated by historical, social and cultural determinants and the web of meanings that create the historical singularity of each person involved have proved to be complex as seen in the narratives. The construction of the meanings of parenthood and filiation has been developing in the families in the study, from the experience of being-with-the-other, caring and dwelling in their peculiar modes of expression. The family of origin and the adoptive family mingle and differentiate by means of the experience of children, especially because of the existence of biological siblings. Data point to the importance of psychological care to family core in late adoption processes

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.

Economia solidária e relações de gênero na agricultura familiar: o caso do grupo produtivo mulheres decididas a vencer

The Women s experiences in the private sphere under the work s field changes the family relationship allowing them more freedom, autonomy and independence. The inequalities, socially built, homemade women s obligations results in discrimination, difficult to insert and recovery on female s job in a job s market, including low salary if compared with men s and difficult to services access in addiction a difficult daily life and in domestic sphere. The women s organisation in productive groups or economically solidary enterprises (ESE) torn possible the social economically organisations and politicians to promote deep changes in a domestically e socially relationship, positioning, for example, women s in publics areas and in the rout of emancipation. The objective of this search are understand men and women relationship in the family agriculture s field starts insert women in economically solidary enterprises (ESE) on Mulunguzinho s settlement (Mossoró/RN). The theoretical framework is inspirited Economical Solidary concept kind division s job and women s empowerment. This search had a qualitative character and exploration through case s study on Mulheres decididas a vencer s group. The secondary information was create through theoretical framework and information collected through semi-structured interviews based in interviews applied for women and yours respective husbands by criterion for women participation on productive activities of beekeeping culture of goat and sheep. This study turns possible conclude that the women s participations in productive groups in solidary economical change significantly their life and their family life. The group s organisations process, the training was received, the collective production, the marketing and the mobilized participation to move it all was fundamental for women share with their families partners some homemade and take care with the children. This finding confirm a different aspect not economical in solidary economy overcoming the monetary value in associative relationship observing principally individuals well-being and the concern with the form of reproduction this way of life in the associated