946 resultados para Deep Inference, Proof Theory, Teoria della Dimostrazione, Cut elimination, Gentzen Hauptsatz


Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this work, we present a risk theory application in the following scenario: In each period of time we have a change in the capital of the ensurance company and the outcome of a two-state Markov chain stabilishs if the company pays a benece it heat to one of its policyholders or it receives a Hightimes c > 0 paid by someone buying a new policy. At the end we will determine once again by the recursive equation for expectation the time ruin for this company

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Objetivos: avaliar a correlação entre os aspectos laparoscópicos e os achados histológicos estromais incluindo, a profundidade da lesão endometriótica peritoneal, e na relação com a teoria evolutiva da endometriose. Métodos: foram selecionadas para o estudo 67 pacientes submetidas à laparoscopia por algia pélvica, infertilidade, tumor anexial e outras indicações. A avaliação laparoscópica baseou-se no aspecto visual do implante suspeito de endometriose peritoneal, o qual foi biopsiado. de acordo com o aspecto laparoscópico, as lesões foram agrupadas em: grupo V - lesões vermelhas, grupo N - lesões negras e grupo B - lesões brancas. Os parâmetros histológicos estudados foram: profundidade da lesão, presença de hemossiderina no estroma, vascularização estromal e presença de fibrose no estroma. Resultados: a profundidade da lesão mostrou diferenças estatisticamente significantes entre os grupos de estudo. As lesões vermelhas mostraram-se superficiais em 100% dos casos. As lesões negras apresentaram-se superficiais em 55,6%, intermediárias em 38,9% e profundas em 5,5%. As lesões brancas mostraram-se superficiais em 28%, intermediárias em 68% e profundas em 4%. A presença de hemossiderina no estroma se mostrou equivalente nos 3 grupos. A presença de vasos no estroma da lesão endometriótica, que foi classificada de I a III de acordo com a quantidade, demonstrou diferenças significantes entre os 3 grupos, sendo que a vascularização exuberante (grau III) esteve presente em 60% das lesões vermelhas e em 10% das lesões brancas. A presença de tecido fibrótico na lesão endometriótica apresentou diferenças estatisticamente significantes nos 3 grupos de estudo, sendo mais freqüente no grupo B (lesões brancas), com 70,6%. Conclusão: as variáveis analisadas nos diferentes grupos de estudo demostraram diferença significantes entre os grupos, reforçando a teoria evolutiva da endometriose peritoneal.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The aim of this in vivo study was to evaluate the performance of laser fluorescence (LF) comparing different cut-off limits for occlusal caries detection. One hundred and thirty first permanent molars were selected. Visual examination and LF assessments were performed independently. The extent of caries was assessed after operative intervention. New cut-off limits were established and compared with those proposed by the manufacturer and by Lussi et al. (Eur J Oral Sci 109:14-19, 2001). Similar sensitivity and higher specificity was found at D(2) (considering as disease only dentin caries) when the LF cut-off limits proposed by Lussi et al. and the new one were compared. At the D(3) threshold (considering as disease only deep dentin caries), no statistically significant difference among the cut-off limits for sensitivity was found. However, the new cut-off limits showed higher specificity. The LF device provided good ability to detect dentin caries lesions. Furthermore, the new cut-off limits and the values proposed by Lussi et al. could be suggested for the in vivo detection of occlusal caries.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Having as reference the curricular proposals that composed the new directives for Formation of Professors for the Basic Education, Full Licence in Brazil, it was aimed to analyze in the pedagogic project of a Physical Education Licence course, the professional profile proposed, the conceptual orientation adopted (curriculum model) as well the evaluation proposed in the curriculum. These results obtained from the descriptive study have contemplated documental source and content analysis approach, utilizing as basis for discussion of the results the formation theory. Among the most significant data it was established that, the presented professor profile must consider an Academic, Technological, Practical and Socio-Reconstructionist orientation, detaching during the evaluation process a high skill level in Academic Orientation, as well remarking that the evaluation is presented as a great gap in the pedagogic project.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Starting from the Generating functional for the Green Function (GF), constructed from the Lagrangian action in the Duffin-Kemmer-Petiau (DKP) theory (L-approach) we strictly prove that the physical matrix elements of the S-matrix in DKP and Klein-Gordon-Fock (KGF) theories coincide in cases of interacting spin O particles with external and quantized Maxwell and Yang-Mills fields and in case of external gravitational field (without or with torsion), For the proof we use the reduction formulas of Lehmann, Symanzik and Zimmermann (LSZ). We prove that many photons and Yang-Mills particles GF coincide in both theories too. (C) 2000 Elsevier B.V. B.V. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

