نتایج جستجو برای: chu

تعداد نتایج: 3553  

Journal: :Electronic Notes in Theoretical Computer Science 2003

1999
Jeannette Bigler Chu Chen John D. Potter

A method is presented for the analysis of fluorescently labeled random amplified polymorphic DNA (FRAPD) fragments. A DNA sequencer and collection and analysis software were used to estimate the sizes of DNA fragments based on their mobilities relative to in-lane size markers. This allowed confident identification and comparison of FRAPD markers both within and between polyacrylamide gels. In c...

2017
Abdoulaye Diallo Harouna Franck Mvumbi Karima Atarraf Lamiae Chater Meryem Boubbou Abderrhmane Afifi

Abdoulaye Diallo Harouna , Franck Mvumbi, Karima Atarraf, Lamiae Chater, Meryem Boubbou, Abderrhmane Afifi Service de Traumato-orthopédie Pédiatrique, CHU-Hassan II, Fès, Maroc, Service de Radiologie Mère et Enfant, CHU-Hassan II, Fès, Maroc, Université Sidi Mohamed Ben Abdellah, Faculté de Médecine et de Pharmacie de Fès, Maroc Corresponding author: Abdoulaye Diallo Harouna, Service de Traumat...

2008
Lubomir Ivanov

We present an algorithm for generating Chu space models of the behaviors of arbitrarily complex non-iterated systems including those with N-type dependencies. The generated Chu space can be used for verification of system properties. The application of the model generation algorithm is illustrated with a few examples. Key-Words: concurrency, Chu spaces, system behavior modeling, N-type dependen...

2014
Louis-Denis Poulin Julie Riopel Vincent Castonguay Fabrice Mac-Way

Division of Nephrology, CHU de Québec, L’Hôtel-Dieu de Québec Hospital and Faculty of Medicine, Laval University, Quebec, QC, Canada, Division of Pathology, CHU de Québec, L’Hôtel-Dieu de Québec Hospital and Faculty of Medicine, Laval University, Quebec, QC, Canada and Division of Haematology-Oncology, CHU de Québec, L’Hôtel-Dieu de Québec Hospital and Faculty of Medicine, Laval University, Que...

1993
Vaughan R. Pratt

We view the Chu space interpretation of linear logic as an alternative interpretation of the language of the Peirce calculus of binary relations. Chu spaces amount to K-valued binary relations, which for K = 2 we show generalize n-ary relational structures. We also exhibit a four-stage unique factorization system for Chu transforms that illuminates their op-

1996
MICHAEL BARR Robert Rosebrugh

We take another look at the Chu construction and show how to simplify it by looking at it as a module category in a trivial Chu category This simpli es the construction substantially especially in the case of a non symmetric biclosed monoidal category We also show that if the original category is accessible then for any of a large class of polynomial like functors the category of coalgebras has...

Journal: :Sibirskie Elektronnye Matematicheskie Izvestiya 2020

2008
Albert Sotto Gérard Lina Jean-Louis Richard Christophe Combescure Gisèle Bourg Laure Vidal Nathalie Jourdan Jérôme Etienne Jean-Philippe Lavigne

1 Institut National de la Santé et de la Recherche Médicale, ESPRI 26, Université de Montpellier 1, Nîmes, France 2 Centre National de Référence des Staphylocoques, INSERM U851, Faculté de Médecine Laennec, Université Lyon 1, Lyon, France 3 Service des Maladies de la Nutrition et de Diabétologie, CHU de Nîmes, 30240 Le Grau du Roi, France 4 Département de l’Information Médicale, CHU de Carémeau...

2017
Maryame Ezziti Fouad Haddad Mohamed Tahiri Wafaa Hliwa Ahmed Bellabah Wafaa Badre Rabii Haddouch Khalid El Hattbi Mohamed Rachid Elfriyekh Abdelaziz Fadil

Gastric trichobezoar: about a case Maryame Ezziti, Fouad Haddad, Mohamed Tahiri, Wafaa Hliwa, Ahmed Bellabah, Wafaa Badre, Rabii Haddouch, Khalid El Hattbi, Mohamed Rachid Elfriyekh, Abdelaziz Fadil Service de Gastroentérologie, CHU Ibn Rochd, Casablanca, Maroc, Service de Chirurgie Viscérale, CHU Ibn Rochd, Casablanca, Maroc Corresponding author: Maryame Ezziti, Service de Gastroentérologie, C...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید