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.

Localization studies of the FemXAB protein family in Staphylococcus aureus

Dissertação apresentada para a obtenção do Grau de Mestre em Genética Molecular e Biomedicina, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Low cost inertial-based localization system for a service robot

Dissertation presented at Faculty of Sciences and Technology of the New University of Lisbon to attain the Master degree in Electrical and Computer Science Engineering

The differential effects of switching costs and attractiveness of alternatives on customer loyalty

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

Medicago truncatula as a platform for Molecular Farming: a study of the subcellular localization of a human recombinant protein!

Dissertation presented at Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa to obtain the Degree of Master in Biotecnology

Differential exploitation of cashew - a low conflict crop - by sympatric humans and chimpanzees

Modification of natural areas by human activities mostly has a negative impact on wildlife by increasing the geographical and ecological overlap between people and animals. This can result in escalating levels of competition and conflict between humans and wildlife, for example over crops. However, data on specific crops and crop parts that are unattractive to wildlife yet important for human livelihoods are surprisingly scarce, especially considering their potential application to reducing crop damage by wildlife. Here we examine the co-utilization of a nationally important and spatially abundant cash crop, cashew Anacardium occidentalis, by people and chimpanzees Pan troglodytes verus inhabiting a forested–agricultural matrix in Cantanhez National Park in Guinea-Bissau. In this Park people predominantly harvest the marketable cashew nut and discard the unprofitable fruit whereas chimpanzees only consume the fruit. Local farmers generally perceive a benefit of raiding by chimpanzees as they reportedly pile the nuts, making harvesting easier. By ensuring that conflict levels over crops, especially those with high economic importance, remain low, the costs of living in proximity to wildlife can potentially be reduced. Despite high levels of deforestation associated with cashew farming, these findings point to the importance of cashew as a low-conflict crop in this area.

Combining WLAN fingerprint-based localization with sensor data for indoor navigation using mobile devices

This project proposes an approach for supporting Indoor Navigation Systems using Pedestrian Dead Reckoning-based methods and by analyzing motion sensor data available in most modern smartphones. Processes suggested in this investigation are able to calculate the distance traveled by a user while he or she is walking. WLAN fingerprint- based navigation systems benefit from the processes followed in this research and results achieved to reduce its workload and improve its positioning estimations.

Probabilistic constraint reasoning with Monte Carlo integration to robot localization

This work studies the combination of safe and probabilistic reasoning through the hybridization of Monte Carlo integration techniques with continuous constraint programming. In continuous constraint programming there are variables ranging over continuous domains (represented as intervals) together with constraints over them (relations between variables) and the goal is to find values for those variables that satisfy all the constraints (consistent scenarios). Constraint programming “branch-and-prune” algorithms produce safe enclosures of all consistent scenarios. Special proposed algorithms for probabilistic constraint reasoning compute the probability of sets of consistent scenarios which imply the calculation of an integral over these sets (quadrature). In this work we propose to extend the “branch-and-prune” algorithms with Monte Carlo integration techniques to compute such probabilities. This approach can be useful in robotics for localization problems. Traditional approaches are based on probabilistic techniques that search the most likely scenario, which may not satisfy the model constraints. We show how to apply our approach in order to cope with this problem and provide functionality in real time.

Crystallographic studies of proteins involved in the mRNA localization mechanisms in Drosophila melanogaster and amidation of the peptidoglycan residues in Staphylococcus aureus

Part of the work described in this chapter, was the subject of the following publication: D. Vieira, T. a. Figueiredo, A. Verma, R. G. Sobral, A. M. Ludovice, H. de Lencastre, and J. Trincao, “Purification, crystallization and preliminary X-ray diffraction analysis of GatD, a glutamine amidotransferase-like protein from Staphylococcus aureus peptidoglycan,” Acta Crystallogr. Sect. F Struct. Biol. Commun., vol. 70, no. 5, pp. 1–4, Apr. 2014.

Study of the role of wall teichoic acids in the localization Staphylococcus aureus cell wall synthesis protein PBP4

The cell wall of Staphylococcus aureus is a highly complex network mainly composed of highly cross-linked peptidoglycan (PG) and teichoic acids (TAs), both important for the maintenance of the integrity and viability of bacteria. The penicillin binding proteins (PBPs), which catalyse the final stage of PG biosynthesis, are targets of β-lactam antibiotics and have been a key focus of antibacterial research. S. aureus has four native PBPs, PBP1-4 carried by both methicillin-sensitive (MSSA) and –resistant (MRSA) strains. PBP4 is required for the synthesis of the highly cross-linked PG and, as shown in recent studies, is essential for the expression of β-lactam resistance in community-acquired strains (CA-MRSA). This protein has a septal localization that seems to be spatially and temporally regulated by an unknown intermediate of the wall teichoic acids (WTA) biosynthesis pathway. Therefore, if WTA synthesis is compromised, PBP4 becomes dispersed throughout the entire cell membrane. The aim of this project was to identify the WTA precursor responsible for the septal recruitment of PBP4. In order to do so, inducible mutants of tarB and tarL genes in the background of NCTCPBP4-YFP were constructed allowing for the study of PBP4 localization in the presence and absence of these specific tar genes.With this work we were able to show that the absence of TarB or TarL leads to the delocalization of PBP4, indicating that TarL or a protein/WTA precursor whose localization/synthesis is dependent on TarL is responsible for the recruitment of PBP4.

Determinants for the subcellular localization of the inner and outer spore coat hubs in Bacillus subtilis

Endospores, or spores for simplicity, are a highly resistant cell type produced by some bacterial species under adverse conditions. Two main protective layers contribute to the resilience of spores: the cortex, composed of peptidoglycan, and the outermost proteinaceous coat. In Bacillus subtilis, the coat comprises up to 80 different proteins, organized into four sublayers: the basement layer, the inner coat, the outer coat and the crust. These proteins are synthesized at different times during sporulation and deposited at the spore surface in multiple coordinated waves. Central to coat formation is a group of morphogenetic proteins that guide the assembly of the coat components. Targeting of the coat proteins to the surface of the developing spore is mainly controlled by the SpoIVA morphogenetic ATPase. In a second stage, the coat proteins fully encircle the spore, a process termed encasement that requires the morphogenetic protein SpoVID. Assembly of the inner coat requires SafA, whereas formation of the outer coat and the crust requires CotE. SafA interacts directly with the N terminus of SpoVID. (...)