AffVille.i
Analysis
UK
Racine
Analysis
UK
Exploration
Accueil
Racine
Racine

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

Index « AffVille.i » - entrée « Nancy »
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.
Munich < Nancy < Nottingham  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 161.
[20-40] [0 - 20][0 - 50][40-60]
Ident.Authors (with country if any)Title
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
000032 (2014-06-19) Myrto Arapinis [Royaume-Uni] ; Stéphanie Delaune [France] ; Steve Kremer [France]Dynamic Tags for Security Protocols
000033 (2014-06) Zden K Dvo K [République tchèque] ; Jean-Sébastien Sereni [France] ; Jan Volec [Royaume-Uni]Subcubic triangle-free graphs have fractional chromatic number at most $14/5$
000034 (2014-02-19) Pierre-Frédéric Villard [France] ; Nicolas Koenig [France] ; Cyril Perrenot [France] ; Manuela Perez [France] ; Piers Boshier [Royaume-Uni]Toward a Realistic Simulation of Organ Dissection
000035 (2014) Hans Van Ditmarsch [France] ; David Fernández Duque [Espagne] ; Wiebe Hoek [Royaume-Uni]On the definability of simulation and bisimulation in epistemic logic
000036 (2014) Maduka Attamah [Royaume-Uni] ; Hans Van Ditmarsch [France] ; Davide Grossi [Royaume-Uni] ; Wiebe Hoek [Royaume-Uni]Knowledge and Gossip
000037 (2014) Myrto Arapinis [Royaume-Uni] ; Marie Duflot [France]Bounding messages for free in security protocols – extension to various security properties
000038 (2014) Maduka Attamah [Royaume-Uni] ; Hans Van Ditmarsch [France] ; Davide Grossi [France] ; Wiebe Hoek [Royaume-Uni]A Framework for Epistemic Gossip Protocols
000039 (2014) Pierre-Frederic Villard [France] ; Nicolas Koenig [France] ; Cyril Perrenot [France] ; Manuela Perez [France] ; Piers Boshier [Royaume-Uni]Toward a realistic simulation of organ dissection.
000041 (2014) Konstantin Korovin [Royaume-Uni] ; Marek Kosta [France] ; Thomas Sturm [France]Towards Conflict-Driven Learning for Virtual Substitution
000042 (2014) Hans Van Ditmarsch [France] ; Jie Fan [République populaire de Chine] ; Wiebe Hoek [Royaume-Uni] ; Petar Iliev [France]Some Exponential Lower Bounds on Formula-size in Modal Logic
000043 (2014) Wiebe Hoek [Royaume-Uni] ; Petar Iliev [France]On the relative succinctness of modal logics with union, intersection and quantification
000044 (2014) Katherine Edwards [États-Unis] ; Jan Van Den Heuvel [Royaume-Uni] ; Ross J. Kang [Pays-Bas] ; Jean-Sébastien Sereni [France]Extension from Precoloured Sets of Edges
000045 (2013-12-08) Emmanuel Vincent [France] ; Jon Barker [Royaume-Uni] ; Shinji Watanabe [États-Unis] ; Jonathan Le Roux [États-Unis] ; Francesco Nesta [États-Unis] ; Marco Matassoni [Italie]The Second 'CHiME' Speech Separation and Recognition Challenge: An overview of challenge systems and outcomes
000046 (2013-11-18) Paul Bedaride [France] ; Augustin Degomme [France] ; Stéphane Genaud [France] ; Arnaud Legrand [France] ; George Markomanolis [France] ; Martin Quinson [France] ; Mark Stillwell [Royaume-Uni] ; Frédéric Suter [France] ; Brice Videau [France]Toward Better Simulation of MPI Applications on Ethernet/TCP Networks
000047 (2013-11-16) Nicolas Jay [France] ; Mathieu D'Aquin [Royaume-Uni]Linked Data and Online Classifications to Organise Mined Patterns in Patient Data
000048 (2013-11-04) Florian Boehl [Allemagne] ; Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni]Deduction Soundness: Prove One, Get Five for Free
000049 (2013-09) Pascal Fontaine [France] ; Christophe Ringeissen [France] ; Renate Schmidt [Royaume-Uni]Frontiers of Combining Systems
000050 (2013-08-29) Ingmar Steiner [Allemagne] ; Korin Richmond [Royaume-Uni] ; Slim Ouni [France]Speech animation using electromagnetic articulography as motion capture data

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 "Nancy" 

HfdIndexSelect -h $EXPLOR_AREA/Data/UK/Analysis/AffVille.i  \
                -Sk "Nancy" \
         | 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é=    Nancy
}}
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