Outlier detection using default reasoning

Default logics are usually used to describe the regular behavior and normal properties of domain elements. In this paper we suggest, conversely, that the framework of default logics can be exploited for detecting outliers. Outliers are observations expressed by sets of literals that feature unexpected semantical characteristics. These sets of literals are selected among those explicitly embodied in the given knowledge base. Hence, essentially we perceive outlier detection as a knowledge discovery technique. This paper defines the notion of outlier in two related formalisms for specifying defaults: Reiter's default logic and extended disjunctive logic programs. For each of the two formalisms, we show that finding outliers is quite complex. Indeed, we prove that several versions of the outlier detection problem lie over the second level of the polynomial hierarchy. We believe that a thorough complexity analysis, as done here, is a useful preliminary step towards developing effective heuristics and exploring tractable subsets of outlier detection problems.     

A systematic literature review on IoT-aware business process modeling views,requirements and notations

Software and Systems Modeling - The Internet of things has been adopted in several sectors both influencing how people work and enhancing organizations’ business processes. This resulted in...     

Analysis of Non-Equilibrium Fluctuations In A Ternary Liquid Mixture

From the benchmark values of the diffusion and thermodiffusion coefficients of the tetralin, isobutylbenzene and n-dodecane ternary mixture, and the published optical contrast factors, we have evaluated the theoretical amplitudes of the two composition modes of the refractive-index fluctuations. Shadowgraph experiments have been performed on ground, where the current theory is expected to be correct only for large wave vectors. Two decay times have been observed experimentally. The fastest one being related to the thermal diffusivity of the mixture, while the slower one to mass diffusion. Hence, it has not been possible to distinguish the two eigenvalues of the mass diffusion matrix, a problem also encountered in traditional light-scattering with ternary mixtures of similar-size molecules. Thus, to compare the measured Intermediate Scattering Function with theory, we fix the amplitudes and decay rates to the benchmark values, use the wave number as a fitting parameter, and compare it to the experimental wave number. The good agreement between theory and experiments for the larger wave numbers validates the theory developed for the microgravity conditions.     

Dynamic Dictionary Matching in External Memory

In thedynamic dictionary matchingproblem, a dictionaryDcontains a set of patterns that can change over time under insertion and deletion of individual patterns. Given an arbitrary textT, we must efficiently list all the dictionary patterns that occur at each text position. We investigate the I/O complexity of this problem for a large dictionary that must be stored in external storage devices. By following a completely new approach, we devise an efficient solution which is based upon the SB-tree data structure (P. Ferragina and R. Grossi, 1995,in“Proc. ACM Symposium on Theory of Computing,” pp. 693–702), and a novel notion of certificate for the dictionary matching problem. Our data structure can be adapted to efficiently work in main memory and to solve other problems, thus providing a new insight into the nature of the dictionary matching problem.     

Evaluating and improving the content access in KAD

We analyze in detail the content retrieval process in kad. kad implements content search (publish and retrieval) functions that use the Kademlia Distributed Hash Table for content routing. Node churn is quite common in peer-to-peer systems and results in information loss and stale routing table entries. To deal with node churn, kad issues parallel route requests and publishes multiple redundant copies of each piece of information. We identify the key design parameters in kad and present an analytical model to evaluate the impact of changes in the values of these parameters on the overall lookup latency and message overhead. Extensive measurements of the lookup performance using an instrumented client allow us to validate the model. The overall lookup latency is in most cases 5 s or larger. We elucidate the cause for such high lookup latencies and propose an improved scheme that significantly decreases the overall lookup latency without increasing the overhead.     

Iso-Kinematic Maps from statistical analysis of PS-InSAR data of Piemonte, NW Italy: Comparison with geological kinematic trends

SAR interferometry based on Permanent Scatterers (PS-InSAR™) is used here to study the present crustal mobility of a large area of NW Italy, in the Piemonte region.Thirty-eight satellite scenes (ERS SAR), taken from May 1992 to January 2001, were analysed for detecting more than 2 million PS on the study area. Continuous velocity surface maps (Iso-Kinematic Maps: IKM) were obtained from geo-statistical and spatial cluster techniques (Hot Spot analysis) of PS “short-period” data, to identify relative ground motions and to compare them with “long-period” tectonic mobility trends, i.e. those inferred at regional scale over geological times (some million years).The comparison was made by individuation of homogeneous kinematic areas, represented in the IKM, and characterization of the boundaries between them (Iso-Kinematic Boundaries: IKB). The IKB were used as tools to asses if the PS-InSAR data on present-day crustal mobility could fit with the distribution of real tectonic structures or field geological elements.IKM were drawn for uplifting geological sectors of Piemonte (Maritime Alps, Gran Paradiso, Langhe) where moderate to very low seismicity is recorded, and gravitational instabilities of rock mass on mountain slopes are widespread. The land sectors have been chosen in order to test the suitability of IKM in very different geo-morphological conditions.Different types of correspondence between the IKM and the geological kinematic trend were found:

