Velas içadas: navigating emotion in a sea of science

Dissertação para obtencão do grau de Mestrado em Arte e Ciência do Vidro

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

The use of indicators and evidence in governance and policy development of science, technology and innovation

This paper was first presented at the 2012 – EU SPRI Conference “Towards Transformative Governance? - Responses to mission-oriented innovation policy paradigms”, Fraunhofer ISI, June 2012, Karlsruhe

Gender Differences in Spatial Cognition: Wayfinding Performance and Sketch Mapping Activity of German Speakers

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

Development of regional spatial data infrastructure (SDI) case study in hearth of Borneo

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

Microtheories for SDI - Accounting for diversity of local conceptualisations at a global level

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

A qualitive reasoning approach for improving query results for sketch based queries by topological analysis of spatial aggregation

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

Assessment of metadata associated with geotag pictures

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

Quantification of urban land use intensity - A case of Dhaka City of Bangladesh

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

Public private collaboration: Potentials for spatial data infrastructure development in developing countries - A caste study of Nigeria

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

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.

Spatial analysis of suicide attack incidences in Kabul City

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

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.

Urban sprawl analysis and modeling in Asmara, Eritreia: Application of Geospatial Tools

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

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.