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

Index « Pays » - entrée « États-Unis »
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.
Émirats arabes unis < États-Unis  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 385.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000064 (2016-02-22) Jilles Steeve Dibangoye [France] ; Christopher Amato [États-Unis] ; Olivier Buffet [France] ; François Charpillet [France]Optimally Solving Dec-POMDPs as Continuous-State MDPs
000072 (2016-02-02) Marc F. Lensink [France] ; Sameer Velankar [Royaume-Uni] ; Andriy Kryshtafovych [États-Unis] ; Shen-You Huang [États-Unis] ; Dina Schneidman-Duhovy [France] ; 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 [Russie] ; 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 [France] ; 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 Negi S. [États-Unis] ; Thom Vreven [États-Unis] ; Brian G. Pierce [États-Unis] ; Tyler M. Borrman [États-Unis] ; Jinchao Yu [États-Unis] ; Francoise Ochsenbein [États-Unis] ; Zhiping Weng [États-Unis] ; Raphaël Guerois [États-Unis] ; Anna Vangone [France] ; João 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 Bonvin [France] ; Xianjin Xu [Pays-Bas] ; Liming Qiu [Pays-Bas] ; Chengfei Yan [États-Unis] ; Jilong Li [États-Unis] ; Zhiwei Ma [Pays-Bas] ; Jianlin Cheng [États-Unis] ; Xiaoqin Zou [Pays-Bas] ; Yang Sheng [États-Unis] ; Lenna Peterson [États-Unis] ; Hyung-Rae Kim [États-Unis] ; Amit Roy [États-Unis] ; Xusi Han [États-Unis] ; Juan Esquivel-Rodríguez [États-Unis] ; Daisuke Kihara [États-Unis] ; Xiaofeng Yu [États-Unis] ; Neil J. Bruce [États-Unis] ; Jonathan C. Fuller [États-Unis] ; Rebbecca Wade [Allemagne] ; Ivan Anishchenko [Allemagne] ; Petras Kundrotas [Allemagne] ; Ilya 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 Fernández-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 Hall [États-Unis] ; Dmitri Beglov [États-Unis] ; Artem Mamonov [États-Unis] ; Bing Xia [États-Unis] ; Tanggis Bohnuud [États-Unis] ; Carlos Del Carpio [États-Unis] ; Eichiro Ichiishi [Japon] ; Nicholas Marze [États-Unis] ; Daisuke Kuroda [États-Unis] ; Shourya 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 [France]Prediction of homo- and hetero-protein complexes by protein docking and template-based modeling: a CASP-CAPRI experiment
000074 (2016-02-01) Jean-Guillaume Dumas [France] ; Erich Kaltofen [États-Unis] ; Emmanuel Thomé [France] ; Gilles Villard [France]Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix
000090 (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
000097 (2016-01) Tamara Toši [France] ; Kristin K. Sellers [États-Unis] ; Flavio Fröhlich [États-Unis] ; Mariia Fedotenkova [France] ; Peter Beim Graben [Allemagne] ; Axel Hutt [France]Statistical Frequency-Dependent Analysis of Trial-to-Trial Variability in Single Time Series by Recurrence Plots
000111 (2016) Jasmin Christian Blanchette [France] ; Sascha Böhme [Allemagne] ; Mathias Fleury [France] ; Steffen Juilf Smolka [États-Unis] ; Albert Steckermeier [Allemagne]Semi-intelligible Isar Proofs from Machine-Generated Proofs
000128 (2016) Danesh Tarapore [Royaume-Uni] ; Jeff Clune [États-Unis] ; Antoine Cully [Royaume-Uni] ; Jean-Baptiste Mouret [France]How Do Different Encodings Influence the Performance of the MAP-Elites Algorithm?
000137 (2016) Matjaž Krnc [Slovénie] ; Jean-Sébastien Sereni [France] ; Rist Skrekovski [Slovénie] ; Zelealem Yilma [Qatar, États-Unis]Closeness Centralization Measure for Two-mode Data of Prescribed Sizes
000139 (2016) Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France]Automated verification of equivalence properties of cryptographic protocols
000150 (2015-12-23) Guillaume Bosc [France] ; Philip Tan [États-Unis] ; Jean-François Boulicaut [France] ; Chedy Raïssi [France] ; Mehdi Kaytoue [France]A Pattern Mining Approach to Study Strategy Balance in RTS Games
000164 (2015-12-13) Jon Barker [Royaume-Uni] ; Ricard Marxer [Royaume-Uni] ; Emmanuel Vincent [France] ; Shinji Watanabe [États-Unis]The third `CHiME' Speech Separation and Recognition Challenge: Dataset, task and baselines
000260 (2015-10-12) David Adrian [France] ; Karthikeyan Bhargavan [France] ; Zakir Durumeric [France] ; Pierrick Gaudry [France] ; Matthew Green [États-Unis] ; J. Alex Halderman [France] ; Nadia Heninger [États-Unis] ; Drew Springall [États-Unis] ; Emmanuel Thomé [France] ; Luke Valenta [États-Unis] ; Benjamin Vandersloot [France] ; Eric Wustrow [France] ; Santiago Zanella-Béguelin [Canada] ; Paul Zimmermann [France]Imperfect Forward Secrecy: How Diffie-Hellman Fails in Practice
000292 (2015-09-21) Serdar Erbatur [Allemagne] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]Unification and Matching in Hierarchical Combinations of Syntactic Theories
000297 (2015-09-19) Claudia-Lavinia Ignat [France] ; Gérald Oster [France] ; Olivia Fox [États-Unis] ; François Charoy [France] ; Valerie Shalin [États-Unis]How Do User Groups Cope with Delay in Real-Time Collaborative Note Taking
000315 (2015-09-06) Ahmed H. Abdelaziz [Allemagne] ; Shinji Watanabe [États-Unis] ; John R. Hershey [États-Unis] ; Emmanuel Vincent [France] ; Dorothea Kolossa [Allemagne]Uncertainty propagation through deep neural networks
000347 (2015-08-25) Nobutaka Ono [Japon] ; Zafar Rafii [États-Unis] ; Daichi Kitamura [France] ; Nobutaka Ito [Japon] ; Antoine Liutkus [France]The 2015 Signal Separation Evaluation Campaign
000348 (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
000362 (2015-08-23) Elisa H. Barney Smith [États-Unis] ; Bart Lamiroy [France]Effects of Clustering Algorithms on Typographic Reconstruction
000418 (2015-07-22) Jilles Steeve Dibangoye [France] ; Christopher Amato [États-Unis] ; Olivier Buffet [France] ; François Charpillet [France]Exploiting separability in multiagent planning with continuous-state mdps (extended abstract)
000419 (2015-07-18) Andrew Reynolds [Suisse] ; Jasmin Christian Blanchette [France] ; Cesare Tinelli [France, États-Unis]Model Finding for Recursive Functions in SMT
000433 (2015-07-03) Jean-Guillaume Dumas [France] ; Erich Kaltofen [États-Unis] ; Emmanuel Thomé [France]Interactive certificate for the verification of Wiedemann's Krylov sequence: application to the certification of the determinant, the minimal and the characteristic polynomials of sparse matrices

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/AffPays.i -k "États-Unis" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/AffPays.i  \
                -Sk "États-Unis" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Checkpoint
   |type=    indexItem
   |index=    AffPays.i
   |clé=    États-Unis
}}

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