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.

Design and implementation of a behaviorally typed programming system for web services

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 Informática.

Development of Chitosan and Poly (Vinyl Alcohol) Blended scaffolds for cell culture using supercritical fluids technology

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Mestrado Integrado em Engenharia Química e Bioquímica

Supporting On-Line Distributed Monitoring and Debugging

Monitoring systems have traditionally been developed with rigid objectives and functionalities, and tied to specific languages, libraries and run-time environments. There is a need for more flexible monitoring systems which can be easily adapted to distinct requirements. On-line monitoring has been considered as increasingly important for observation and control of a distributed application. In this paper we discuss monitoring interfaces and architectures which support more extensible monitoring and control services. We describe our work on the development of a distributed monitoring infrastructure, and illustrate how it eases the implementation of a complex distributed debugging architecture. We also discuss several issues concerning support for tool interoperability and illustrate how the cooperation among multiple concurrent tools can ease the task of distributed debugging.

An information model for lean, agile, resilient and green supply chain management

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

In situ measured cross section geometry of old timber structures and its influence on structural safety

Old timber structures may show significant variation in the cross section geometry along the same element, as a result of both construction methods and deterioration. As consequence, the definition of the geometric parameters in situ may be both time consuming and costly. This work presents the results of inspections carried out in different timber structures. Based on the obtained results, different simplified geometric models are proposed in order to efficiently model the geometry variations found. Probabilistic modelling techniques are also used to define safety parameters of existing timber structures, when subjected to dead and live loads, namely self-weight and wind actions. The parameters of the models have been defined as probabilistic variables, and safety of a selected case study was assessed using the Monte Carlo simulation technique. Assuming a target reliability index, a model was defined for both the residual cross section and the time dependent deterioration evolution. As a consequence, it was possible to compute probabilities of failure and reliability indices, as well as, time evolution deterioration curves for this structure. The results obtained provide a proposal for definition of the cross section geometric parameters of existing timber structures with different levels of decay, using a simplified probabilistic geometry model and considering a remaining capacity factor for the decayed areas. This model can be used for assessing the safety of the structure at present and for predicting future performance.

Distributed processing of large remote sensing images using MapReduce - A case of Edge Detection

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

Insights into the role of almond CBF transcription factors in the environmental control of cold acclimation and dormancy break

Dissertation presented to obtain the Ph.D degree in Biology

Economic analysis in health care regulation : three essays

ABSTRACT - It is the purpose of the present thesis to emphasize, through a series of examples, the need and value of appropriate pre-analysis of the impact of health care regulation. Specifically, the thesis presents three papers on the theme of regulation in different aspects of health care provision and financing. The first two consist of economic analyses of the impact of health care regulation and the third comprises the creation of an instrument for supporting economic analysis of health care regulation, namely in the field of evaluation of health care programs. The first paper develops a model of health plan competition and pricing in order to understand the dynamics of health plan entry and exit in the presence of switching costs and alternative health premium payment systems. We build an explicit model of death spirals, in which profitmaximizing competing health plans find it optimal to adopt a pattern of increasing relative prices culminating in health plan exit. We find the steady-state numerical solution for the price sequence and the plan’s optimal length of life through simulation and do some comparative statics. This allows us to show that using risk adjusted premiums and imposing price floors are effective at reducing death spirals and switching costs, while having employees pay a fixed share of the premium enhances death spirals and increases switching costs. Price regulation of pharmaceuticals is one of the cost control measures adopted by the Portuguese government, as in many European countries. When such regulation decreases the products’ real price over time, it may create an incentive for product turnover. Using panel data for the period of 1997 through 2003 on drug packages sold in Portuguese pharmacies, the second paper addresses the question of whether price control policies create an incentive for product withdrawal. Our work builds the product survival literature by accounting for unobservable product characteristics and heterogeneity among consumers when constructing quality, price control and competition indexes. These indexes are then used as covariates in a Cox proportional hazard model. We find that, indeed, price control measures increase the probability of exit, and that such effect is not verified in OTC market where no such price regulation measures exist. We also find quality to have a significant positive impact on product survival. In the third paper, we develop a microsimulation discrete events model (MSDEM) for costeffectiveness analysis of Human Immunodeficiency Virus treatment, simulating individual paths from antiretroviral therapy (ART) initiation to death. Four driving forces determine the course of events: CD4+ cell count, viral load resistance and adherence. A novel feature of the model with respect to the previous MSDEMs is that distributions of time to event depend on individuals’ characteristics and past history. Time to event was modeled using parametric survival analysis. Events modeled include: viral suppression, regimen switch due virological failure, regimen switch due to other reasons, resistance development, hospitalization, AIDS events, and death. Disease progression is structured according to therapy lines and the model is parameterized with cohort Portuguese observational data. An application of the model is presented comparing the cost-effectiveness ART initiation with two nucleoside analogue reverse transcriptase inhibitors (NRTI) plus one non-nucleoside reverse transcriptase inhibitor(NNRTI) to two NRTI plus boosted protease inhibitor (PI/r) in HIV- 1 infected individuals. We find 2NRTI+NNRTI to be a dominant strategy. Results predicted by the model reproduce those of the data used for parameterization and are in line with those published in the literature.

