For sequential jumps detection, isolation and estimation in discrete-time stochastic linear systems, Willsky and Jones (1976) have developed the Generalized Likelihood Ratio (GLR) test. For the treatment of sequential jumps, the jump-free Kalman filter is updated on-line after each detection of one jump by a direct state estimate and covariance incrementation using the informations produced by ...

Temporal property verification is utterly important to ensure safety of critical real-time systems. A main component of this verification is the computation of Worst Case Execution Time (WCET) that requires, in turn, the determination of loop bounds. Although a lot of efforts have been performed in this domain, it remains relatively common cases which are unsolved. For example, to our knowledge...

We previously reported that CD31(bright) cells, which were sorted from cultured AC133(+) cells of adult peripheral blood cells, differentiated more efficiently into endothelial cells than CD31(+) cells or CD31(-) cells, suggesting that CD31(bright) cells may be endothelial precursor cells. In this study, we found that CD31(bright) cells have a strong ability to release cytokines. The mixture of...

The transmission of linguistic change within a speech community is characterized by incrementation within a faithfully reproduced pattern characteristic of the family tree model, while diffusion across communities shows weakening of the original pattern and a loss of structural features. It is proposed that this is the result of the difference between the learning abilities of children and adul...

We present the “big-step” operational semantics of a small programming language NIL (Natural Imperative Language) in definite clauses, thus building on the fixpoint semantics of logic programs. NIL operates on a state which is just a sequence of counters. As basic statements NIL has incrementation, decrementation and test for null. NIL allows for sequential composition and non-deterministic cho...

©2016 Authors. Personal and educational classroom use of this paper is allowed, commercial use requires specific permission from the author. ABSTRACT We present perhaps the first exploration of the procedural generation of gameworld languages, meaning fictional languages spoken by characters in a game’s diegesis. This preliminary work takes a simulation-based approach in which languages are rep...

Mining information from logs is an old and still active research topic. In recent years, with the rapid emerging of cloud computing, log mining becomes increasingly important to industry. This paper focus on one major mission of log mining: anomaly detection, and proposes a novel method for mining abnormal sequences from large logs. Different from previous anomaly detection systems which based ...

Two-dimensional nuclear magnetic resonance (2D NMR) provides one of the foremost contemporary tools available for the elucidation of molecular structure, function, and dynamics. Execution of a 2D NMR experiment generally involves scanning a series of time-domain signals S(t(2)), as a function of a t(1) time variable which undergoes parametric incrementation throughout independent experiments. V...

Assignment of proteins in MAS (magic angle spinning) solid-state NMR relies so far on correlations among heteronuclei. This strategy is based on well dispersed resonances in the (15)N dimension. In many complex cases like membrane proteins or amyloid fibrils, an additional frequency dimension is desirable in order to spread the amide resonances. We show here that proton detected HNCO, HNCA, and...

For sequential jumps detection, isolation, and estimation in discrete-time stochastic linear systems, Willsky and Jones (1976) have developed the Generalized Likelihood Ratio (GLR) test. After each detection and isolation of one jump, the treatment of another possible jump is obtained by a direct state estimate and covariance incrementation of the Kalman filter originally designed on the jump-f...