Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Titre (en) » - entrée « building »
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.
builder < building < buildings  Facettes :

List of bibliographic references indexed by building

Number of relevant bibliographic references: 89.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000244 (2015-11-05) Laurent Ciarletta [France] ; Adrien Guenard [France] ; Nicolas Navet [Luxembourg (pays)] ; Loïc Fejoz [France]Pragmatic Incremental Approach to an Affordable Certification Process for RPAS-Building-up from core Safety Functions
000355 (2015-09) Christoph Weidenbach [France]Automated Reasoning Building Blocks
000666 (2015-01) Stéphane Bessy [France] ; Daniel Gonçalves [France] ; Jean-Sébastien Sereni [France]Two floor building needing eight colors
000674 (2015) Gábor Alagi [Allemagne] ; Christoph Weidenbach [France]{NRCL} - a model building approach to the {Bernays-Schönfinkel} fragment
000948 (2014-09-14) Salima Harrat [Algérie] ; Karima Meftouh [Algérie] ; Mourad Abbas [Algérie] ; Kamel Smaïli [France]Building Resources for Algerian Arabic Dialects
000B50 (2014-05-26) Motaz Saad [France] ; David Langlois [France] ; Kamel Smaili [France]Building and Modelling Multilingual Subjective Corpora
000D60 (2014) Anne Berry [France] ; Alain Gutierrez [France] ; Marianne Huchard [France] ; Amedeo Napoli [France] ; Alain Sigayret [France]Hermes: a simple and efficient algorithm for building the AOC-poset of a binary relation
001292 (2013-02-28) Karim Benouaret [France] ; Raman Valliyur-Ramalingam [France] ; François Charoy [France]CrowdSC: Building Smart Cities with Large Scale Citizen Participation
001723 (2013) Karim Benouaret [France] ; Raman Valliyur-Ramalingam [France] ; François Charoy [France]CrowdSC: Building Smart Cities with Large-Scale Citizen Participation : SMART CITIES
001902 (2012-10-11) Anne Berry [France] ; Marianne Huchard [France] ; Amedeo Napoli [France] ; Alain Sigayret [France]Hermes: an efficient algorithm for building Galois sub-hierarchies
001B19 (2012-05-23) Lina Maria Rojas Barahona [France] ; Alejandra Lorenzo [France] ; Claire Gardent [France]Building and Exploiting a Corpus of Dialog Interactions between French Speaking Virtual and Human Agents
001C02 (2012-03-24) Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France]A Rule-Based Framework for Building Superposition-Based Decision Procedures
001F23 (2012) Marc Sauget [France] ; Sylvain Contassot-Vivier [France] ; Michel Salomon [France]Parallelization of neural network building and training: an original decomposition method
002093 (2011-09-27) Denis Jouvet [France] ; Dominique Fohr [France] ; Irina Illina [France]Building a Pronunciation Lexicon for a Speech Transcription System from Wiktionary Pronunciations only
002446 (2011-02-21) Romain Merland [France] ; Bruno Lévy [France] ; Guillaume Caumon [France] ; Pauline Collon-Drouaillet [France]Building Centroidal Voronoi Tesselations for Flow Simulation in Reservoirs Using Flow Information
002679 (2011) Gilles Simon [France] ; Marie-Odile Berger [France]Interactive building and augmentation of piecewise planar environments using the intersection lines
002930 (2010-12-03) Christophe Cerisara [France] ; Claire Gardent [France] ; Corinna AndersonBuilding and Exploiting a Dependency Treebank for French Radio Broadcast
002A86 (2010-09-01) Kaustuv Chaudhuri [France] ; Damien Doligez [France] ; Leslie Lamport [France] ; Stephan Merz [France]The TLA+ Proof System: Building a Heterogeneous Verification Platform
002C02 (2010-07) Pierre-Christophe Bué [France] ; Frédéric Dadeau [France] ; Adrien De Kermadec [France] ; Fabrice Bouquet [France]Building a Test-ready Abstraction of a Behavioral Model using CLP
002C30 (2010-06-20) Christophe Senot [France] ; Kostadinov Dimitre [France] ; Makram Bouzid [France] ; Jérome Picault [France] ; Armen Aghasaryan [France] ; Cédric Bernier [France]Analysis of strategies for building group profiles
002D19 (2010-05-10) Julien Siebert [France] ; Laurent Ciarletta [France] ; Vincent Chevrier [France]Agents and artefacts for multiple models co-evolution. Building complex system simulation as a set of interacting models

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/Title.i -k "building" 

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