Skip to Main content Skip to Navigation

inria-00407778v1  Reports
Georges GonthierRoux Stéphane Le. An Ssreflect Tutorial
[Technical Report] RT-0367, INRIA. 2009, pp.33
inria-00576472v1  Reports
C. Mouton. Configuration File Parser Library
[Technical Report] 2009, pp.12
inria-00576469v1  Reports
C. Mouton. Linear Algebra Libraries
[Technical Report] 2009, pp.35
tel-00633697v1  Theses
Ender Konukoglu. Modeling Glioma Growth and Personalizing Growth Models in Medical Images
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2009. English. ⟨NNT : 2009NICE4000⟩
hal-00519766v1  Book sections
Frédéric Legoll. Multiscale methods coupling atomistic and continuum mechanics: some examples of mathematical analysis
Analytical and Numerical Aspects of Partial Differential Equations, de Gruyter, pp.193-245, 2009, Proceedings in Mathematics
hal-00713039v1  Conference papers
Nicolas ViandierAsma RabaouiJuliette MaraisEmmanuel Duflos. Enhancement of Galileo and multi-constellation accuracy by modeling pseudorange noises
Intelligent Transport Systems Telecommunications, (ITST), Oct 2009, Lille, France. pp.459-464, ⟨10.1109/ITST.2009.5399311⟩
hal-00784554v1  Conference papers
Maurice GoursatLaurent Mevel. Algorithms for Covariance Subspace Identification: A Choice of Effective Implementations
27th International Modal Analysis Conference (IMAC-XXVII), SEM, Feb 2009, Orlando, United States
hal-00785599v1  Conference papers
Dominique SiegertLaurent MevelEdwin ReyndersGuido de RoeckMaurice Goursat. Variation of modal parameter estimates of a prestressed concrete bridge
27th International Modal Analysis Conference (IMAC-XXVII), SEM, Feb 2009, Orlando, United States
hal-00954024v1  Conference papers
Philippe MulhemDelphine Verbyst. Utilisation des liens entre documents structurés pour la recherche d'information
Actes de la conférence CORIA, 2009, Giens, France. pp.319-331
hal-00713043v1  Conference papers
Asma RabaouiNicolas ViandierJuliette MaraisEmmanuel Duflos. On the use of Dirichlet process mixtures for the modelling of pseudorange errors in multi-constellation based localisation
International Conference on Intelligent Transport Systems Telecommunications, (ITST), Oct 2009, Lille, France. pp.465-470, ⟨10.1109/ITST.2009.5399308⟩
tel-01748392v1  Theses
Najah Chridi. Contributions à la vérification automatique de protocoles de groupes
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2009. Français. ⟨NNT : 2009NAN10069⟩
tel-01748220v1  Theses
Daniel Alejandro Gorín. Automated reasoning techniques for hybrid logics
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2009. English. ⟨NNT : 2009NAN10131⟩
inria-00087024v3  Journal articles
Laurent BaratchartJean-Baptiste Pomet. On local linearization of control systems
Journal of Dynamical and Control Systems, Springer Verlag, 2009, 15 (4), pp.471-536. ⟨10.1007/s10883-009-9077-9⟩
hal-00782990v1  Journal articles
Jing-Rebecca LiDonna CalhounLucien Brush. Efficient thermal field computation in phase-field models
Journal of Computational Physics, Elsevier, 2009, 228 (24), pp.8945--8957. ⟨10.1016/⟩
inria-00322087v1  Journal articles
Nicolas AnciauxMehdi BenzineLuc BouganimPhilippe PucheralDennis Shasha. Revelation on Demand
Distributed and Parallel Databases, Springer, 2009, 25 (1-2), pp.5-28. ⟨10.1007/s10619-009-7035-x⟩
inria-00424856v1  Journal articles
Gethin NormanCatuscia PalamidessiDavid ParkerPeng Wu. Model checking probabilistic and stochastic extensions of the $\pi$-calculus
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2009, 35 (2), pp.209--223
inria-00119160v2  Journal articles
Laurent BaratchartMaxim Yattselev. Multipoint Padé Approximants to Complex Cauchy Transforms with Polar Singularities
Journal of Approximation Theory, Elsevier, 2009, 156 (2), pp.187-211