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.

Algorithmic skeleton framework for the orchestration of GPU computations

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

Inteligência artificial aplicada na previsão de mercados financeiros

Neste documento, são investigados vários métodos usados na inteligência artificial, com o objetivo de obter previsões precisas da evolução dos mercados financeiros. O uso de ferramentas lineares como os modelos AR, MA, ARMA e GARCH têm muitas limitações, pois torna-se muito difícil adaptá-los às não linearidades dos fenómenos que ocorrem nos mercados. Pelas razões anteriormente referidas, os algoritmos como as redes neuronais dinâmicas (TDNN, NARX e ESN), mostram uma maior capacidade de adaptação a estas não linearidades, pois não fazem qualquer pressuposto sobre as distribuições de probabilidade que caracterizam estes mercados. O facto destas redes neuronais serem dinâmicas, faz com que estas exibam um desempenho superior em relação às redes neuronais estáticas, ou outros algoritmos que não possuem qualquer tipo de memória. Apesar das vantagens reveladas pelas redes neuronais, estas são um sistema do tipo black box, o que torna muito difícil extrair informação dos pesos da rede. Isto significa que estes algoritmos devem ser usados com precaução, pois podem tornar-se instáveis.

Personalization platform for multimodal ubiquitous computing applications

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

Preventing atomicity violations with contracts

Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and their possible interleavings. A concurrent program must synchronize the concurrent accesses to shared memory regions, but this is not enough to prevent all anomalies that can arise in a concurrent setting. The programmer can misidentify the scope of the regions of code that need to be atomic, resulting in atomicity violations and failing to ensure the correct behavior of the program. Executing a sequence of atomic operations may lead to incorrect results when these operations are co-related. In this case, the programmer may be required to enforce the sequential execution of those operations as a whole to avoid atomicity violations. This situation is specially common when the developer makes use of services from third-party packages or modules. This thesis proposes a methodology, based on the design by contract methodology, to specify which sequences of operations must be executed atomically. We developed an analysis that statically verifies that a client of a module is respecting its contract, allowing the programmer to identify the source of possible atomicity violations.

A SDK improvement towards gesture support

Human-Computer Interaction have been one of the main focus of the technological community, specially the Natural User Interfaces (NUI) field of research as, since the launch of the Kinect Sensor, the goal to achieve fully natural interfaces just got a lot closer to reality. Taking advantage of this conditions the following research work proposes to compute the hand skeleton in order to recognize Sign Language Shapes. The proposed solution uses the Kinect Sensor to achieve a good segmentation and image analysis algorithms to extend the skeleton from the extraction of high-level features. In order to recognize complex hand shapes the current research work proposes the redefinition of the hand contour making it immutable to translation, rotation and scaling operations, and a set of tools to achieve a good recognition. The validation of the proposed solution extended the Kinects Software Development Kit to allow the developer to access the new set of inferred points and created a template-matching based platform that uses the contour to define the hand shape, this prototype was tested in a set of predefined conditions and showed to have a good success ration and has proven to be eligible for real-time scenarios.

Integrated data model and DSL modifications

Companies are increasingly more and more dependent on distributed web-based software systems to support their businesses. This increases the need to maintain and extend software systems with up-to-date new features. Thus, the development process to introduce new features usually needs to be swift and agile, and the supporting software evolution process needs to be safe, fast, and efficient. However, this is usually a difficult and challenging task for a developer due to the lack of support offered by programming environments, frameworks, and database management systems. Changes needed at the code level, database model, and the actual data contained in the database must be planned and developed together and executed in a synchronized way. Even under a careful development discipline, the impact of changing an application data model is hard to predict. The lifetime of an application comprises changes and updates designed and tested using data, which is usually far from the real, production, data. So, coding DDL and DML SQL scripts to update database schema and data, is the usual (and hard) approach taken by developers. Such manual approach is error prone and disconnected from the real data in production, because developers may not know the exact impact of their changes. This work aims to improve the maintenance process in the context of Agile Platform by Outsystems. Our goal is to design and implement new data-model evolution features that ensure a safe support for change and a sound migration process. Our solution includes impact analysis mechanisms targeting the data model and the data itself. This provides, to developers, a safe, simple, and guided evolution process.

Real-time collaborative editing of OutSystems DSL models

Real-time collaborative editing systems are common nowadays, and their advantages are widely recognized. Examples of such systems include Google Docs, ShareLaTeX, among others. This thesis aims to adopt this paradigm in a software development environment. The OutSystems visual language lends itself very appropriate to this kind of collaboration, since the visual code enables a natural flow of knowledge between developers regarding the developed code. Furthermore, communication and coordination are simplified. This proposal explores the field of collaboration on a very structured and rigid model, where collaboration is made through the copy-modify-merge paradigm, in which a developer gets its own private copy from the shared repository, modifies it in isolation and later uploads his changes to be merged with modifications concurrently produced by other developers. To this end, we designed and implemented an extension to the OutSystems Platform, in order to enable real-time collaborative editing. The solution guarantees consistency among the artefacts distributed across several developers working on the same project. We believe that it is possible to achieve a much more intense collaboration over the same models with a low negative impact on the individual productivity of each developer.