O objetivo desta pesquisa é avaliar a proposta de introdução da Física Moderna e Contemporânea no Nível Médio da Educação Básica. Parte-se do pressuposto de que os professores assumem, às vezes até subconscientemente, que a teoria base da FMC é incompreensível. Investigamos, em 2007, os discursos de cinco professores de Física de um município da região Nordeste, visando compreender as possibilidades desses professores introduzirem a FMC em suas aulas de Física e em que medida estas possibilidades estão associadas às suas formações profissionais. Para a construção e análises dos discursos pautamo-nos na Análise de Discurso Francesa e em referenciais da Teoria Crítica da Educação. Constatamos que apesar de atribuírem papel relevante à introdução da FMC no Nível Médio, os professores não estão encarando este desafio.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A pesquisa apresentada analisou 27 teses de doutorado e dissertações de mestrado de programas brasileiros de Pós-Graduação em Educação que usam a teoria de representações sociais para estudar representações de ou sobre professor. Para a realização dessa análise foram investigados, principalmente, aspectos metodológicos relacionados ao uso da TRS, tais como: modo de descrição dos sujeitos da pesquisa e variáveis selecionadas nessa caracterização; descrição do objeto de estudo, sua contextualização e justificação como objeto de representação social; procedimentos de coleta de dados, sua adequação e justificação; tratamento dos dados; procedimentos de análise; síntese dos resultados e sua contribuição para a educação, para a formação de professores e para a TRS. Concluiu-se que a TRS é pouco explorada nos trabalhos, embora, de modo geral, eles contribuam para aclarar as representações que professores têm a respeito de vários campos que compõem sua vida profissional.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Este ensaio originalmente foi uma comunicação apresentada na UNICAMP. Foi escrito a propósito da visita de Habermas ao Brasil, esperada para o segundo semestre do ano passado. Seu objetivo imediato era fornecer algumas informações sobre as reflexões habermasianas mais recentes. Para isto, tentou-se inserir historicamente a proposta habermasiana de uma razão comunicativa no atual contexto de generalizada irrupção de formas discursivas fragmentárias relativistas e irracionalistas (o pós-estruturalismo francês e o pensiero debole italiano são os exemplos estudados). Sem pretender esgotar um tema tão complexo, tentou-se também levantar algumas questões sobre as possibilidades crítico-cognoscitivas da guinada linguística da filosofia de Habermas e de Apel.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Este trabalho pretende apontar algumas aproximações entre a psicologia de Leontiev e a teoria da vida cotidiana de Agnes Heller, mais precisamente aquilo que a filósofa húngara denomina como formas de pensamento, sentimento e ação típicas da cotidianidade. Nossa hipótese é a de que esse estudo pode trazer contribuições para a psicologia sócio-histórica, especialmente no que se refere à compreensão das características do psiquismo humano numa sociedade marcada por processos de alienação, isto é, quando a estrutura da vida cotidiana cerceia o desenvolvimento intelectual, afetivo e moral dos indivíduos. Pretendemos, assim, contribuir para o entendimento daquilo que denominamos de psiquismo cotidiano.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

O artigo apresenta algumas das principais contribuições da teoria marxista para a educação ambiental, considerando que a prática educativa no Brasil se constituiu em diálogo com concepções pedagógicas e autores inseridos neste campo. Iniciamos com uma breve contextualização da produção de inspiração crítica (estritamente marxista ou não) e as disputas teóricas inseridas na educação ambiental. Logo após, discorremos sobre a influência e a apropriação das pedagogias críticas e de conceitos estruturantes da concepção marxiana de educação na formulação teórico-metodológica em educação ambiental. Como síntese e conclusão, argumentamos sobre a importância do materialismo histórico-dialético nas discussões ambientais contemporâneas, refletindo criticamente sobre como ele aí se apresenta, particularmente na educação ambiental.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Este artigo compara três versões do modelo Z-D que descrevem graficamente a função emprego de Keynes. Ao mesmo tempo, o artigo corrige a redação dada por Keynes, na Teoria Geral, à descrição desta função. O artigo conclui que as versões em pauta têm o mérito de demonstrar que é possível descrever a função emprego através de um diagrama inspirado no conceito de demanda efetiva e considerando suposições menos restritas que as utilizadas por Keynes.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

O objetivo foi implantar a Consulta de Enfermagem para indivíduos hipertensos, utilizando-se a teoria do autocuidado de Orem e sistematizar a assistência de enfermagem. Foram entrevistados 56 pacientes, sendo 58,9% mulheres, 75% na faixa etária de 50 a 80 anos, 76,4% casados, 42,9% donas de casa, 47,2% aposentados e 67,3% com ensino fundamental completo. Utilizou-se instrumento estruturado abordando os requisitos de autocuidado universal, de desenvolvimento e de desvios de saúde. A análise dos dados possibilitou avaliar os requisitos de autocuidado alterados. No planejamento da assistência, as ações de apoio-educação foram prioridades. A teoria do autocuidado possibilitou identificar aspectos importantes para serem trabalhados pelo enfermeiro.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this paper, we consider the extension of the Brandt theory of elasticity of the Abrikosov flux-line lattice for a uniaxial superconductor for the case of parallel flux lines. The results show that the effect of the anisotropy is to rescale the components of the wave vector k and the magnetic field and order-parameter wave vector cut off by a geometrical parameter previously introduced by Kogan.