JAVA Applets, um comboio em início de marcha

Java! Uma palavra nova e misteriosa que consegue conjugar imagens, movimento, internet, programação, café quente e o nome de uma das 10,000 ilhas dos nossos amigos da Indonésia. No entanto, é sobre os quatro primeiros conceitos que se trata este projecto de “JAVA Applets, um comboio em início de marcha”. Se o HTML vem ligar imagens à internet, o JAVA tenta dar uma certa interactividade utilizando programação mas, tentando também, que os utilizadores finais a possam utilizar sem grande esforço.

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Pozzolanic components in lime mortars: correlating behaviour, composition and microstructure.

Int. J. for Restoration of Buildings and Monuments, vol.11, nº 2 (2005), p.111-118

Lean production in the precast concrete components’ industry

Proceedings IGLC-19, July 2011, Lima, Perú

Distributed replicated macro-components

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

Partial replication in distributed software transactional memory

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

The effect of hydraulic components on lime mortars

XXX IAHS World Congress on Housing - Housing Construction: An Interdisciplinary Task, September 9-13, 2002, Coimbra, Portugal

Maintaining the correctness of transactional memory programs

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

Adsorption equilibria of flue gas components on activated carbon

Dissertação para obtenção do Grau de Mestre em Engenharia Química e Bioquímica

Lime mortars with ceramic wastes: characterization of components and their influence on the mechanical behaviour

Considering the fundamental importance of preserving the built heritage and of ensuring the good performance achieved by incorporating ceramic particles in lime mortars in ancient times, it is important to study solutions that use materials the available today, in order to produce mortars intended to repair and replace the old ones. Solutions incorporating industrial ceramic waste might be profitable for several reasons, namely for economic, environmental and technical aspects. In this paper, seven ceramic waste products collected from ceramics factories are characterized. Their mineralogy, dimensional features and pozzolanicity were determined. Three of these products, with different particle size fractions (obtained directly from milling, dust only and fragment fractions only), were selected, incorporated into air lime mortars, and their mechanical strength was determined. In the present work, evidence of mechanical efficiency, when common sand or air lime were partially replaced by ceramic wastes, was made clear, drawing attention to the sustainability of this type of mortars, hence, encouraging further research.

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Fishing the key biological components of the bacterium Geobacter metallireducens for optimal biotechnological applications

Os resultados apresentados no capítulo 2 foram incluídos no artigo Dantas JM, Campelo LM, Duke NEC, Salgueiro CA, Pokkuluri PR (2015) "The structure of PccH from Geobacter sulfurreducens – a novel low reduction potential monoheme cytochrome essential for accepting electrons from an electrode", FEBS Journal, 282, 2215-2231.