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 « properties »
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.
properness < properties < propertiesof  Facettes :

List of bibliographic references indexed by properties

Number of relevant bibliographic references: 1627.
[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
000028 (2016-05-14) Dominique Mery [France]Playing with State-Based Models for Designing Better Algorithms
000032 (2016-05-09) Gilles Simon [France] ; Antoine Fond [France] ; Marie-Odile Berger [France]A Simple and Effective Method to Detect Orthogonal Vanishing Points in Uncalibrated Images of Man-Made Environments
000034 (2016-05) Anthéa Mayzaud [France] ; Rémi Badonnel [France] ; Isabelle Chrisment [France]A Taxonomy of Attacks in RPL-based Internet of Things
000039 (2016-04-19) Artem Melnyk [France] ; Patrick Henaff [France]Bio-inspired plastic controller for a robot arm to shake hand with human
000052 (2016-03-09) Yamine Ait Ameur [France] ; Dominique Méry [France]Making explicit domain knowledge in formal system development
000065 (2016-02-22) Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Michel Lenczner [France]Closed combination of context-embedding iterative strategies
000079 (2016-01-27) Florian Greff [France] ; Eric Dujardin [France] ; Arnaud Samama [France] ; Ye-Qiong Song [France] ; Laurent Ciarletta [France]A Symbiotic Approach to Designing Cross-Layer QoS in Embedded Real-Time Systems
000105 (2016) Stephane Demri [France] ; Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Daniel Mery [France]Separation Logic with One Quantified Variable
000112 (2016) Eric Domenjoud [France] ; Xavier Provençal [France] ; Laurent Vuillon [France]Palindromic language of thin discrete planes
000113 (2016) Jorge Almeida [Portugal] ; Miguel Couceiro [France] ; Tamas Waldhauser [Hongrie]On the topological semigroup of equational classes of finite functions under composition
000114 (2016) Benoît Blaysat [France] ; Michel Grediac [France] ; Frédéric Sur [France]On the propagation of camera sensor noise to displacement maps obtained by DIC - an experimental study
000126 (2016) Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France]Automated verification of equivalence properties of cryptographic protocols
000129 (2016) Nazim Fatès [France]Aesthetics and randomness in cellular automata
000162 (2016) Alain Bernard [France] ; Laurent Peyras [France] ; Paul Royet [France]L’essai de cisaillement à la grande boîte de Casagrande : un banc expérimental pour évaluer les propriétés des sols grossiers et pour d’autres applications en géomécanique
000178 (2015-12-31) Shi Bai [Nouvelle-Zélande] ; Cyril Bouvier [France] ; Alexander Kruppa [France] ; Paul Zimmermann [France]Better polynomials for GNFS
000180 (2015-12-18) Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [France]Incremental Proof-Based Development for Resilient Distributed Systems
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
000198 (2015-12-11) Sylvain Pogodalla [France]Functional Approach to Tree-Adjoining Grammars and Semantic Interpretation: an Abstract Categorial Grammar Account
000214 (2015-11-27) Benjamin Camus [France]Multi-agent Environment for Multi-Modeling and Simulation of Complex Systems

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

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