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

Index « AffVille.i » - entrée « Metz »
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.
Marseille < Metz < Meylan  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 73.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000000 (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
000001 (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
000002 (2016) Franck Hétroy-Wheeler [France] ; Eric Casella [Royaume-Uni] ; Dobrina Boltcheva [France]Segmentation of tree seedling point clouds into elementary units
000003 (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?
000011 (2015-12-17) Dominique Méry [France] ; Mike Poppleton [Royaume-Uni]Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems
000012 (2015-12-16) Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Eric Le Morvan [France]Secure refinements of communication channels
000013 (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
000014 (2015-11-03) Roberto Calandra [France] ; Serena Ivaldi [France] ; Marc Peter Deisenroth [Royaume-Uni] ; Jan Peters [France]Learning torque control in presence of contacts using tactile sensing from robot skin
000015 (2015-10-13) Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Eric Le Morvan [France]Secure refinements of communication channels
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
000019 (2015-07-25) Martín Barrère [Royaume-Uni] ; Gustavo Betarte [Uruguay] ; Victor Codocedo [France] ; Marcelo Rodríguez [Uruguay] ; Hernán Astudillo [Chili] ; Marcelo Aliquintuy [Chili] ; Javier Baliosian [Uruguay] ; Rémi Badonnel [France] ; Olivier Festor [France] ; Carlos Raniery Paula Dos Santos [Brésil] ; Jéferson Campos Nobre [Brésil] ; Lisandro Zambenedetti Granville [Brésil] ; Amedeo Napoli [France]Machine-assisted Cyber Threat Analysis using Conceptual Knowledge Discovery
000020 (2015-06-22) Catherine Dubois [France] ; Paolo Masci [Royaume-Uni] ; Dominique Méry [France]Second International Workshop on Formal Integrated Development Environment
000021 (2015-06-22) Steven Latré [Belgique] ; Marinos Charalambides [Royaume-Uni] ; Jérôme François [France] ; Corinna Schmitt [Suisse] ; Burkhard Stiller [Suisse]Intelligent Mechanisms for Network Configuration and Security : 9th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2015, Ghent, Belgium, June 22-25, 2015.
000023 (2015-05) David Bernhard [Royaume-Uni] ; Véronique Cortier [France] ; David Galindo [France] ; Olivier Pereira [Belgique] ; Bogdan Warinschi [Royaume-Uni]A comprehensive analysis of game-based ballot privacy definitions
000024 (2015-04-14) Jasmin Christian Blanchette [France] ; Andrei Popescu [Royaume-Uni] ; Dmitriy Traytel [Allemagne]Witnessing (Co)datatypes
000025 (2015) Franck Vidal [Royaume-Uni] ; Pierre-Frédéric Villard [France]Simulated Motion Artefact in Computed Tomography
000026 (2015) Zden K Dvo K [République tchèque] ; Jean-Sébastien Sereni [France] ; Jan Volec [Royaume-Uni]Fractional coloring of triangle-free planar graphs
000029 (2015) Didier Galmiche [France] ; David Pym [Royaume-Uni]Special Issue on Logics for Resources, Processes, and Programs of Journal of Logic and Computation
000030 (2014-09-10) Nicolas Jay [France] ; Mathieu D'Aquin [Royaume-Uni] ; Illaria Tiddi [Royaume-Uni]Proceedings of the Workshop on Linked Data for Knowledge Discovery (LD4KD 2014)
000031 (2014-07) Konstantin Korovin [Royaume-Uni] ; Marek Kosta [Allemagne] ; Thomas Sturm [France]Towards Conflict-Driven Learning for Virtual Substitution

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/UK/Analysis
HfdIndexSelect -h $EXPLOR_AREA/Data/UK/Analysis/AffVille.i -k "Metz" 
HfdIndexSelect -h $EXPLOR_AREA/Data/UK/Analysis/AffVille.i  \
                -Sk "Metz" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/UK/Analysis/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    UK
   |étape=   Analysis
   |type=    indexItem
   |index=    AffVille.i
   |clé=    Metz
}}

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