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

Index « AbsEn.i » - entrée « version »
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.
verschiebung < version < versioned  Facettes :

List of bibliographic references indexed by version

Number of relevant bibliographic references: 523.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000040 (2016-04-18) Frédéric Bihan [France] ; Pierre-Jean Spaenlehauer [France]Sparse Polynomial Systems with many Positive Solutions from Bipartite Simplicial Complexes
000047 (2016-04-03) Benjamin Camus [France] ; Virginie Galtier [France] ; Mathieu Caujolle [France] ; Vincent Chevrier [France] ; Julien Vaubourg [France] ; Laurent Ciarletta [France] ; Christine Bourjot [France]Hybrid Co-simulation of FMUs using DEV&DESS in MECSYCO
000085 (2016-01-15) Benjamin Camus [France] ; Virginie Galtier [France] ; Mathieu Caujolle [France] ; Vincent Chevrier [France] ; Julien Vaubourg [France] ; Laurent Ciarletta [France] ; Christine Bourjot [France]Hybrid Co-simulation of FMUs using DEV&DESS in MECSYCO
000176 (2016) Emmanuel Thomé [France]A modified block Lanczos algorithm with fewer vectors
000411 (2015-08-10) Haniel Barbosa [France] ; Pascal Fontaine [France]Congruence Closure with Free Variables (Work in Progress)
000424 (2015-08) Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne]Beagle – A Hierarchic Superposition Prover
000443 (2015-07-16) Nidhal Hamrit [France] ; Simon Perdrix [France]Reversibility in Extended Measurement-based Quantum Computation
000469 (2015-06-29) I Aki Fernández Pérez [France] ; Amine Boumaza [France] ; François Charpillet [France]Influence of Selection Pressure in Online, Distributed Evolutionary Robotics
000571 (2015-04-20) Miguel Couceiro [France] ; Tamas Waldhauser [Hongrie]Lattice-Theoretic Approach to Version Spaces in Qualitative Decision Making
000614 (2015-03-09) Emilie Balland [France] ; Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France]Bringing Strategic Rewriting into the Mainstream
000649 (2015-01-19) Mehdi Ahmed-Nacer [France] ; Pascal Urso [France] ; François Charoy [France]Merging By Decentralized Eventual Consistency Algorithms
000656 (2015-01-10) Nihel Kooli [France] ; Abdel Belaïd [France]Entity Matching in OCRed Documents with Redundant Databases
000682 (2015) Nafaa Nacereddine [Algérie] ; Salvatore Tabbone [France] ; Djemel Ziou [Canada]Similarity transformation parameters recovery based on Radon transform. Application in image registration and object recognition
000722 (2015) Bruno Scherrer [France] ; Mohammad Ghavamzadeh [France] ; Victor Gabillon [France] ; Boris Lesner [France] ; Matthieu Geist [France]Approximate Modified Policy Iteration and its Application to the Game of Tetris
000735 (2015) Jean-René Courtault [France] ; Didier Galmiche [France]A Modal Separation Logic for Resource Dynamics
000809 (2015) Haniel Barbosa [France] ; Pascal Fontaine [France]Congruence Closure with Free Variables (Work in Progress)
000821 (2014-12-22) Guy Perrier [France]FRIGRAM: a French Interaction Grammar
000827 (2014-12-16) Mathieu Hoyrup [France]Genericity of weakly computable objects
000835 (2014-12-14) Utpala Musti [Finlande] ; Slim Ouni [France] ; Zhou Ziheng [Finlande]3D Visual Speech Animation from Image Sequences
000914 (2014-10-01) Hugo Férée [France] ; Walid Gomaa [Égypte] ; Mathieu Hoyrup [France]Analytical properties of resource-bounded real functionals
000926 (2014-09-28) Emmanuelle Gaillard [France] ; Jean Lieber [France] ; Emmanuel Nauer [France]Case-Based Cooking with Generic Computer Utensils: Taaable Next Generation

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

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