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.

Efficiency optimization of the transportation supply chain activity: the maritime option for Volkswagen Autoeuropa

Field Lab of Entrepreneurial Innovative Ventures

Health systems efficiency after the crisis in the OECD

This work evaluates the efficiency position of the health system of each OECD country. It identifies whether, or not, health systems changed in terms of quality and performance after the financial crisis. The health systems performance was calculated by fixed-effects estimator and by stochastic frontier analysis. The results suggest that many of those countries that the crisis affected the most are more efficient than the OECD average. In addition, some of those countries even managed to reach the top decile in the efficiency ranking. Finally, we analyze the stochastic frontier efficiency scores together with other health indicators to evaluate the health systems’ overall adjustments derived from the crisis.

Effect of feeding frequency on the reproductive efficiency of two species of Triatoma with different epidemiological importance

Introduction In Triatominae, reproductive efficiency is an important factor influencing population dynamics, and a useful parameter in measuring a species' epidemiological significance as a vector of Trypanosoma cruzi (Chagas, 1909). The reproductive efficiency of triatomines is affected by food availability; hence, we measured and compared the effects of feeding frequency on the reproductive parameters of Triatoma patagonica (Del Ponte, 1929) and Triatoma infestans (Klug, 1934), and the effects of starvation on T. patagonica. Methods Couples from both species were fed weekly, or every 3 weeks; in addition, females in couples of T. patagonica were not fed. Each couple was observed weekly and reproductive efficiency was assessed on the following parameters: fecundity (eggs/female), fertility (eggs hatched/eggs laid), initiation and end of oviposition, initiation of mating, number of matings/week, and number of reproductive weeks. Relative meal size index (RMS), blood consumption index (CI), and E values (eggs/mg blood) were also calculated. Results Changes in feeding frequency affected the reproductive parameters of T. patagonica only, with a decrease in fecundity and number of reproductive weeks for those fed every 3 weeks, or not fed. The reproductive period, RMS index, and CI were lower for T. patagonica than T. infestans. However, despite the lower fecundity of T. patagonica, this species required less blood to produce eggs, with an E values of 2 compared to 2.94 for T. infestans. Conclusions Our results suggest that the differences in fecundity observed between species reflect the availability of food in their natural ecotopes.

Energy efficiency in energy policy: Empirical evidence of direct rebound effect in Portuguese household's demand for electricity

This project the direct rebound effect for the electricity demand in Portugal. While we find evidence of such an effect, the estimations also reflect the institutional arrangement that has characterized the electricity market in the country. Also, issues related to energy efficiency promotion are addressed in general putting into context the case study developed.

EDP - A new estimation algorithm

The aim of this work project is to analyze the current algorithm used by EDP to estimate their clients’ electrical energy consumptions, create a new algorithm and compare the advantages and disadvantages of both. This new algorithm is different from the current one as it incorporates some effects from temperature variations. The results of the comparison show that this new algorithm with temperature variables performed better than the same algorithm without temperature variables, although there is still potential for further improvements of the current algorithm, if the prediction model is estimated using a sample of daily data, which is the case of the current EDP algorithm.

Larvicidal efficiency of the mushroom Amanitamuscaria (Agaricales, Amanitaceae) against the mosquito Culexquinquefasciatus (Diptera, Culicidae)

Abstract: INTRODUCTION: We report the larvicidal activity of two formulations from Amanita muscariaagainst Culex quinquefasciatus, as well as the viability of the aqueous extract after storage. METHODS The larvicidal activity of aqueous extract and powder from A. muscaria, and the viability of the aqueous extract after storage, were evaluated. RESULTS The aqueous extract caused larval deaths, which varied from 16.4% to 88.4%. The efficiency of the powder varied from 29.2% to 82.8%. Storage did not interfere with the larvicidal efficiency of the aqueous extract of A. muscaria. CONCLUSIONS These results show the potential of A. muscariato control C. quinquefasciatus.

