Lydia is a framework for Model-Based Diagnosis (MBD). We have used the Safari diagnostic reasoner (part of Lydia) to solve the synthetic track problems in the DXC’09 diagnostic challenge. In this paper we describe our approach.

We report the profiling of the 5-methyl cytosine distribution within single genomicsized DNA molecules at a generelevant resolution. This method linearizes and stretches DNA molecules by confinement to channels with a dimension of about 250×200 nm. The methylation state is detected using fluorescently labeled methyl-CpG binding domain proteins (MBD), with high signal contrast and low background...

Simple representations of documents based on the occurrences of terms are ubiquitous in areas like Information Retrieval, and also frequent in Natural Language Processing. In this work we propose a logical-probabilistic approach to the analysis of natural language text based in the concept of Uncertain Conditional, on top of a formulation of lexical measurements inspired in the theoretical conc...

Diagnosis of complex systems is a critical area for most real-world systems. Given the wide range of system types, including physical systems, logic circuits, state-machines, control systems, and software, there is no commonlyaccepted modeling language or inference algorithms for model-Based Diagnosis (MBD) of such systems. Designing a language that can be used for modeling such a wide class of...

In this article we report on the experiments conducted by the IPL team within the context of the ImageCLEF 2014 challenge on Scalable Concept Image Annotation. Our approach encompasses, a CBIR phase following with a concept extraction procedure. The content based retrieval utilizes Latent Semantic Analysis on a set of multiple Compact Composite Features to retrieve the most similar images and i...

The hypothesis space approach to model-based diagnosis (MBD) of discrete-event systems (DESs) finds out candidates by checking each hypothesis, this being a subset of all the possible faults of the system. The hypothesis is a candidate if, assuming that all and only the faults in the hypothesis itself are affecting the system, is consistent with the system description and the observation. In th...

Regarding knowledge-based systems (KBS), the seminal paradigm—perfectly mimicking human experts—is gradually replaced by an increasing demand for enabling users to influence the reasoning process according to their domain knowledge. Therefore, we propose a novel KBS paradigm: Clarification KBS as a mash up type of consultation and justification interaction—intended to foster active user partici...

A Model-Based Development (MBD) Framework is proposed in this brief-paper. The paper motivates the need for integrating automotive control system development activities and describes engineering roles in such an environment. It also outlines the features of an integrated development environment designed to support these roles.

Object-oriented paradigm is an alternative to the conventional “pixel-to-pixel” image classifiers, since it take into account the topologic and geometric information relating to the objects. The area being studied by this paper corresponds to the part of the Paraíba do Sul River basin located within São Paulo state, on a regional scale, and to the municipality of Tremembé, on a local scale. Thi...

Diagnosis of discrete event systems (DES) is an important task, with several desiderata that include the ability to (1) encode both control and diagnosis properties within a single representation, and (2) to compose system models from component models in a simple and efficient manner, e.g., without the kind of state explosion that can occur during parallel composition of component Finite State ...