Greek Ministry of Education < Grenoble 2 UPMF < Grenoble 3

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 92.
[20-40] [0 - 20][0 - 50][40-60]

Ident.	Authors (with country if any)	Title
001A00 (2013-08-26)	Senjuti Basu Roy ; Ioanna Lykourentzou ; Saravanan Thirumuruganathan ; Sihem Amer-Yahia ; Gautam Das	Crowds, not Drones: Modeling Human Factors in Interactive Crowdsourcing
001A24 (2008)	Mathieu D'Aquin ; Peter Haase ; Sebastian Rudolph ; Jérôme Euzenat ; Antoine Zimmermann ; Martin Dzbor ; Marta Iglesias ; Yves Jacques ; Caterina Caracciolo ; Carlos Buil Aranda ; Gomez Jose Manuel	D1.1.3: NeOn Formalisms for Modularization: Syntax, Semantics, Algebra
001A25 (2008)	Mathieu D'Aquin ; Peter Haase ; Chan Le Duc ; Antoine Zimmermann	D1.1.4: NeOn Formalism for Modularization: Implementation and Evaluation
001A41 (2010-07-07)	Gilles Fedak ; Jean-Patrick Gelas ; Thomas Hérault ; Victor Iniesta ; Derrick Kondo ; Laurent Lefèvre ; Paul Malecot ; Lucas Nussbaum ; Ala Rezmerita ; Olivier Richard	DSL-Lab: a Low-power Lightweight Platform to Experiment on Domestic Broadband Internet
002033 (2013-10-24)	Melisachew Wudage Chekol ; Jérôme Euzenat ; Pierre Genevès ; Nabil Layaïda	Evaluating and benchmarking SPARQL query containment solvers
002540 (2011-10)	Matthieu Chavent ; Antoine Vanel ; Alex Tek ; Bruno Levy ; Sophie Robert ; Bruno Raffin ; Marc Baaden	GPU-accelerated atom and dynamic bond visualization using hyperballs: a unified algorithm for balls, sticks, and hyperboloids.
002759 (2008-06)	Julien Demouth ; Olivier Devillers ; Marc Glisse ; Xavier Goaoc	Helly-type theorems for approximate covering
002761 (2009)	Julien Demouth ; Olivier Devillers ; Marc Glisse ; Xavier Goaoc	Helly-type theorems for approximate covering
002A22 (2013-05-10)	Paul Bedaride ; Stéphane Genaud ; Augustin Degomme ; Arnaud Legrand ; George Markomanolis ; Martin Quinson ; Mark Stillwell ; Frédéric Suter ; Brice Videau	Improving Simulations of MPI Applications Using A Hybrid Network Model with Topology and Contention Support
002A95 (2010-05-03)	Antoine Bautin ; Luis Martinez-Gomez ; Thierry Fraichard	Inevitable Collision States: a Probabilistic Perspective
002C20 (2015-07-03)	Jean-Guillaume Dumas ; Erich Kaltofen ; Emmanuel Thomé	Interactive certificate for the verification of Wiedemann's Krylov sequence: application to the certification of the determinant, the minimal and the characteristic polynomials of sparse matrices
002C61 (2010-04-01)	Christophe Aubrun ; Daniel Simon ; Ye-Qiong Song	Introduction and problem statement
002D91 (2012-02)	Vincent Nivoliers ; Cédric Gérot ; Victor Ostromoukhov ; Neil Stewart	L-system specification of knot-insertion rules for non-uniform B-spline subdivision
002E89 (2012-05-23)	Fabrice Lefevre ; Djamel Mostefa ; Laurent Besacier ; Yannick Estève ; Matthieu Quignard ; Nathalie Camelin ; Benoit Favre ; Bassam Jabaian ; Lina Maria Rojas Barahona	Leveraging study of robustness and portability of spoken language understanding systems across languages and domains: the PORTMEDIA corpora
002F16 (2016-02-01)	Jean-Guillaume Dumas ; Erich Kaltofen ; Emmanuel Thomé ; Gilles Villard	Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix
003036 (2007)	Olivier Devillers ; Vida Dujmovic ; Hazel Everett ; Samuel Hornus ; Sue Whitesides ; Steve Wismath	Maintaining Visibility Information of Planar Point Sets with a Moving Viewpoint
003196 (2015-12-09)	David Cattanéo ; Simon Perdrix	Minimum Degree up to Local Complementation: Bounds, Parameterized Complexity, and Exact Algorithms
003258 (2012-03-24)	Taha Triki ; Yves Ledru ; Lydie Du Bousquet ; Frédéric Dadeau ; Julien Botella	Model-Based Filtering of Combinatorial Test Suites
003263 (2015-08-01)	Frédéric Dadeau ; Pierre-Cyrille Héam ; Rafik Kheddam ; Ghazi Maatoug ; Michaël Rusinowitch	Model-based mutation testing from security protocols in HLPSL
003307 (2002)	Damien Eveillard ; Delphine Ropers ; Hidde De Jong ; Christiane Branlant ; Alexander Bockmayr	Modeling the effects of SR proteins on alternative splicing
003482 (2011-03-22)	Frédéric Dadeau ; Pierre-Cyrille Héam ; Rafik Kheddam	Mutation-Based Test Generation from Security Protocols in HLPSL

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i -k "Grenoble 2 UPMF" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i  \
                -Sk "Grenoble 2 UPMF" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    HalTutelle.i
   |clé=    Grenoble 2 UPMF
}}

---

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