Identificação de nomes ativos em agentes-π baseada em tipos

Na última década muitos esforços têm sido feitos em verificação formal de propriedades de agentes do cálculo-π. Uma dessas propriedades é a equivalência observacional, que serve para determinar se um processo é equivalente a sua especificação. Contudo, a verificação de equivalência observacional não é um problema trivial. A maioria dos algoritmos destinados a verificação de equivalência são baseados na construção de sistemas de transições rotuladas (π-autômatos). O principal problema com essa abordagem é o grande número de estados envolvidos podendo chegar a um número infinito. Montanari e Pistore mostram que é possível gerar π-autômatos finitos para agentes-π e é possível reduzir a quantidade de estados desses π-autômatos, através da identificação dos nomes ativos. Um nome é semanticamente ativo em um agente se ele pode ser executado de forma observável por ele. Este é um trabalho de análise estática, que tem por objetivo coletar os possíveis nomes ativos contidos em expressões-π, utilizando para isso um sistema de tipos. A vantagem da utilização de sistemas de tipos em relação a outras formas de análise estática é que sistemas de tipos são sistemas lógicos, logo as técnicas de prova da lógica podem ser aproveitadas no estudo de propriedades de sistemas de tipos. Além disso sistemas de tipos são definidos através da estrutura sintática de expressões, facilitando assim as provas por indução estrutural. Assim a principal contribuição deste trabalho é a elaboração do Active-Base-π, um sistema de tipos para a coleta de nomes ativos de expressões-π.

Metodos de avaliação em Educação Fisica no ensino fundamental

Universidade Estadual de Campinas . Faculdade de Educação Física

Análise institucional de práticas formais de estratégia

O presente ensaio teórico endereça a questão do processo de institucionalização das práticas formais de estratégia empresarial. Para tanto, adotamos a perspectiva institucional de análise para verificar como os mecanismos normativos são utilizados por agentes sociais significativos para a disseminação e a institucionalização de práticas formais de estratégia em organizações. Por práticas formais de gestão estratégica definimos todas as ferramentas gerenciais e conceitos formalmente instituídos de prática gerencial como pertencentes ao processo de elaboração e viabilização da estratégia empresarial. Nesse sentido, destacamos o processo de planejamento estratégico, disseminado especialmente a partir da década de 70 do século passado como o modelo mais representativo da difusão e institucionalização desse tipo de prática organizacional. Concluímos nosso ensaio levantando questões relevantes para a pesquisa e para a prática no campo da estratégia em organizações a partir da relação entre teoria e prática, com base na perspectiva institucional de análise.

Modelos formais de comunicação

O objectivo deste artigo é apresentar um conjunto de modelos formais que, num sentido geral, podem orientar o estudo das estruturas de comunicação. O nosso quadro de referência será constituído pela teoria dos grafos, uma teoria que pode ser utilizada para definir implicitamente o conceito de «comunicação». Começaremos com as árvores hierárquicas enquanto um tipo de grafos que representa a estrutura formal dos processos centralizados. Um ponto importante no artigo será a dialéctica entre o local e global em teoria dos grafos. Nesse contexto, passaremos em revista o já célebre modelo de Watts-Strogatz e o modelo sem escala característica proposto por A. Barabási e colaboradores. A propósito de cada um dos modelos discutimos alguns exemplos empíricos que mostram como a teoria dos grafos se pode tornar um estrutura a priori para o estudo da comunicação. Na secção final mostramos de que modo pudemos ver a moderna ideologia da comunicação à luz dos modelos formais.

Possibilidades e limitações da amamentação entre mulheres trabalhadoras formais

INTRODUÇÃO: Pesquisas sobre a amamentação e a questão do trabalho da mulher são de difícil comparabilidade. A prática de amamentar entre mulheres com um emprego formal no Brasil tem sido pouco estudada, em que pesem as mudanças havidas como a extensão da licença maternidade para 120 dias. Decidiu-se realizar estudo com o objetivo de descrever o padrão de amamentação de mulheres empregadas em empresas, as limitações que elas enfrentam e que fatores contribuem para que elas possam conciliar trabalho e amamentação. MATERIAL E MÉTODO: Estudo exploratório realizado em 13 indústrias de São Paulo em 1994, onde todas as mulheres no terceiro trimestre da gestação (76) foram entrevistadas e reentrevistadas (69) na volta ao trabalho (em torno de 5,4 meses pós-parto). RESULTADOS: Iniciaram a amamentação 97% das mulheres, apresentando uma duração mediana de 150 dias; quanto ao Aleitamento Materno Exclusivo, a duração mediana foi de 10 dias, e à Amamentação Predominante, a mediana foi de 70 dias. As mulheres de melhor nível socioeconômico e as que tinham creche no local de trabalho ou sala de coleta e estocagem de leite materno, foram as que amamentaram por mais tempo. A possibilidade de flexibilizar seu horário e não trabalhar na linha de produção também mostraram ser fatores significantes que levam as mulheres dessas indústrias a amamentar mais. CONCLUSÕES: A licença-maternidade tem sido útil e usada pela maioria das trabalhadoras para amamentar, mas há outros fatores que são fundamentais para que a manutenção da lactação seja facilitada, tais como aqueles que permitem a proximidade mãe-criança e/ou a retirada periódica de leite materno durante a jornada de trabalho.

