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 « step »
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.
stent < step < stephen  Facettes :

List of bibliographic references indexed by step

Number of relevant bibliographic references: 728.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000028 (2016-05-14) Dominique Mery [France]Playing with State-Based Models for Designing Better Algorithms
000038 (2016-04-24) Phuc Ngo [France] ; Yukiko Kenmochi [France] ; Akihiro Sugimoto [Japon] ; Hugues Talbot [France] ; Nicolas Passat [France]Discrete rigid registration: A local graph-search approach
000103 (2016) Razvan Barbulescu [France] ; Armand Lachand [France]Some mathematical remarks on the polynomial selection in NFS
000106 (2016) Jasmin Christian Blanchette [France] ; Sascha Böhme [Allemagne] ; Mathias Fleury [France] ; Steffen Juilf Smolka [États-Unis] ; Albert Steckermeier [Allemagne]Semi-intelligible Isar Proofs from Machine-Generated Proofs
000146 (2016) Tahar Chouihed [France] ; Stefano Coiro [Italie] ; Faiez Zannad [France] ; Nicolas Girerd [France]Lung ultrasound: a diagnostic and prognostic tool at every step in the pathway of care for acute heart failure.
000176 (2016) Emmanuel Thomé [France]A modified block Lanczos algorithm with fewer vectors
000238 (2015-11-09) Sylvain Castagnos [France] ; Amaury L Huillier [France] ; Anne Boyer [France]Toward a Robust Diversity-Based Model to Detect Changes of Context
000243 (2015-11-05) Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Bin Yang [France] ; Michel Lenczner [France] ; Frédéric Zamkotsian [France] ; Horatiu Cirstea [France]Towards an automatic tool for multi-scale model derivation
000254 (2015-11) Antonio Loria [France] ; G. Espinosa-Pérez [France] ; Erik Chumacero [France]Robust passivity-based control of switched-reluctance motors
000287 (2015-10-09) Savita Seetaraman [France]Benchmarking of Network Virtualization Functions
000293 (2015-10-05) Dmitry Sokolov [France] ; Nicolas Ray [France] ; Lionel Untereiner [France] ; Bruno Lévy [France]Hexahedral-dominant meshing
000319 (2015-09-21) Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Bin Yang [France] ; Michel Lenczner [France] ; Frédéric Zamkotsian [France] ; Horatiu Cirstea [France]Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
000332 (2015-09-08) Moulay Driss Mechaoui [Algérie] ; Nadir Guetmi [France] ; Abdessamad Imine [France]Mobile Co-Authoring of Linked Data in the Cloud
000353 (2015-09-01) Sylvain Contassot-Vivier [France] ; Stéphane Vialle [France]Algorithmic scheme for hybrid computing with CPU, Xeon-Phi/MIC and GPU devices on a single machine
000383 (2015-08-24) Nihel Kooli [France] ; Abdel Belaïd [France]Semantic Label and Structure Model based Approach for Entity Recognition in Database Context
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)})
000419 (2015-08-02) Ranjan Jha [France] ; Damien Chablat [France] ; Fabrice Rouillier [France] ; Guillaume Moroz [France]An algebraic method to check the singularity-free paths for parallel robots
000470 (2015-06-29) Marion Guthmuller [France]Dynamic formal verification of temporal properties on legacy distributed applications
000489 (2015-06-22) Salvatore Signorello [Luxembourg (pays)] ; Radu State [Luxembourg (pays)] ; Olivier Festor [France]Exploring IoT Protocols Through the Information-Centric Networking's Lens
000490 (2015-06-22) Laurence Danlos [France] ; Aleksandre Maskharashvili [France] ; Sylvain Pogodalla [France]Grammaires phrastiques et discursives fondées sur les TAG : une approche de D-STAG avec les ACG
000491 (2015-06-22) Cyril Bouvier [France]Algorithms for integer factorization and discrete logarithms computation

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

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