Constraint reasoning for differential models

The basic motivation of this work was the integration of biophysical models within the interval constraints framework for decision support. Comparing the major features of biophysical models with the expressive power of the existing interval constraints framework, it was clear that the most important inadequacy was related with the representation of differential equations. System dynamics is often modelled through differential equations but there was no way of expressing a differential equation as a constraint and integrate it within the constraints framework. Consequently, the goal of this work is focussed on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the new formalism of Constraint Satisfaction Differential Problems. Such framework allows the specification of ordinary differential equations, together with related information, by means of constraints, and provides efficient propagation techniques for pruning the domains of their variables. This enabled the integration of all such information in a single constraint whose variables may subsequently be used in other constraints of the model. The specific method used for pruning its variable domains can then be combined with the pruning methods associated with the other constraints in an overall propagation algorithm for reducing the bounds of all model variables. The application of the constraint propagation algorithm for pruning the variable domains, that is, the enforcement of local-consistency, turned out to be insufficient to support decision in practical problems that include differential equations. The domain pruning achieved is not, in general, sufficient to allow safe decisions and the main reason derives from the non-linearity of the differential equations. Consequently, a complementary goal of this work proposes a new strong consistency criterion, Global Hull-consistency, particularly suited to decision support with differential models, by presenting an adequate trade-of between domain pruning and computational effort. Several alternative algorithms are proposed for enforcing Global Hull-consistency and, due to their complexity, an effort was made to provide implementations able to supply any-time pruning results. Since the consistency criterion is dependent on the existence of canonical solutions, it is proposed a local search approach that can be integrated with constraint propagation in continuous domains and, in particular, with the enforcing algorithms for anticipating the finding of canonical solutions. The last goal of this work is the validation of the approach as an important contribution for the integration of biophysical models within decision support. Consequently, a prototype application that integrated all the proposed extensions to the interval constraints framework is developed and used for solving problems in different biophysical domains.

Development of CO-releasing molecular for the treatment of inflammatory diseases

Dissertation presented to obtain a Ph.D. degree (Doutoramento) in Chemistry at the Instituto de Tecnologia Quimica e Biol6gica da Universidade Nova de Lisboa

A clustering approach for vehicle routing problems with hard time windows

Dissertação para obtenção do Grau de Mestre em Logica Computicional

On the HHT, its problems, and some solutions

Mechanical Systems and Signal Processing, Vol.22, Number 6

Novel techniques for the design and practical realization of switched-capacitor circuits in deep-submicron CMOS technologies

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Factorization by invariant embedding of elliptic problems: circular and star-shaped domains

Dissertação apresentada para obtenção do grau de Doutor em Matemática na especialidade de Equações Diferenciais, pela Universidade Nova de Lisboa,Faculdade de Ciências e Tecnologia

Reducing the number of membership functions in linguistic variables

Dissertation presented at Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia in fulfilment of the requirements for the Masters degree in Mathematics and Applications, specialization in Actuarial Sciences, Statistics and Operations Research

Invited review: Models for the optimization of regional wastewater treatment systems

European Journal of Operational Research, nº 73 (1994)

Salud y Seguridad del Trabajo en Portugal : apuntes diversos

RESUMO - El autor aborda algunos aspectos relativos a la Salud y Seguridad del Trabajo (SST) en Portugal llamando la atención para, esencialmente, intentar sostener la tesis de que, desde mediados de la década de los 90, se observaron importantes avances en la mejoría de las condiciones del trabajo en la perspectiva de la SST, aunque se mantuvieron algunos problemas en la práctica concreta de las normativas legales. Incluso con estas mejoras, las tasas de frecuencia de accidentes de trabajo y de enfermedades profesionales en Portugal todavía se mantienen muy elevadas necesitando, por tanto, estrategias más “agresivas” para concienciar la sociedad portuguesa en torno a las políticas públicas de SST efectivamente promotoras de prevención de riesgos profesionales y de la promoción de la salud de quien trabaja. Es por tanto indispensable que la protección de la salud y de la seguridad de los trabajadores en los puestos de trabajo sea encarada como un conjunto de actividades de indiscutible utilidad para todos los representantes del mundo del trabajo e que la agenda política pase a valorizar, aún más, la promoción de espacios de trabajo saludables y seguros, con la consecuente valorización de las variables individuales en la estrategia nacional de salud y seguridad.--------------------------ABSTRACT – In the present work, the author analyzes several aspects of Occupational Health and Safety (OHS) in Portugal. He provides evidence sustaining the assumption of an important progress, since the mid-nineties, in the improvement of the working conditions from an OHS perspective. Nevertheless, several problems still remain in the practical application of legal regulations. In addition, despite of these improvements, the frequency rates of working accidents and occupational diseases remain very high. Hence, more “aggressive” strategies are required to increase the awareness of the Portuguese society relative to the OHS public policies, whose effectiveness has been demonstrated either in terms of occupational risks prevention and workers health promotion. The protection of workers’ health and safety at the workplace must then be assumed as an activity of indisputable utility by all stakeholders. The political agenda must thus promote even more the promotion of healthy and safe workplaces. As a consequence, there would be also a higher development of individual aspects, and not only environmental data, in the national strategy of occ

Depositions of rulers in the later middle ages: on the theory of th "useless ruler" and its practical utilization

pp. 157-168

Model of a specialized bidirectional dictionary for German and Portuguese

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Terminologia e Gestão da Informação de Especialidade

Spectral and homogenization problems

Dissertation for the Degree of Doctor of Philosophy in Mathematics

Heuristics and policies for online pickup and delivery problems

Master Thesis

Factorization of elliptic boundary value problems by invariant embedding and application to overdetermined problems

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

A study on reducing digital piracy: an analytical network process approach with benefits, opportunities, costs and risks analysis

Dissertação para obtenção do Grau de Mestre em Engenharia e Gestão Industrial