Towards Large-scale Inconsistency Measurement

We investigate the problem of inconsistency measurement on large knowledge bases by considering stream-based inconsistency measurement, i.e., we investigate inconsistency measures that cannot consider a knowledge base as a whole but process it within a stream. For that, we present, first, a novel inconsistency measure that is apt to be applied to the streaming case and, second, stream-based approximations for the new and some existing inconsistency measures. We conduct an extensive empirical analysis on the behavior of these inconsistency measures on large knowledge bases, in terms of runtime, accuracy, and scalability. We conclude that for two of these measures, the approximation of the new inconsistency measure and an approximation of the contension inconsistency measure, large-scale inconsistency measurement is feasible.Comment: International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014). Proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), pages 63-70, technical report, ISSN 1430-3701, Leipzig University, 2014. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-15056

Towards Parallel Repair Using Decompositions

Ontology repair remains one of the main bottlenecks for the development of ontologies for practical use. Many automated methods have been developed for suggesting potential repairs, but ultimately human intervention is required for selecting the adequate one, and the human expert might be overwhelmed by the amount of information delivered to her. We propose a decomposition of ontologies into smaller components that can be repaired in parallel. We show the utility of our approach for ontology repair, provide algorithms for computing this decomposition through standard reasoning, and study the complexity of several associated problems

EMG Signal Decomposition Using Motor Unit Potential Train Validity

Electromyographic (EMG) signal decomposition is the process of resolving an EMG signal into its component motor unit potential trains (MUPTs). The extracted MUPTs can aid in the diagnosis of neuromuscular disorders and the study of the neural control of movement, but only if they are valid trains. Before using decomposition results and the motor unit potential (MUP) shape and motor unit (MU) firing pattern information related to each active MU for either clinical or research purposes the fact that the extracted MUPTs are valid needs to be confirmed. The existing MUPT validation methods are either time consuming or related to operator experience and skill. More importantly, they cannot be executed during automatic decomposition of EMG signals to assist with improving decomposition results. To overcome these issues, in this thesis the possibility of developing automatic MUPT validation algorithms has been explored. Several methods based on a combination of feature extraction techniques, cluster validation methods, supervised classification algorithms, and multiple classifier fusion techniques were developed. The developed methods, in general, use either the MU firing pattern or MUP-shape consistency of a MUPT, or both, to estimate its overall validity. The performance of the developed systems was evaluated using a variety of MUPTs obtained from the decomposition of several simulated and real intramuscular EMG signals. Based on the results achieved, the methods that use only shape or only firing pattern information had higher generalization error than the systems that use both types of information. For the classifiers that use MU firing pattern information of a MUPT to determine its validity, the accuracy for invalid trains decreases as the number of missed-classification errors in trains increases. Likewise, for the methods that use MUP-shape information of a MUPT to determine its validity, the classification accuracy for invalid trains decreases as the within-train similarity of the invalid trains increase. Of the systems that use both shape and firing pattern information, those that separately estimate MU firing pattern validity and MUP-shape validity and then estimate the overall validity of a train by fusing these two indices using trainable fusion methods performed better than the single classifier scheme that estimates MUPT validity using a single classifier, especially for the real data used. Overall, the multi-classifier constructed using trainable logistic regression to aggregate base classifier outputs had the best performance with overall accuracy of 99.4% and 98.8% for simulated and real data, respectively. The possibility of formulating an algorithm for automated editing MUPTs contaminated with a high number of false-classification errors (FCEs) during decomposition was also investigated. Ultimately, a robust method was developed for this purpose. Using a supervised classifier and MU firing pattern information provided by each MUPT, the developed algorithm first determines whether a given train is contaminated by a high number of FCEs and needs to be edited. For contaminated MUPTs, the method uses both MU firing pattern and MUP shape information to detect MUPs that were erroneously assigned to the train. Evaluation based on simulated and real MU firing patterns, shows that contaminated MUPTs could be detected with 84% and 81% accuracy for simulated and real data, respectively. For a given contaminated MUPT, the algorithm on average correctly classified around 92.1% of the MUPs of the MUPT. The effectiveness of using the developed MUPT validation systems and the MUPT editing methods during EMG signal decomposition was investigated by integrating these algorithms into a certainty-based EMG signal decomposition algorithm. Overall, the decomposition accuracy for 32 simulated and 30 real EMG signals was improved by 7.5% (from 86.7% to 94.2%) and 3.4% (from 95.7% to 99.1%), respectively. A significant improvement was also achieved in correctly estimating the number of MUPTs represented in a set of detected MUPs. The simulated and real EMG signals used were comprised of 3–11 and 3–15 MUPTs, respectively

A Symmetry Hypothesis and Measurement Biases in the Factor Content of Trade

I revisit Reimer (2006), and Trefler and Zhu (2005, 2006) (RTZ) tests of the Vanek proposition in the presence of international differences in production techniques and global production sharing. In this framework, knowing the bilateral details of each country’s input-output structure is key to the correct calculation of the factor content of trade. Because input-output tables typically lack this detail, RTZ impute the relevant input-output coefficients using a method that implicitly assumes that international flows of goods respond to trade determinants independently of their end-use (Symmetry Hypothesis). This paper uses survey-based input-output coefficients from the Asian Input-Output tables (AIO) that do provide bilateral detail. Exploiting methodological differences in the compilation of the AIO tables and the data underlying RTZ studies, I empirically test the symmetry hypothesis and find that it fails. This failure causes input-output data imputed following RTZ methodology to overstate the gross quantity of both domestic and foreign factors’ services embodied in a country’s trade. However, both biases are systematic and tend to cancel each other out resulting in only a small positive bias on net flows of factors and in the performance of the Vanek proposition

