Encontrados 16 documentos, a visualizar página 1 de 2
Polimorfismo atómico e o teorema da normalização forte
Inácio, Maria do Rosário DinisDissertação de Mestrado em Estatística, Matemática e Computação apresentada à Universidade Aberta ; Nesta dissertação provamos, através do sistema Fat (restrição predicativa do sistema polimórfico F de Jean-Yves Girard), que o cálculo proposicional intuicionista é fortemente normalizável considerando β-conversões. Embora o resultado em si seja bem conhecido, a estratégia (via Fat) seguida nesta dissertação é m...
Efficacy of sulfuryl fluoride against the pinewood nematode, Bursaphelenchus xy...
Bonifacio, Luis; Sousa, Edmundo; Naes, Pedro; Inacio, Maria; Henriques, Joana; Mota, Manuel; Barbosa, Pedro; Drinkall, Mike; Buckley, StanislasBACKGROUND: The pinewood nematode (PWN) Bursaphelenchus xylophilus is an important conifer disease worldwide. It is the direct cause of the death of millions of pines in south-east Asia (mainly Japan, China and Korea) and has been established in Portugal since 1999. The phasing out of methyl bromide has created an urgent need for alternative treatment of wood packagingmaterials. The effect of sulfuryl fluoride ...
A avaliação externa da escola : contributo para a promoção da qualidade institu...
Inácio, Maria João Pina dos SantosDissertação de Mestrado em Administração e Gestão Educacional apresentada à Universidade Aberta ; A qualidade tem constituído um fator fundamental para o funcionamento e desenvolvimento das organizações. Em educação também essa preocupação se tem manifestado. A Lei nº 31/2002, de 20 de dezembro institui o sistema de avaliação do ensino não superior e tem como um dos seus objetivos a promoção da melhoria de qua...
A promoção de uma cultura de segurança nos alunos do ensino básico : um estudo ...
Inácio, Maria Clara Araújo GomesDissertação de mestrado em Dinâmicas Sociais, Riscos Naturais e Tecnológicos, apresentada à Faculdade de Economia da Universidade de Coimbra.
Vidas secas e os flagelados do vento leste: veredas da seca e da fome
Inácio, Maria Manuela FontesDissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ensino de Português Língua Segunda / Língua Estrangeira ; Este trabalho propõe-se confrontar a obra do escritor brasileiro Graciliano Ramos, Vidas Secas, com Os Flagelados do Vento Leste, do escritor cabo-verdiano Manuel Lopes, tentando encontrar nelas as idiossincrasias próprias dos espaços sociais e humanos em...
Nitrogen availability, leaf life span and nitrogen conservation mechanisms in l...
Corte,Guilherme Nascimento; Macchiaverni,Patrícia; Fabbro,Inácio Maria Dal; Haddad,Claudia Regina BaptistaEvergreen species of temperate regions are dominant in low-nutrient soils. This feature is attributed to more efficient mechanisms of nutrient economy. Nevertheless, the cashew (Anacardium occidentale- Anacardiaceae), a deciduous species, is native to regions in Brazil with sandy soil, whilst the annatto (Bixa orellana- Bixaceae), classified as an evergreen species native to tropical America, grows spontaneousl...
The optical analysis of the abdominal wall using the biospeckle after implants ...
Nieri,Tâmara Maria; Peres,Marco Antonio de Oliveira; Silva,Emerson Rodrigo da; Fabbro,Inácio Maria Dal; Muramatsu,Mikiya; Andreollo,Nelson AdamiPURPOSE: To evaluate an experimental animal model to study the abdominal tissue activity considering its interaction with a polypropylene mesh, through the use of one of the optical phenomena of light Laser, the biospeckle. METHODS: Fifty Wistar male rats were divided into four groups: Group 1: ten animals not submitted to surgery; Group 2: ten animals submitted to surgery without polypropylene mesh; Group 3: 2...
Aprender a aprender no processo de reconhecimento, validação e certificação de ...
Inácio, Maria Joana de SantosTese de mestrado, Educação (Formação e Aprendizagem ao Longo da Vida), Universidade de Lisboa, Faculdade de Ciências, 2009 ; Aprender a aprender constitui-se numa competência-chave definida pelo quadro de referência europeu sobre as competências essenciais para a aprendizagem ao longo da vida. No contexto do quadro actual de medidas políticas educativas, a Iniciativa Novas Oportunidades surge como uma estratég...
Image processing techniques for lemons and tomatoes classification
Lino,Antonio Carlos Loureiro; Sanches,Juliana; Fabbro,Inacio Maria DalVegetable quality is frequently referred to size, shape, mass, firmness, color and bruises from which fruits can be classified and sorted. However, technological by small and middle producers implementation to assess this quality is unfeasible, due to high costs of software, equipment as well as operational costs. Based on these considerations, the proposal of this research is to evaluate a new open software th...
Árvore de suporte de custo mínimo com restrições de salto
Inácio, Maria João da Costa AntunesNeste trabalho descrevemos um algoritmo Dual Ascendente para o problema da Árvore de Suporte de Custo Mínimo com Restrições de Salto (HMST). O problema HMST modela o desenho de uma rede de telecomunicações centralizada com restrições de salto. Estas restrições estão relacionadas com a performance da rede, uma vez que limitam o número de ligações que podem ser utilizadas para ligar o computador central a qualque...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||