In this paper, we present a method for the fault detection and isolation based on the residual generation coupled with a case based reasoning approach. The main idea is to reconstruct the outputs of the system from the measurement using the extended Kalman filter. The estimations completed with qualitative information are included in a Case Based Reasoning system in order to discriminate the po...

Researchers use file-based Version Control System (VCS) as the primary source of code evolution data. VCSs are widely used by developers, thus, researchers get easy access to historical data of many projects. Although it is convenient, research based on VCS data is incomplete and imprecise. Moreover, answering questions that correlate code changes with other activities (e.g., test runs, refacto...

We study worst-case bounds on the quality of any fixed point assignment of the max-product algorithm for Markov Random Fields (MRF). We start providing a bound independent of the MRF structure and parameters. Afterwards, we show how this bound can be improved for MRFs with specific structures such as bipartite graphs or grids. Our results provide interesting insight into the behavior of max-pro...

To preserve digitally encoded information over the long term following the OAIS Reference Model requires that this information remains accessible, understandable and usable by a specified Designated Community. These are significant challenges for repositories, particularly when dealing with scientific data where the semantics must be associated with the data so that one can answer the basic que...

In this cand.scient. thesis we propose a strategy for testing validity of decomposition of contract oriented specifications. The strategy is based on Abadi and Lamport’s Composition Theorem for the Temporal Logic of Actions and test case generation from executable specifications. A composition rule, inspired by the Compositon Theorem, is formulated in a semantics based on timed streams. A subse...

Packet Classification is the enabling function for many Internet functions like QoS and Security. In this paper we propose a Classification engine architecture which exploits parallelism to increase throughput. The architecture also make use of the Temporal locality observed in Internet traffic positively by employing Popular Rule Caching mechanism to increase the classification throughput. We ...

Big Bang Nucleosynthesis (BBN) and the Cosmic Background Radiation (CBR) provide complementary probes of the early evolution of the Universe and of its particle content. Neutrinos play important roles in both cases, influencing the primordial abundances of the nuclides produced by BBN during the first 20 minutes as well as the spectrum of temperature fluctuations imprinted on the CBR when the U...

A time-domain boundary condition is derived that accounts for the acoustic impedance of a thin boundary layer over an impedance boundary, based on the asymptotic frequency-domain boundary condition of Brambley [2011, AIAA J. 49(6), pp. 1272–1282]. A finite-difference reference implementation of this condition is presented and carefully validated against both an analytic solution and a discrete ...

In this paper, the relation between the Glushkov automaton (Apos) and the partial derivative automaton (Apd) of a given regular expression, in terms of transition complexity, is studied. The average transition complexity of Apos was proved by Nicaud to be linear in the size of the corresponding expression. This result was obtained using an upper bound of the number of transitions of Apos. Here ...