Pays
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Istex)

Index « Pays » - entrée « Royaume-Uni »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Roumanie < Royaume-Uni < Russie  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 251.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000032 (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
000038 (2013) Nancy J. Aburto [Suisse] ; Anna Ziolkovska [Suisse] ; Lee Hooper [Royaume-Uni] ; Paul Elliott [Royaume-Uni] ; Francesco P. Cappuccio [Royaume-Uni] ; Joerg J. Meerpohl [Allemagne]Effect of lower sodium intake on health: systematic review and meta-analyses
000039 (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
000082 (2013) Patrick Koopmann [Royaume-Uni] ; Renate A. Schmidt [Royaume-Uni]Uniform Interpolation of $\mathcal{ALC}$ -Ontologies Using Fixpoints
000107 (2013) Zden K Dvo K [République tchèque] ; Jean-Sébastien Sereni [France, République tchèque] ; Jan Volec [Royaume-Uni, République tchèque]Subcubic triangle-free graphs have fractional chromatic number at most 14/5
000108 (2013) Joël Ouaknine [Royaume-Uni]Specification and Verification of Linear Dynamical Systems: Advances and Challenges
000156 (2013) Konstantin Korovin [Royaume-Uni]Non-cyclic Sorts for First-Order Satisfiability
000164 (2013) Lawrence C. Paulson [Royaume-Uni]MetiTarski’s Menagerie of Cooperating Systems
000171 (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
000187 (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
000196 (2013) Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [Royaume-Uni]Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms
000198 (2013) Dominique Méry [France] ; Neeraj Kumar Singh [Royaume-Uni]Ideal Mode Selection of a Cardiac Pacing System
000206 (2013) Konstantin Korovin [Royaume-Uni]From Resolution and DPLL to Solving Arithmetic Constraints
000208 (2013) Dominique Méry [France] ; Michael Poppleton [Royaume-Uni]Formal Modelling and Verification of Population Protocols
000221 (2013) Giacomo Bonanno [États-Unis] ; Hans Van Ditmarsch [France] ; Wiebe Van Der Hoek [Royaume-Uni]Editorial Introduction to the Special Issue LOFT Sevilla
000232 (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
000238 (2013) Björn Lellmann [Royaume-Uni] ; Dirk Pattinson [Royaume-Uni, Australie]Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5
000241 (2013) Fabio Papacchini [Royaume-Uni] ; Renate A. Schmidt [Royaume-Uni]Computing Minimal Models Modulo Subset-Simulation for Modal Logics
000250 (2013) Dominique Méry [France] ; Neeraj Kumar Singh [Royaume-Uni]Closed-Loop Modeling of Cardiac Pacemaker and Heart
000287 (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}$
000288 (2013) Tom Gundersen [France, Norvège] ; Willem Heijltjes [Royaume-Uni] ; Michel Parigot [France]A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/AffPays.i -k "Royaume-Uni" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/AffPays.i  \
                -Sk "Royaume-Uni" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    AffPays.i
   |clé=    Royaume-Uni
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022