Encontrados 66 documentos, a visualizar página 1 de 7
Avaliação técnico-económica do reaproveitamento de biogás de uma ETAR
Pinto, Luís Miguel de Azevedo FernandesNo decurso deste trabalho serão descritas as atividades realizadas no trabalho de fim do Mestrado em Engenharia do Ambiente pela Universidade de Aveiro. A utilização de fontes de energia renováveis adquire hoje em dia uma importância elevada no contexto de desenvolvimento sustentável das nossas sociedades e no consumo racional dos recursos finitos que o planeta nos disponibiliza. No entanto é preciso avaliar se...
Multivariable and distributed LQG control of a water delivery canal
Lemos, João; Pinto, Luís; Rato, Luís; Rijo, ManuelThis work addresses the problem of the development of a distributed LQG controller for a water delivery canal. The control structure proposed relies on a set o LQG control agents interconnected through a communication network. Each of these local control agents controls a canal reach made of a pool and the corresponding downstream gate and receives information (output signal and control moves) only from the cor...
Monadic translation of classical sequent calculus
Espírito Santo, José; Matthes, Ralph; Nakazawa, Koji; Pinto, Luís F.Em publicação ; We study monadic translations of the call-by-name (cbn) and the call-by-value (cbv) fragments of the classical sequent calculus lambda-mu-mu~ by Curien and Herbelin and give modular and syntactic proofs of strong normalization. The target of the translations is a new meta-language for classical logic, named monadic lambda-mu . It is a monadic reworking of Parigot’s -calculus, where the monad...
A coinductive approach to proof search
Espírito Santo, José; Matthes, Ralph; Pinto, Luís F.We propose to study proof search from a coinductive point of view. In this paper, we consider intuitionistic logic and a focused system based on Herbelin’s LJT for the implicational fragment. We introduce a variant of lambda calculus with potentially infinitely deep terms and a means of expressing alternatives for the description of the “solution spaces” (called Böhm forests), which are a representation of all ...
Jogo sério para reabilitação neurocognitiva : cidade Virtual
Miranda, Maria João Pinto LuísTese de Mestrado Integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2012
Oracle retail price management, uma visão de suporte
Pinto, Luís Miguel RamosTese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2010
Sistema combinado de membranas e adsorção com modulação de pressão e temperatur...
Pinto, Luís Miguel Gales PereiraDissertação apresentada para obtenção do grau de Doutor em Engenharia Química, na Faculdade de Engenharia da Universidade do Porto, sob a orientação dos Profs. Drs. Carlos Costa e Adélio Mendes
Distributed LQG control of a water delivery canal with feedforward from measure...
Lemos, João; Pinto, Luís; Rato, Luís; Rijo, ManuelThis work addresses the design of distributed LQG controllers for water delivery canals that include feedforward from local farmer water consumptions. The proposed architecture consists of a network of local control agents, each connected to one of the canal pools and sharing information with their neighbors in order to act in a coordinated way. In order to improve performance, the measurement of the outflows f...
Venous circulation in glaucoma
Pinto, Luís Abegão, 1981-Tese de doutoramento, Medicina (Oftalmologia), Universidade de Lisboa, Faculdade de Medicina, 2012 ; A pulsatilidade venosa espontânea (SVP) da veia central da retina (CRV) é um sinal oftalmológico conhecido há mais de um século. Apesar da sua utilidade ser já reconhecida em várias doenças do foro neurológico e oftalmológico, trabalhos recentes têm sugerido que poderá também ter relevância em doentes com glauc...
A cyber-physical system for dynamic building evacuation
Pinto, Luis Miguel Ramos Bárbara CunhaTese de mestrado integrado. Engenharia Electrotécnica e de Computadores. Universidade do Porto. Faculdade de Engenharia. 2011