Efficient paraconsistent reasoning with rules and ontologies for the semantic web

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.

Creation of a web application for smart park system and parking prediction study for system integration

In the last few years, we have observed an exponential increasing of the information systems, and parking information is one more example of them. The needs of obtaining reliable and updated information of parking slots availability are very important in the goal of traffic reduction. Also parking slot prediction is a new topic that has already started to be applied. San Francisco in America and Santander in Spain are examples of such projects carried out to obtain this kind of information. The aim of this thesis is the study and evaluation of methodologies for parking slot prediction and the integration in a web application, where all kind of users will be able to know the current parking status and also future status according to parking model predictions. The source of the data is ancillary in this work but it needs to be understood anyway to understand the parking behaviour. Actually, there are many modelling techniques used for this purpose such as time series analysis, decision trees, neural networks and clustering. In this work, the author explains the best techniques at this work, analyzes the result and points out the advantages and disadvantages of each one. The model will learn the periodic and seasonal patterns of the parking status behaviour, and with this knowledge it can predict future status values given a date. The data used comes from the Smart Park Ontinyent and it is about parking occupancy status together with timestamps and it is stored in a database. After data acquisition, data analysis and pre-processing was needed for model implementations. The first test done was with the boosting ensemble classifier, employed over a set of decision trees, created with C5.0 algorithm from a set of training samples, to assign a prediction value to each object. In addition to the predictions, this work has got measurements error that indicates the reliability of the outcome predictions being correct. The second test was done using the function fitting seasonal exponential smoothing tbats model. Finally as the last test, it has been tried a model that is actually a combination of the previous two models, just to see the result of this combination. The results were quite good for all of them, having error averages of 6.2, 6.6 and 5.4 in vacancies predictions for the three models respectively. This means from a parking of 47 places a 10% average error in parking slot predictions. This result could be even better with longer data available. In order to make this kind of information visible and reachable from everyone having a device with internet connection, a web application was made for this purpose. Beside the data displaying, this application also offers different functions to improve the task of searching for parking. The new functions, apart from parking prediction, were: - Park distances from user location. It provides all the distances to user current location to the different parks in the city. - Geocoding. The service for matching a literal description or an address to a concrete location. - Geolocation. The service for positioning the user. - Parking list panel. This is not a service neither a function, is just a better visualization and better handling of the information.

UAV - based imagery processing using structure from motion and remote sensing technology

With the recent advances in technology and miniaturization of devices such as GPS or IMU, Unmanned Aerial Vehicles became a feasible platform for a Remote Sensing applications. The use of UAVs compared to the conventional aerial platforms provides a set of advantages such as higher spatial resolution of the derived products. UAV - based imagery obtained by a user grade cameras introduces a set of problems which have to be solved, e. g. rotational or angular differences or unknown or insufficiently precise IO and EO camera parameters. In this work, UAV - based imagery of RGB and CIR type was processed using two different workflows based on PhotoScan and VisualSfM software solutions resulting in the DSM and orthophoto products. Feature detection and matching parameters influence on the result quality as well as a processing time was examined and the optimal parameter setup was presented. Products of the both workflows were compared in terms of a quality and a spatial accuracy. Both workflows were compared by presenting the processing times and quality of the results. Finally, the obtained products were used in order to demonstrate vegetation classification. Contribution of the IHS transformations was examined with respect to the classification accuracy.

Suporte para bilhética numa plataforma web para organização de eventos

