Un nuevo profesional para una nueva sociedad. Respuestas desde la educación médica. Análisis del proceso de formación sanitaria especializada basado en la adquisición de competencias y de su evaluación. Nuevos métodos para reinventar la docencia de la formación de especialistas

137 p.

Pro dia nascer feliz: Possibilidades de articulação entre educação formal e não formal no Colégio Estadual Guadalajara

Esta pesquisa tem por objetivo geral analisar a dinâmica de funcionamento das atividades não formais do Colégio Estadual Guadalajara e apontar para possíveis pontes-diálogo entre educação formal e não formal nesse espaço escolar. Para atingir esse objetivo a dissertação contemplou: a) a descrição das atividades do Núcleo de Cultura do Guadá desde a sua implementação, b) a análise das possíveis relações estabelecidas entre as atividades não formais e as atividades oferecidas pela instituição a partir do proposto pela rede oficial de ensino e c) a influência do Programa Mais Educação na promoção das atividades não formais de ensino pela escola. Nesse sentido, a investigação em foco, ressalta o regime colaborativo entre o ideal de educação integral proposto pelo programa e a perspectiva de formação holística do indivíduo presente nas atividades não formais do C.E. Guadalajara. Para isso conta com aporte teórico de autores como Gohn (2010), Trilla (2008), Gadotti (2005) e Libâneo (2010) para conceituar e categorizar educação formal e não formal. E, com Ferreira (2007), Guará (2006), Cavaliere (2002) e Coelho (s/d) para esclarecer a perspectiva de educação integral e problematizá-la. Os procedimentos metodológicos adotados foram: observação não-participante, análise documental, história oral e aplicação de entrevistas semi-estruturada realizadas com as duas animadoras culturais do Núcleo de Cultura. Os resultados revelam que, de fato existem articulações pontuais entre educação formal e não formal na escola pesquisada. Este aspecto está relacionado com a participação de professores no planejamento das atividades não formais e a melhoria do rendimento dos alunos nas disciplinas formais em virtude da participação nas oficinas ofertadas pelo núcleo. No tocante a colaboração do Programa Mais Educação para a promoção das atividades não formais da escola foi constatado que o programa serviu como auxílio para subsidiar atividades que já ocorriam no espaço escolar sem seu financiamento.

Dinâmica socioeconômica do município de Macaé/RJ: uma análise do mercado de trabalho formal após a quebra do monopólio na exploração do petróleo

Esta tese tem por objetivo analisar as transformações socioeconômicas, com ênfase na dinâmica do mercado de trabalho, que ocorreram no município de Macaé, principalmente após a promulgação da Lei n 9.478, de 06/08/1997. Esta lei acabou com o monopólio da petrobras no que concerne a prospecção de petróleo atraindo para a região inúmeras empresas multinacionais. A importância do estudo deste municípío se deve ao fato de Macaé exercer um importante papel economico na retomada do crescimento da economia do Estado do Rio de Janeiro em funçaõ da indústria petrolífera e seus impactos estarem além de suas fronteiras, repercurtindo em toda a região norte fluminense e municípios da baixada litorãnea. Outro aspecto abordado é a forma como a região norte fluminense sempre esteve ligada aos projetos de desenvolvimento de nosso país, principalmente no que diz respeito a políticas energéticas, como o proálcool e o petróleo. Macaé tornou-se um pólo econômico muito forte para o capital porém, as contradições do sistema capítalista caminham na mesma proporção que o dinheiro do petróleo, logo as desigualdades sociais despontam de maneira muito forte e o mercado de trabalho local reflete esta contradição.

Framework for integration of informal waste management sector with the formal sector in Pakistan.

Historically, waste pickers around the globe have utilised urban solid waste as a principal source of livelihood. Formal waste management sectors usually perceive the informal waste collection/recycling networks as backward, unhygienic and generally incompatible with modern waste management systems. It is proposed here that through careful planning and administration, these seemingly troublesome informal networks can be integrated into formal waste management systems in developing countries, providing mutual benefits. A theoretical framework for integration based on a case study in Lahore, Pakistan, is presented. The proposed solution suggests that the municipal authority should draw up and agree on a formal work contract with the group of waste pickers already operating in the area. The proposed system is assessed using the integration radar framework to classify and analyse possible intervention points between the sectors. The integration of the informal waste workers with the formal waste management sector is not a one dimensional or single step process. An ideal solution might aim for a balanced focus on all four categories of intervention, although this may be influenced by local conditions. Not all the positive benefits will be immediately apparent, but it is expected that as the acceptance of such projects increases over time, the informal recycling economy will financially supplement the formal system in many ways.

Framework for integration of informal waste management sector with the formal sector in Pakistan

Historically, waste pickers around the globe have utilised urban solid waste as a principal source of livelihood. Formal waste management sectors usually perceive the informal waste collection/recycling networks as backward, unhygienic and generally incompatible with modern waste management systems. It is proposed here that through careful planning and administration, these seemingly troublesome informal networks can be integrated into formal waste management systems in developing countries, providing mutual benefits. A theoretical framework for integration based on a case study in Lahore, Pakistan, is presented. The proposed solution suggests that the municipal authority should draw up and agree on a formal work contract with the group of waste pickers already operating in the area. The proposed system is assessed using the integration radar framework to classify and analyse possible intervention points between the sectors. The integration of the informal waste workers with the formal waste management sector is not a one dimensional or single step process. An ideal solution might aim for a balanced focus on all four categories of intervention, although this may be influenced by local conditions. Not all the positive benefits will be immediately apparent, but it is expected that as the acceptance of such projects increases over time, the informal recycling economy will financially supplement the formal system in many ways. © The Author(s) 2013.

Formal specification and refinement of a safe train control function

Motivated by the design and development challenges of the BART case study, an approach for developing and analyzing a formal model for reactive systems is presented. The approach makes use of a domain specific language for specifying control algorithms able to satisfy competing properties such as safety and optimality. The domain language, called SPC, offers several key abstractions such as the state, the profile, and the constraint to facilitate problem specification. Using a high-level program transformation system such as HATS being developed at the University of Nebraska at Omaha, specifications in this modelling language can be transformed to ML code. The resulting executable specification can be further refined by applying generic transformations to the abstractions provided by the domain language. Problem dependent transformations utilizing the domain specific knowledge and properties may also be applied. The result is a significantly more efficient implementation which can be used for simulation and gaining deeper insight into design decisions and various control policies. The correctness of transformations can be established using a rewrite-rule based induction theorem prover Rewrite Rule Laboratory developed at the University of New Mexico.

facilitating formal specification acquisition by using recursive functions on context-free languages

Although formal specification techniques are very useful in software development, the acquisition of formal specifications is a difficult task. This paper presents the formal specification language LFC, which is designed to facilitate the acquisition and validation of formal specifications. LFC uses context-free languages for syntactic aspect and relies on a new kind of recursive functions, i.e. recursive functions on context-free languages, for semantic aspect of specifications. Construction and validation of LFC specifications are machine-aided. The basic ideas behind LFC, the main aspects of LFC, and the use of LFC and illustrative examples are described.

an intuitive formal proof for deadline driven scheduler

United Nations University, Int. Inst. for Softw. Technol., China; Vietnam National University, Hanoi, Vietnam; Vietnam Academy of Science and Technology, Vietnam