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 « provide »
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.
provid < provide < provided  Facettes :

List of bibliographic references indexed by provide

Number of relevant bibliographic references: 1700.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000001 (2016-07-19) Jean-Charles Faugere ; Pierre-Jean Spaenlehauer [France] ; Jules Svartz [France]Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems
000004 (2016-07-13) Florian Marchal [France] ; Sylvain Castagnos [France] ; Anne Boyer [France]Tell Me What You See, I Will Tell You What You Remember
000007 (2016-07-11) Mathieu Hoyrup [France]The decidable properties of subrecursive functions
000015 (2016-05-31) Slim Ouni [France] ; Sara Dahmani [France]Is markerless acquisition of speech production accurate ?
000020 (2016-05-23) Véronique Cortier [France] ; David Galindo [Royaume-Uni] ; Mueller Johannes [Allemagne] ; Ralf Kuesters [Allemagne] ; Truderung Tomasz [Allemagne]SoK: Verifiability Notions for E-Voting Protocols
000022 (2016-05-16) Denis Roegel [France]Some remarks on Bürgi’s interpolations
000028 (2016-05-14) Dominique Mery [France]Playing with State-Based Models for Designing Better Algorithms
000031 (2016-05-09) Mohab Safey El Din ; Pierre-Jean Spaenlehauer [France]Critical Point Computations on Smooth Varieties: Degree and Complexity bounds
000033 (2016-05) Derry Fitzgerald [Irlande (pays)] ; Antoine Liutkus [France] ; Roland Badeau [France]Projection-based demixing of spatial audio
000046 (2016-04-04) Stéphane Vialle [France] ; Sylvain Contassot-Vivier [France] ; Patrick Mercier [France]Generic algorithmic scheme for 2D stencil applications on hybrid machines
000052 (2016-03-09) Yamine Ait Ameur [France] ; Dominique Méry [France]Making explicit domain knowledge in formal system development
000056 (2016-03) Agnès Piquard-Kipffer [France] ; Odile Mella [France] ; Jérémy Miranda [France] ; Denis Jouvet [France] ; Luiza Orosanu [France]Terminal portable de communication et affichage de la reconnaissance vocale. Enjeux et rapports à l'écrit. Étude préliminaire auprès d'adultes déficients auditifs.
000057 (2016-03) Steve Kremer [France] ; Peter R Nne [France]To Du or not to Du: A Security Analysis of Du-Vote
000063 (2016-02-22) Jilles Steeve Dibangoye [France] ; Christopher Amato [États-Unis] ; Olivier Buffet [France] ; François Charpillet [France]Optimally Solving Dec-POMDPs as Continuous-State MDPs
000073 (2016-02) Özgür Dagdelen [Allemagne] ; David Galindo [France] ; Pascal Véron [France] ; Sidi Mohamed El Yousfi Alaoui [Allemagne] ; Pierre-Louis Cayrel [Allemagne]Extended security arguments for signature schemes
000077 (2016-01-27) Laurent Ciarletta [France] ; Loïc Fejoz [France] ; Adrien Guenard [France] ; Nicolas Navet [Luxembourg (pays)]Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS
000078 (2016-01-27) Laurent Ciarletta [France] ; Loïc Fejoz [France] ; Adrien Guenard [France] ; Nicolas Navet [Luxembourg (pays)]Development of a safe CPS component: the hybrid parachute, a remote termination add-on improving safety of UAS
000087 (2016-01-14) Meysam Hashemi [France]Analytical and numerical studies of thalamo-cortical neural populationmodels during general anesthesia
000096 (2016-01) Rémi Imbach [France] ; Pascal Mathis [France] ; Pascal Schreck [France]A Robust and Efficient Method for Solving Point Distance Problems by Homotopy
000113 (2016) Jorge Almeida [Portugal] ; Miguel Couceiro [France] ; Tamas Waldhauser [Hongrie]On the topological semigroup of equational classes of finite functions under composition
000115 (2016) Miguel Couceiro [France] ; Erkko Lehtonen [Portugal]On the arity gap of finite functions : results and applications.

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

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