P. Roux

Learn More
In this paper, we describe a functional partitioning Expert System. Our ultimate goal is the generation of test sequences for digital circuits, using both conventional tools and AI techniques. We describe at first an open infrastructure we are implementing; it allows the integration of specific tools (e.g. expert systems) in a hierarchical description of(More)
  • Marie Desnos-Ollivier, Sweta Patel, Dorothée Raoux-Barbot, Joseph Heitman, Françoise Dromer, J. Achard +298 others
  • 2015
UNLABELLED Cryptococcus neoformans is a human opportunistic fungal pathogen causing severe disseminated meningoencephalitis, mostly in patients with cellular immune defects. This species is divided into three serotypes: A, D, and the AD hybrid. Our objectives were to compare population structures of serotype A and D clinical isolates and to assess whether(More)
  • L. Retailleau, N. M. Shapiro, J. Guilbert, M. Campillo, P. Roux
  • 2014
We present an analysis of the M w = 5.3 earthquake that occurred in the Southeast Indian Ridge on 2010 February 11 using USArray data. The epicentre of this event is antipodal to the USArray, providing us with an opportunity to observe in details the antipodal focusing of seismic waves in space and time. We compare the observed signals with synthetic(More)
In the development of new CAD tools to be used in processing VLSI type circuits, the need for comprehensive models of electronic systems has become clear. This paper describes a model representation system in which a model, representing multiple views of a real system, at different levels of abstraction, can be constructed. Relationships that exist between(More)
  • 1