Ident. | Authors (with country if any) | Title |
---|
000160 (2016) |
Alain Thoraval [France] ; Frédéric Cappa [France] ; Yves Guglielmi [États-Unis] | Modélisation du comportement hydromécanique d’un versant calcaire poreux et fracturé – Impact de simplifications géométriques et d’une homogénéisation des propriétés hydromécaniques sur la qualité des prédictions |
001487 (2013) |
Yaser Shanjani [États-Unis] ; Youxin Hu [Canada] ; Ehsan Toyserkani [Canada] ; Marc Grynpas [Canada] ; Rita A. Kandel [Canada] ; Robert M. Pilliar [Canada] | Solid freeform fabrication of porous calcium polyphosphate structures for bone substitute applications: In vivo studies |
001545 (2013) |
Riccardo Haupt [Italie] ; Milen Minkov [Autriche] ; Itziar Astigarraga [Espagne] ; Eva Sch Fer [France] ; Vasanta Nanduri [Royaume-Uni] ; Rima Jubran [États-Unis] ; R. Maarten Egeler [Canada] ; Gritta Janka [Allemagne] ; Dragan Micic [Serbie] ; Carlos Rodriguez-Galindo [États-Unis] ; Stefaan Van Gool [Belgique] ; Johannes Visser [Royaume-Uni] ; Sheila Weitzman [Canada] ; Jean Donadieu [France] | Langerhans cell histiocytosis (LCH): Guidelines for diagnosis, clinical work‐up, and treatment for patients till the age of 18 years |
001D05 (2012) |
Yi Liu [États-Unis] ; Adrien Coulet [États-Unis, France] ; Paea Lependu [États-Unis] ; Nigam H. Shah [États-Unis] | Using ontology-based annotation to profile disease research |
001D89 (2012) |
Michael Tsinberg [États-Unis] ; Chienying Liu [États-Unis] ; Quan-Yang Duh [États-Unis] | Subclinical Cushing's syndrome |
001E00 (2012) |
Fernando Benavides [États-Unis] ; Carlos Perez [États-Unis] ; Jorge Blando [États-Unis] ; Oscar Contreras [États-Unis] ; Jianjun Shen [États-Unis] ; Lisa M. Coussens [États-Unis] ; Susan M. Fischer [États-Unis] ; Donna F. Kusewitt [États-Unis] ; John Digiovanni [États-Unis] ; Claudio J. Conti [États-Unis] | Protective role of cathepsin L in mouse skin carcinogenesis |
001E19 (2012) |
Ghayda M. Mirzaa [États-Unis] ; Robert L. Conway [États-Unis] ; Karen W. Gripp [États-Unis] ; Tally Lerman-Sagie [Israël] ; Dawn H. Siegel [États-Unis] ; Linda S. Devries [Pays-Bas] ; Dorit Lev [Israël] ; Nancy Kramer [États-Unis] ; Elizabeth Hopkins [États-Unis] ; John M. Graham Jr [États-Unis] ; William B. Dobyns [États-Unis] | Megalencephaly‐capillary malformation (MCAP) and megalencephaly‐polydactyly‐polymicrogyria‐hydrocephalus (MPPH) syndromes: Two closely related disorders of brain overgrowth and abnormal brain and body morphogenesis |
002550 (2011) |
Clement Jonquet [États-Unis, France] ; Paea Lependu [États-Unis] ; Sean Falconer [États-Unis] ; Adrien Coulet [États-Unis, France] ; Natalya F. Noy [États-Unis] ; Mark A. Musen [États-Unis] ; Nigam H. Shah [États-Unis] | NCBO Resource Index: Ontology-Based Search and Mining of Biomedical Resources |
002738 (2011) |
Christoph Benzmüller [États-Unis] | Combining and automating classical and non-classical logics in classical higher-order logics |
003038 (2010) |
Rajeev Joshi [États-Unis] | Programming with Miracles |
003107 (2010) |
Christoph Benzmüller [États-Unis] | Combining Logics in Simple Type Theory |
003978 (2009) |
David D. Zhou [États-Unis] ; X. Tracy Cui [États-Unis] ; Amy Hines [États-Unis] ; Robert J. Greenberg [États-Unis] | Conducting Polymers in Neural Stimulation Applications |
003987 (2009) |
Ivan Švancara [République tchèque] ; Karel Vyt As [République tchèque] ; Kurt Kalcher [Autriche] ; Alain Walcarius [France] ; Joseph Wang [États-Unis] | Carbon Paste Electrodes in Facts, Numbers, and Notes: A Review on the Occasion of the 50‐Years Jubilee of Carbon Paste in Electrochemistry and Electroanalysis |
003A09 (2009) |
Du Li [États-Unis] ; Rui Li [États-Unis] | An Admissibility-Based Operational Transformation Framework for Collaborative Editing Systems |
004236 (2008) |
Gregg C. Fonarow [États-Unis] ; William T. Abraham [États-Unis] ; Nancy M. Albert [États-Unis] ; Wendy Gattis Stough [États-Unis] ; Mihai Gheorghiade [États-Unis] ; Barry H. Greenberg [États-Unis] ; Christopher M. O'Connor [États-Unis] ; Eduardo Nunez [États-Unis] ; Clyde W. Yancy [États-Unis] ; James B. Young [États-Unis] | A smoker's paradox in patients hospitalized for heart failure: findings from OPTIMIZE-HF |
004428 (2008) |
Alexander S. Lee [États-Unis] ; Serban F. Peteu [États-Unis] ; James V. Ly [États-Unis] ; Aristides A G. Requicha [États-Unis] ; Mark E. Thompson [États-Unis] ; Chongwu Zhou [États-Unis] | Actuation of polypyrrole nanowires |
004C37 (2007) |
Elena Anne Marchisotto [États-Unis] ; James T. Smith [États-Unis] | Life and Works |
004D17 (2007) |
Ashish Tiwari [États-Unis] | Abstractions for hybrid systems |
005366 (2006) |
Olivier Chevassut [États-Unis] ; Pierre-Alain Fouque [France] ; Pierrick Gaudry [France] ; David Pointcheval [France] | The Twist-AUgmented Technique for Key Exchange |
006188 (2005) |
Alexandre Urzhumtsev [France] ; Natalia Lunina [Russie] ; Pavel Afonine [États-Unis] ; Vladimir Y. Lunin [Russie] | Some Applications of Dummy Point Scatterers for Phasing in Macromolecular X-Ray Crystallography |
006207 (2005) |
Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France] | Probabilistic Polynomial-Time Semantics for a Protocol Security Logic |
006B15 (2004) |
Leonardo De Moura [États-Unis] ; Sam Owre [États-Unis] ; Harald Rue [États-Unis] ; John Rushby [États-Unis] ; Natarajan Shankar [États-Unis] | The ICS Decision Procedures for Embedded Deduction |
006B63 (2004) |
Mitsuhiro Kato [États-Unis, Japon] ; Soma Das [États-Unis] ; Kristin Petras [États-Unis] ; Kunio Kitamura [Japon] ; Ken-Ichirou Morohashi [Japon] ; Diane N. Abuelo [États-Unis] ; Mason Barr [États-Unis] ; Dominique Bonneau [France] ; Angela F. Brady [Royaume-Uni] ; Nancy J. Carpenter [États-Unis] ; Karen L. Cipero [États-Unis] ; Francesco Frisone [Italie] ; Takayuki Fukuda [Japon] ; Renzo Guerrini [Italie] ; Eri Iida [Japon] ; Masayuki Itoh [Japon] ; Amy Feldman Lewanda [États-Unis] ; Yukiko Nanba [Japon] ; Akira Oka [Japon] ; Virginia K. Proud [États-Unis] ; Pascale Saugier-Veber [France] ; Susan L. Schelley [États-Unis] ; Angelo Selicorni [Italie] ; Rachel Shaner [États-Unis] ; Margherita Silengo [Italie] ; Fiona Stewart [Royaume-Uni] ; Noriyuki Sugiyama [Japon] ; Jun Toyama [Japon] ; Annick Toutain [France] ; Ana Lía Vargas [Argentine] ; Masako Yanazawa [Japon] ; Elaine H. Zackai [États-Unis] ; William B. Dobyns [États-Unis] | Mutations of ARX are associated with striking pleiotropy and consistent genotype–phenotype correlation |
006B78 (2004) |
Michael Beeson [États-Unis] | Lambda Logic |
006C19 (2004) |
Ting Zhang [États-Unis] ; Henny B. Sipma [États-Unis] ; Zohar Manna [États-Unis] | Decision Procedures for Recursive Data Structures with Integer Constraints |
006C21 (2004) |
Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis] | Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure |
006C27 (2004) |
Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis] ; Rakesh Verma [États-Unis] | Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems |
007A41 (2003) |
Lanita Jacobs-Huey [États-Unis] | Ladies Are Seen, Not Heard: Language Socialization in a Southern, African American Cosmetology School |
007A61 (2003) |
Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France] | Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions |
008723 (2002) |
Donald D. Hammill ; Nancy Mather [États-Unis] ; Elizabeth A. Allen ; Rhia Roberts [États-Unis] | Using Semantics, Grammar, Phonology, and Rapid Naming Tasks to Predict Word Identification |
008748 (2002) |
Ernst Althaus [États-Unis] ; Alexander Bockmayr [France] ; Matthias Elf [Allemagne] ; Michael Jünger [Allemagne] ; Thomas Kasper [Allemagne] ; Kurt Mehlhorn [Allemagne] | SCIL — Symbolic Constraints in Integer Linear Programming |
008792 (2002) |
João Araújo [Portugal] ; Jonathan Whittle [États-Unis] ; Ambrosio Toval [Espagne] ; Robert France [États-Unis] | Integration and Transformation of UML Models |
008800 (2002) |
Dusko Pavlovic [États-Unis] ; Douglas R. Smith [États-Unis] | Guarded Transitions in Evolving Specifications |
009206 (2001) |
Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; Christos H. Papadimitriou [États-Unis] ; John N. Tsitsiklis [États-Unis] | Deciding stability and mortality of piecewise affine dynamical systems |
009268 (2001) |
Alessandro Armando [Italie] ; Alessandro Coglio [États-Unis] ; Fausto Giunchiglia [Italie] ; Silvio Ranise [Italie] | The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics |
009300 (2001) |
Edward P. Stabler [États-Unis] | Recognizing Head Movement |
009321 (2001) |
Geoffrey K. Pullum [États-Unis] ; Barbara C. Scholz [États-Unis] | On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks |
009404 (2001) |
Henk Harkema [États-Unis] | A Characterization of Minimalist Languages |
009D11 (2000) |
Adel Bouhoula [États-Unis, France] ; Jean-Pierre Jouannaud [France] ; José Meseguer [États-Unis] | Specification and proof in membership equational logic |
009D17 (2000) |
Kelly D. Glover [États-Unis] | Proximal and distal deixis in negotiation talk |
009D50 (2000) |
Iliano Cervesato [États-Unis] ; Joshua S. Hodas [États-Unis] ; Frank Pfenning [États-Unis] | Efficient resource management for linear logic proof search |
009E20 (2000) |
Vincent Barletta [États-Unis] | Ten‐Year Index of JLA |
009E23 (2000) |
Michel Cosnard [France] ; Emmanuel Jeannot [France] ; Tao Yang [États-Unis] | Symbolic Scheduling of Parameterized Task Graphs on Parallel Machines |
009E24 (2000) |
Arnaud Durand [France] ; Miki Hermann [France] ; Phokion G. Kolaitis [États-Unis] | Subtractive Reductions and Complete Problems for Counting Complexity Classes |
009E87 (2000) |
Anne N. Maggioncalda [États-Unis] ; Nancy M. Czekala [États-Unis] ; Robert M. Sapolsky [États-Unis] | Growth hormone and thyroid stimulating hormone concentrations in captive male orangutans: Implications for understanding developmental arrest |
009E97 (2000) |
Stefania Cavallar [Pays-Bas] ; Bruce Dodson [États-Unis] ; Arjen K. Lenstra [États-Unis] ; Walter Lioen [Pays-Bas] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Brian Murphy [Australie] ; Herman Te Riele [Pays-Bas] ; Karen Aardal [Pays-Bas] ; Jeff Gilchrist [Canada] ; Gérard Guillerm [France] ; Paul Leyland [Royaume-Uni] ; Jöel Marchand [France] ; François Morain [France] ; Alec Muffett [Royaume-Uni] ; Chris And Craig Putnam [États-Unis] ; Paul Zimmermann [France] | Factorization of a 512-Bit RSA Modulus |
009F14 (2000) |
Gene D. Morse [États-Unis] ; Richard C. Reichman [États-Unis] ; Margaret A. Fischl [États-Unis] ; Michael Para [États-Unis] ; John Leedom [États-Unis] ; William Powderly [États-Unis] ; Lisa M. Demeter [États-Unis] ; Lionel Resnick [États-Unis] ; Yiannis Bassiakos [États-Unis] ; Joseph Timpone [États-Unis] ; Steve Cox [États-Unis] ; Donald Batts [États-Unis] | Concentration-targeted phase I trials of atevirdine mesylate in patients with HIV infection: dosage requirements and pharmacokinetic studies |
009F15 (2000) |
Alessandro Coglio [États-Unis] ; Fausto Giunchiglia [Italie] ; José Meseguer [États-Unis] ; Carolyn L. Talcott [États-Unis] | Composing and Controlling Search in Reasoning Theories Using Mappings |
009F23 (2000) |
Tomás E. Uribe [États-Unis] | Combinations of Model Checking and Theorem Proving |
00A920 (1999) |
M. Clavel [Espagne] ; F. Durán [États-Unis] ; S. Eker [États-Unis] ; P. Lincoln [États-Unis] ; N. Martí-Oliet [Espagne] ; J. Meseguer [Espagne] ; J. F. Quesada [Espagne] | The Maude System |
00A959 (1999) |
Miki Hermann [France] ; Laurent Juban [France] ; Phokion G. Kolaitis [États-Unis] | On the Complexity of Counting the Hilbert Basis of a Linear Diophantine System |