Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Pays » - entrée « Allemagne »
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.
Algérie < Allemagne < Andorre  Facettes :

List of bibliographic references indexed by Allemagne

Number of relevant bibliographic references: 605.
[0-50] [0 - 20][0 - 50][50-70]
Ident.Authors (with country if any)Title
000006 (2016-07-13) Dietmar Jannach [Allemagne] ; Iman Kamehkhosh [Allemagne] ; Geoffray Bonnin [France]Biases in Automated Music Playlist Generation: A Comparison of Next-Track Recommending Techniques
000019 (2016-05-23) Jürgen Trouvain [Allemagne] ; Anne Bonneau [France] ; Vincent Colotte [France] ; Camille Fauth [France] ; Dominique Fohr [France] ; Denis Jouvet [France] ; Jeanin Jügler [France] ; Yves Laprie [France] ; Odile Mella [France] ; Bernd Möbius [France] ; Frank Zimmerer [Allemagne]The IFCASL Corpus of French and German Non-native and Native Read Speech
000020 (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
000024 (2016-05-16) Valerio Modugno [Italie] ; Gerard Neumann [Allemagne] ; Elmar Rueckert [Allemagne] ; Giuseppe Oriolo [Italie] ; Jan Peters [Allemagne] ; Serena Ivaldi [France]Learning soft task priorities for control of redundant robots
000036 (2016-04-25) Anthéa Mayzaud [France] ; Anuj Sehgal [Allemagne] ; Rémi Badonnel [France] ; Isabelle Chrisment [France] ; Jürgen Schönw Lder [Allemagne]Using the RPL Protocol for Supporting Passive Monitoring in the Internet of Things
000073 (2016-02) Özgür Dagdelen [Allemagne] ; David Galindo [France] ; Pascal Véron [France] ; Sidi Mohamed El Yousfi Alaoui [Allemagne] ; Pierre-Louis Cayrel [Allemagne]Extended security arguments for signature schemes
000106 (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
000138 (2016) 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
000141 (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.
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?
000154 (2016) Raymond Vanholder [Belgique] ; Denis Fouque [France] ; Griet Glorieux [Belgique] ; Gunnar H. Heine [Allemagne] ; Mehmet Kanbay [Turquie] ; Francesca Mallamaci [Italie] ; Ziad A. Massy [France] ; Alberto Ortiz [Espagne] ; Patrick Rossignol [France] ; Andrzej Wiecek [Pologne] ; Carmine Zoccali [Italie] ; Gérard Michel London [France]Clinical management of the uraemic syndrome in chronic kidney disease.
000172 (2016) Fabian-Robert Stöter [Allemagne] ; Antoine Liutkus [France] ; Roland Badeau [France] ; Bernd Edler [Allemagne] ; Paul Magron [France]Common Fate Model for Unison source Separation
000297 (2015-10) Pascal Fontaine [France] ; Thomas Sturm [Allemagne] ; Uwe Waldmann [Allemagne]Foreword to the Special Focus on Constraints and Combinations
000301 (2015-10) Laura Kallmeyer [Allemagne] ; Rainer Osswald [Allemagne] ; Sylvain Pogodalla [Allemagne]Progression and Iteration in Event Semantics — An LTAG Analysis Using Hybrid Logic and Frame Semantics
000316 (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
000339 (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
000354 (2015-09) Renate Schmidt [Royaume-Uni] ; Uwe Waldmann [Allemagne]Modal Tableau Systems with Blocking and Congruence Closure
000361 (2015-08-31) Jasmin Christian Blanchette [France] ; Andrei Popescu [Royaume-Uni] ; Dmitriy Traytel [Allemagne]Foundational Extensible Corecursion: A Proof Assistant Perspective
000372 (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
000380 (2015-08-25) Emmanuel Vincent [France] ; Emanuël Habets [Allemagne]Advanced spatial speech and audio processing
000424 (2015-08) Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne]Beagle – A Hierarchic Superposition Prover
000426 (2015-08) Laura Kallmeyer [Allemagne] ; Timm Lichte [Allemagne] ; Rainer Osswald [Allemagne] ; Sylvain Pogodalla [France] ; Christian Wurm [Allemagne]Quantification in Frame Semantics with Hybrid Logic
000427 (2015-08) Martin Bromberger [Allemagne] ; Thomas Sturm [Allemagne] ; Christoph Weidenbach [Allemagne]Linear Integer Arithmetic Revisited
000434 (2015-07-25) Sergei O. Kuznetsov [Russie] ; Amedeo Napoli [France] ; Sebastian Rudolph [Allemagne]Workshop NotesInternational Workshop ``What can FCA do for Artificial Intelligence?'' (FCA4AI 2015)
000446 (2015-07-13) Jasmin Christian Blanchette [France] ; Maximilian Haslbeck [Allemagne] ; Daniel Matichuk [France] ; Tobias Nipkow [Allemagne]Mining the Archive of Formal Proofs
000452 (2015-07-06) Thomas Sturm [Allemagne]Subtropical Real Root Finding
000494 (2015-06-17) Yacine Bouzidi [France] ; Sylvain Lazard [France] ; Guillaume Moroz [France] ; Marc Pouget [France] ; Fabrice Rouillier [France] ; Michael Sagraloff [Allemagne]Improved algorithms for solving bivariate systems via Rational Univariate Representations
000516 (2015-06) Hassan Errami [Allemagne] ; Markus Eiswirth [Allemagne] ; Dima Grigoriev [France] ; Werner M. Seiler [Allemagne] ; Thomas Sturm [Allemagne] ; Andreas Weber [Allemagne]Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
000526 (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
000576 (2015-04-19) Thomas Pr Tzlich [Allemagne] ; Rachel Bittner [États-Unis] ; Antoine Liutkus [France] ; Meinard Müller [Allemagne]Kernel additive modeling for interference reduction in multi-channel music recordings
000582 (2015-04-14) Jasmin Christian Blanchette [France] ; Andrei Popescu [Royaume-Uni] ; Dmitriy Traytel [Allemagne]Witnessing (Co)datatypes
000590 (2015-04-11) Véronique Cortier [France] ; Fabienne Eigner [Allemagne] ; Steve Kremer [France] ; Matteo Maffei [Allemagne] ; Cyrille Wiedling [Belgique]Type-Based Verification of Electronic Voting Protocols
000667 (2015-01) Stefan Canzar [France] ; Khaled Elbassioni [Allemagne] ; Gunnar W. Klau [Pays-Bas] ; Julián Mestre [France]On Tree-Constrained Matchings and Generalizations
000671 (2015-01) Marco Voigt [Allemagne] ; Christoph Weidenbach [Allemagne]Bernays-Schönfinkel-Ramsey with Simple Bounds is NEXPTIME-complete
000673 (2015-01) Marek Kosta [France] ; Thomas Sturm [Allemagne]A Generalized Framework for Virtual Substitution
000674 (2015) Gábor Alagi [Allemagne] ; Christoph Weidenbach [France]{NRCL} - a model building approach to the {Bernays-Schönfinkel} fragment
000719 (2015) An Lu [France] ; Sylvain Lefebvre [France] ; Jérémie Dumas [France] ; Jun Wu [Allemagne] ; Christian Dick [Allemagne]By-example synthesis of structurally sound patterns
000727 (2015) Maximilian Jaroschek [Allemagne] ; Pablo Federico Dobal [Allemagne] ; Pascal Fontaine [France]Adapting Real Quantifier Elimination Methods for Conflict Set Computation
000757 (2015) Cordula Schwappach [Allemagne] ; Axel Hutt [France] ; Peter Beim Graben [Allemagne]Metastable dynamics in heterogeneous neural fields
000758 (2015) Francesco Giovannini [France] ; Motoharu Yoshida [Allemagne] ; Laure Buhry [France]Mathematical modelling of ICAN-mediated persistent firing in hippocampal neurons
000766 (2015) Tamara Toši [France] ; Peter Beim Graben [Allemagne] ; Kristin K. Sellers [États-Unis] ; Flavio Fröhlich [États-Unis] ; Axel Hutt [France]Dynamics analysis of neural univariate time series by recurrence plots
000781 (2015) Anthéa Mayzaud [France] ; Anuj Sehgal [Allemagne] ; Rémi Badonnel [France] ; Isabelle Chrisment [France] ; Jürgen Schönw Lder [Allemagne]Mitigation of topological inconsistency attacks in RPL‐based low‐power lossy networks
000811 (2015) Marek Kosta [France] ; Thomas Sturm [Allemagne] ; Andreas Dolzmann [Allemagne]Better Answers to Real Questions
000829 (2014-12-15) Gerald Lüttgen [Allemagne] ; Stephan Merz [France]Editorial: Special Issue of Automated Verification of Critical Systems
000831 (2014-12-15) Gerald Lüttgen [Allemagne] ; Stephan Merz [France]Science of Computer Programming Special Issue: Automated Verification of Critical Systems
000938 (2014-09-15) Anuj Sehgal [Allemagne] ; Anthéa Mayzaud [France] ; Rémi Badonnel [France] ; Isabelle Chrisment [France] ; Jürgen Schönw Lder [Allemagne]Addressing DODAG inconsistency attacks in RPL networks
000979 (2014-09) Christopher W. Brown [France] ; Marek Kosta [Allemagne]Constructing a single cell in cylindrical algebraic decomposition
000990 (2014-08-19) Sergei O. Kuznetsov [Russie] ; Amedeo Napoli [France] ; Sebastian Rudolph [Allemagne]Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2014)
000998 (2014-08-18) Michal Kraj Ansk [Allemagne] ; Jörg Hoffmann [Allemagne] ; Olivier Buffet [France] ; Alan Fern [États-Unis]Learning Pruning Rules for Heuristic Search Planning
000A54 (2014-07-02) Igor Vatolkin [Allemagne] ; Geoffray Bonnin [France] ; Dietmar Jannach [Allemagne]Comparing Audio Features and Playlist Statistics for Music Classification
000A63 (2014-07) Konstantin Korovin [Royaume-Uni] ; Marek Kosta [Allemagne] ; Thomas Sturm [France]Towards Conflict-Driven Learning for Virtual Substitution

List of associated Author.i

Nombre de
documents
Descripteur
22Olivier Festor
20Juergen Schoenwaelder
19Aiko Pras
19George Pavlou
18Joan Serrat
17Stephan Merz
16Burkhard Stiller
14Christoph Weidenbach
14David Hausheer
13Maritta Heisel
13René Schott
13Uwe Franz
12Volker Gruhn
11Gabi Dreo
11Jeanine Souquières
11Ramin Sadre
10Thomas Sturm
9Axel Hutt
9Harald Ganzinger
9Laura Kallmeyer
9Laurent Romary
9Nassir Navab
9Nicolas Padoy
9Wolfgang Maier
9Yannick Parmentier
8Ernst Althaus
8Franz Baader
8Martin Wirsing
8Radu State
8Sylvain Lazard
8Uwe Waldmann
7Alexander Bockmayr
7Bernhard Westfechtel
7François Charoy
7Jens Gustedt
7Jürgen Giesl
7Khaled Gaaloul
7Peter Beim Graben
6Bruno Lévy
6Gabi Dreo Rodosek
6Joerg Hoffmann
6Jürgen Schönw Lder
6Mathieu Turuani
6Matthias Horbach
6Rémi Badonnel
6Yannick Chevalier
5Alexander Koller
5Amedeo Napoli
5Anthéa Mayzaud
5Anuj Sehgal
5Dieter Hofbauer
5Emmanuel Thomé
5Emmanuel Vincent
5Isabelle Chrisment
5Jasmin Christian Blanchette
5Jorge Cuellar
5Luca Compagna
5Marc Glisse
5Marek Kosta
5Olivier Devillers
5Sebastian Rudolph
5Stefan Canzar
5Sylvain Lefebvre
5Timm Lichte
4Alessandro Armando
4Alexander Knapp
4Andreas Schaad
4Andreas Werner
4Andrei Popescu
4Denys Duchier
4Gerd Bumiller
4Hubertus Feussner
4Laurent Vigneron
4Manfred Broy
4Mario Thron
4Mathieu Hoyrup
4Michael Hemmer
4Michaël Rusinowitch
4Peter Schneider-Kamp
4Petra Hofstedt
4Pierrick Gaudry
4Tobias Nipkow
4Viorica Sofronie-Stokkermans
4Xavier Goaoc
4Xavier Rebeuf
4Ye-Qiong Song
3Andrea Sattler-Klein
3Anis Charfi
3Cesare Tinelli
3Christophe Lang
3Claire Gardent
3Claus Diem
3David Basin
3David W. Ritchie
3Denis Hatebur
3Dominique Cansell
3Elizabeta Fourneret
3Eric Clavier
3Fabrice Bouquet
3Gerd Stumme

Pour manipuler ce document sous Unix (Dilib)

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AffPays.i
   |clé=    Allemagne
}}

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