This work presents a modular technique for minimizing a deterministic nite state ma chine FSM while preserving its equivalence to the original system Being modular the minimization technique should consume less time and space Preserving equivalence the resulting minimized model can be employed in both temporal logic model checking and sequential equivalence checking thus reducing their time and...

The class F of •quasi-extended asymptotic functions" introduced in the present paper contains all extended asymptotic functions [8, (3.1)] (in particular, all examples construct. ed in [9, Sec. 1 ]). But F contains also some new asymptotic functions very similar to tht Schwartz distributions. On the other hand , every two quasi-extended asymptotic func. tions can be multiplied as opposed to the...

We proposed a syntactical format the path format for structured operational semantics in which predicates may occur We proved that strong bisim ulation is a congruence for all the operators that can be de ned within the path for mat To show that this format is useful we provided many examples that we took from the literature about CCS CSP and ACP they do satisfy the path format but no formats p...

Presented here is a generalization of the implicit enumeration algorithm that can be applied when the objec-tive function is being maximized and can be rewritten as the difference of two non-decreasing functions. Also developed is a computational algorithm, named linear speedup, to use whatever explicit linear constraints are present to speedup the search for a solution. The method is easy to u...

1 Human Genetics Foudation, V. Nizza 52a, I-10126, Torino, Italy. 2 Center for Complex Systems in Molecular Biology and Medicine, University of Torino, V. Accademia Albertina 13, I-10100 Torino, Italy. 3 Genomic Physics Group, UMR 7238 CNRS “Microorganism Genomics”, 75006, Paris, France. 4 Université Pierre et Marie Curie, 15 rue de L’École de Médecine, 75006, Paris, France. 5 National Research...

The retina is a highly organized structure responsible for transducing light stimulation into electrical responses. Retinal organization is conserved in all vertebrate species and the generation of retinal cell types is chronologically determined and fairly documented from amphibians to humans. Furthermore, the chick retina is a well-established experimental paradigm for neurochemical and devel...

This paper discusses the issues involved in developing a grasp controller, within the framework of control composition, and introduces control pre-imaging. Pre-imaging is a design technique for augmenting the performance of a baseline controller through the opportune activation of metalevel control actions. Such metalevel control actions are activated whenever the current system state is associ...

" Can STAR p + p data help constrain fragmentation functions for strange hadrons " Mark T. Heinz (for the STAR collaboration) Abstract. STAR has measured a variety of strange particle species in p + p collisions at √ s = 200 GeV. These high statistics data are ideal for comparing to existing leading-and next-to-leading order perturbative QCD (pQCD) models. Leading-order (LO) models such as PYTH...