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 « generated »
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.
generate < generated < generates  Facettes :

List of bibliographic references indexed by generated

Number of relevant bibliographic references: 496.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
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
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
000288 (2015-10-09) Cecilia Lindig-Le N [France] ; Laurent Bougrain [France]A multi-label classification method for detection of combined motor imageries
000305 (2015-09-28) Abdallah Dib [France] ; François Charpillet [France]Pose Estimation For A Partially Observable Human Body From RGB-D Cameras
000320 (2015-09-20) Sylvain Gravier [France] ; Jérôme Javelle [France] ; Mehdi Mhalla [France] ; Simon Perdrix [France]On weak odd domination and graph-based quantum secret sharing
000378 (2015-08-25) Cecilia Lindig-Le N [France] ; Laurent Bougrain [France]Comparison of sensorimotor rhythms in EEG signals during simple and combined motor imageries over the contra and ipsilateral hemispheres
000399 (2015-08-18) Pierre-Cyrille Héam [France] ; Jean-Luc Joly [France]Random Generation and Enumeration of Accessible Determinisitic Real-time Pushdown Automata
000402 (2015-08-14) Dmitry Sokolov [France] ; Gilles Gouaty [France] ; Christian Gentil [France] ; Anton Mishkinis [France]Boundary Controlled Iterated Function Systems
000414 (2015-08-03) Andrew Reynolds [Suisse] ; Jasmin Christian Blanchette [France]A Decision Procedure for (Co)datatypes in SMT Solvers
000517 (2015-06) Horatiu Cirstea [France] ; Sergueï Lenglet [France] ; Pierre-Etienne Moreau [France]A faithful encoding of programmable strategies into term rewriting systems
000567 (2015-04-22) Emmanuel Jeandel [France]Enumeration in Closure Spaces with Applications to Algebra
000627 (2015-02-24) Horatiu Cirstea [France] ; Sergueï Lenglet [France] ; Pierre-Etienne Moreau [France]A faithful encoding of programmable strategies into term rewriting systems
000674 (2015) Gábor Alagi [Allemagne] ; Christoph Weidenbach [France]{NRCL} - a model building approach to the {Bernays-Schönfinkel} fragment
000684 (2015) Bruno Lévy [France]Robustness and Efficiency of Geometric Programs The Predicate Construction Kit (PCK)
000701 (2015) Nazim Haouchine [France] ; Jeremie Dequidt [France] ; Marie-Odile Berger [France] ; Stephane Cotin [France]Monocular 3D Reconstruction and Augmentation of Elastic Surfaces with Self-occlusion Handling
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
000790 (2015) Richard Genestier [France] ; Alain Giorgetti [France] ; Guillaume Petiot [France]Sequential generation of structured arrays and its deductive verification
000804 (2015) Ons Sassi [France] ; Wahiba Ramdane Cherif [France] ; Ammar OulamaraIterated Tabu Search for the Mix Fleet Vehicle Routing Problem with Heterogenous Electric Vehicles
000835 (2014-12-14) Utpala Musti [Finlande] ; Slim Ouni [France] ; Zhou Ziheng [Finlande]3D Visual Speech Animation from Image Sequences
000952 (2014-09-12) Jean-Christophe Bach [France]A formal Island for qualifiable model transformations
000957 (2014-09-10) Nazim Haouchine [France] ; Jérémie Dequidt [France] ; Marie-Odile Berger [France] ; Stéphane Cotin [France]Single View Augmentation of 3D Elastic Objects

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

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