A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Spatial data infrastructures model for developing countries: A case study of Nigeria

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

Iberian peninsula ecosystem carbon fluxes: a model-data integration study

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia do Ambiente pela Universidade Nova de Lisboa,Faculdade de Ciências e Tecnologia

The ABC model for telework in Portugal

The principal aim of this paper is to develop a simple and objective model which can classify an systematise telework, and provide a standard for Portugal. This model defines special concepts of telework and allows the division of the activity in this area, making its application easier. The model was constructed on the basis of four perspectives which it has to cover: the economic and social, of the employers, of the teleworkers and the suppliers of goods and services.

New strategies to detect and understand genotype-by-environment interactions and QTL-by-environment interactions

Dissertação para obtenção do Grau de Doutor em Estatística e Gestão do Risco, especialidade em Estatística

Stochastic simulation of the morphology of fluvial sand channels reservoirs

Dissertação para obtenção do Grau de Mestre em Engenharia Geológica (Georrecursos)

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.

An internal analysis of Amorim Turismo’s operations regarding food and beverage with a focus on operational efficiency and quality of service

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Strategy definition of a new business opportunity in mobile-casual gaming: Partnership between Nmusic and Rovio Entertainment Ltd.

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

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.

Market risk charge of the trading book: a comparison of the Basel II and Basel III

This paper aims to investigate if the market capital charge of the trading book increased in Basel III compared to Basel II. I showed that the capital charge rises by 232% and 182% under the standardized and internal model, respectively. The varying liquidity horizons, the calibration to a stress period, the introduction of credit spread risk, the restrictions on correlations across risk categories and the incremental default charge boost Basel III requirements. Nevertheless, the impact of Expected shortfall at 97.5% is low and long term shocks decrease the charge. The standardized approach presents advantages and disadvantages relative to internal models.

Electro-Optical/Infrared sensor turret integration on an aircraft - structural im-pact on LOCKHEED MARTIN C-130H and design methodology

The growing need to patrol and survey large maritime and terrestrial areas increased the need to integrate external sensors on aircraft in order to accomplish those patrols at increasingly higher altitudes, longer range and not depending upon vehicle type. The main focus of this work is to elaborate a practical, simple, effective and efficient methodology for the aircraft modification procedure resulting from the integration of an Elec-tro-Optical/Infra-Red (EO/IR) turret through a support structure. The importance of the devel-opment of a good methodology relies on the correct management of project variables as time, available resources and project complexity. The key is to deliver a proper tool for a project de-sign team that will be used to create a solution that fulfils all technical, non-technical and certi-fication requirements present in this field of transportation. The created methodology is inde-pendent of two main inputs: sensor model and aircraft model definition, and therefore it is in-tended to deliver the results for different projects besides the one that was presented in this work as a case study. This particular case study presents the development of a structure support for FLIR STAR SAPHIRE III turret integration on the front lower fuselage bulkhead (radome) of the LOCKHEED MARTIN C-130 H. Development of the case study focuses on the study of local structural analysis through the use of Finite Element Method (FEM). Development of this Dissertation resulted in a cooperation between Faculty of Science and Technology - Universidade Nova de Lisboa and the company OGMA - Indústria Aeronáutica de Portugal

Improving practical reasoning and argumentation

This thesis justifies the need for and develops a new integrated model of practical reasoning and argumentation. After framing the work in terms of what is reasonable rather than what is rational (chapter 1), I apply the model for practical argumentation analysis and evaluation provided by Fairclough and Fairclough (2012) to a paradigm case of unreasonable individual practical argumentation provided by mass murderer Anders Behring Breivik (chapter 2). The application shows that by following the model, Breivik is relatively easily able to conclude that his reasoning to mass murder is reasonable – which is understood to be an unacceptable result. Causes for the model to allow such a conclusion are identified as conceptual confusions ingrained in the model, a tension in how values function within the model, and a lack of creativity from Breivik. Distinguishing between dialectical and dialogical, reasoning and argumentation, for individual and multiple participants, chapter 3 addresses these conceptual confusions and helps lay the foundation for the design of a new integrated model for practical reasoning and argumentation (chapter 4). After laying out the theoretical aspects of the new model, it is then used to re-test Breivik’s reasoning in light of a developed discussion regarding the motivation for the new place and role of moral considerations (chapter 5). The application of the new model shows ways that Breivik could have been able to conclude that his practical argumentation was unreasonable and is thus argued to have improved upon the Fairclough and Fairclough model. It is acknowledged, however, that since the model cannot guarantee a reasonable conclusion, improving the critical creative capacity of the individual using it is also of paramount importance (chapter 6). The thesis concludes by discussing the contemporary importance of improving practical reasoning and by pointing to areas for further research (chapter 7).

Chlorite Dismutase from perchlorate reducing bacteria. A potential biocatalyst to eliminate chlorinated species from polluted water resources and industrial wastes

Magnetospirillum (M.) sp. strain Lusitani, a perchlorate reducing bacteria (PRB), was previously isolated from a wastewater treatment plant and phylogenetic analysis was performed to classify the isolate. The DNA sequence of the genes responsible for perchlorate reduction and chlorite dismutation was determined and a model was designed based on the physiological roles of the proteins involved in the pcr-cld regulon. Chlorite dismutase (Cld) was purified from Magnetospirillum sp. strain Lusitani cells grown in anaerobiosis in the presence of perchlorate. The protein was purified up to electrophoretic grade using HPLC techniques as a 140 kDa homopentamer comprising five ~28 kDa monomers. Steady-state kinetic studies showed that the enzyme follows a Michaelis-Menten model with optimal pH and temperature of 6.0 and 5°C, respectively. The average values for the kinetic constants KM and Vmax were respectively 0.56 mM and 10.2 U, which correspond to a specific activity of 35470 U/mg and a turnover number of 16552 s-1. Cld from M. sp. strain Lusitani is inhibited by the product chloride, but not by dioxygen. Inhibition constants KiC= 460 mM and KiU= 480 mM indicated that sodium chloride is a weak mixed inhibitor of Cld, with a slightly stronger competitive character. The X-ray crystallography structure of M. sp. strain Lusitani Cld was solved at 3.0 Å resolution. In agreement with cofactor content biochemical analysis, the X-ray data showed that each Cld monomer harbors one heme b coordinated by a histidine residue (His188), hydrogen-bonded to a conserved glutamic acid residue (Glu238). The conserved neighboring arginine residue (Arg201) important for substrate positioning, was found in two different conformations in different monomers depending on the presence of the exogenous ligand thiocyanate. UV-Visible and CW-EPR spectroscopies were used to study the effect of redox agents, pH and exogenous ligands on the heme environment.