GuestCentric Systems and its internationalization to Brazil

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Cell division and chromosome segregation in Staphylococcus aureus

Dissertação para a obtenção do grau de doutor em Biologia pelo Instituto de Tecnologia Química e Biológica. Universidade Nova de Lisboa

Effect of surfactant on PDLC films with and without permanent memory effect

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

Quantification and characterization of the phenolic compounds of kenaf leaves

Dissertation for the Master Degree in Technology and Food Security

Writing/erasing 3D micro and nano wrinkles in flexible elastomers for volatile organic compounds sensor

Micro/nano wrinkled patterns on cross-linked urethane/urea polymeric flexible free standing films with two soft segments, polypropylene oxide and polybutadiene, can be induced by UV-irradiation. The ability to write/erase these 3D structures, in a controlled manner, is the main focus of this work. The imprinting of the wrinkled structures was accomplished by swelling in an appropriate solvent followed by drying the membranes after the cross-linking process and UV irradiation. The surface tailoring of the elastomeric membranes was imaged by optical microscopy, scanning electronic microscopy and by atomic force microscopy. To erase the wrinkled structures the elastomers were swollen. The swelling as well as the sol/gel fraction and the UV radiation were tuned in order to control the wrinkles characteristics. It was found that the wrinkles wavelength, in the order of microns (1±0,25μm), was stamped by the UV radiation intensity and exposure time while the wrinkles' amplitude, in the order of nanometers (150-450 nm), was highly dependent on the swelling and sol/gel fraction. A prototype for volatile organic compounds detection was developed taking advantage of the unique 3D micro/nano wrinkles features.

Characterization tests for insulation boards made from corn cob and natural glues

In recent years there has been a growing interest in developing news solutions for more ecologic and efficient construction, including natural, renewable and local materials, thus contributing in the search for more efficient, economic and environmentally friendly construction. Several authors have assessed the possibility of using various agricultural sub products or wastes, as part of the effort of the scientific community to find alternative and more ecologic construction materials. Corn cob is an agricultural waste from a very important worldwide crop. Natural glues are made from natural materials, non-mineral, that can be used as such or after some modifications to achieve the behaviour and performance required. Two examples of these natural glues are casein and wheat flour-based glues that were used in the present study. Boards with different compositions were manufactured, having as variables the type of glue, the dimension of the corn cob particles and the features of the pressing process. The tests boards were characterized with physical and mechanical tests, such as thermal conductivity (λ) with a ISOMET 2104 and 60 mm diameter contact probe, density (ρ) based on EN 1602:2013, surface hardness (SH) with a PCE Shore A durometer, surface resistance (SR) with a PROCEQ PT pendular sclerometer, bending behaviour (σ) based on EN 12089:2013, compression behaviour (σ10) based on EN 826:2013 and resilience (R) based on EN 1094-1:2008, with a Zwick Rowell bending equipment with 2 kN and 50 kN load cells (Fig. 1), dynamic modulus of elasticity (Ed) with a Zeus Resonance Meter equipment (Fig. 5) based on NP EN 14146:2006 and water vapour permeability (δ) based on EN 12086:2013. The various boards produced were characterized according to the tests and the ones with the best results were C8_c8 (casein glue, grain size 2,38-4,76 mm, cold pressing for 8 hours), C8_c4 (casein glue, grain size 2,38-4,76 mm, cold pressing for 4 hours), F8_h0.5 (wheat flour glue, grain size 2,38-4,76 mm, hot pressing for 0,5 hours), FEV8_h0.5 (wheat flour, egg white and vinegar glue, grain size 2,38-4,76 mm, hot pressing for 0,5 hours) and FEVH68_c4 (wheat flour, egg white, vinegar and 6 g of sodium hydroxide glue, grain size 2,38-4,76 mm, cold pressing for 4 hours). Taking into account the various boards produced and respective test results the type of glue and the pressure and pressing time are very important factors which strongly influence the final product. The results obtained confirmed the initial hypotheses that these boards have potential as a thermal and, eventually, acoustic insulation material, to use as coating or intermediate layer on walls, floors or false ceilings. This type of board has a high mechanical resistance when compared with traditional insulating materials.The integrity of these boards seems to be maintained even in higher humidity environments. However, due to biological susceptibility and sensitivity to water, they would be more adequate for application in dry interior conditions.