Intuitive control of rolling sound synthesis

International audienceThis paper presents a rolling sound synthesis model which can be intuitively controlled. To propose this model, different aspects of the rolling phenomenon are explored : physical modeling, perceptual attributes and signal morphology. A source-filter model for rolling sounds synthesis is presented with associated intuitive controls

Protein-losing gastroenteropathy: Concepts derived from lymphangiography

Lymphangiograms in 2 patients with protein-losing gastroenteropathy showed abnormalities of both abdominal and lower-extremity lymphatics.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/44359/1/10620_2005_Article_BF02237631.pd

Bounded Model Checking for Parametric Timed Automata

Abstract. The paper shows how bounded model checking can be ap-plied to parameter synthesis for parametric timed automata with con-tinuous time. While it is known that the general problem is undecidable even for reachability, we show how to synthesize a part of the set of all the parameter valuations under which the given property holds in a model. The results form a complete theory which can be easily applied to parametric verification of a wide range of temporal formulae – we present such an implementation for the existential part of CTL −X. 1 Introduction and related work The growing abundance of complex systems in real world, and their presence in critical areas fuels the research in formal specification and analysis. One of the established methods in systems verification is model checking, where the system is abstracted into the algebraic model (e.g. various versions of Kripke structures