Esta dissertação foi desenvolvida em ambiente empresarial com a empresa Opensoft. O tema da dissertação está focado no estudo e desenvolvimento de uma solução de acreditação e controlo de acessos de participantes em eventos. Tem como objetivo estender uma plataforma web já existente que permite a criação e gestão de eventos, por parte do organizador, e a inscrição e respetivo pagamento, no caso de existir, por parte dos participantes. Nesta dissertação realizou-se um estudo sobre registos de entradas, acreditação, controlo de acessos e entregáveis onde já existem diversas soluções no mercado. Existem várias soluções que se dedicam a diferentes modelos de eventos, sendo a maioria destas soluções de check-in apenas um registo simples de participantes sem um conceito de acreditação, e sendo a maior parte de carácter móvel. Estudou-se um sistema de gestão de inscrições em eventos e respetivos pagamentos, o Weventual, que tinha algumas desvantagens em relação às soluções existentes. Com vista a melhorar este sistema e promovê-lo como um grande concorrente aos outros sistemas de gestão de eventos, foi apresentada uma proposta de solução composta por duas vertentes, uma pelo uso do portal online para eventos que não têm a capacidade de adquirir dispositivos móveis ou queiram usar sempre a mesma plataforma, e outra pelo uso de uma aplicação móvel de forma a se facilitar a logística da maioria de eventos não sendo necessário de um posto fixo com um computador e diversos dispositivos periféricos associados e até poder ser offline. Neste projeto foi realizado um sistema que permite então a realização de registos de entradas e acreditação durante o decorrer de um evento, podendo este registo funcionar manualmente ou pela utilização de códigos de barras de forma a automatizar e agilizar o processo e ainda com propriedades web design responsive para integrar diversos tipos de dispositivos fixos e móveis. Foi incluída a emissão de recibos/fatura após o pagamento de uma inscrição num evento sendo utilizada uma ligação por web services a um sistema externo, o SIMN. Foi ainda proposta uma funcionalidade de apresentação de resultados sobre os participantes do evento. Esta solução encontra-se validada tendo sido implementada e adicionada ao Portal Weventual.

Web Design como ferramenta de Comunicação Digital

WEB DESIGN COMO FERRAMENTA DE COMUNICAÇÃO DIGITAL: DESIGN E DESENVOLVIMENTO DE SITES, UTILIZANDO O GESTOR DE CONTEÚDOS WORDPRESS; DESIGN DE CONTEÚDOS VISUAIS PARA O FACEBOOK DE UMA MARCA

Desenvolvimento de aplicações de Sistemas de Informação Geográfica WEB para gestão de resíduos urbanos.

A gestão do território contribui para o desenvolvimento socioeconómico e para o alcance de necessidades coletivas. A gestão de recursos, por sua vez, é uma das vias para atingir tais propósitos, convocando agentes, entidades e serviços para a administração de um território. O crescimento social e económico e a expansão urbana das últimas décadas tiveram um impacto significativo no consumo de recursos e na decorrente produção de resíduos, fazendo da gestão dos mesmos um importante meio para a gestão de recursos, com contributo para a gestão do território. Neste contexto, surgem serviços de gestão de resíduos urbanos, que dependem de informação geográfica referente ao seu sistema e ao do ambiente territorial em que o mesmo se insere. Face ao dinamismo e às relações entre diversos fenómenos e elementos presentes no referido ambiente, o processo de gestão de resíduos urbanos torna-se um desafio cada vez mais exigente e heterogéneo, em matéria de decisão espacial. Por esse motivo, é indispensável possuir ferramentas que integrem vários dados e que possibilitem abordagens metodológicas orientadas para uma intervenção territorial mais realista. Para tal, existem diversos métodos e técnicas, assentes em Tecnologias de Informação e Comunicação, com uma considerável adesão a soluções de Sistemas de Informação Geográfica, dada a necessidade de manipular informação com carácter espacial referente à gestão de resíduos urbanos. No quadro atual da produção e da prestação de serviços através de rede digital, as plataformas Web desses Sistemas de Informação Geográfica constituem-se como um instrumento para gestão de resíduos. Considerando o exemplo do Gabinete de Estudos, Planeamento e Controlo, dos Serviços Intermunicipalizados de Águas e Resíduos dos Municípios de Loures e Odivelas, no presente Trabalho de Projeto, pretende-se avaliar a situação atual das metodologias e dos recursos tecnológicos que um serviço deste tipo possui, percebendo o contributo que aplicações de Sistemas de Informação Geográfica Web podem ter para a concretização da sua missão, na conjuntura atual da tecnologia, da informação e da comunicação na Administração Pública. Assim, o presente Trabalho de Projeto propõe também um modelo de desenvolvimento das referidas aplicações, assentes em Sistemas de Informação Geográfica Desktop e Web de código aberto, livres e gratuitos. As aplicações abarcam informação interna, referente ao sistema de resíduos urbanos, dos Serviços Intermunicipalizados de Águas e Resíduos dos Municípios de Loures e Odivelas, e informação externa diversa, referente ao seu território de intervenção. A integração e relação da informação interna e externa, com resultados nas aplicações, são apresentadas como possíveis meios de assistência aos procedimentos efetuados no Gabinete de Estudos, Planeamento e Controlo e à prestação efetiva do serviço de gestão de resíduos urbanos. Igualmente, é possível inferir a versatilidade, a aplicabilidade e o potencial de aplicações de Sistemas de Informação Geográfica, em diversas vertentes e escalas de gestão do território.

