AbsEn.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « AbsEn.i » - entrée « tool »
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.
took < tool < toolbox  Facettes :

List of bibliographic references indexed by tool

Number of relevant bibliographic references: 949.
[20-40] [0 - 20][0 - 50][40-60]
Ident.Authors (with country if any)Title
000349 (2015-09-02) Aicha-Baya Goumeidane [Algérie] ; Abdessalem Bouzaieni [France] ; Nafaa Nacereddine [Algérie] ; Salvatore Tabbone [France]Bayesian Networks-Based Defects Classes Discrimination in Weld Radiographic Images
000361 (2015-08-31) Jasmin Christian Blanchette [France] ; Andrei Popescu [Royaume-Uni] ; Dmitriy Traytel [Allemagne]Foundational Extensible Corecursion: A Proof Assistant Perspective
000371 (2015-08-25) Tomasz Buchert [France] ; Lucas Nussbaum [France] ; Jens Gustedt [France]Towards Complete Tracking of Provenance in Experimental Distributed Systems Research
000402 (2015-08-14) Dmitry Sokolov [France] ; Gilles Gouaty [France] ; Christian Gentil [France] ; Anton Mishkinis [France]Boundary Controlled Iterated Function Systems
000412 (2015-08-10) Yves Laprie [France] ; Benjamin Elie [France] ; Anastasiia Tsukanova [France]2D Articulatory Velum Modeling Applied to Copy Synthesis of Sentences Containing Nasal Phonemes
000423 (2015-08) Paolo Ballarini [Italie] ; Benoît Barbot [France] ; Marie Duflot [France] ; Serge Haddad [France] ; Nihal Pekergin [France]HASL: A new approach for performance evaluation and model checking from concepts to experimentation
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
000476 (2015-06-24) Florentin Clouet [France] ; Simon Delamare [France] ; Jean-Patrick Gelas [France] ; Laurent Lefèvre [France] ; Lucas Nussbaum [France] ; Clément Parisot [France] ; Laurent Pouilloux [France] ; François Rossigneux [France]A Unified Monitoring Framework for Energy Consumption and Network Traffic
000481 (2015-06-23) Bruno Guillaume [France]Online Graph Matching
000551 (2015-05-05) Mehdi Ahmed-Nacer [France]Evaluation methodology for replicated data types
000614 (2015-03-09) Emilie Balland [France] ; Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France]Bringing Strategic Rewriting into the Mainstream
000622 (2015-03) Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France]A rule-based system for automatic decidability and combinability
000640 (2015-02-01) Jonàs Martínez [France] ; Samuel Hornus [France] ; Frédéric Claux [France] ; Sylvain Lefebvre [France]Chained segment offsetting for ray-based solid representations
000642 (2015-01-29) Guillaume Scerri [France]Proofs of security protocols revisited
000649 (2015-01-19) Mehdi Ahmed-Nacer [France] ; Pascal Urso [France] ; François Charoy [France]Merging By Decentralized Eventual Consistency Algorithms
000660 (2015-01-05) Karn Yongsiriwit [France] ; Chan Nguyen [France] ; Walid Gaaloul [France]Log-Based Process Fragment Querying to Support Process Desig
000685 (2015) Michel Grediac [France] ; Frédéric Sur [France] ; Benoît Blaysat [France]Removing quasi-periodic noise in strain maps by filtering in the Fourier domain
000698 (2015) Wahiba Ramdane Cherif- Khettaf [France] ; Mais Haj Rachid ; Christelle Bloch ; Pascal ChatonnayNew Notation and Classification Scheme for Vehicle Routing Problems
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
000723 (2015) Paolo Ballarini [France] ; Marie Duflot [France]Applications of an expressive statistical model checking approach to the analysis of genetic circuits
000737 (2015) Carmine Zoccali [Italie] ; Davide Bolignano ; Graziella D'Arrigo ; Friedo W. Dekker ; Danilo Fliser ; Gunnar H. Heine ; Kitty J. Jager ; Mehmet Kanbay ; Francesca Mallamaci ; Ziad Massy ; Alberto Ortiz ; Gianfranco Parati ; Patrick Rossignol ; Giovanni Tripepi ; Raymond Vanholder ; Andrzej Wiecek ; Gerard LondonValidity of Vascular Calcification as a Screening Tool and as a Surrogate End Point in Clinical Research.

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/AbsEn.i -k "tool" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i  \
                -Sk "tool" \
         | 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=    AbsEn.i
   |clé=    tool
}}
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