Derivation and consistency checking of models in early software product line engineering

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

Avatars and the «Imitation Game» – can machines smile?

Considering Alan Turing’s challenge in «Computing Machinery and Intelligence» (1950) – can machines play the «imitation game»? – it is proposed that the requirements of the Turing test are already implicitly being used for checking the credibility of virtual characters and avatars. Like characters, Avatars aim to visually express emotions (the exterior signs of the existence of feeling) and its creators have to resort to emotion codes. Traditional arts have profusely contributed for this field and, together with the science of anatomy, shaped the grounds for current Facial Action Coding System (FACS) and their databases. However, FACS researchers have to improve their «instruction tables» so that the machines will be able, in a near future, to be programmed to carry out the operation of recognizing human expressions (face and body) and classify them adequately. For the moment, the reproductions have to resort to the copy of real life expressions, and the presente smile of avatars comes from mirroring their human users.

Information provision improvement with a geofencing event-bases system

Nowadays there is a big percentage of the population, specially young users, which are smartphone users and there is a lot of information to be provided within the applications, information provision should be done carefully and should be accurate, otherwise an overload of information will be produced, and the user will discard the app which is providing the information. Mobile devices are becoming smarter and provide many ways to filter information. However, there are alternatives to improve information provision from the side of the application. Some examples are, taking into account the local time, considering the battery level before doing an action and checking the user location to send personalized information attached to that location. SmartCampus and SmartCities are becoming a reality and they have more and more data integrated every day. With all this amount of data it is crucial to decide when and where is the user going to receive a notification with new information. Geofencing is a technique which allows applications to deliver information in a more useful way, in the right time and in the right place. It consists of geofences, physical regions delimited by boundaries, and devices that are eligible to receive the information assigned to the geofence. When devices cross one of these geofences an alert is pushed to the mobile device with the information.

"A reserva ecológica nacional e a sua importância para o ordenamento do território"

This work primarily aims to investigate the ambiguity between the right to build and the need to preserve nature through one of its instruments: the National Ecological Reserve. In both national and international political effort, forced by increasing ecological awareness of the society were being created regulations for environmental problemsolving frameworks. This significant increase in provisions, that regulated the environment and spatial territory, are directly related to the objectives of the European community. In a year when the soil policy has changed, it is important to review the priorities of regional planning in the face of environmental policies. REN is a restriction of public utility that, among other things, aims to define and integrate diverse areas of our territory which by their structure are essential to the ecological stability of the environment. Going through a historical study of the various regimes that regulated REN, the present work aims to inform the understanding of the concept REN, exposing its objectives and form of delimitation of integrated areas, in order to answer questions about the nature of this institute. It were related to all regulations governing the ecological reserves and land, namely Scheme for Conservation of Nature and Biodiversity; Natura 2000, the National Agricultural Reserve, the Law of the ownership of water resources and water, and the RJIGT RJUE, checking to its compatibility with REN. Through a literature review regarding the jurisprudence of national courts applying the doctrine, analysis of legal regimes, analysis of maps depicting the REN, we carried out a qualitative assessment of the trend and legal effect of REN in protecting populations and environment. Therefore we will work with this reflect on the existing environment awareness in our society and its problems in the management of natural resources.