How do current term structure model behave beyond the last liquid point?: A comparison of the DNS and Smith-Wilson methods

A Work Project, presented as part of the requirements for the Award of a Master’s Double Degree in Finance from Maastricht University and NOVA – School of Business and Economics

Design and characterization of novel biopolymeric structure using biocompatible ionic liquids

The main objective of this thesis was the development of polymeric structures from the dissolution of FucoPol, a bacterial exopolysaccharide (EPS), in a biocompatible ionic liquid, choline acetate. The FucoPol was produced by the bacteria Enterobacter A47 using glycerol as carbon source at controlled temperature and pH (30ºC and 7, respectively). At the end of 3 days it was produced 7 g/L of FucoPol. The net yield of Fucopol in glycerol (YP/S) was 0.22 g/g and the maximum productivity 2.37 g/L.d This polymer was characterized about its composition in sugars and acyl groups (by High-Performance Liquid Chromatography - HPLC), containing fucose (35 % mol), galactose (21 % mol), glucose (29 % mol), rhamnose (3% mol) and glucuronic acid (12% mol) as well as acetate (14.28 % mol), pyruvate (2.15 % mol) and succinate (1.80 % mol). Its content of water and ash was 15% p/p and 2% p/p, respectively, and the chemical bonds (determined by Infrared Spectroscopy - FT-IR) are consistent to the literature reports. However, due to limitations in Differential Scanning Calorimetry (DSC) equipment it was not possible to determine the glass transition temperature. In turn, the ionic liquid showed the typical behavior of a Newtonian fluid, glass transition temperature (determined by DSC) -98.03ºC and density 1.1031 g/cm3. The study of chemical bonds by FT-IR showed that amount of water (8.80%) influenced the visualization of the bands predicted to in view of their chemical structure. After the dissolution of the FucoPol in the ionic liquid at different temperatures (50, 60, 80 and 100 ° C) it was promoted the removal of this by the phase inversion method using deionized water as a solvent, followed by drying in an oven at 70 ° C. The mixtures before and after the phase inversion method were characterized through the studies mentioned above. In order to explore possible application field’s biocompatibility assays and collage on balsa wood tests were performed. It was found that the process of washing with water by the phase inversion method was not totally effective in removing the biocompatible ionic liquid, since all FucoPol – IL mixtures still contained ionic liquid in their composition as can be seen by the DSC results and FT-IR. In addition, washing the mixtures with water significantly altered the composition of FucoPol. However, these mixtures, that developed a viscous behavior typical of a non-Newtonian fluid (shear-thinning), have the potential to be applied in the biomedical field as well as biological glues.

WEB TV. Uma proposta na área das ciências da comunicação

