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.

A DSL for querying building data streams of energy, eeather and occupation data

The superfluous consumption of energy is faced by the modern society as a Socio-Economical and Environmental problem of the present days. This situation is worsening given that it is becoming clear that the tendency is to increase energy price every year. It is also noticeable that people, not necessarily proficient in technology, are not able to know where savings can be achieved, due to the absence of accessible awareness mechanisms. One of the home user concerns is to balance the need of reducing energy consumption, while producing the same activity with all the comfort and work efficiency. The common techniques to reduce the consumption are to use a less wasteful equipment, altering the equipment program to a more economical one or disconnecting appliances that are not necessary at the moment. However, there is no direct feedback from this performed actions, which leads to the situation where the user is not aware of the influence that these techniques have in the electrical bill. With the intension to give some control over the home consumption, Energy Management Systems (EMS) were developed. These systems allow the access to the consumption information and help understanding the energy waste. However, some studies have proven that these systems have a clear mismatch between the information that is presented and the one the user finds useful for his daily life, leading to demotivation of use. In order to create a solution more oriented towards the user’s demands, a specially tailored language (DSL) was implemented. This solution allows the user to acquire the information he considers useful, through the construction of questions about his energy consumption. The development of this language, following the Model Driven Development (MDD) approach, took into consideration the ideas of facility managers and home users in the phases of design and validation. These opinions were gathered through meetings with experts and a survey, which was conducted to the purpose of collecting statistics about what home users want to know.

Benefits & drawbacks of different means of interaction for placing objects above a video footage

Public Display Systems (PDS) increasingly have a greater presence in our cities. These systems provide information and advertising specifically tailored to audiences in spaces such as airports, train stations, and shopping centers. A large number of public displays are also being deployed for entertainment reasons. Sometimes designing and prototyping PDS come to be a laborious, complex and a costly task. This dissertation focuses on the design and evaluation of PDS at early development phases with the aim of facilitating low-effort, rapid design and the evaluation of interactive PDS. This study focuses on the IPED Toolkit. This tool proposes the design, prototype, and evaluation of public display systems, replicating real-world scenes in the lab. This research aims at identifying benefits and drawbacks on the use of different means to place overlays/virtual displays above a panoramic video footage, recorded at real-world locations. The means of interaction studied in this work are on the one hand the keyboard and mouse, and on the other hand the tablet with two different techniques of use. To carry out this study, an android application has been developed whose function is to allow users to interact with the IPED Toolkit using the tablet. Additionally, the toolkit has been modified and adapted to tablets by using different web technologies. Finally the users study makes a comparison about the different means of interaction.

Analysis and visualization of energy use for university campus

The reduction of greenhouse gas emissions is one of the big global challenges for the next decades due to its severe impact on the atmosphere that leads to a change in the climate and other environmental factors. One of the main sources of greenhouse gas is energy consumption, therefore a number of initiatives and calls for awareness and sustainability in energy use are issued among different types of institutional and organizations. The European Council adopted in 2007 energy and climate change objectives for 20% improvement until 2020. All European countries are required to use energy with more efficiency. Several steps could be conducted for energy reduction: understanding the buildings behavior through time, revealing the factors that influence the consumption, applying the right measurement for reduction and sustainability, visualizing the hidden connection between our daily habits impacts on the natural world and promoting to more sustainable life. Researchers have suggested that feedback visualization can effectively encourage conservation with energy reduction rate of 18%. Furthermore, researchers have contributed to the identification process of a set of factors which are very likely to influence consumption. Such as occupancy level, occupants behavior, environmental conditions, building thermal envelope, climate zones, etc. Nowadays, the amount of energy consumption at the university campuses are huge and it needs great effort to meet the reduction requested by European Council as well as the cost reduction. Thus, the present study was performed on the university buildings as a use case to: a. Investigate the most dynamic influence factors on energy consumption in campus; b. Implement prediction model for electricity consumption using different techniques, such as the traditional regression way and the alternative machine learning techniques; and c. Assist energy management by providing a real time energy feedback and visualization in campus for more awareness and better decision making. This methodology is implemented to the use case of University Jaume I (UJI), located in Castellon, Spain.

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.

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

