O equilíbrio social nas organizações formais: o caso do jornal interno

Aborda o equilíbrio social nas organizações formais, como conseqüência da socialização e do controle social a que são submetidos os indivíduos, enquanto membros de um grupo social específico - derivado das relações de trabalho. Analisa o papel desempenhado pelo jornal interno no processo de socialização e de controle social dos empregados. Apresenta resultados de estudos empíricos realizados, a saber: análise de conteúdo das mensagens do jornal interno e pesquisas com edi tores e leitores do referido canal de comunicação, em cinco organizações brasileiras.

Os limites formais para a celebração do acordo de leniência (Lei 12.846/13) em face das garantias do particular

O presente trabalho apresenta um estudo sobre a recente Lei n. 12.846/13, em especial sobre o instituto do acordo de leniência, buscando estabelecer um marco para a celebração desses ajustes tendo em vista os direitos e garantias estabelecidos pela Constituição da República Federativa do Brasil de 1988. Inicialmente, aborda-se as intensas mudanças promovidas no Estado moderno e no direito sancionador de forma geral, questiona-se, em seguida, a existência de um núcleo comum entre o direito penal e o direito administrativo sancionador. Busca-se, por fim, propor soluções para maximizar a eficácia do sistema de controle e sanção da Lei n. 12.846/13, tendo em vista a necessidade de se harmonizar a Regulação Pública com a segurança jurídica e os direitos constitucionais da pessoa jurídica investigada, em especial quando ela celebra o acordo de leniência.

Erros linguísticos em textos formais de professores e de alunos: um estudo de caso

Esta é uma investigação sobre os erros linguísticos mais frequentes praticados por professores e alunos em textos formais. Trata-se de um estudo de caso, realizado numa escola pública com ensino básico e secundário da Região Autónoma da Madeira. Os testes dos alunos e as atas que os professores redigem das várias reuniões em que participam na escola constituem os corpora dos textos formais. Os informantes foram trinta e dois alunos, todos do 12º ano de cursos científico-humanísticos, e oitenta professores de diversos grupos disciplinares. Dado que não foi possível abranger todos os tipos de erros observados, optou-se por analisar as três áreas gramaticais em que a sua ocorrência foi mais problemática, a saber, ortografia, pontuação e coesão sintática, em detrimento de outras como a semântica, a lexicologia e a coerência textual. Este é um trabalho eminentemente prático que tem como objetivos primordiais enumerar os principais erros observados e comparar as diferenças de desempenho entre os dois grupos de informantes. Para isso, dividiu-se a análise em duas partes: a primeira é, essencialmente, descritiva e interpretativa; enquanto a segunda se baseia nos dados quantitativos para chegar a conclusões que, de outra forma, não seriam percetíveis. No final, sugerem-se algumas estratégias que poderão ajudar a diminuir a incidência do erro no meio escolar.

Uma análise sociodemográfica dos cuidadores formais de idosos institucionalizados no município de Natal/RN, 2012

The aging population and individual have been the subject of a multitude of studies nowadays. This is probably due to the impact of this phenomenon in various sectors of society, like social security, social assistance and public health. The process of aging of the individual imply the demand for specific services, considering the limitations and vulnerabilities of the individual at that stage of life cycle. The growth of the elderly contingent in the last decades raises challenges for policymakers, the family and also for the society at large. In this scenario, long-stay institutions for the elderly (LSIEs) appear as an option to aid and support the elderly and their family, assisting in all or part in the activities of daily living and self-care. Inside these LSIEs we find the professional responsible for the direct care of the elderly, the formal caregiver. In this context, this dissertation presents two main objectives: an analysis of the phenomenon of population aging in a given brazilian municipality Natal / RN, based on the Demographic Censuses of 2000 e 2010; and a social, demographic and economic characterization of the Formal caregiver for the institutionalized elderly in the municipality, evaluating aspects of his quality of life and also analyzing the institutions where they are inserted. Furthermore, we intend to identify demographic, socioeconomic and quality of life factors that are correlated with caregivers quitting the job. The data used in the second part of this work comes from the research project named Long-Stay Institutions for Elderly: abandonment or a family need? . This survey interviewed 92 caregivers in eleven LSIEs in Natal/RN. In the data treatment logistic regressions, cluster analysis and statistical tests were used. The survey revealed that aging in Natal is more pronounced in the older, more traditional districts: Petrópolis, Lagoa Seca and Tirol. It also allowed a broad characterization of the formal caregivers in LSIEs. Most of these professionals are female. The educational level is predominantly complete high school and more. Most caregivers reported being married or in union, or have ever been in a union. Family monthly income is under three times the minimum wage. The mean age is of 37.4 years. The mean time of work as a caregiver was 5.93 years. The associations showed that being woman, not being single, having caregiving training and physical limitations (regarding quality of life) are related to wanting to quit the caregiving job. As for the characterization of the LSIEs, it was found that the philanthropic ones are older and have most (62.5%) of the institutionalized elderly. The institutions managers gave social interaction and affinity with the elderly as the main criteria with which to evaluate and hire caregivers. It is intended with this study to contribute to improving the quality of life of the elderly and their caregiver, providing information on aspects of institutionalization of elderly both in the philanthropic and particular institutions, in Natal/RN; this dissertation may also be used as a starting point for later works

