Serveur d'exploration sur la recherche en informatique en Lorraine - Analysis (Allemagne)

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: 53.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000002 (2016-05-23) Véronique Cortier [France] ; David Galindo [Royaume-Uni] ; Mueller Johannes [Allemagne] ; Ralf Kuesters [Allemagne] ; Truderung Tomasz [Allemagne]SoK: Verifiability Notions for E-Voting Protocols
000008 (2016) Marc F. Lensink [France] ; Sameer Velankar [Royaume-Uni] ; Andriy Kryshtafovych [États-Unis] ; Shen-You Huang [États-Unis] ; Dina Schneidman-Duhovny [États-Unis] ; Andrej Sali [États-Unis] ; Joan Segura [Espagne] ; Narcis Fernandez-Fuentes [Royaume-Uni] ; Shruthi Viswanath [États-Unis] ; Ron Elber [États-Unis] ; Sergei Grudinin [France] ; Petr Popov [France] ; Emilie Neveu [France] ; Hasup Lee [Corée du Sud] ; Minkyung Baek [Corée du Sud] ; Sangwoo Park [Corée du Sud] ; Lim Heo [Corée du Sud] ; Gyu Rie Lee [Corée du Sud] ; Chaok Seok [Corée du Sud] ; Sanbo Qin [États-Unis] ; Huan-Xiang Zhou [États-Unis] ; David W. Ritchie [France] ; Bernard Maigret [France] ; Marie-Dominique Devignes [France] ; Anisah Ghoorah ; Mieczyslaw Torchala [Royaume-Uni] ; Raphaël A G. Chaleil [Royaume-Uni] ; Paul A. Bates [Royaume-Uni] ; Efrat Ben-Zeev [Israël] ; Miriam Eisenstein [Israël] ; Surendra S. Negi [États-Unis] ; Zhiping Weng [États-Unis] ; Thom Vreven [États-Unis] ; Brian G. Pierce [États-Unis] ; Tyler M. Borrman [États-Unis] ; Jinchao Yu [États-Unis] ; Françoise Ochsenbein [États-Unis] ; Raphaël Guerois [États-Unis] ; Anna Vangone [France] ; João P G L M. Rodrigues [France] ; Gydo Van Zundert [France] ; Mehdi Nellen [France] ; Li Xue [France] ; Ezgi Karaca [France] ; Adrien S J. Melquiond [France] ; Koen Visscher [France] ; Panagiotis L. Kastritis [France] ; Alexandre M J J. Bonvin [France] ; Xianjin Xu [Pays-Bas] ; Liming Qiu [Pays-Bas] ; Chengfei Yan [Pays-Bas] ; Jilong Li [États-Unis] ; Zhiwei Ma [Pays-Bas] ; Jianlin Cheng [États-Unis] ; Xiaoqin Zou [Pays-Bas] ; Yang Shen [États-Unis] ; Lenna X. Peterson [États-Unis] ; Hyung-Rae Kim [États-Unis] ; Amit Roy [États-Unis] ; Xusi Han [États-Unis] ; Juan Esquivel-Rodriguez [États-Unis] ; Daisuke Kihara [États-Unis] ; Xiaofeng Yu [États-Unis] ; Neil J. Bruce [États-Unis] ; Jonathan C. Fuller [États-Unis] ; Rebecca C. Wade [États-Unis] ; Ivan Anishchenko [Allemagne] ; Petras J. Kundrotas [Allemagne] ; Ilya A. Vakser [Allemagne] ; Kenichiro Imai [États-Unis] ; Kazunori Yamada [États-Unis] ; Toshiyuki Oda [États-Unis] ; Tsukasa Nakamura [Japon] ; Kentaro Tomii [États-Unis] ; Chiara Pallara [Japon] ; Miguel Romero-Durana [Japon] ; Brian Jiménez-García [Japon] ; Iain H. Moal [Espagne] ; Juan Férnandez-Recio [Espagne] ; Jong Young Joung [Corée du Sud] ; Jong Yun Kim [Corée du Sud] ; Keehyoung Joo [Corée du Sud] ; Jooyoung Lee [Corée du Sud] ; Dima Kozakov [États-Unis] ; Sandor Vajda [États-Unis] ; Scott Mottarella [États-Unis] ; David R. Hall [États-Unis] ; Dmitri Beglov [États-Unis] ; Artem Mamonov [États-Unis] ; Bing Xia [États-Unis] ; Tanggis Bohnuud [États-Unis] ; Carlos A. Del Carpio [États-Unis] ; Eichiro Ichiishi [Japon] ; Nicholas Marze [États-Unis] ; Daisuke Kuroda [États-Unis] ; Shourya S. Roy Burman [États-Unis] ; Jeffrey J. Gray [États-Unis] ; Edrisse Chermak [Arabie saoudite] ; Luigi Cavallo [Arabie saoudite] ; Romina Oliva [Italie] ; Andrey Tovchigrechko [États-Unis] ; Shoshana J. Wodak [Canada]Prediction of homo- and hetero-protein complexes by protein docking and template-based modeling: a CASP-CAPRI experiment.
000009 (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?
000016 (2015-09) Renate Schmidt [Royaume-Uni] ; Uwe Waldmann [Allemagne]Modal Tableau Systems with Blocking and Congruence Closure
000017 (2015-08-31) Jasmin Christian Blanchette [France] ; Andrei Popescu [Royaume-Uni] ; Dmitriy Traytel [Allemagne]Foundational Extensible Corecursion: A Proof Assistant Perspective
000018 (2015-08-25) Felix Weninger [Allemagne] ; Hakan Erdogan [États-Unis] ; Shinji Watanabe [États-Unis] ; Emmanuel Vincent [France] ; Jonathan Le Roux [États-Unis] ; John R. Hershey [États-Unis] ; Björn Schuller [Royaume-Uni]Speech enhancement with LSTM recurrent neural networks and its application to noise-robust ASR
000028 (2015-05-26) Roberto Calandra [France] ; Serena Ivaldi [France] ; Marc Deisenroth [Royaume-Uni] ; Elmar Rueckert [France] ; Jan Peters [Allemagne]Learning Inverse Dynamics Models with Contacts
000030 (2015-04-14) Jasmin Christian Blanchette [France] ; Andrei Popescu [Royaume-Uni] ; Dmitriy Traytel [Allemagne]Witnessing (Co)datatypes
000050 (2014-07) Konstantin Korovin [Royaume-Uni] ; Marek Kosta [Allemagne] ; Thomas Sturm [France]Towards Conflict-Driven Learning for Virtual Substitution
000069 (2013-11-04) Florian Boehl [Allemagne] ; Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni]Deduction Soundness: Prove One, Get Five for Free
000072 (2013-08-29) Ingmar Steiner [Allemagne] ; Korin Richmond [Royaume-Uni] ; Slim Ouni [France]Speech animation using electromagnetic articulography as motion capture data
000080 (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
000092 (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
000108 (2012-07-24) Sarra Ben Abbès [France] ; Andreas Scheuermann [Allemagne] ; Thomas Meilender [France] ; Mathieu D'Aquin [Royaume-Uni]Characterizing Modular Ontologies
000120 (2012) Florent Jacquemard [France] ; Étienne Lozes [France, Allemagne] ; Ralf Treinen [France] ; Jules Villard [France, Royaume-Uni]Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus
000127 (2012) Karim Belabas [France] ; Frits Beukers [Pays-Bas] ; Pierrick Gaudry [France] ; William Mccallum [États-Unis] ; Bjorn Poonen [États-Unis] ; Samir Siksek [Royaume-Uni] ; Michael Stoll [Allemagne] ; Mark WatkinsExplicit methods in number theory. Rational points and Diophantine equations.
000148 (2011) Massimo Poesio [Royaume-Uni] ; Nils Diewald [Allemagne] ; Maik Stührenberg [Allemagne] ; Jon Chamberlain [Royaume-Uni] ; Daniel Jettka [Allemagne] ; Daniela Goecke [Allemagne] ; Udo Kruschwitz [Royaume-Uni]Markup Infrastructure for the Anaphoric Bank: Supporting Web Collaboration
000165 (2010-05) Jens Kerber [Allemagne] ; Art Tevs [Allemagne] ; Rhaleb Zayer [France] ; Alexander Belyaev [Royaume-Uni] ; Hans-Peter Seidel [Allemagne]Real-time Generation of Digital Bas-Reliefs
000187 (2010) Thorsten Kleinjung [Suisse] ; Joppe W. Bos [Suisse] ; Arjen K. Lenstra [Suisse] ; Dag Arne Osvik [Suisse] ; Kazumaro Aoki [Japon] ; Scott Contini [Australie] ; Jens Franke [Allemagne] ; Emmanuel Thomé [France] ; Pascal Jermini [Suisse] ; Michela Thiémard [Suisse] ; Paul Leyland [Royaume-Uni] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Heinz Stockinger [Suisse]A heterogeneous computing environment to solve the 768-bit RSA challenge
000189 (2010) Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard StillerEMANICS Quarterly Management Report #17
000191 (2010) Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard StillerEMANICS Quarterly Management Report #16

List of associated Author.i

Nombre de
documents
Descripteur
17George Pavlou
16Aiko Pras
16Joan Serrat
16Juergen Schoenwaelder
16Olivier Festor
14Burkhard Stiller
12David Hausheer
11Ramin Sadre
10Gabi Dreo
5Gabi Dreo Rodosek
3Radu State
2Andrei Popescu
2Andrei Voronkov
2David W. Ritchie
2Dmitriy Traytel
2Donald Sannella
2Emil Lupu
2Franz Baader
2Jasmin Christian Blanchette
2Véronique Cortier
1A. Alavi
1A. Bertrand
1A. Blasco
1A. Cazelas
1A. De Guibert
1A. Eleftérion
1A. Gaucher
1A. Gilbert
1A. J. Malcolm
1A. Lortat-Jacob
1A. R. Penix
1A. Schoutens
1A. Schreiber
1A. Trias
1A. Ueberschaer
1A. Verschaeren
1Adrien S J. Melquiond
1Alexander Belyaev
1Alexander Wynands
1Alexandre M J J. Bonvin
1Amit Roy
1Andrea A. Disessa
1Andreas Meier
1Andreas Scheuermann
1Andrej Sali
1Andrew R. Molnar
1Andrey Timofeev
1Andrey Tovchigrechko
1Andriy Kryshtafovych
1Andrzej Tarlecki
1Anisah Ghoorah
1Anna Vangone
1Anna Ziolkovska
1Antonis Hadjiantonis
1Apostolos Malatras
1Arjen K. Lenstra
1Arlet
1Art Tevs
1Artem Mamonov
1B. A. Rahn
1B. Chaumont
1B. Frisch
1B. Moysses
1B. Rahn
1B. Slaven
1B. Stromqvist
1Babu L. Verma
1Bernard Maigret
1Bernd Krieg-Brückner
1Bernhard Beckert
1Bing Xia
1Bjorn Poonen
1Björn Schuller
1Bogdan Warinschi
1Bouzet
1Brian G. Pierce
1Brian Jiménez-García
1Bru
1Bruno Scherrer
1C. A. L. Bassett
1C. Alexandre
1C. Arnoldi
1C. B. Clayton
1C. Bünger
1C. Colette
1C. F. Barker
1C. Ficat
1C. H. Bauer
1C. Hocquard
1C. M. Schnitzler
1C. Nedjar
1C. T. Brighton
1Carlos A. Del Carpio
1Carlos Rodriguez-Galindo
1Carsten Lutz
1Ch. Fauchier
1Chaok Seok
1Chengfei Yan
1Chiara Pallara
1Christopher J. Secombes

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Allemagne/Analysis
HfdIndexSelect -h $EXPLOR_AREA/Data/Allemagne/Analysis/AffPays.i -k "Royaume-Uni" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Allemagne/Analysis/AffPays.i  \
                -Sk "Royaume-Uni" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Allemagne/Analysis/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Allemagne
   |étape=   Analysis
   |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