Societal embedding in high-speed train technology development: dominant perspective from a case study

The present article is based on the report for the Doctoral Conference of the PhD programme in Technology Assessment, held at FCT-UNL Campus, Monte de Caparica, June 9th, 2011. The PhD thesis has the supervision of Prof. António Moniz (FCT-UNL and ITAS-KIT), and co-supervision of Prof. Manuel Seabra Pereira and Prof. Rosário Macário (both from IST-UTL).

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

Modeling assembly program with constraints. A contribution to WCET problem

Dissertação para obtenção do Grau de Mestre em Lógica Computacional

Geospatial data harmonization from regional level to european level: a usa case in forest fire data

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.

Evaluation of a volunteered geographical information trust measure in the case of OpenStreetMap

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

Location-based Marketing: the academic framework

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

Analysing and visualising areal crime data. A case study of residential burglary in San Francisco, USA

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

Evaluation of thermal remote sensing for detection of thermal anomalies as earthquake precursors: a case study for Malatya-Pütürge-Doganyol (Turkey) Earthquake, July 13, 2003

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

GI Systems for public health with an ontology based approach

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

A Web based geospatial application for disaster preparedness in Uganda

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

Gd(III) chelates as NMR probes of protein-protein interactions. Case study: rubredoxin and cytochrome c3

Inorganic Chemistry 50(21):10600-7

Context-aware personalization environment for mobile computing

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

Social BPM – The role of social networks in business process management

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

Urban land use and land cover change analysis and modeling a case study area Malatya, Turkey

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