| Ident. | Authors (with country if any) | Title |
|---|
| 000088 (2016-01-13) |
Serena Ivaldi [France] ; Jan Babi [Slovénie] ; Michael Mistry [Royaume-Uni] ; Robin Murphy [États-Unis] | Special Issue on Whole-body control of contacts and dynamics for humanoid robots |
| 000134 (2016) |
Philippe Gabriel Steg [France] ; Patrick W. Serruys [Royaume-Uni] ; Mohammad Abdelghani [Pays-Bas] ; William Wijns [Belgique] | The year in cardiology 2015: coronary intervention. |
| 000137 (2016) |
Gérard Helft [France] ; Philippe Gabriel Steg [Royaume-Uni] ; Claude Le Feuvre [France] ; Jean-Louis Georges [France] ; Didier Carrie [France] ; Xavier Dreyfus [France] ; Alain Furber [France] ; Florence Leclercq [France] ; Hélène Eltchaninoff [France] ; Jean-François Falquier [France] ; Patrick Henry [France] ; Simon Cattan [France] ; Laurent Sebagh [France] ; Pierre-Louis Michel [France] ; Albert Tuambilangana [France] ; Nadjib Hammoudi [France] ; Franck Boccara [France] ; Guillaume Cayla [France] ; Hervé Douard [France] ; Abdourahmane Diallo [France] ; Emmanuel Berman [France] ; Michel Komajda [France] ; Jean-Philippe Metzger [France] ; Eric Vicaut [France] | Stopping or continuing clopidogrel 12 months after drug-eluting stent placement: the OPTIDUAL randomized trial. |
| 000148 (2016) |
Vincent M. Brandenburg [Allemagne] ; Pieter Evenepoel [Belgique] ; Jürgen Floege [Allemagne] ; David Goldsmith [Royaume-Uni] ; Rafael Kramann [Allemagne] ; Ziad Massy [France] ; Sandro Mazzaferro [Italie] ; Leon J. Schurgers [Pays-Bas] ; Smeeta Sinha [Royaume-Uni] ; Vicens Torregrosa [Espagne] ; Pablo Ure A-Torres [France] ; Marc Vervloet [Pays-Bas] ; Mario Cozzolino [Italie] | Lack of evidence does not justify neglect: how can we address unmet medical needs in calciphylaxis? |
| 000745 (2015) |
Philippe Degrell [France] ; Emmanuel Sorbets [France] ; Laurent J. Feldman [France] ; Philippe Gabriel Steg [Royaume-Uni] ; Gregory Ducrocq [France] | Screening for coronary artery disease in asymptomatic individuals: Why and how? |
| 000E21 (2014) |
Jan Van Den Heuvel [Royaume-Uni] ; Daniel Král' [Royaume-Uni] ; Martin Kupec [République tchèque] ; Jean-Sébastien Sereni [République tchèque, France] ; Jan Volec [République tchèque, Royaume-Uni] | Extensions of Fractional Precolorings Show Discontinuous Behavior |
| 001102 (2013-07-13) |
Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Antoine Plet [France] | Lengths may break privacy -- or how to check for equivalences with length |
| 001278 (2013-03-16) |
Myrto Arapinis [Royaume-Uni] ; Véronique Cortier [France] ; Steve Kremer [France] ; Mark D. Ryan [Royaume-Uni] | Practical Everlasting Privacy |
| 001366 (2013) |
Thomas Nowotny [Royaume-Uni] ; Jean-Pierre Rospars [France] ; Dominique Martinez [France] ; Shereen Elbanna [France] ; Sylvia Anton [France] | Machine Learning for Automatic Prediction of the Quality of Electrophysiological Recordings |
| 001367 (2013) |
Pierre-Frédéric Villard [France] ; Franck P. Vidal [Royaume-Uni] ; Llyr Ap Cenydd [Royaume-Uni] ; Richard Holbrey [Royaume-Uni] ; S. Pisharody [Royaume-Uni] ; Sheena Johnson [Royaume-Uni] ; Andy Bulpitt [Royaume-Uni] ; Nigel W. John [Royaume-Uni] ; Fernando Bello [Royaume-Uni] ; Derek A. Gould [Royaume-Uni] | Interventional radiology virtual simulator for liver biopsy |
| 001376 (2013) |
Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Deciding equivalence-based properties using constraint solving |
| 001378 (2013) |
Céline Chevalier [France] ; Stéphanie Delaune [France] ; Steve Kremer [France] ; Mark D. Ryan [Royaume-Uni] | Composition of Password-based Protocols |
| 001414 (2013) |
Nancy J. Aburto [Suisse] ; Sara Hanson [Suisse] ; Hialy Gutierrez [États-Unis] ; Lee Hooper [Royaume-Uni] ; Paul Elliott [Royaume-Uni] ; Francesco P. Cappuccio [Royaume-Uni] | Effect of increased potassium intake on cardiovascular risk factors and disease: systematic review and meta-analyses |
| 001530 (2013) |
Konstantin Korovin [Royaume-Uni] | Non-cyclic Sorts for First-Order Satisfiability |
| 001538 (2013) |
Lawrence C. Paulson [Royaume-Uni] | MetiTarski’s Menagerie of Cooperating Systems |
| 001561 (2013) |
Ali Afroozeh [Pays-Bas] ; Jean-Christophe Bach [France] ; Mark Van Den Brand [Pays-Bas] ; Adrian Johnstone [Royaume-Uni] ; Maarten Manders [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Elizabeth Scott [Royaume-Uni] | Island Grammar-Based Parsing Using GLL and Tom |
| 001580 (2013) |
Konstantin Korovin [Royaume-Uni] | From Resolution and DPLL to Solving Arithmetic Constraints |
| 001606 (2013) |
Philippe Balbiani [France] ; Szabolcs Mikulás [Royaume-Uni] | Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders |
| 001661 (2013) |
Mohammad Khodadadi [Royaume-Uni] ; Renate A. Schmidt [Royaume-Uni] ; Dmitry Tishkovsky [Royaume-Uni] | A Refined Tableau Calculus with Controlled Blocking for the Description Logic $\mathcal{SHOI}$ |
| 001B08 (2012-05-30) |
Eva Banik [Royaume-Uni] ; Claire Gardent [France] ; Donia Scott [Royaume-Uni] ; Nikhil Dinesh [États-Unis] ; Fennie Linag [Royaume-Uni] | KBGen - Text Generation for Knowledge Bases as a New Shared Task |
| 001C76 (2012) |
Alexandre Grémiaux [France] ; Thomas Nowotny [Royaume-Uni] ; Dominique Martinez [France] ; Philippe Lucas [France] ; Jean-Pierre Rospars [France] | Modelling the signal delivered by a population of first-order neurons in a moth olfactory system |
| 001E09 (2012) |
Robert Chiesa ; Kimberly Gilmour ; Waseem Qasim ; Stuart Adams ; Austen J. J. Worth ; Hong Zhan ; Claudia A. Montiel-Equihua ; Sophie Derniame ; Catherine Cale ; Kanchan Rao ; Prashant Hiwarkar ; Rachel Hough ; Aurore Saudemont [Royaume-Uni] ; Cristián S. Fahrenkrog [Royaume-Uni, Chili] ; Nick Goulden [Royaume-Uni] ; Persis J. Amrolia ; Paul Veys | Omission of in vivo T‐cell depletion promotes rapid expansion of naïve CD4+ cord blood lymphocytes and restores adaptive immunity within 2 months after unrelated cord blood transplant |
| 001E31 (2012) |
Nancy H. Campbell [Royaume-Uni] ; Stephen Neidle [Royaume-Uni] | G-Quadruplexes and Metal Ions |
| 001E48 (2012) |
W. B. Langdon [Royaume-Uni] | Creating and Debugging Performance CUDA C |
| 002556 (2011) |
Andrei Zavada [Royaume-Uni] ; Christopher L. Buckley [Royaume-Uni] ; Dominique Martinez [France] ; Jean-Pierre Rospars [France] ; Thomas Nowotny [Royaume-Uni] | Competition-Based Model of Pheromone Component Ratio Detection in the Moth |
| 002609 (2011) |
Manfred Kerber [Royaume-Uni] ; Colin Rowat [Royaume-Uni] ; Wolfgang Windsteiger [Autriche] | Using Theorema in the Formalization of Theoretical Economics |
| 002625 (2011) |
Moussa Ouedraogo [Luxembourg (pays), Royaume-Uni] ; Reijo M. Savola [Finlande] ; Haralambos Mouratidis [Royaume-Uni] ; David Preston [Royaume-Uni] ; Djamel Khadraoui [Luxembourg (pays)] ; Eric Dubois [Luxembourg (pays)] | Taxonomy of quality metrics for assessing assurance of security correctness |
| 002680 (2011) |
Bénédicte Héron [France] ; Yann Mikaeloff [France] ; Roseline Froissart [France] ; Guillaume Caridade [France] ; Irène Maire [France] ; Catherine Caillaud [France] ; Thierry Levade [France] ; Brigitte Chabrol [France] ; François Feillet [France] ; Hélène Ogier [France] ; Vassili Valayannopoulos [France] ; Helen Michelakakis [Grèce] ; Dimitrios Zafeiriou [Grèce] ; Lucy Lavery [Royaume-Uni] ; Ed Wraith [Royaume-Uni] ; Olivier Danos [France] ; Jean-Michel Heard [France] ; Marc Tardieu [France] | Incidence and natural history of mucopolysaccharidosis type III in France and comparison with United Kingdom and Greece |
| 002792 (2011) |
Steffen Van Bakel [Royaume-Uni] ; Franco Barbanera [Italie] ; Ugo De Iguoro [Italie] | A Filter Model for the λμ -Calculus |
| 002F42 (2010) |
Christoph Benzmueller ; Lawrence C. Paulson [Royaume-Uni] | Multimodal and intuitionistic logics in simple type theory |
| 002F47 (2010) |
John Mckeane [Royaume-Uni] | French Interpretations of Heidegger: An Exceptional Reception |
| 003998 (2009) |
Rob J. Thomas ; David Anderson [Royaume-Uni] ; Amit Chandra ; Nigel M. Smith [Royaume-Uni] ; Lorraine E. Young [Royaume-Uni] ; David Williams ; Chris Denning [Royaume-Uni] | Automated, scalable culture of human embryonic stem cells in feeder‐free conditions |
| 003A30 (2009) |
Steffen Van Bakel [Royaume-Uni] ; Maria Grazia Vigliotti [Royaume-Uni] | A Logical Interpretation of the λ -Calculus into the π -Calculus, Preserving Spine Reduction and Types |
| 003B69 (2009) |
Mario Sabatelli [Italie] ; Fabrizio Eusebi [Italie] ; Ammar Al-Chalabi [Royaume-Uni] ; Amelia Conte [Italie] ; Francesca Madia [Italie] ; Marco Luigetti [Italie] ; Irene Mancuso [Italie] ; Cristina Limatola [Italie] ; Flavia Trettel [Italie] ; Fabrizia Sobrero [Italie] ; Silvia Di Angelantonio [Italie] ; Francesca Grassi [Italie] ; Amalia Di Castro [Italie] ; Claudia Moriconi [Italie] ; Sergio Fucile [Italie] ; Serena Lattante [Italie] ; Giuseppe Marangi [Italie] ; Marina Murdolo [Italie] ; Daniela Orteschi [Italie] ; Alessandra Del Grande [Italie] ; Pietro Tonali [Italie] ; Giovanni Neri [Italie] ; Marcella Zollino [Italie] | Rare missense variants of neuronal nicotinic acetylcholine receptor altering receptor function are associated with sporadic amyotrophic lateral sclerosis |
| 004224 (2008) |
Ioanna Tzoulaki [Royaume-Uni] ; Marjo-Riitta Jarvelin [Royaume-Uni, Finlande] ; Anna-Liisa Hartikainen [Finlande] ; Maija Leinonen [Finlande] ; Anneli Pouta [Finlande] ; Mika Paldanius [Finlande] ; Aimo Ruokonen [Finlande] ; Dexter Canoy [Royaume-Uni] ; Ulla Sovio [Royaume-Uni] ; Pekka Saikku [Finlande] ; Paul Elliott [Royaume-Uni] | Size at birth, weight gain over the life course, and low-grade inflammation in young adulthood: northern Finland 1966 birth cohort study |
| 004362 (2008) |
P. Chapelle [France] ; R. M. Ward [Royaume-Uni] ; A. Jardy [France] ; V. Weber [France, Luxembourg (pays)] ; J. P. Bellot [France] ; M. Minvielle [France] | Lateral Boundary Conditions for Heat Transfer and Electrical Current Flow during Vacuum Arc Remelting of a Zirconium Alloy |
| 004A97 (2007) |
James M. Wilkins [Royaume-Uni] ; Lorraine Southam [Royaume-Uni] ; Andrew J. Price [Royaume-Uni] ; Zehra Mustafa [Royaume-Uni] ; Andrew Carr [Royaume-Uni] ; John Loughlin [Royaume-Uni] | Extreme context specificity in differential allelic expression |
| 004B98 (2007) |
Bernhard Beckert [Allemagne] ; Lawrence C. Paulson [Royaume-Uni] | Preface |
| 004C09 (2007) |
R. A. Snowdon [Royaume-Uni] ; B. C. Warboys [Royaume-Uni] ; R. M. Greenwood [Royaume-Uni] ; C. P. Holland [Royaume-Uni] ; P. J. Kawalek [Royaume-Uni] ; D. R. Shaw [Royaume-Uni] | On the architecture and form of flexible process support |
| 005045 (2006-08-11) |
Horatiu Cirstea [France] ; Germain Faure [France] ; Maribel Fernandez [Royaume-Uni] ; Ian Mackie [Royaume-Uni] ; François-Régis Sinot [France] | From functional programs to interaction nets via the Rewriting Calculus |
| 005380 (2006) |
Steve Barker [Royaume-Uni] ; Maribel Fernández [Royaume-Uni] | Term Rewriting for Access Control |
| 005413 (2006) |
Ian James [Royaume-Uni] | Phenomenology in Diaspora |
| 005434 (2006) |
C. Ardito [Italie] ; M. F. Costabile [Italie] ; A. De Angeli [Royaume-Uni] ; F. Pittarello [Italie] | Navigation help in 3D worlds: some empirical evidences on use of sound |
| 005461 (2006) |
Nikolay Mehandjiev [Royaume-Uni] ; Iain Duncan Stalker [Royaume-Uni] ; Kurt Fessl [Autriche] ; Georg Weichhart [Autriche] | Interoperability Contributions of CrossWork |
| 005543 (2006) |
E. Valveny [Espagne] ; P. Dosch [France] ; Adam Winstanley [Irlande (pays)] ; Yu Zhou [Irlande (pays)] ; Su Yang [République populaire de Chine] ; Luo Yan [République populaire de Chine, Hong Kong] ; Liu Wenyin [République populaire de Chine, Hong Kong] ; Dave Elliman [Royaume-Uni] ; Mathieu Delalandre [France] ; Eric Trupin [France] ; Sébastien Adam [France] ; Jean-Marc Ogier [France] | A general framework for the evaluation of symbol recognition methods |
| 005621 (2006) |
JIA MENG [États-Unis] ; Claire Quigley [États-Unis] ; Lawrence C. Paulson [États-Unis] | Automation for interactive proof : First prototype |
| 006469 (2005) |
Norbert Müller ; Martin Escardo [Royaume-Uni] ; Paul Zimmermann [France] | Special issue on practical development of exact real number computation |
| 006A53 (2004) |
Jean-Marc Dewaele [Royaume-Uni] | Lüdi, Georges et Py, Bernard, Etre bilingue. Bern: Peter Lang, 2002, pp. 3 906766 63 2 (2e édition revue) |
| 006A55 (2004) |
Leigh Oakes [Royaume-Uni] | Larrivée Pierre (ed.), Linguistic Conflict and Language Laws: Understanding the Quebec Question. Basingstoke and New York: Palgrave Macmillan, 2003, xi + 204 pp. 0 333 96899 9 |
| 006A59 (2004) |
Nigel Armstrong [Royaume-Uni] | Hansen, Anita Berit and Hansen, Maj-Brit Mosegaard (eds.), Structures linguistiques et interactionnelles dans le français parlé. Actes du Colloque international, Université de Copenhague du 22 au 23 juin 2001. (Etudes Romanes 54). Copenhagen: Museum Tusculanum Press, 2003, 200 pp. 87 7289 819 4 (pbk) |
| 006B18 (2004) |
Ullrich Hustadt [Royaume-Uni] ; Boris Konev [Royaume-Uni] ; Alexandre Riazanov [Royaume-Uni] ; Andrei Voronkov [Royaume-Uni] | TeMP : A Temporal Monodic Prover |
