Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Landslide susceptibility assessment in Karanganyar regency - Indonesia - Comparison of knowledge-based and Data-driven Models

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

Urban land cover change detection analysis and modeling spatio-temporal Growth dynamics using Remote Sensing and GIS Techniques: A case study of Dhaka, Bangladesh

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

Investigating the use of dasymetric techniques for assessing employment containment in Melbourne, Australia

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

Evaluation of Spatial interpolation techniques for mapping climate variables with low sample density: a case study using a new gridded dataset of Bangladesh

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

IDENTIFICATION OF CANINE VISCERAL LEISHMANIASIS IN A PREVIOUSLY UNAFFECTED AREA BY CONVENTIONAL DIAGNOSTIC TECHNIQUES AND CELL-BLOCK FIXATION

After the report of a second case of canine visceral leishmaniasis (CVL) in São Bento da Lagoa, Itaipuaçu, in the municipality of Maricá, Rio de Janeiro State, an epidemiological survey was carried out, through active search, totaling 145 dogs. Indirect immunofluorescence assay (IFA), enzyme-linked immunosorbent assay (ELISA), and rapid chromatographic immunoassay based on dual-path platform (DPP(r)) were used to perform the serological examinations. The parasitological diagnosis of cutaneous fragments was performed by parasitological culture, histopathology, and immunohistochemistry. In the serological assessment, 21 dogs were seropositive by IFA, 17 by ELISA, and 11 by DPP(r), with sensitivity of 66.7%, 66.7% and 50%, and specificity of 87.2%, 90.2% and 94%, respectively for each technique. The immunohistochemistry of bone marrow using the cell-block technique presented the best results, with six positive dogs found, three of which tested negative by the other parasitological techniques. Leishmania sp. was isolated by parasitological culture in three dogs. The detection of autochthonous Leishmania infantum in Itaipuaçu, and the high prevalence of seropositive dogs confirm the circulation of this parasite in the study area and alert for the risk of expansion in the State of Rio de Janeiro.

Unsupervised classification of remote sensing images combining Self Organizing Maps and segmentation techniques

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

Behavior monitoring and behavioral exchange: an approach from geospatial technologies involving gamification techniques

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

Recursive neuro fuzzy techniques for online identification and control

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

Chromatic reintegration of historical mortars with lime-based pozzolanic consolidant products

3rd Historic Mortars Conference, 11-14 September 2013, Glasgow, Scotland

A nanopore-based stochastic detection method: Single molecule characterisation of nanoparticles using ()- hemolysin

Dissertation presented to obtain the Ph.D degree in Chemistry.

Earth-based mortars for masonry plastering

9th International Masonry Conference 2014, 7-9 July, Universidade do Minho, Guimarães

Diagnosing human asymptomatic visceral leishmaniasis in an urban area of the State of Minas Gerais, using serological and molecular biology techniques

A population-based cross-sectional study was set up in Sabará country, Southeastern Brazil, to identify asymptomatic human visceral leishmaniasis in an urban area of low disease prevalence. Blood was collected on filter paper (n=1,604 inhabitants) and examined by indirect immunofluorescent test, enzyme-linked immunosorbent assay and immunochromatographic strip test. The prevalence rates of infection ranged from 2.4 to 5.6% depending on the test used. One year later, venous blood was collected in a subset of 226 participants (102 seropositive and 124 seronegative). The tests performed were IFAT, ELISA, rk39-ELISA, polymerase chain reaction and hybridization with Leishmania donovani complex probe. No clinical signs or symptoms of leishmaniasis were observed. Using hybridization as a reference test, the sensitivity and specificity of serology were respectively: 24.8 and 71% (ELISA); 26.3 and 76.3% (rk-39); 30.1 and 63.4% (IFAT). Due to disagreements, different criteria were tested to define the infection and hybridization should be considered in epidemiological studies.

Green synthesis of 2-Oxazoline-based polymers with antimicrobial activity using scCO2

Using a green methodology, 17 different poly(2-oxazolines) were synthesized starting from four different oxazoline monomers. The polymerization reactions were conducted in supercritical carbon dioxide under a cationic ring-opening polymerization (CROP) mechanism using boron trifluoride diethyl etherate as the catalyst. The obtained living polymers were then end-capped with different types of amines, in order to confer them antimicrobial activity. For comparison, four polyoxazolines were end-capped with water, and by their hydrolysis the linear poly(ethyleneimine) (LPEI) was also produced. After functionalization the obtained polymers were isolated, purified and characterized by standard techniques (FT-IR, NMR, MALDI-TOF and GPC). The synthesized poly(2-oxazolines) revealed an unusual intrinsic blue photoluminescence. High concentration of carbonyl groups in the polymer backbone is appointed as a key structural factor for the presence of fluorescence and enlarges polyoxazolines’ potential applications. Microbiological assays were also performed in order to evaluate their antimicrobial profile against gram-positive Staphylococcus aureus NCTC8325-4 and gram-negative Escherichia coli AB1157 strains, two well known and difficult to control pathogens. The minimum inhibitory concentrations (MIC)s and killing rates of three synthesized polymers against both strains were determined. The end-capping with N,N-dimethyldodecylamine of living poly(2- methyl-2-oxazoline) and poly(bisoxazoline) led to materials with higher MIC values but fast killing rates (less than 5 minutes to achieve 100% killing for both bacterial species) than LPEI, a polymer which had a lower MIC value, but took a longer time to kill both E.coli and S.aureus cells. LPEI achieved 100% killing after 45 minutes in contact with E. coli and after 4 hours in contact with S.aureus. Such huge differences in the biocidal behavior of the different polymers can possibly underlie different mechanisms of action. In the future, studies to elucidate the obtained data will be performed to better understand the killing mechanisms of the polymers through the use of microbial cell biology techniques.

Aqueous biphasic system based on cholinium ionic liquids: extraction of biologically active phenolic acids

Phenolic acids are aromatic secondary plant metabolites, widely spread throughout the plant kingdom. Due to their biological and pharmacological properties, they have been playing an important role in phytotherapy and consequently techniques for their separation and purification are in need. This thesis aims at exploring new sustainable separation processes based on ionic liquids (ILs) in the extraction of biologically active phenolic acids. For that purpose, three phenolic acids with similar chemical structures were selected: cinnamic acid, p-coumaric acid and caffeic acid. In the last years, it has been shown that ionic liquids-based aqueous biphasic systems (ABSs) are valid alternatives for the extraction, recovery and purification of biomolecules when compared to conventional ABS or extractions carried out with organic solvents. In particular, cholinium-based ILs represent a clear step towards a greener chemistry, while providing means for the implementation of efficient techniques for the separation and purification of biomolecules. In this work, ABSs were implemented using cholinium carboxylate ILs using either high charge density inorganic salt (K3PO4) or polyethylene glycol (PEG) to promote the phase separation of aqueous solutions containing three different phenolic acids. These systems allow for the evaluation of effect of chemical structure of the anion on the extraction efficiency. Only one imidazolium-based IL was used in order to establish the effect of the cation chemical structure. The selective extraction of one single acid was also researched. Overall, it was observed that phenolic acids display very complex behaviours in aqueous solutions, from dimerization to polymerization and also hetero-association are quite frequent phenomena, depending on the pH conditions. These phenomena greatly hinder the correct quantification of these acids in solution.