Generalized Dasymetric Mapping Algorithm for Accessing Land-Use Change

Contém resumo

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

How to increase reach efficiency and effectiveness of Meo's digital marketing campaigns

Field lab: Business project

How to increase reach efficiency and effectiveness of MEO’s digital marketing campaigns?

Field lab: Business project

Genetic algorithm for shipping route estimation with long-range tracking data : automatic reconstruction of shipping routes based on the historical ship positions for maritime safety applications

Ship tracking systems allow Maritime Organizations that are concerned with the Safety at Sea to obtain information on the current location and route of merchant vessels. Thanks to Space technology in recent years the geographical coverage of the ship tracking platforms has increased significantly, from radar based near-shore traffic monitoring towards a worldwide picture of the maritime traffic situation. The long-range tracking systems currently in operations allow the storage of ship position data over many years: a valuable source of knowledge about the shipping routes between different ocean regions. The outcome of this Master project is a software prototype for the estimation of the most operated shipping route between any two geographical locations. The analysis is based on the historical ship positions acquired with long-range tracking systems. The proposed approach makes use of a Genetic Algorithm applied on a training set of relevant ship positions extracted from the long-term storage tracking database of the European Maritime Safety Agency (EMSA). The analysis of some representative shipping routes is presented and the quality of the results and their operational applications are assessed by a Maritime Safety expert.

Parallelization of kinetic Monte Carlo algorithm to simulate AL3Sc precipitation

The present paper reports the precipitation process of Al3Sc structures in an aluminum scandium alloy, which has been simulated with a synchronous parallel kinetic Monte Carlo (spkMC) algorithm. The spkMC implementation is based on the vacancy diffusion mechanism. To filter the raw data generated by the spkMC simulations, the density-based clustering with noise (DBSCAN) method has been employed. spkMC and DBSCAN algorithms were implemented in the C language and using MPI library. The simulations were conducted in the SeARCH cluster located at the University of Minho. The Al3Sc precipitation was successfully simulated at the atomistic scale with the spkMC. DBSCAN proved to be a valuable aid to identify the precipitates by performing a cluster analysis of the simulation results. The achieved simulations results are in good agreement with those reported in the literature under sequential kinetic Monte Carlo simulations (kMC). The parallel implementation of kMC has provided a 4x speedup over the sequential version.

Assessment of the efficiency of prefabricated hybrid composite plates (HCPs) for retrofitting of damaged interior RC beam–column joints

The effectiveness of prefabricated hybrid composite plates (HCPs) as a seismic retrofitting solution for damaged interior RC beam-column joints is experimentally studied. HCP is composed of a thin plate made of strain hardening cementitious composite (SHCC) reinforced with CFRP sheets/laminates. Two full-scale severely damaged interior beam-column joints are retrofitted using two different configurations of HCPs. The effectiveness of these retrofitting solutions mainly in terms of hysteretic response, dissipated energy, degradation of secant stiffness, displacement ductility and failure modes are compared to their virgin states. According to these criteria, both solutions resulted in superior responses regarding the ones registered in their virgin states.

Evaluation of foamed bitumen efficiency in warm asphalt mixtures recycling

The recycling of pavements is nowadays a very important question to the road paving industry. With the objective of incorporating higher percentages of reclaimed asphalt (RA) materials in recycled asphalt mixtures, new techniques have been developed in the last years. The use of foamed bitumen is normally associated with the production of cold asphalt mixtures, which usually show lower quality standards. However, the objective of the work presented in this paper is to assess the use of foamed bitumen as the binder of warm asphalt mixtures incorporating 30% RA, which have quality standards similar to those of conventional mixtures. Thus, five mixtures have been produced with 30% RA, one of them with a conventional bitumen (control mix) and the others with foamed bitumen at different production temperatures. The mixtures were tested for compactability and water sensitivity and the results show a possible reduction of 25 ºC in the production temperatures, while the water sensitivity test results were kept close to 90 %.