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 « define »
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.
definable < define < definecrawler  Facettes :

List of bibliographic references indexed by define

Number of relevant bibliographic references: 817.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000052 (2016-03-09) Yamine Ait Ameur [France] ; Dominique Méry [France]Making explicit domain knowledge in formal system development
000182 (2015-12-17) Dominique Méry [France] ; Mike Poppleton [Royaume-Uni]Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems
000214 (2015-11-27) Benjamin Camus [France]Multi-agent Environment for Multi-Modeling and Simulation of Complex Systems
000241 (2015-11-06) Sahbi Sidhom [France] ; Noureddine Bourkache [Algérie] ; Mourad Laghrouche [Algérie]Multimodal Indexing and Information Retrieval in Medical Image Mammographies: Digital Learning Based on Gabor Filters Model
000253 (2015-11) Jonàs Martínez [France] ; Jérémie Dumas [France] ; Sylvain Lefebvre [France] ; Li-Yi Wei [Hong Kong]Structure and appearance optimization for controllable shape design
000280 (2015-10-18) Luiza Orosanu [France] ; Denis Jouvet [France]Adding new words into a language model using parameters of known words with similar behavior
000291 (2015-10-05) Bernardetta Addis [France] ; Dallal Belabed [France] ; Mathieu Bouet [France] ; Stefano Secci [France]Virtual Network Functions Placement and Routing Optimization
000296 (2015-10) David Déharbe [Brésil] ; Stephan Merz [France]Software Component Design with the B Method — A Formalization in Isabelle/HOL
000302 (2015-09-30) Dariusz Biernacki [Pologne] ; Sergueï Lenglet [France] ; Piotr Polesiuk [Pologne]Bisimulations for Delimited-Control Operators
000364 (2015-08-31) Marco Gaboardi [France] ; Romain Péchoux [France]Algebras and Coalgebras in the Light Affine Lambda Calculus
000385 (2015-08-23) Nabil Ghanmi [France] ; Belaïd Abdel [France]Separator and content based approach for table extraction in handwritten chemistry documents
000398 (2015-08-18) Hoang Bao Thien [France] ; Abdessamad Imine [France]Efficient and Decentralized Polling Protocol for General Social Networks
000403 (2015-08-14) Miguel Couceiro [France] ; Lucien Haddad [Canada] ; Karsten Schölzel [Luxembourg (pays)] ; Tamas Waldhauser [Hongrie]On the interval of strong partial clones of Boolean functions containing Pol({(0,0),(0,1),(1,0)})
000407 (2015-08-10) Ngoc Chan Nguyen [France] ; Nattawat Nonsung [Australie] ; Walid Gaaloul [France]Service Querying to Support Process Variant Development
000420 (2015-08-01) Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France]Parametrized automata simulation and application to service composition
000432 (2015-07-26) Didier Fass [France]Affordances and Safe Design of Assistance Wearable Virtual Environment of Gesture
000465 (2015-06-30) Benjamin Camus [France] ; Christine Bourjot [France] ; Vincent Chevrier [France]Considering a Multi-Level Model as a Society of Interacting Models: Application to a Collective Motion Example
000487 (2015-06-22) Xavier Goaoc [France] ; Alfredo Hubard [France] ; Rémi De Joannis De Verclos [France] ; Jean-Sébastien Sereni [France] ; Jan Volec [Suisse]Limits of order types
000514 (2015-06-01) Nassim Kaldé [France] ; Olivier Simonin [France] ; François Charpillet [France]Comparison of Classical and Interactive Multi-Robot Exploration Strategies in Populated Environments
000566 (2015-04-26) Razvan Barbulescu [France] ; Pierrick Gaudry [France] ; Aurore Guillevic [France] ; François Morain [France]Improving NFS for the discrete logarithm problem in non-prime finite fields
000581 (2015-04-15) Jean-René Courtault [France]Dynamic Resource Logics : Models, Properties and Proofs

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

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