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 « operations »
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.
operationnal < operations < operationscommute  Facettes :

List of bibliographic references indexed by operations

Number of relevant bibliographic references: 467.
[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
000066 (2016-02-19) Guillaume Rosinosky [France] ; Samir Youcef [France] ; François Charoy [France]An Efficient Approach for Multi-tenant Elastic Business Processes Management in Cloud Computing environment
000072 (2016-02-01) Jean-Guillaume Dumas [France] ; Erich Kaltofen [États-Unis] ; Emmanuel Thomé [France] ; Gilles Villard [France]Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix
000130 (2016) Denis Roegel [France]A mechanical calculator for arithmetic sequences (1844-1852): part 2, working details
000171 (2016) Nacer Boudjlida [France] ; Badrina Gasmi Boumezoued [Algérie]Conceptual Graphs for Fomally Managing and Discovering Complementary Competences
000181 (2015-12-17) Miguel Couceiro [France] ; Didier Dubois [France] ; Henri Prade [France] ; Tamas Waldhauser [Hongrie]Decision-making with sugeno integrals
000198 (2015-12-11) Sylvain Pogodalla [France]Functional Approach to Tree-Adjoining Grammars and Semantic Interpretation: an Abstract Categorial Grammar Account
000235 (2015-11-13) Hugo Labrande [France]Computing Jacobi's $\theta$ in quasi-linear time
000249 (2015-11-03) Olga Kouchnarenko [France] ; Jean-François Weber [France]Practical Analysis Framework for Component Systems with Dynamic Reconfigurations
000291 (2015-10-05) Bernardetta Addis [France] ; Dallal Belabed [France] ; Mathieu Bouet [France] ; Stefano Secci [France]Virtual Network Functions Placement and Routing Optimization
000303 (2015-09-29) Jannik Dreier [France] ; Jean-Guillaume Dumas [France] ; Pascal Lafourcade [France]Brandt's fully private auction protocol revisited
000319 (2015-09-21) Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Bin Yang [France] ; Michel Lenczner [France] ; Frédéric Zamkotsian [France] ; Horatiu Cirstea [France]Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
000334 (2015-09-07) Aleksey Buzmakov [France] ; Sergei O. Kuznetsov [Russie] ; Amedeo Napoli [France]Fast Generation of Best Interval Patterns for Nonmonotonic Constraints
000361 (2015-08-31) Jasmin Christian Blanchette [France] ; Andrei Popescu [Royaume-Uni] ; Dmitriy Traytel [Allemagne]Foundational Extensible Corecursion: A Proof Assistant Perspective
000399 (2015-08-18) Pierre-Cyrille Héam [France] ; Jean-Luc Joly [France]Random Generation and Enumeration of Accessible Determinisitic Real-time Pushdown Automata
000433 (2015-07-25) Nacer Boudjlida [France] ; Badrina Gasmi Boumezoued [Algérie]Conceptual Graphs for Formally Managing and Discovering Complementary Competences
000479 (2015-06-23) Artuur Leeuwenberg [France] ; Aleksey Buzmakov [France] ; Yannick Toussaint [France] ; Amedeo Napoli [France]Exploring Pattern Structures of Syntactic Trees for Relation Extraction
000538 (2015-05-18) Miguel Couceiro [France] ; Bruno Teheux [Luxembourg (pays)]Clones of pivotally decomposable functions.
000543 (2015-05-11) Gaëtan Hurel [France] ; Rémi Badonnel [France] ; Abdelkader Lahmadi [France] ; Olivier Festor [France]Towards Cloud-Based Compositions of Security Functions For Mobile Devices
000551 (2015-05-05) Mehdi Ahmed-Nacer [France]Evaluation methodology for replicated data types
000556 (2015-05) Yacine Bouzidi [France] ; Sylvain Lazard [France] ; Marc Pouget [France] ; Fabrice Rouillier [France]Separating linear forms and Rational Univariate Representations of bivariate 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 "operations" 

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