Este relatório descreve as fases essenciais do desenvolvimento de uma proposta para uma Web TV num contexto universitário e sugere um modelo multimédia baseado num princípio de folksonomia. Este projecto pretende ser uma mais valia na forma como o trabalho académico é divulgado e partilhado e visa ser um instrumento que dá visibilidade ao trabalho desenvolvido numa instituição académica, dinamiza a relação entre alunos e professores e torna possível a publicação dos mesmos para o publico em geral. Foi desenvolvido a pensar nas especificidades do Departamento de Ciências da Comunicação (DCC) da Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa (FCSH-UNL), sobretudo ao nível dos conteúdos de media produzidos nos ateliers e cadeiras práticas. Modelo que pode ser aplicado a outras instituições em contextos idênticos. A Web TV representa, no universo dos média, um conjunto muito alargado de aplicações que abrange a publicidade, o divertimento, o jornalismo e o ensino entre outras. O ensino é provavelmente a área em que a Web TV mais pode contribuir como meio privilegiado de divulgação e partilha de informação tanto dentro como fora de uma instituição universitária. Com a Web TV podem ser apresentados e criados os mais diversos conteúdos, como, por exemplo: conferências, aulas, documentários, teses e/ou qualquer outro conteúdo de texto ou multimédia que seja de natureza científica. As competências da Web 2.0, aplicadas na Web TV que proponho, conferem-lhe características únicas para a promoção e divulgação do conhecimento científico, revestindo assim este projecto de especial importância.

Does ownership structure matter? Three essays in finance

Management

Relatório de estágio na agência Ogilvy. A importância dos testes de usabilidade e do Responsive Web Design no desenvolvimento de projetos digitais

O presente relatório de estágio enquadra-se no método de avaliação final do Mestrado em Novos Media e Práticas Web, da Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa e pretende abordar o trabalho desenvolvido por mim durante o estágio curricular realizado na agência de comunicação e publicidade Ogilvy. O estágio decorreu entre novembro de 2014 e fevereiro de 2015, durante o qual desempenhei o cargo de online producer e fui supervisionada por Sara Cabral Fonseca, diretora de projeto. Todos os trabalhos tiveram como objetivo principal o acompanhamento e conhecimento do processo ligado ao desenvolvimento de projetos digitais, desde o briefing até à programação e conteúdo. Os trabalhos compreenderam a realização de testes de usabilidade em deskop e mobile dos sites e aplicações desenvolvidos pelo departamento digital da empresa, e também o apoio na realização de tarefas ligadas à gestão de conteúdos de vários websites. Este relatório resulta de todo o trabalho concretizado e pretende efetuar uma contextualização teórica ligada à importância dos testes de usabilidade e do Responsive Web Design (RWD) na implementação de projetos digitais.

The Multidimensional and Centred Structure of Our Interested Perception in Hierocles

O objectivo desta dissertação é identificar a estrutura da percepção tal como ela é desenhada por Hiérocles nos <,(#= >1!(?$%&'(). Para alcançar este objectivo focar-me-ei na análise que o filósofo estóico leva a cabo em torno da percepção. O foco começa por incindir sobre a distinção entre percepção de si e percepção do exterior, com todas as suas subtilezas. Tal análise implicará então a consideração da importância da não-indiferença nessa estrutura de percepção. O objectivo é compreender como a percepção é sempre relacional e interessada. . Centrar-me-ei então na noção de !"#$%&'(), tentanto explorar a complexidade e multiplicidade do fenómeno em causa. Será também estabalecida a relação com o fragmento de Estobeu (6.671), que é, a par da obra, a fonte mais importante do pensamento de Hiérocles. Através desta relação introduzir-se-á a estrutura circular e concêntrica de uma percepção relacional e interessada. Toda esta dissertação será levada a cabo focando-se principalmente nos textos do próprio Hiérocles.

Inovcity- Structure of trials evaluation

In 2007, the UK government commissioned the Energy Demand Research Project to conduct a large scale experiment of smart metering technologies to test the impacts from many different forms of feedback to residential consumers. A full evaluation of the results was completed in 2011. In Portugal, EDP is also conducting smart meter trials in a project called InovCity in the city of Évora whose results will be evaluated during 2012. In this work, the case of Great Britain is studied as a reference on how an evaluation of trial results should be conducted. I also discuss potential limitations of the experiments, implications for national roll-out decisions, and finally draw some lessons that can be applied to the Portuguese case.