Incremental compilation and deployment for OutSystems Platform

OutSystems Platform is used to develop, deploy, and maintain enterprise web an mobile web applications. Applications are developed through a visual domain specific language, in an integrated development environment, and compiled to a standard stack of web technologies. In the platform’s core, there is a compiler and a deployment service that transform the visual model into a running web application. As applications grow, compilation and deployment times increase as well, impacting the developer’s productivity. In the previous model, a full application was the only compilation and deployment unit. When the developer published an application, even if he only changed a very small aspect of it, the application would be fully compiled and deployed. Our goal is to reduce compilation and deployment times for the most common use case, in which the developer performs small changes to an application before compiling and deploying it. We modified the OutSystems Platform to support a new incremental compilation and deployment model that reuses previous computations as much as possible in order to improve performance. In our approach, the full application is broken down into smaller compilation and deployment units, increasing what can be cached and reused. We also observed that this finer model would benefit from a parallel execution model. Hereby, we created a task driven Scheduler that executes compilation and deployment tasks in parallel. Our benchmarks show a substantial improvement of the compilation and deployment process times for the aforementioned development scenario.

Canada, a child's play

Science4you, a Portuguese developer, producer and seller of scientific and educational toys, leveraged the worldwide growth of this category to successfully expand its operations abroad. Following a recent entry into the United States market, the purpose of this report is to help the company define the next step in its international expansion. A customized scoring model, based on a set of relevant macro and micro-criteria was developed for Anglo-Saxon and Asian countries, yielding Canada as the market with the highest potential. The recommended entry mode is direct exporting via an independent distributor, being complemented with a financial and risk analysis.

Análise de complexidade de programas em ferramentas de apoio à decisão

Dissertação de mestrado em Engenharia de Sistemas

Melhoria na gestão de compras em uma indústria do Pólo Industrial de Manaus (PIM)

Dissertação de mestrado em Engenharia e Gestão Industrial

Quando a luta pelos direitos sexuais se faz no feminino: um estudo de caso sobre o associativismo lésbico em Portugal

Dissertação de mestrado em Sociologia (área de especialização em Desenvolvimento e Políticas Sociais)

To determine if the ‘NIMBY’ phenomenon explains the slow progress of wind farm development or do institutional factors need to be taken in to consideration?

The threats posed by climate change are placing governments under increasing pressure to meet electricity demand from low carbon sources. Wind energy has been has been identified as one of the main technologies to help in meeting these demands. The public in general favour wind energy yet proposed targets for generation capacity lag behind proposed goals. The N IM B Y phenomenon has been suggested as one of the reasons why we are behind our wind generation capacity targets. It is a common mistake to take general support for granted and expect the public to support developments when confronted with them in their local area. In many cases it is not unheard of that governing bodies whether social, political, regulatory, environmental, or cultural can overrule general public support and halt developments. Motives to halt developments will vary depending on the institutional body involved. The problem with the term N IM B Y is that it is too basic a term to describe the broad spectrum of complex motives that various institutions including the public may have against a development. This research focuses on a case study where the developer had major problems with the local county council and its wind energy policies when he was erecting a wind turbine despite having gained planning permission. A survey questionnaire was also used as part o f the research to seek the perception a rural community had on wind energy. The research findings and results are discussed with respect to the literature review highlighting a general public support for wind energy and the influence institutional bodies have over the progress of developments.

The Importance of Revenue Sharing for the Local Economic Impacts of a Renewable Energy Project: A Social Accounting Matrix Approach

As demand for electricity from renewable energy sources grows, there is increasing interest, and public and financial support, for local communities to become involved in the development of renewable energy projects. In the UK, “Community Benefit” payments are the most common financial link between renewable energy projects and local communities. These are “goodwill” payments from the project developer for the community to spend as it wishes. However, if an ownership stake in the renewable energy project were possible, receipts to the local community would potentially be considerably higher. The local economic impacts of these receipts are difficult to quantify using traditional Input-Output techniques, but can be more appropriately handled within a Social Accounting Matrix (SAM) framework where income flows between agents can be traced in detail. We use a SAM for the Shetland Islands to evaluate the potential local economic and employment impact of a large onshore wind energy project proposed for the Islands. Sensitivity analysis is used to show how the local impact varies with: the level of Community Benefit payments; the portion of intermediate inputs being sourced from within the local economy; and the level of any local community ownership of the project. By a substantial margin, local ownership confers the greatest economic impacts for the local community.