Interpretation of the presence of IgM and IgG antibodies in a rapid test for dengue: analysis of dengue antibody prevalence in Fortaleza City in the 20th year of the epidemic

INTRODUCTION: The diagnosis of dengue and the differentiation between primary and secondary infections are important for monitoring the spread of the epidemic and identifying the risk of severe forms of the disease. The detection of immunoglobulin (Ig)M and IgG antibodies is the main technique for the laboratory diagnosis of dengue. The present study assessed the application of a rapid test for dengue concerning detection of new cases, reinfection recognition, and estimation of the epidemic attack rate. METHODS: This was a retrospective, cross-sectional, descriptive study on dengue using the Fortaleza Health Municipal Department database. The results from 1,530 tested samples, from 2005-2006, were compared with data from epidemiological studies of dengue outbreaks in 1996, 2003, and 2010. RESULTS: The rapid test confirmed 52% recent infections in the tested patients with clinical suspicion of dengue: 40% detected using IgM and 12% of new cases using IgG in the non-reactive IgM results. The positive IgM plus negative IgG (IgM+ plus IgG-) results showed that 38% of those patients had a recent primary dengue infection, while the positive IgG plus either positive or negative IgM (IgG+ plus IgM+/-) results indicated that 62% had dengue for at least a second time (recent secondary infections). This proportion of reinfections permitted us to estimate the attack rate as >62% of the population sample. CONCLUSIONS: The rapid test for dengue has enhanced our ability to detect new infections and to characterize them into primary and secondary infections, permitting the estimation of the minimal attack rate for a population during an outbreak.

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.

Building a thinner gap in a gas-gap heat switch

25th International Cryogenic Engineering Conference and the International Cryogenic Materials Conference in 2014, ICEC 25–ICMC 2014

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

Towards an integrated technology management across the rail supply chain extended to society: building the case study on high-speed trains

The present paper was prepared for the course “Project III”, with the supervision of Prof. António Moniz, reporting on the author speaking notes at the Winter School on Technology Assessment, 6-7 December 2010, as part of the Doctoral Programme on Technology Assessment at FCT-UNL.

On the pricing of bivariate options in the presence of a discrete dividend payment

A Work Project, presented as part of the requirements for the Award of a Master's Double Degree in Finance from the NOVA School of Business and Economics / Masters Degree in Economics from Insper

Multipacket reception in the presence of in-band full-duplex communication

In-Band Full-DupleX (IB-FDX) is defined as the ability for nodes to transmit and receive signals simultaneously on the same channel. Conventional digital wireless networks do not implement it, since a node’s own transmission signal causes interference to the signal it is trying to receive. However, recent studies attempt to overcome this obstacle, since it can potentially double the spectral efficiency of current wireless networks. Different mechanisms exist today that are able to reduce a significant part of the Self- Interference (SI), although specially tuned Medium Access Control (MAC) protocols are required to optimize its use. One of IB-FDX’s biggest problems is that the nodes’ interference range is extended, meaning the unusable space for other transmissions and receptions is broader. This dissertation proposes using MultiPacket Reception (MPR) to address this issue and adapts an already existing Single-Carrier with Frequency-Domain Equalization (SC-FDE) receiver to IB-FDX. The performance analysis suggests that MPR and IB-FDX have a strong synergy and are able to achieve higher data rates, when used together. Using analytical models, the optimal transmission patterns and transmission power were identified, which maximize the channel capacity with the minimal energy consumption. This was used to define a new MAC protocol, named Full-duplex Multipacket reception Medium Access Control (FM-MAC). FM-MAC was designed for a single-hop cellular infrastructure, where the Access Point (AP) and the terminals implement both IB-FDX and MPR. It divides the coverage range of the AP into a closer Full-DupleX (FDX) zone and a farther Half-DupleX (HDX) zone and adds a tunable fairness mechanism to avoid terminal starvation. Simulation results show that this protocol provides efficient support for both HDX and FDX terminals, maximizing its capacity when more FDX terminals are used.