The concurrency is classified into two types: structured concurrency and nonstructured concurrency. After showing that the nonstructured concurrency cannot be represented by the conventional notations in the Petri net language, a method to represent such concurrency by the language is proposed. The proposed method allows us to utilize the existing approaches for analyzing properties of a nonstr...

RESEARCH ARTICLE An Optimization-Based Embodiment Design Approach for Mechatronic Product Development Didier Casner, Rémy Houssin, Jean Renaud and Dominique Knittel INSA de Strasbourg, Laboratoire du Génie de la Conception, 24 boulevard de la Victoire, 67084 Strasbourg Cedex, France Université de Strasbourg, UFR de Physique et Ingénierie, 15 rue du Maréchal Lefebvre, 67100 Strasbourg, France Un...

FLORIAN MERMILLOD-BLONDIN,* JEAN-PAUL GAUDET, † MAGALI GERINO, GASTON DESROSIERS, JACQUES JOSE AND MICHEL CREUZÉ DES CHÂTELLIERS* *UMR-CNRS 5023, Laboratoire d’Ecologie des Hydrosystèmes Fluviaux (LEHF), Université Claude Bernard Lyon 1, Domaine Scientifique de la Doua, Villeurbanne, France UMR-CNRS 5564, Laboratoire d’Etude des Transferts en Hydrologie et Environnement (LTHE), CNRS, INPG, IRD,...

Rob W. H. Ruigrok* and Denis Gerlier†‡ *Unit of Virus Host Cell Interactions, Unité Mixte de Recherche 5233, Université Joseph Fourier–European Molecular Biology Laboratory–Centre National de la Recherche Scientifique, 6 Rue Jules Horowitz, B.P. 181, 38042 Grenoble Cedex 9, France; and †Virologie et Pathologie Humaine, Formation de Recherche en Évolution 3011, Centre National de la Recherche Sc...

1 Department of Experimental Pathology Immunology and Microbiology Faculty of 8 Medicine, American University of Beirut, Beirut, Lebanon 9 10 2 Department of Biology, American University of Beirut, Beirut, Lebanon 11 12 3 Department of Internal Medicine, Faculty of Medicine, American University of Beirut, 13 Beirut, Lebanon 14 15 4 Department of Molecular Biology, Umea University, Building 6L, ...

Department of Ecology and Evolutionary Biology, Princeton University, 106A Guyot Hall, Princeton, NJ 08544, USA Université de Lyon, Lyon 69000, France; CNRS, UMR5558, Laboratoire de Biométrie et Biologie Evolutive, Université Lyon 1, Villeurbanne 69622, France Department of Biological Sciences and Institute of Bioinformatics and Evolutionary Studies, University of Idaho, Moscow, ID, USA Departm...

Jean-Luc Darlix, Marcelo Lopez Lastra, Yves Mély, Bernard Roques. 1 LaboRetro, Unité de Virologie Humaine, INSERM #412 ENS de Lyon, 46 allée d'Italie, 69364 Lyon, France. [email protected]. 2 Biochemistry Department, McIntyre Medical Sciences Bldg., McGill University, 3655 Promenade Sir William Osler, H3G1 Y6, Montreal, Canada. 3 Laboratoire de Pharmacologie et Physicochimie des interactions...

In this paper, we present a new analytic model for evaluating average end-to-end delay in IEEE 802.11 multihop wireless networks. Our model gives closed expressions for the end-to-end delay in function of arrivals and service time patterns. Each node is modeled as a M/M/1/K queue from which we can derive expressions for service time via queueing theory. By combining this delay evaluation with d...

Despite the efforts towards automatic segmentation methods, this task remains to date a supervised process in daily clinical practice. Therefore, there is a need to ensure that the operating physician is able to interact with the segmented objects in order to correct any eventual problem in a straightforward manner. We have previously developed a framework for real-time 3D segmentation of chall...

Affiliations: Unità Operativa di Pneumologia e Terapia Semi-Intensiva Respiratoria – Servizio di Fisiopatologia Respiratoria ed Emodinamica Polmonare-Ospedale San Giuseppe MultiMedica, Milan, Italy. Centre National de Référence de l’Hypertension Pulmonaire Sévère, Hôpital Bicêtre, Hôpitaux Universitaires Paris-Sud, Assistance Publique Hôpitaux de Paris, Le Kremlin-Bicêtre, and Hospices Civils d...