Search - IMAG Access content directly

Filter your results

346 Results
Domains : math
Image document

Coloring Artemis graphs

Benjamin Lévêque , Frédéric Maffray , Bruce Reed , Nicolas Trotignon
Theoretical Computer Science, 2009, 410, pp.2234-2240. ⟨10.1016/j.tcs.2009.02.012⟩
Journal articles hal-00004741v1

Motion Autonomy Through Sensor­Guided Manoeuvre

Philippe Garnier , Thierry Fraichard , Christian Laugier , Igor Paromtchik , Alexis Scheuer
IEEE-RSJ Int. Conf. on Intelligent Robots and Systems, SHARP, INRIA Rhône-Alpes / GRAVIR-IMAG, Sep 1997, Grenoble (FR), France
Conference papers inria-00000017v1
Image document

Contribution théorique et numérique à la résolution du problème du Voyageur de Commerce

Emmanuel Wild
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 2003. Français. ⟨NNT : ⟩
Theses tel-00005167v1
Image document

Localisation et modélisation tridimensionnelles par approximations successives du modèle perspectif de caméra

Stéphane Christy
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1998. Français. ⟨NNT : ⟩
Theses tel-00004885v1
Image document

Méthodes Variationelles pour des Modèles Fonction-Structure de Plantes : Identification de Paramètre, Contrôle et Assimilation de Données

Lin Wu
Modeling and Simulation. Université Joseph-Fourier - Grenoble I, 2005. English. ⟨NNT : ⟩
Theses tel-00010892v1
Image document

Tree shape in population genetics and phylogeny

Michael G B Blum
Mathematics [math]. Institut National Polytechnique de Grenoble - INPG, 2005. English. ⟨NNT : ⟩
Theses tel-00011156v1
Image document

Extraction d'information appliquée au domaine biomédical : apprentissage et traitement automatique de la langue

Erick Alphonse , Sophie Aubin , Philippe Bessières , Gilles Bisson , Thierry Hamon , et al.
Conférence internationale de fouille de texte, CIFT-04, Jun 2004, La Rochelle, France
Conference papers hal-02762525v1
Image document

Pervasive informatics and persistent actimetric information in health smart homes : From Language Model to Location Model

Yannick Fouquet , Jacques Demongeot , Nicolas Vuillerme
International Conference on Complex, Intelligent and Software Intensive Systems, Mar 2009, Fukuoka, Japan. pp.935-942, ⟨10.1109/CISIS.2009.81⟩
Conference papers hal-00379459v1
Image document

Pervasive informatics and persistent actimetric information in health smart homes

Yannick Fouquet , Nicolas Vuillerme , Jacques Demongeot
7th International Conference On Smart homes and health Telematics ICOST2009, Jul 2009, Tours, France. pp.73
Conference papers hal-00379486v1
Image document

Géométrie et métiers du bâtiment

Annie Bessot
Espace mathématique francophone, 2009, Dakar, Sénégal. pp.non connu
Conference papers hal-00464313v1

Strong hydrodynamic limit for attractive particle systems on Z

Christophe Bahadoran , Hervé Guiol , Krishnamurthi Ravishankar , Ellen Saada
Electronic Journal of Probability, 2010, 15 (1), pp.1-43
Journal articles hal-00273845v1
Image document

Volume and entropy of regular timed languages

Eugene Asarin , Aldric Degorre
2009
Preprints, Working Papers, ... hal-00369812v3

A Generalization of Whytoff Game.

Sylvain Gravier , Eric Duchêne
Discrete Maths, 2008, To appear
Journal articles hal-00290421v1

Sampling in helical fan beam CT.

Laurent Desbat , Larry Gratton
SampTA 2007, 2007, Greece. pp.19,20
Conference papers hal-00308867v1

A class of perfectly contractile graphs

Frédéric Maffray , Nicolas Trotignon
Journal of Combinatorial Theory, Series B, 2006, 96 (1), pp.1-19. ⟨10.1016/j.jctb.2005.06.011⟩
Journal articles hal-00166912v1
Image document

Applications of level set methods in computational biophysics