Limites formais e materiais ao controle de constitucionalidade pelo Supremo Tribunal Federal

This document approaches the formal and material limits of the constitucionalidade control for the Supreme Federal Court, iniating with the study of the Constitution, detaching its evolution, nature and meanings, passing for its historical evolution, offering still a unconstitutionality concept. Is work the principles as material Constitution, making the distinction entere principles and rules, detaching the characteristics of the principles constitutional, and the basic principle of the Constituition. It analyzes metodologics the historical parameters and of the brazilian system of constitutionality control and detaches the paper of the Supreme Federal Court as positive legislator. It observes the beddings of the constitutionality control and the legitimacy of the Supreme Federal Court. Is examines the performance of the Supreme Federal Court in face of the principle of the legal security. Is offers a vision on the experience of the control of constitutionality in other constries. It still approaches the control of constitutionality in Brazil, detaching the critical points of its formal and material limits. Is verifies the application of the principles constitutional for the Supreme Federal Court in the diffuse control and the intent control of constitutionality, as well as the performance of the Supreme Federal Court ahead of the unconstitutional omissions. It brings to the debate the new perspectives how much to the formal and material limits of the control of constitutionality for the Supreme Federal Court. Objective to elaborate considerations concerning the limits of the constitutional jurisdiction from the model of Constituition, the character politican of the difficulties with respect to the definition of its formal and material limits from the performance of the Supreme Federal Court

Joker: um realizador de desenhos animados para linguagens formais

Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However, there are many resistance in adopting this software development approach. The main reason is the scarcity of adequate, easy to use, and useful tools. Developers typically write code and test it. These tests usually consist of executing the program and checking its output against its requirements. This, however, is not always an exhaustive discipline. On the other side, using formal methods one might be able to investigate the system s properties further. Unfortunately, specification languages do not always have tools like animators or simulators, and sometimes there are no friendly Graphical User Interfaces. On the other hand, specification languages usually have a compiler which normally generates a Labeled Transition System (LTS). This work proposes an application that provides graphical animation for formal specifications using the LTS as input. The application initially supports the languages B, CSP, and Z. However, using a LTS in a specified XML format, it is possible to animate further languages. Additionally, the tool provides traces visualization, the choices the user did, in a graphical tree. The intention is to improve the comprehension of a specification by providing information about errors and animating it, as the developers do for programming languages, such as Java and C++.

Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução

A remoção de inconsistências em um projeto é menos custosa quando realizadas nas etapas iniciais da sua concepção. A utilização de Métodos Formais melhora a compreensão dos sistemas além de possuir diversas técnicas, como a especificação e verificação formal, para identificar essas inconsistências nas etapas iniciais de um projeto. Porém, a transformação de uma especificação formal para uma linguagem de programação é uma tarefa não trivial. Quando feita manualmente, é uma tarefa passível da inserção de erros. O uso de ferramentas que auxiliem esta etapa pode proporcionar grandes benefícios ao produto final a ser desenvolvido. Este trabalho propõe a extensão de uma ferramenta cujo foco é a tradução automática de especificações em CSPm para Handel-C. CSP é uma linguagem de descrição formal adequada para trabalhar com sistemas concorrentes. Handel-C é uma linguagem de programação cujo resultado pode ser compilado diretamente para FPGA's. A extensão consiste no aumento no número de operadores CSPm aceitos pela ferramenta, permitindo ao usuário definir processos locais, renomear canais e utilizar guarda booleana em escolhas externas. Além disto, propomos também a implementação de um protocolo de comunicação que elimina algumas restrições da composição paralela de processos na tradução para Handel-C, permitindo que a comunicação entre múltiplos processos possa ser mapeada de maneira consistente e que a mesma somente ocorra quando for autorizada.

Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução

Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification

Informe del Seminario sobre Metodos de Evaluacion de Programas de Planificacion Familiar

Incluye Bibliografía

Algunos metodos para el estudio de las distribuciones geograficas de la migracion interna

Incluye Bibliografía

Evaluacion estadistica de metodos anticonceptivos: efectividad de uso y efectividad extendida de uso

Apéndice en inglés contiene instrucciones para el registro de estudios de efectividad de uso de anticonceptivos. Documento disponible en inglés (100.01)

A proposito de las preguntas que miden conocimiento de metodos anticonceptivos; un enfoque metodologico

Incluye Bibliografía