Wetland Habitat Studies using various Classification Techniques on Multi-Spectral Landsat Imagery: Case study: Tram chim National Park, Dong Thap Vietnam

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

Algorithms and methodologies for decision support in energy efficiency on buildings

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

Multiple sequence alignment correction using constraints

Trabalho apresentado no âmbito do European Master in Computational Logics, como requisito parcial para obtenção do grau de Mestre em Computational Logics

New analytical methodologies for doping control – detection of anabolic androgenic steroids in human urine

Dissertation submitted to Faculdade de Ciências e Tecnologia - Universidade Nova de Lisboa in fulfilment of the requirements for the degree of Doctor of Philosophy (Biochemistry - Biotechnology)

Combining open and closed world reasoning for the semantic web

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

Stratigraphic interpretation of Well-Log data of the Athabasca Oil Sands of Alberta Canada through Pattern recognition and Artificial Intelligence

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

A framework for efficient model transformations

The reported productivity gains while using models and model transformations to develop entire systems, after almost a decade of experience applying model-driven approaches for system development, are already undeniable benefits of this approach. However, the slowness of higher-level, rule based model transformation languages hinders the applicability of this approach to industrial scales. Lower-level, and efficient, languages can be used but productivity and easy maintenance seize to exist. The abstraction penalty problem is not new, it also exists for high-level, object oriented languages but everyone is using them now. Why is not everyone using rule based model transformation languages then? In this thesis, we propose a framework, comprised of a language and its respective environment, designed to tackle the most performance critical operation of high-level model transformation languages: the pattern matching. This framework shows that it is possible to mitigate the performance penalty while still using high-level model transformation languages.

Gold nanoprobes for assessing expression of critical genes in the infection pathway of MRSA

Staphylococcus aureus is an important opportunistic pathogen that can cause a wide variety of diseases from mild to life-threatening conditions. S. aureus can colonize many parts of the human body but the anterior nares are the primary ecological niche. Its clinical importance is due to its ability to resist almost all classes of antibiotics available together with its large number of virulence factores. MRSA (Methicillin-Resistant S. aureus) strains are particularly important in the hospital settings, being the major cause of nosocomial infections worldwide. MRSA resistance to β-lactam antibiotics involves the acquisition of the exogenous mecA gene, part of the SCCmec cassette. Fast and reliable diagnostic techniques are needed to reduce the mortality and morbidity associated with MRSA infections, through the early identification of MRSA strains. The current identification techniques are time-consuming as they usually involves culturing steps, taking up to five days to determine the antibiotic resistance profile. Several amplification-based techniques have been developed to accelerate the diagnosis. The aim of this project was to develop an even faster methodology that bypasses the DNA amplification step. Gold-nanoprobes were developed and used to detect the presence of mecA gene in S. aureus genome, associated with resistance traits, for colorimetric assays based on non-crosslinking method. Our results showed that the mecA and mecA_V2 gold-nanoprobes were sensitive enough to discriminate the presence of mecA gene in PCR products and genomic DNA (gDNA) samples for target concentrations of 10 ng/μL and 20 ng/μL, respectively. As our main objective was to avoid the amplification step, we concluded that the best strategy for the early identification of MRSA infection relies on colorimetric assays based on non-crosslinking method with gDNA samples that can be extracted directly from blood samples.

Component-based software engineering: a quantitative approach

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

High-performance flexible hybrid field-effect transistors based on cellulose fiber paper

IEEE Electron Device Letters, VOL. 29, NO. 9,

Dual-phase inkjet printed electrochromic layers based on PTA and WOX/TiO2 nanoparticles for electrochromic applications

Thesis submitted in Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa for the degree of Master in Materials Engineering

Advanced image processing techniques for detection and quantification of drusen

Dissertation presented to obtain the degree of Doctor of Philosophy in Electrical Engineering, speciality on Perceptional Systems, by the Universidade Nova de Lisboa, Faculty of Sciences and Technology

A study on metallurgy and corrosion of ancient copper-based artefacts from the portuguese territory

Dissertação apresentada para a obtenção do Grau de Doutor em Conservação e Restauro, especialidade Ciências da Conservação, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Development of new methodologies in sample treatment for proteomics workflow based on enzymatic probe sonication technology and mass spectrometry

Thesis submitted to the Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia, for the degree of Doctor of Philosophy in Biochemistry

Constraint-based modeling of minimum set covering: application to species differentation

Work presented in the context of the European Master in Computational Logics, as partial requisit for the graduation as Master in Computational Logics