Impacto de um programa de relaxamento na percepção de stress nos cuidadores formais de um lar do concelho de Águeda

O papel de cuidador formal é, habitualmente, exercido por profissionais devidamente qualificados, designadamente, médicos, enfermeiros psicólogos, assistentes sociais, terapeutas ocupacionais, fisioterapeutas e auxiliares. A sua formação académica, profissional é específica para o desempenho deste papel, integrada no contexto de uma actividade profissional onde são exercidas competências, no âmbito da saúde. Nos lares, hospitais, instituições comunitárias, entre outros, existem indivíduos que se enquadram no perfil traçado, a actividade é desgastante, quer física, quer psicologicamente, o que muitas vezes facilita o aparecimento da ansiedade e a percepção do stress. O relaxamento enquanto técnica terapêutica poderá atenuar o seu surgimento. Este trabalho teve como objectivo avaliar o impacto de um programa de relaxamento, na percepção de stress, nos cuidadores formais do lar da Liga de Amigos de Aguada de Cima. Para este fim, consideramos adequado um estudo do tipo experimental. Assim aplicámos á nossa amostra, dezasseis funcionárias, antes e depois da aplicação do programa de relaxamento progressivo de Jacobson, questionários de auto-preenchimento, adaptados à população portuguesa. Para além disso, nas dezasseis sessões que efectuámos, medimos a tensão arterial e a frequência cardíaca com um esfigmomanómetro digital de pulso, no período antes e depois da implementação do programa. Pela análise dos resultados que obtivemos, constatámos que não houve diferenças significativas do ponto de vista estatístico, entre a ansiedade e a percepção do stress, após o programa de relaxamento Jacobson. Confirmámos porém, que existiram diferenças em alguns itens dos questionários após a implementação do programa de relaxamento, assim como uma diminuição da pressão arterial diastólica e da correlação positiva entre a ansiedade e a percepção de stress. Desta forma, parece existir uma indicação de que o programa de relaxamento progressivo de Jacobson talvez tenha contribuído para minimizar o nível de stress das funcionárias do lar da Liga de Amigos de Aguada de Cima

Os espaços formais e informais de leitura no Pré-escolar e 1.º Ciclo : as áreas de leitura e as bibliotecas na promoção de competências leitoras em contexto de estágio integrado

Mestrado, Educação Pré-Escolar e Ensino do 1.º Ciclo do Ensino Básico, 29 de Junho de 2015, Universidade dos Açores.

Contextos formais de educação e desenvolvimento da criança: contributos para a educação pré-escolar

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

Introdução ao estudo da paralelização de algoritmos de planeamentooperacional com metodos genéticos

Dissertação de Mestrado

Práticas organizacionais formais utilizadas para a aprendizagem com acidentes de trabalho

O SHO 2010, Colóquio Internacional de Segurança e Higiene Ocupaciona

Valor de los metodos directos e indirectos de diagnóstico en las micosis sitémicas asociadas al SIDA

Durante 5 años se estudiaron 117 pacientes con micosis sistémicas asociadas al SIDA: 74 criptococosis, 39 histoplasmosis y 4 con ambas enfermedades. Para el diagnóstico analizamos los siguientes materiales: escarificaciones de lesiones cutáneas o mucosas, aspirados de médula ósea, secreciones bronquiales, biopsias de diversos órganos, líquido cefalorraquídeo, hemocultivos y sueros para determinaciones serológicas. Fueron estudiadas en total 203 muestras de pacientes con histoplasmosis, el 46.3% de las mismas acusó la presencia de H. capsulatum. Las escarificaciones cutáneas exhibieron la mayor sensibilidad (94.7%), seguidas por las biopsias (80%) y los mielocultivos (42.1%). La demostración de anticuerpos circulantes por medio de 3 pruebas serológicas y con de 2 antígenos específicos dio resultados positivos en el 45.4% de los pacientes. Se estudiaron en total 413 especímenes de pacientes con criptococosis, la confirmación diagnóstica fue posible en el 69% de las muestras. El mayor rendimiento se obtuvo con el LCR (89.5%), le seguieron en sensibilidad los hemocultivos (61.2%), las escarificaciones cutáneas (42.9%) y los urocultivos (41.7%). La búsqueda de antígeno en los fluidos orgánicos fue positiva en casi todos los casos. La revisión que presentamos permitirá una búsqueda más racional y rápida de los métodos de diagnóstico en las micosis asociadas al SIDA.

Design de Comunicação Para Sistemas Educativos não Formais

Relatório de Actividade Profissional apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciências da Comunicação – vertente de Novos Média e Práticas Web