Type inference for conversation types

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Multi-bit sigma-delta modulators with enhanced dynamic-range using non-linear DAC for hearing aids

15th IEEE International Conference on Electronics, Circuits and Systems, Malta

Database repairs with answer set programming

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Formulação fisicamente não - linear da teoria generalizada de vigas

Dissertação para obtenção do grau de Mestre em Engenharia Civil

Optimização estrutural na análise não linear dos modelos de escoras e tirantes

Dissertação para obtenção do Grau de Mestre em Engenharia Civil - Perfil Estruturas

Contributo para a modelização de magnetos supercondutores de fluxo residual: aplicação a um motor linear todo supercondutor

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Spatial neighborhood matrix computation: Inverse distance weighted versus binary contiguity

Paper presented at Geo-Spatial Crossroad GI_Forum, Salzburg, Austria.

Contributo para o estudo do motor linear síncrono supercondutor

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Non-linear time series models

The last three decades have seen quite dramatic changes the way we modeled time dependent data. Linear processes have been in the center stage in modeling time series. As far as the second order properties are concerned, the theory and the methodology are very adequate.However, there are more and more evidences that linear models are not sufficiently flexible and rich enough for modeling purposes and that failure to account for non-linearities can be very misleading and have undesired consequences.

Linear amplification with multiple nonlinear devices

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e Computadores

Parallel programming in biomedical signal processing

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Estudo de avaliação de emissões de nanopartículas na soldadura por fricção linear de ligas de alumínio

Dissertação para obtenção do Grau de Mestre em Engenharia Mecânica

Framework development for providing accessibility to qualitative spatial calculi

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Probabilistic constraint reasoning

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Informática, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Análise não linear da interacção dinâmica solo - estaca em areias secas: um estudo numérico e experimental

Dissertação apresentada à Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Doutor em Engenharia Civil