Emmanuel Maitre , Thomas Milcent , Georges-Henri Cottet , Annie Raoult , Yves Usson
Mathematical and Computer Modelling, 2009, 49 (11-12), pp.2161-2169. ⟨10.1016/j.mcm.2008.07.026⟩
Journal articles hal-00177593v3
Image document

Perfect simulation of stochastic hybrid systems with an application to peer to peer systems

Bruno Gaujal , Florence Perronnin , Remi Bertin
[Research Report] RR-6019, INRIA. 2006, pp.27
Reports inria-00112086v2
Image document

A complete Assignment Algorithm and Its Application in Constraint Declarative Languages

Nadia Brauner , R. Echahed , G. Finke , H. Gregor , F. Prost
2004
Preprints, Working Papers, ... hal-00082787v1
Image document

An Intrisic Topology for Orthomodular Lattices

Olivier Brunet
International Journal of Theoretical Physics, 2007, 46 (11), pp.2887-2900. ⟨10.1007/s10773-007-9400-8⟩
Journal articles hal-00128859v1

Un résultat pour le processus d'exclusion à longue portée.

Hervé Guiol
Annales de l'Institut Henri Poincaré (B) Probabilités et Statistiques, 1997, 33 (4), pp.387-405. ⟨10.1016/S0246-0203(97)80098-2⟩
Journal articles hal-00273364v1
Image document

On symmetric Fraenkel's and small deviations conjectures

Nadia Brauner , Vincent Jost , W. Kubiak
2002
Preprints, Working Papers, ... hal-00083361v1

Rotational microrheology of multilayered finite elastic media

Philippe Tracqui , Jacques Ohayon
Journal of Applied Physics, 2007, 102, pp.0335171
Journal articles hal-00193857v1

Bifurcation properties of the average activity of interconnected neural populations

Arnaud Tonnelier
Biological Cybernetics (Modeling), 2003, 89 (3), pp.179-189
Journal articles hal-00393679v1
Image document

Liénard systems and potential-Hamiltonian decomposition - Applications in biology

Loïc Forest , Nicolas Glade , Jacques Demongeot
Comptes Rendus Biologies, 2007, 330 (2), pp.97-106. ⟨10.1016/j.crvi.2006.12.001⟩
Journal articles hal-00346975v1
Image document

Hybrid Modelling in Biology: a Classification Review

A Stéphanou , Vitaly Volpert
Mathematical Modelling of Natural Phenomena, 2016, 11, pp.37 - 48. ⟨10.1051/mmnp/201611103⟩
Journal articles hal-01397430v1
Image document

Scheduling of Embedded Controllers Under Timing Contracts

Mohammad Al Khatib , Antoine Girard , Thao Dang
20th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2017), Apr 2017, Pittsburgh, PA, United States. pp.131 - 140, ⟨10.1145/3049797.3049816⟩
Conference papers hal-01540841v1
Image document

Self-Triggered Control for Sampled-data Systems using Reachability Analysis

Mohammad Al Khatib , Antoine Girard , Thao Dang
IFAC 2017 - 20th World Congress of the International Federation of Automatic Control, 2017, Toulouse, France. ⟨10.1016/j.ifacol.2017.08.745⟩
Conference papers hal-01540847v1
Image document

Algèbre linéaire pour invariants polynomiaux

Steven de Oliveira , Saddek Bensalem , Virgile Prévosto
15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France. pp.61
Conference papers hal-01391490v1

Alternatives to heparin and protamine anticoagulation for cardiopulmonary bypass in cardiac surgery

Aurore Bouraghda , Pierre Gillois , Pierre Albaladejo
Canadian Journal of Anesthesia / Journal canadien d'anesthésie, 2015, 62 (5), pp.518-528
Journal articles hal-02007694v1

Consequences of Switching to Blended Learning: The Grenoble Medical School Key Elements.

Sahal Houssein , Lionel Di Marco , Carole Schwebel , Vanda Luengo , Patrice Morand , et al.
Studies in Health Technology and Informatics, 2019, 247, pp.356-360
Journal articles hal-02007689v1