Encontrados 69 documentos, a visualizar página 1 de 7
Enzymatic inhibitory activity of hydroxycinnamates (HCs): in silico studies
Serina, José João CairesDiabetes is a worldwide health issue that has been expanding mainly in developed countries. It is characterized by abnormal levels of blood sugar due to several factors. The most common are resistance to insulin and the production of defective insulin which exerts little or no effect. Its most common symptoms include tissue damage to several systems due to elevated levels of blood sugar. One of the key enzymes ...
Conclave: writing programs to understand programs
Carvalho, Nuno; Almeida, José João; Pereira, Maria João; Henriques, PedroSoftware maintainers are often challenged with source code changes to improve software systems, or eliminate defects, in unfamiliar programs. To undertake these tasks a sufficient understanding of the system, or at least a small part of it, is required. One of the most time consuming tasks of this process is locating which parts of the code are responsible for some key functionality or feature. This paper intro...
Conclave: ontology-driven measurement of semantic relatedness between source co...
Carvalho, Nuno; Almeida, José João; Henriques, Pedro; Pereira, Maria JoãoSoftware maintainers are often challenged with source code changes to improve software systems, or eliminate defects, in unfamiliar programs. To undertake these tasks a sufficient understanding of the system (or at least a small part of it) is required. One of the most time consuming tasks of this process is locating which parts of the code are responsible for some key functionality or feature. Feature (or conc...
Sistema automático para realização de testes de penetração
Ramos, José João AfonsoDissertaação de mestrado em Engenharia de Segurança Informática. Instituto Politécnico de Beja. Escola Superior de Tecnologia e Gestão, 2013. ; As Tecnologias de Informação são um campo complexo da actual sociedade em que vivemos, ainda a coabitar com tecnologia semimorta do passado a que se juntam cada vez mais novos Sistemas, Softwares e Protocolos. A segurança dos Sistemas Informáticos de hoje, envolve mais...
Sustainable value and cleaner production
Henriques, José João M. Silva; Catarino, JustinaAs defined by the World Business Council for Sustainable Development in 1992, "eco-efficiency is achieved by the delivery of competitively priced goods and services that satisfy human needs and bring quality of life, while progressively reducing ecological impacts and resource intensity throughout the life-cycle to a level at least in line with the Earth’s estimated carrying capacity."Eco-Efficiency becomes th...
Bounded Model Checking de programas imperativos
Pereira, José João PeixotoDissertação de mestrado em Matemática e Computação ; A detecção de erros em sistemas computacionais, em particular em sistemas críticos, é uma tarefa fundamental para garantir o correcto funcionamento dos sistemas e, por este motivo, a verificação formal é um elemento primordial no desenvolvimento de sistemas computacionais. Muitas das técnicas de verificação formal de sistemas computacionais são baseadas em M...
Avaliação da viabilidade económica da aquisição de um veículo elétrico em Portugal
Fontaínhas, José João CunhalDissertação de mestrado em Engenharia Industrial ; O crescimento económico tem resultado num aumento mais que proporcional nas emissões de gases com efeito de estufa, resultando na degradação do meio ambiente. Com o intuito de reduzir estes efeitos, diversas medidas têm sido adotadas pelos governos de diferentes países, de entre as quais se destaca o incentivo à aquisição de veículos com emissões reduzidas. Os...
Valorização de cartuchos semimetálicos detonados
Barros, José João da SilvaTese de mestrado integrado. Engenharia Metalúrgica e de Materiais. Faculdade de Engenharia. Universidade do Porto. 2009
Análise e concepção de sistemas de fixação de comportas segmento em pilares de ...
Conceição, José João Guedes Morais daTese de mestrado integrado. Engenharia Civil (Especialização em Estruturas). Faculdade de Engenharia. Universidade do Porto. 2010
Modelação do crescimento urbano da província de Luanda, Angola
Secuma, Agostinho José JoãoDissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica ; Este trabalho visa fazer a modelação do crescimento urbano da província de Luanda, no período de 1993 a 2008, simular e estabelecer cenários de desenvolvimento, a partir de imagens Landsat 5 TM, utilizando um modelo de dados baseado em Redes Neuronais Artificiais, o Land Change Modele...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||