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 « construction »
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.
constructing < construction < constructiongeneration  Facettes :

List of bibliographic references indexed by construction

Number of relevant bibliographic references: 118.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000271 (2015-10-20) Manamiary Bruno Andriamiarina [France]Developing correct-by-construction distributed algorithms
000684 (2015) Bruno Lévy [France]Robustness and Efficiency of Geometric Programs The Predicate Construction Kit (PCK)
000753 (2015) François Séverac [France] ; Erik A. Sauleau [France] ; Nicolas Meyer [France] ; Hassina Lefèvre [France] ; Gabriel Nisand [France] ; Nicolas Jay [France]Non-redundant association rules between diseases and medications: an automated method for knowledge base construction
000B25 (2014-06-01) Olivier Simonin [France] ; François Charpillet [France] ; Eric Thierry [France]Revisiting wavefront construction with collective agents: an approach to foraging
001786 (2013) Véronique Cortier [France] ; David Galindo [France] ; Stephane Glondu [France] ; Malika Izabachène [France]A generic construction for voting correctness at minimum cost - Application to Helios
001E55 (2012) Hubert Garavel [France] ; Frédéric Lang [France] ; Radu Mateescu [France] ; Wendelin Serwe [France]CADP 2011: a toolbox for the construction and analysis of distributed processes
002168 (2011-08-29) Yves Laprie [France] ; Julie Busset [France]Construction and evaluation of an articulatory model of the vocal tract
002525 (2011) Christophe Arene [France] ; Romain Cosset [France]Construction of a k-complete addition law on abelian surfaces with rational theta constants
002A05 (2010-10-22) Phuong Le-Hong [France]Construction of a syntactic component based on tree adjoining grammars for Vietnamese
003237 (2010) Denis Roegel [France]Napier's ideal construction of the logarithms
003277 (2010) Denis Roegel [France]A construction of Edward Sang's projected table of nine-place logarithms to one million (1872)
003310 (2009-12-02) Samuel Nowakowski [France] ; Anne Boyer [France] ; Armelle Brun [France] ; Hala Skaf-Molli [France] ; Jerome Dinet [France] ; Renaud Gicquel [France] ; Alain Antoine [France]P2CeL - Collaborative Knowledge Construction and eLearning : an approach based on semantic Wikis
003437 (2009-08-17) Alexander Schimpf ; Stephan Merz [France] ; Jan-Georg SmausConstruction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL
003D91 (2008-10-21) Sébastien Hinderer [France]Automating Semantic Construction in Simply Typed Lambda Calculus with Several Atomic Types
003E02 (2008-10-10) Adrien Coulet [France]Construction and use of a pharmacogenomic knowledge base for data integration and knowledge discovery
004781 (2007-08-06) Yves Laprie [France] ; Anne Bonneau [France]Construction of perception stimuli with copy synthesis
004858 (2007-06-26) Claire Gardent [France] ; Yannick Parmentier [France]SemTAG: a platform for specifying Tree Adjoining Grammars and performing TAG-based Semantic Construction
004900 (2007-06-03) Rokia Bendaoud [France] ; Amine Mohamed Rouane Hacene [France] ; Yannick Toussaint [France] ; Bertrand Delecroix [France] ; Amedeo Napoli [France]Text-based ontology construction using relational concept analysis
004960 (2007-04-06) Yannick Parmentier [France]SemTAG: a platform for semantic construction with Tree Adjoining Grammars
004B84 (2007) Jorge Coelho [Portugal] ; Mário Florido [Portugal] ; Temur Kutsia [Autriche]Sequence Disunification and Its Application in Collaborative Schema Construction
004C11 (2007) Frédéric Blanqui [France] ; Thérèse Hardin [France] ; Pierre Weis [France]On the Implementation of Construction Functions for Non-free Concrete Data Types

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

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