-

a first type in which the kinematic trend of short-period (a decade of years, i.e. the PS-InSAR detection time span) is in agreement with a long-period tectonic trend (some million years) and seem to be driven by well known faults subparallel to the IKB. These kinematic trends can be hidden by the slope movement due to gravitational instabilities;

-

a second type in which the kinematic trend of short-period does not strictly correspond to the long-period trend, but can be considered as minor-order, uplifting-subsidence cycles, even if in contrast with the long-period kinematic trend. Alternatively, the short-period kinematic trends could reflect the action of deep-seated geological forces or structures, not yet known or inferable (at least with the recorded PS-InSAR velocities) on the basis of the available geological data and models.

     

Lifetime evaluation of concrete structures under sustained post-peak loading

Experimental tests on crack propagation in concrete under constant post-peak loading are simulated using the finite element method and the cohesive crack model, in both Mode I and Mixed-mode conditions. The time-dependent behaviour of concrete in the process zone is due to the interaction and growth of microcracks, a phenomenon which, for high constant load levels, turns out to be predominant over linear viscoelastic creep in the bulk material. In mechanical systems based on this type of material behaviour (creep and strain-softening taking place simultaneously), the initial value problem is non-parabolic, i.e., the error at one time level is affected by the accumulation of errors introduced at earlier time levels. Despite these difficulties, the scatter in numerical failure lifetime vs. load level turns out to be negligible in Mode I conditions and practically acceptable in Mixed-mode conditions. Therefore the time-dependent behaviour of the process zone can be inferred solely from the results of direct tensile tests.     

Nanotechnology Meets Oncology: A Perspective on the Role of the Personalized Nanoparticle-Protein Corona in the Development of Technologies for Pancreatic Cancer Detection

In recent years nanotechnology has opened exciting opportunities in the struggle against cancer. In 2007 Dawson and coworkers demonstrated that nanomaterials exposed to biological fluids are coated with plasma proteins that form the so-called “protein corona”. A few years later our joint research team made of physicists, chemists, biotechnologists, surgeons, oncologists, and bioinformaticians introduced the concept of “personalized protein corona” and demonstrated that it is unique for each human condition. This concept paved the way for the development of nano-enabled blood (NEB) tests for the diagnosis of pancreatic ductal adenocarcinoma (PDAC). These studies gave an impetus to serious work in the field that came to maturity in the late 2010s. In this special issue, we provide the reader with a comprehensive overview of the most significant discoveries of our research team in the field of PDAC detection. We focus on the main achievements with an emphasis on the fundamental aspects of this arena and how they shaped the integration of different scientific backgrounds towards the development of advanced diagnostic technologies. We conclude the review by outlining future perspectives and opportunities to transform the NEB tests into a reliable clinical diagnostic technology for early diagnosis, follow-up, and management of PDAC patients.     

Relevance of Plasma Homocysteine and Methylenetetrahydrofolate Reductase 677TT Genotype in Sickle Cell Disease: A Systematic Review and Meta-Analysis

We evaluated the relevance of plasma homocysteine (HC) and the TT genotype of the methylenetetrahydrofolate reductase (MTHFR) C677T polymorphism (rs1801133) in sickle cell disease (SCD) and associated vaso-occlusive crisis (VOC) and ischemic stroke (IS). We identified in Embase and Medline 22 studies on plasma HC and 22 on MTHFR genotypes. Due to age-related HC differences, adult and paediatric SCD were separated: 879 adult SCD and 834 controls (CTR) yielded a neutral effect size; 427 paediatric SCD and 625 CTR favoured SCD (p = 0.001) with wide heterogeneity (I² = 95.5%) and were sub-grouped by country: six studies (Dutch Antilles n = 1, USA n = 5) yielded a neutral effect size, four (India n = 1, Arab countries n = 3) favoured SCD (p < 0.0001). Moreover, 249 SCD in VOC and 419 out of VOC yielded a neutral effect size. The pooled prevalence of the MTHFR TT genotype in 267 SCD equalled that of 1199 CTR (4.26% vs. 2.86%, p = 0.45), and in 84 SCD with IS equalled that of 86 without IS (5.9% vs. 3.7%, p = 0.47); removal of one paediatric study yielded a significant effect size (p = 0.006). Plasma HC in paediatric SCD from Middle East and India was higher, possibly due to vitamin deficiencies. Despite its low prevalence in SCD, the MTHFR TT genotype relates to adult IS.