List of bibliographic references
Number of relevant bibliographic references: 97.
[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 |
| 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 |
| 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 |
| 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 |
| 000206 (2013) |
Konstantin Korovin [Royaume-Uni] | From Resolution and DPLL to Solving Arithmetic Constraints |
| 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 |
| 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}$ |
| 000398 (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 |
| 000420 (2012) |
Nancy H. Campbell [Royaume-Uni] ; Stephen Neidle [Royaume-Uni] | G-Quadruplexes and Metal Ions |
| 000437 (2012) |
W. B. Langdon [Royaume-Uni] | Creating and Debugging Performance CUDA C |
| 000509 (2011) |
Manfred Kerber [Royaume-Uni] ; Colin Rowat [Royaume-Uni] ; Wolfgang Windsteiger [Autriche] | Using Theorema in the Formalization of Theoretical Economics |
| 000525 (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 |
| 000580 (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 |
| 000692 (2011) |
Steffen Van Bakel [Royaume-Uni] ; Franco Barbanera [Italie] ; Ugo De Iguoro [Italie] | A Filter Model for the λμ -Calculus |
| 000704 (2010) |
Christoph Benzmueller ; Lawrence C. Paulson [Royaume-Uni] | Multimodal and intuitionistic logics in simple type theory |
| 000709 (2010) |
John Mckeane [Royaume-Uni] | French Interpretations of Heidegger: An Exceptional Reception |
| 000B05 (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 |
| 000B38 (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 |
| 000C51 (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 |
| 000D90 (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 |
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/AffRegion.i -k "Angleterre"
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/AffRegion.i \
-Sk "Angleterre" \
| 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= AffRegion.i
|clé= Angleterre
}}
| 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 |  |
