|
|
ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis
Ayoub Nouri
,
Marius Bozga
,
Anca Molnos
,
Axel Legay
,
Saddek Bensalem
Journal articles
hal-01406474v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Scalable Verification of Hybrid Systems
Goran Frehse
Systems and Control [cs.SY]. Univ. Grenoble Alpes, 2016
Habilitation à diriger des recherches
tel-01714428v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Scatter Imaging and Radar: Dual Image Reconstruction Problems
Rolf Clackdoyle
,
Hung Nguyen
,
Valérie Perrier
,
Laurent Desbat
Conference papers
hal-02293139v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Computer Aided Formal Design of Swarm Robotics Algorithms
Thibaut Balabonski
,
Pierre Courtieu
,
Robin Pelle
,
Lionel Rieg
,
Sébastien Tixeuil
,
et al.
2021
Preprints, Working Papers, ...
hal-03111541v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Apports de la tangibilité à l'interaction, exemple sur table interactive en situation de travail collectif
Jean Caelen
,
Melanie Becker
,
Hervé Schultz
,
Sébastien Kubicki
,
Christophe Kolski
,
et al.
Conference Internationale Francophone sur I'Interaction Homme-Machine, IHM '10, Sep 2010, Luxembourg, Luxembourg
Conference papers
hal-02928379v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
An Analytical Formulation for the Geometrico-static Problem of Continuum Planar Parallel Robots
Federico Zaccaria
,
Sébastien Briot
,
Mohamed Taha Chikhaoui
,
Edoardo Idá
,
Marco Carricato
23rd CISM IFToMM Symposium on Robot Design, Dynamics and Control (RoManSy 2020), Sep 2020, Sapporo, Japan
Conference papers
hal-02849910v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Vocal drum sounds in human beatboxing: An acoustic and articulatory exploration using electromagnetic articulography
Annalisa Paroni
,
Nathalie Henrich Bernardoni
,
Christophe Savariaux
,
Hélène Loevenbruck
,
Pascale Calabrese
,
et al.
Journal articles
hal-03107358v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Comment s'assurer de garder le contact (et nos distances)
Thibaut Balabonski
,
Pierre Courtieu
,
Robin Pelle
,
Lionel Rieg
,
Sébastien Tixeuil
,
et al.
ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, 2021, La Rochelle, France
Conference papers
hal-03219933v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
L’usage de l’exécution symbolique pour la déobfuscation binaire en milieu industriel
Jonathan Salwan
Cryptographie et sécurité [cs.CR]. Université Grenoble Alpes [2020-..], 2020. Français. ⟨NNT : 2020GRALM005⟩
Theses
tel-02966552v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Modular analysis of numerical properties by abstract interpretation
Rémy Boutonnet
Data Structures and Algorithms [cs.DS]. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM004⟩
Theses
tel-02554125v2
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A Fuzzy Motion Controller for a Car-Like Vehicle
Philippe Garnier
,
Thierry Fraichard
[Research Report] RR-3200, INRIA. 1997
Reports
inria-00073489v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Controlling and Scheduling Parallel I/O in Multi-application Environments
Adrien Lebre
,
Yves Denneulin
,
Thanh Trung Van
[Research Report] RR-5689, INRIA. 2005, pp.19
Reports
inria-00070324v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Providing a Progressive Access to Awareness Information
Manuele Kirsch-Pinheiro
,
Marlene Villanova-Oliver
,
Jerôme Gensel
,
José Valdeni de Lima
,
Hervé Martin
2003, pp.336-353
Conference papers
hal-00120272v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Perlin Textures in Real Time using OpenGL
Antoine Miné
,
Fabrice Neyret
[Research Report] RR-3713, INRIA. 1999, pp.18
Reports
inria-00072955v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Computer Animation of Human Walking: a Survey
Franck Multon
,
Laure France
,
Marie-Paule Cani
,
Gilles Debunne
[Research Report] RR-3441, INRIA. 1998
Reports
inria-00073249v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A Water Supply Optimization Problem for Plant Growth Based on GreenLab Model
L. Wu
,
François-Xavier Le Dimet
,
B.G. Hu
,
Paul-Henry Cournède
,
Philippe de Reffye
7éme Colloque Africain sur la Recherche en Informatique (CARI'04), Nov 2004, Mammamet, Tunisia
Conference papers
inria-00122491v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Using geometric quasi-invariants to match and model images of line segments
Patrick Gros
,
Olivier Bournez
,
Edmond Boyer
[Research Report] RR-2608, INRIA. 1995
Reports
inria-00074077v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Feature-based Control of Visibility Error : A Multi-resolution Clustering Algorithm for Global Illumination
François X. Sillion
,
George Drettakis
[Research Report] RR-2503, INRIA. 1995
Reports
inria-00074174v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Vers une modélisation d'une géométrie en actes dans les activités de lecture tracé du bâtiment
Annie Bessot
,
Colette Laborde
2004
Preprints, Working Papers, ...
hal-00078790v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Auto-supervised learning in the Bayesian Programming Framework
Pierre Dangauthier
,
Pierre Bessiere
,
Anne Spalanzani
2005, pp.1-6
Conference papers
hal-00019663v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
The SIMGRID Project: Simulation and Deployment of Distributed Applications
Martin Quinson
,
Henri Casanova
,
Arnaud Legrand
,
Kayo Fujiwara
The 15th IEEE International Symposium on High Performance Distributed Computing (HPDC'06), Jun 2006, Paris, France
Conference papers
inria-00108428v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Les schémas de test : une abstraction pour la génération de tests de conformité et pour la mesure de couverture
Pierre Bontron
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2005. Français. ⟨NNT : ⟩
Theses
tel-00010058v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Combining Higher-Order Wavelets and Discontinuity Meshing: a Compact Representation for Radiosity
Nicolas Holzschuch
,
Laurent Alonso
Eurographics Symposium on Rendering 2004 - EGSR 2004, Jun 2004, Norrköping, Sweden. pp.275-286
Conference papers
inria-00100041v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Gestion des informations dans les premieres etapes de la vision par ordinateur
Jean-Marc Salotti
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1994. Français. ⟨NNT : ⟩
Theses
tel-00005111v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
TEMPOS : une plate-forme pour le développement d'applications temporelles au dessus de SGBD à objets
Marlon Dumas Menjivar
Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 2000. Français. ⟨NNT : ⟩
Theses
tel-00006741v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Couplage de notations semi-formelles et formelles pour la spécification des systèmes d'information
Sophie Dupuy
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2000. Français. ⟨NNT : ⟩
Theses
tel-00006742v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Complexité Naturelle et Synthèse d'Images
Fabrice Neyret
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 2001
Habilitation à diriger des recherches
tel-00005790v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Services Actifs et Passerelles Programmables
Hoa Binh Nguyen
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2004. Français. ⟨NNT : ⟩
Theses
tel-00005989v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Automatic Cell-and-portal Decomposition
Sylvain Lefebvre
,
Samuel Hornus
RR-4898, INRIA. 2003
Reports
inria-00071685v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A Volumetric Reconstruction Method from Multiple Calibrated Views using Global Graph Cut Optimization
Sylvain Paris
,
François X. Sillion
,
Long Quan
[Research Report] RR-4843, INRIA. 2003
Reports
inria-00071742v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|