Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « AbsEn.i » - entrée « standard »
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.
standalone < standard < standardisation  Facettes :

List of bibliographic references indexed by standard

Number of relevant bibliographic references: 885.
[20-40] [0 - 20][0 - 50][40-60]
Ident.Authors (with country if any)Title
000285 (2015-10-12) Guillaume Bonfante [France] ; Jose Fernandez [Canada] ; Jean-Yves Marion [France] ; Benjamin Rouxel [France] ; Fabrice Sabatier [France] ; Aurélien Thierry [France]CoDisasm: Medium Scale Concatic Disassembly of Self-Modifying Binaries with Overlapping Instructions
000298 (2015-10) Denis Roegel [France]A Mechanical Calculator for Arithmetic Sequences (1844-1852): Part 1, Historical Context and Structure
000301 (2015-10) Laura Kallmeyer [Allemagne] ; Rainer Osswald [Allemagne] ; Sylvain Pogodalla [Allemagne]Progression and Iteration in Event Semantics — An LTAG Analysis Using Hybrid Logic and Frame Semantics
000304 (2015-09-29) Antoine Fond [France] ; Marie-Odile Berger [France] ; Gilles Simon [France]Prior-based facade rectification for AR in urban environment
000306 (2015-09-28) Mihai Andries [France] ; François Charpillet [France]Multi-robot taboo-list exploration of unknown structured environments
000346 (2015-09-04) Victor Codocedo-Henriquez [France]Contributions to indexing and retrieval using Formal Concept Analysis
000350 (2015-09-02) Abdessalem Bouzaieni [France] ; Salvatore Tabbone [France] ; Sabine Barrat [France]Automatic Images Annotation Extension Using a Probabilistic Graphical Model
000364 (2015-08-31) Marco Gaboardi [France] ; Romain Péchoux [France]Algebras and Coalgebras in the Light Affine Lambda Calculus
000386 (2015-08-23) Asma Saïdani [Tunisie] ; Afef Kacem [Tunisie] ; Belaïd Abdel [France]Co-occurrence Matrix of Oriented Gradients for Word Script and Nature Identification
000394 (2015-08-20) Asma Saïdani [Tunisie] ; Afef Kacem [Tunisie] ; Belaïd Abdel [France]Arabic/Latin and Machine-printed/Handwritten Word Discrimination using HOG-based Shape Descriptor
000402 (2015-08-14) Dmitry Sokolov [France] ; Gilles Gouaty [France] ; Christian Gentil [France] ; Anton Mishkinis [France]Boundary Controlled Iterated Function Systems
000425 (2015-08) Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited
000435 (2015-07-25) Jilles Steeve Dibangoye [France] ; Olivier Buffet [France] ; Olivier Simonin [France]Structural results for cooperative decentralized control models
000450 (2015-07-06) Seyed Alborzi [France] ; Marie-Dominique Devignes [France] ; David Ritchie [France]EC-PSI: Associating Enzyme Commission Numbers with Pfam Domains
000485 (2015-06-22) Catherine Dubois [France] ; Paolo Masci [Royaume-Uni] ; Dominique Méry [France]Second International Workshop on Formal Integrated Development Environment
000534 (2015-05-18) Stefano Facchini [France] ; Simon Perdrix [France]Quantum Circuits for the Unitary Permutation Problem
000557 (2015-05) Jérôme Gleyzes [France] ; David Langlois [France] ; Federico Piazza [France] ; Filippo Vernizzi [France]New Class of Consistent Scalar-Tensor Theories
000583 (2015-04-14) Salima Harrat [Algérie] ; Karima Meftouh [Algérie] ; Mourad Abbas [Algérie] ; Salma Jamoussi [Tunisie] ; Motaz Saad [France] ; Kamel Smaili [France]Cross-Dialectal Arabic Processing
000596 (2015-04) Vincent Cheval [France] ; Véronique Cortier [France]Timing attacks in security protocols: symbolic framework and proof techniques
000610 (2015-03-18) Frédéric Sur [France] ; Michel Grediac [France]Measuring the Noise of Digital Imaging Sensors by Stacking Raw Images Affected by Vibrations and Illumination Flickering
000615 (2015-03-04) Marion Guthmuller [France] ; Martin Quinson [France] ; Gabriel Corona [France]System-level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed 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 "standard" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.i  \
                -Sk "standard" \
         | 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é=    standard
}}

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