Organising interoperability information on highly dynamic and heterogeneous environments

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

Intrusion tolerant routing with data consensus in wireless sensor networks

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

Uncertain Spaces: Virtual Configurations in Contemporary Art and Museums

Contém artigos apresentados na International Conference “Uncertain Spaces: Virtual Configurations in Contemporary Art and Museums”, na Fundação Calouste Gulbenkian (Lisboa), 31 Outubro - 1 de Novembro de 2014) de: Helena Barranha e Susana S. Martins - Introduction: Art, Museums and Uncertainty (pp.1-12); Alexandra Bounia e Eleni Myrivili - Beyond the ‘Virtual’: Intangible Museographies and Collaborative Museum Experiences (pp.15-32); Annet Dekker - Curating in Progress. Moving Between Objects and Processes (pp.33-54); Giselle Beiguelman - Corrupted Memories. The aesthetics of Digital Ruins and the Museum of the Unfinished (pp.55-82); Andrew Vaas Brooks - The Planetary Datalinks (pp.85-110); Sören Meschede - Curators’ Network: Creating a Promotional Database for Contemporary Visual Arts (pp.11-130); Stefanie Kogler - Divergent Histories and Digital Archives of Latin American and Latino Art in the United States – Old Problems in New Digital Formats (pp.131-156); Luise Reitstätter e Florian Bettel - Right to the City! Right to the Museum!(pp.159-182); Roberto Terracciano - On Geo-poetic systems: virtual interventions inside and outside the museum space (pp.183-210); e, Catarina Carneiro de Sousa e Luís Eustáquio - Art Practice in Collaborative Virtual Environments (pp.211-240).

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Human-Human Collaboration in Virtual Teams

Extended and networked enterprises distribute the design of products, planning of the production process, and manufacturing regionally if not globally. Employees are therefore confronted with collaborative work over remote sites. A cost effective collaboration depends highly on the organization maintaining a common understanding for this kind of work and a suitable support with information and communication technology. The usual face to face work is going to be replaced at least partly if not totally by computer mediated collaboration. Creating and maintaining virtual teams is a challenge to work conditions as well as technology. New developments on cost-effective connections are providing not only vision and auditory perception but also haptic perception. Research results for improving remote collaboration are presented. Individual, social and cultural aspects are considered as new requirements on the employees of networked and extended enterprises.

New Shop Floor Control Approaches for Virtual Enterprises

The virtual enterprise paradigm seems a fit response to face market instability and the volatile nature of business opportunities increasing enterprise’s interest in similar forms of networked organisations. The dynamic environment of a virtual enterprise requires that partners in the consortium own reconfigurable shop floors. This paper presents new approaches to shop floor control that meet the requirements of the new industrial paradigms and argues on work re-organization at shop floor level.

Ensino e aprendizagem da matemática com recurso ao CD-ROM escola virtual

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Ensino da Matemática

A shared-disk parallel cluster file system

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

Collaborative geographic visualization

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia do Ambiente, perfil Gestão e Sistemas Ambientais

Virtual globes as a platform for developing spatial literacy

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

Multi-region routing

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Real time mobile system for support in firefighting environments

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Microeukaryoticdiversity in the extreme environments of the Iberian PyriteBelt: a comparison between universal and fungi-specific primer sets, temperature gradient gel electrophoresis and cloning

FEMS Microbiology Ecology, Vol. 57, nº 1

O estudo do marketing digital versus marketing tradicional e a percepção das suas campanhas por parte dos consumidores no mercado virtual e tradicional

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

Innovation through virtual communities of practice: motivations and constraints in the knowledge-creation process

This paper appears in International Journal of Projectics. Vol 4(1), pp. 39-49