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 « explicit »
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.
explicative < explicit < explicitating  Facettes :

List of bibliographic references indexed by explicit

Number of relevant bibliographic references: 447.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000007 (2016-07-11) Mathieu Hoyrup [France]The decidable properties of subrecursive functions
000010 (2016-06-14) Mikhail Bogdanov [France] ; Monique Teillaud [France] ; Gert Vegter [Pays-Bas]Delaunay triangulations on orientable surfaces of low genus
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
000052 (2016-03-09) Yamine Ait Ameur [France] ; Dominique Méry [France]Making explicit domain knowledge in formal system development
000097 (2016) Amaury L'Huillier [France] ; Sylvain Castagnos [France] ; Anne Boyer [France]Modéliser la diversité au cours du temps pour détecter le contexte dans un service de musique en ligne
000115 (2016) Miguel Couceiro [France] ; Erkko Lehtonen [Portugal]On the arity gap of finite functions : results and applications.
000166 (2016) Guillaume Bonfante [France] ; Reinhard Kahle [France] ; Jean-Yves Marion [France] ; Isabel Oitavem [France]Two function algebras defining functions in NC k boolean circuits
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
000184 (2015-12-16) Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Eric Le Morvan [France]Secure refinements of communication channels
000282 (2015-10-13) Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Eric Le Morvan [France]Secure refinements of communication channels
000312 (2015-09-26) Dominique Méry [France] ; Sawant Rushikesh [France] ; Anton Tarasyuk [France]Integrating Domain-Based Features into Event-B: a Nose Gear Velocity Case Study
000450 (2015-07-06) Seyed Alborzi [France] ; Marie-Dominique Devignes [France] ; David Ritchie [France]EC-PSI: Associating Enzyme Commission Numbers with Pfam Domains
000540 (2015-05-13) Rachid Hafiane [France] ; Luc Brun [France] ; Salvatore Tabbone [France]Incremental Embedding Within a Dissimilarity-Based Framework
000611 (2015-03-12) Mathieu Hoyrup [France]A Rice-like theorem for primitive recursive functions
000647 (2015-01-22) Manuel Moussallam [France] ; Antoine Liutkus [France] ; Laurent Daudet [France]Listening to features
000673 (2015-01) Marek Kosta [France] ; Thomas Sturm [Allemagne]A Generalized Framework for Virtual Substitution
000707 (2015) René Schott [France] ; G. Stacey Staples [États-Unis]Generalized Zeon Algebras: Theory and Application to Multi-Constrained Path Problems
000724 (2015) Vincent Nivoliers [France] ; Bruno Lévy [France] ; Christophe Geuzaine [Belgique]Anisotropic and feature sensitive triangular remeshing using normal lifting
000786 (2015) Jean-Charles Lamirel [France] ; Ingrid Falk [France] ; Claire Gardent [France]Federating clustering and cluster labelling capabilities with a single approach based on feature maximization: French verb classes identification with IGNGF neural clustering : Advances in Self-Organizing Maps
000832 (2014-12-15) Fabien Lauer [France] ; Gérard Bloch [France]Piecewise smooth system identification in reproducing kernel Hilbert space
000867 (2014-11-28) Razvan Barbulescu [France] ; Pierrick Gaudry [France] ; Aurore Guillevic [France] ; François Morain [France]Improvements to the number field sieve for non-prime finite fields

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

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