The evaluation of potential dietary media, measurement parameters and storage techniques for use in forensic entomotoxicology

The term forensic entomotoxicology was coined by Pounder and is used to describe the process of using insects to determine the presence or absence of toxicants in decomposing corpses. Forensic entomotoxicology is most applicable when the orthodox sources of evidence (i.e. blood and urine) are no longer available for testing due to the degree of putrefaction as a result of the decomposition process. As the field is relatively new, various authors have conducted studies to determine the effects of different toxicants on different insects. These studies have all been conducted in the absence of a standardised protocol and we hypothesise that this has led to conflicting results (i.e. two different authors will conduct a study using the same toxicant and model insect and the effects on the insects will differ significantly). The aim of this thesis was to identify the areas which might have led to the artefacts in the results and identify ways in which to standardise them. The three areas selected were the feeding substrates and the measures taken to quantify growth rate, as well as the preservation techniques that should be used for preserving larval flies. The recommendation from the literature review was that artificial diets would be the most appropriate dietary media to use for entomotoxicological studies. An artificial diet was selected and modified for potential used in entomotoxicological studies. Four different diets (no meat treatment, fish, beef and pork artificial diets) were used to rear Chrysomya chloropyga larvae and their growth rates were measured using length and width. The fly larvae reared on the fish and no meat treatment diets did not reach pupation stage. The beef and pork diets produced the largest larvae and the flies in these treatments reached adult stage. The recommendation was that the beef and pork treatments be tested with various toxicants to establish their stability in the matrix and the diet that provides the toxicants with the most stability should be used for future entomotoxicological studies. The two other factors selected for standardisation were the parameters used to quantify growth rate, as well as the preservation techniques used to store empty Chrysomya chloropyga pupal casings and Calliphora croceipalpis third instar larvae. Previous authors have suggested that width be used as an alternative to length to quantify growth rate. The results from this thesis show that length should continue to be used as the standard parameter because the incremental change in length is much larger than the change in width, and these larger increments allow for greater resolution when estimating the age of the larvae. Various authors have also suggested that pupal casings should be stored without any preservative, whereas fly larvae should be stored in concentrations of ethanol >70%. The results in this thesis have shown that the concentration of ethanol does not make any significant difference to the proportional change of length and width of the empty pupal casings and the third instar larvae. The recommendation is that when selecting the preservation technique, the integrity of the specimen for examination of other evidence (i.e. DNA or toxicological extraction) should take precedence. Although this thesis has not completely standardised the protocol for forensic entomotoxicology, it has indicated the areas that need to be focused on in order for standardisation to occur. Future studies should focus on standardisation, as this makes studies more comparable and ultimately makes entomotoxicological evidence admissible in the court of law

Non-minimal 331331 model for Lepton Flavour Universality Violation in b→sℓℓb\to s\ell\ell decays

331 models constitute an extension of the Standard Model (SM) obtained by enlarging the SM gauge group $SU(3)_\text{C}\times SU(2)_\text{L}\times U(1)_Y$ to the group $SU(3)_\text{C}\times SU(3)_\text{L}\times U(1)_X$. We investigate how a non-minimal 331 model may embed lepton flavour universality violating contributions to $b\to s\ell\ell$ processes without introducing lepton flavour violation, as suggested by the recent LHCb measurements of the ratios $R_K$ and $R_{K^*}$. We discuss the model-independent scenarios of New Physics in $b\to s\ell\ell$ currently favoured by the data that could be accommodated by this model and consider a few phenomenological constraints on this model.Comment: 24 pages, 3 figures, 2 tables. Accepted for publication in Phys. Rev.

Study and application of motion measurement methods by means of opto-electronics systems - Studio e applicazione di metodi di misura del moto mediante sistemi opto-elettronici

This thesis addresses the problem of localizing a vehicle in unstructured environments through on-board instrumentation that does not require infrastructure modifications. Two widely used opto-electronic systems which allow for non-contact measurements have been chosen: camera and laser range finder. Particular attention is paid to the definition of a set of procedures for processing the environment information acquired with the instruments in order to provide both accuracy and robustness to measurement noise. An important contribute of this work is the development of a robust and reliable algorithm for associating data that has been integrated in a graph based SLAM framework also taking into account uncertainty thus leading to an optimal vehicle motion estimation. Moreover, the localization of the vehicle can be achieved in a generic environment since the developed global localization solution does not necessarily require the identification of landmarks in the environment, neither natural nor artificial. Part of the work is dedicated to a thorough comparative analysis of the state-of-the-art scan matching methods in order to choose the best one to be employed in the solution pipeline. In particular this investigation has highlighted that a dense scan matching approach can ensure good performances in many typical environments. Several experiments in different environments, also with large scales, denote the effectiveness of the global localization system developed. While the laser range data have been exploited for the global localization, a robust visual odometry has been investigated. The results suggest that the use of camera can overcome the situations in which the solution achieved by the laser scanner has a low accuracy. In particular the global localization framework can be applied also to the camera sensor, in order to perform a sensor fusion between two complementary instrumentations and so obtain a more reliable localization system. The algorithms have been tested for 2D indoor environments, nevertheless it is expected that they are well suited also for 3D and outdoors

Towards a Unified Framework for Syntactic Inconsistency Measures

A number of proposals have been made to define inconsistency measures. Each has its rationale. But to date, it is not clear how to delineate the space of options for measures, nor is it clear how we can classify measures systematically. In this paper, we introduce a general framework for comparing syntactic inconsistency measures. It uses the construction of an inconsistency graph for each knowledgebase. We then introduce abstractions of the inconsistency graph and use the hierarchy of the abstractions to classify a range of inconsistency measures