Skip to Main content Skip to Navigation

hal-00780437v1  Journal articles
Alin BostanPhilippe Dumas. Wronskians and linear independence
American Mathematical Monthly, Mathematical Association of America, 2010, 117 (8), pp.722-727. ⟨10.4169/000298910X515785⟩
hal-02304751v1  Journal articles
Jean-Marie DelpuechC. DupontRoland Allemand. Decrease in Fecundity Induced by Interspecific Mating Between Two Trichogramma Parasitoid Species
Journal of Economic Entomology, Entomological Society of America, 2010, 103 (2), pp.308-313
lirmm-00447972v1  Journal articles
Milan DjilasChristine Azevedo CosteDavid GuiraudKenichi Yoshida. Spike Sorting of Muscle Spindle Afferent Nerve Activity Recorded With Thin-Film Intrafascicular Electrodes
Computational Intelligence and Neuroscience, Hindawi Publishing Corporation, 2010, Special Issue "Signal Processing for Neural Spike Trains", pp.10
hal-00629909v1  Journal articles
Nacim RamdaniNacim MeslemYves Candau. Computing reachable sets for uncertain nonlinear monotone systems
Nonlinear Analysis: Hybrid Systems, Elsevier, 2010, 4 (2), pp.263-278
hal-00524819v1  Journal articles
Ronan CostaouecClaude Le BrisFrédéric Legoll. Approximation numérique d'une classe de problèmes en homogénéisation stochastique
Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 2010, 348 (1-2), pp.99--103. ⟨10.1016/j.crma.2009.10.027⟩
inria-00165293v2  Journal articles
Claude Le BrisFrédéric Legoll. Integrators for highly oscillatory Hamiltonian systems: an homogenization approach
Discrete and Continuous Dynamical Systems - Series B, American Institute of Mathematical Sciences, 2010, 13 (2), pp.347-373
hal-00835233v1  Journal articles
S. GaubertFrédéric Meunier. Carathéodory, Helly and the others in the max-plus world
Discrete and Computational Geometry, Springer Verlag, 2010, 43 (3), pp.648-662. ⟨10.1007/s00454-009-9207-x⟩
hal-00524816v1  Journal articles
Matthew DobsonClaude Le BrisFrédéric Legoll. Symplectic schemes for highly oscillatory Hamiltonian systems with varying fast frequencies
Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 2010, 348 (17-18), pp.1033-1038. ⟨10.1016/j.crma.2010.08.005⟩
hal-00413888v1  Journal articles
Karim BelabasManjul BhargavaCarl Pomerance. Error estimates for the Davenport-Heilbronn theorems
Duke Mathematical Journal, Duke University Press, 2010, 153 (1), pp.173-210. ⟨10.1215/00127094-2010-007⟩
hal-00697892v1  Journal articles
J-P. GonzalezM. GuiserixF. SauvageJ-S. GuittonP. Vidal et al.  Pathocenosis: A Holistic Approach to Disease Ecology
EcoHealth, Springer Verlag, 2010, 7(2), pp.237-241
inria-00543100v1  Journal articles
Yehuda AfekEli GafniSergio RajsbaumMichel RaynalCorentin Travers. The k-simultaneous consensus problem
Distributed Computing, Springer Verlag, 2010, 22 (3), pp.185-196. ⟨10.1007/s00446-009-0090-8⟩
inria-00537800v1  Journal articles
Hugo CarrãoPaulo GonçalvesMário Caetano. A nonlinear model for satellite images time series: analysis and prediction of land cover dynamics
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2010, 48 (2) (4), pp.1919-1930
hal-00845979v1  Journal articles
Martin KrupaMartin Wechselberger. Local analysis near a folded saddle-node singularity
Journal of Differential Equations, Elsevier, 2010, 248 (12), pp.2841 - 2888. ⟨10.1016/j.jde.2010.02.006⟩
hal-00451641v2  Journal articles
Arnaud DebusscheJulien Vovelle. Scalar conservation laws with stochastic forcing
Journal of Functional Analysis, Elsevier, 2010, 259 (4), pp.1014-1042. ⟨10.1016/j.jfa.2010.02.016⟩
hal-00674585v1  Journal articles
Filippo LippariniGiovanni ScalmaniBenedetta MennucciEric CancèsMarco Caricato et al.  A variational formulation of the polarizable continuum model
Journal of Chemical Physics, American Institute of Physics, 2010, 133 (1), pp.014106. ⟨10.1063/1.3454683⟩
hal-00539257v1  Journal articles
S.S AdiM. BragaC.G. FernandesC.E. FerreiraF.V. Martinez et al.  Repetition-free longest common subsequence
Discrete Applied Mathematics, Elsevier, 2010, 158(12), pp.1315-1324
hal-00697993v1  Journal articles
L. DerexE. Bonnefoy-CudrazF. Delahaye. Impact of stroke on therapeutic decision making in infective endocarditis
Journal of Neurology, Springer Verlag, 2010, 257, pp.315-321
hal-00845988v1  Journal articles
J. JalicsMaciej KrupaH.G. Rotstein. Mixed-mode oscillations in a three time scale system of ODEs motivated by a neuronal model
Dynamical Systems, Taylor & Francis, 2010, 25 (4), pp.445--482
inria-00439226v1  Journal articles
Michel FliessCédric JoinMamadou Mboup. Algebraic change-point detection
Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 2010, 21 (2), pp.131-143. ⟨10.1007/s00200-010-0119-z⟩
halsde-00553848v1  Journal articles
Karine SalinLoïc TeulierB. ReyJean-Louis RouanetYann Voituron et al.  Tissue variation of mitochondrial oxidative phosphorylation efficiency in cold-acclimated ducklings
Acta Biochimica Polonica, Acta Biochimica Polonica, 2010, 57 (4), pp.409-412
inria-00587377v1  Journal articles
Lingyun YuPjotr SvetachovPetra IsenbergMaarten EvertsTobias Isenberg. FI3D: Direct-Touch Interaction for the Exploration of 3D Scientific Visualization Spaces
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2010, 16 (6), pp.1613--1622. ⟨10.1109/TVCG.2010.157⟩
hal-00867195v1  Journal articles
Hélène BarucqJulien DiazVéronique Duprat. Stability Analysis of the Interior Penalty Discontinuous Galerkin Method for Solving the Wave Equation Coupled with High-Order Absorbing Boundary Conditions
Monografías del Seminario Matemático García de Galdeano, PUZ Prensas de la Universidad de Zaragoza, 2010, 35, pp.49--56
hal-00561274v1  Journal articles
Pierre-Cyrille HeamCyril NicaudSylvain Schmitz. Parametric Random Generation of Deterministic Tree Automata
Theoretical Computer Science, Elsevier, 2010, 411 (1), pp.3469--3480
inria-00525775v1  Journal articles
Hubert Comon-LundhVéronique CortierEugen Zalinescu. Deciding security properties for cryptographic protocols. Application to key cycles.
ACM Transactions on Computational Logic, Association for Computing Machinery, 2010, 11 (2), pp.Article 9. ⟨10.1145/1656242.1656244⟩
hal-00779922v1  Journal articles
Benedikt BolligJoost-Pieter KatoenCarsten KernMartin Leucker. Learning Communicating Automata from~MSCs
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2010, 36 (3), pp.390-408. ⟨10.1109/TSE.2009.89⟩
hal-00602077v1  Journal articles
Pierre-Emmanuel JabinGaël Raoul. On selection dynamics for competitive interactions
Journal of Mathematical Biology, Springer Verlag (Germany), 2010, ⟨10.1007/s00285-010-0370-8⟩
inria-00536605v1  Journal articles
Benoit BideauRichard KulpaNicolas VignaisSébastien BraultFranck Multon et al.  Using Virtual Reality to Analyze Sports Performance
IEEE Computer Graphics and Applications, Institute of Electrical and Electronics Engineers, 2010, 30 (2), pp.14-21. ⟨10.1109/MCG.2009.134⟩
inria-00536615v1  Journal articles
Nicolas VignaisRichard KulpaCathy CraigBenoit Bideau. Virtual thrower vs. real goalkeeper: influence of different visual conditions on performance
Presence: Teleoperators and Virtual Environments, Massachusetts Institute of Technology Press (MIT Press), 2010, To appear
hal-00779913v1  Journal articles
Benedikt BolligJoost-Pieter KatoenCarsten KernMartin Leucker. SMA---The Smyle Modeling Approach
Computing and Informatics, Slovak University Press, Bratislava, 2010, 29 (1), pp.45-72
inria-00506082v1  Journal articles
Jean-Yves MarionMatthieu Kaczmarek. Boulevard du cybercrime
Dossier Pour la Science, Dossier pour la Science, 2010, pp.78-85
inria-00388501v1  Journal articles
Peter KornerupChristoph LauterVincent LefèvreNicolas LouvetJean-Michel Muller. Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2010, 37 (1), pp.4:1-4:23. ⟨10.1145/1644001.1644005⟩
halsde-00415817v1  Journal articles
Qingqiong DengXiaopeng ZhangMarc Jaeger. Multiresolution Foliage for Forest Rendering
Computer Animation and Virtual Worlds, Wiley, 2010, 21 (1), pp.1-23. ⟨10.1002/cav.283⟩
inria-00355713v2  Journal articles
Jérôme BrachatPierre ComonBernard MourrainElias Tsigaridas. Symmetric tensor decomposition
Linear Algebra and its Applications, Elsevier, 2010, 433 (11-12), pp.1851-1872. ⟨10.1016/j.laa.2010.06.046⟩
pasteur-00455342v1  Journal articles
J. PelletL. TafforeauM. Lucas-HouraniV. NavratilL. Meyniel et al.  ViralORFeome: an integrated database to generate a versatile collection of viral ORFs.
Nucleic Acids Research, Oxford University Press, 2010, 38 (Issue suppl1: Database issue), pp.D371-8. ⟨10.1093/nar/gkp1000⟩
inria-00472217v1  Journal articles
Philippe Robert. Mathématiques et Réseaux de Communication
Pour la Science. Dossier, Belin, 2010
hal-00953326v1  Journal articles
Gaëlle CalvaryAnne-Marie Dery-PinnaAudrey OccelloPhilippe Renevier. A la croisée de l'Ingénierie de l'Interaction Homme-Machine et de l'Ingénierie Dirigée par les Modèles
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2010, 29, pp.479-503
hal-00953321v1  Journal articles
Marcos SerranoLaurence Nigay. A wizard of oz component-based approach for rapidly prototyping and testing input multimodal interfaces
Journal on Multimodal User Interfaces, Springer, 2010, 3 (3), pp.215-225
inria-00544336v2  Journal articles
B. Abou El MajdJ.-A. DesideriA. Habbal. Optimisation de forme fluide-structure par un jeu de Nash
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2010, 13, pp.3-15
inria-00534876v1  Journal articles
Rinaldo M. ColomboPaola GoatinBenedetto Piccoli. Road networks with phase transitions
Journal of Hyperbolic Differential Equations, World Scientific Publishing, 2010, 7 (1), pp.85-106
inria-00544355v1  Journal articles
Rajae AboulaichAbderrahmane HabbalNoureddine Moussaid. Split of an Optimization Variable in Game Theory
Mathematical Modelling of Natural Phenomena, EDP Sciences, 2010, 5 (7), pp.122-127. ⟨10.1051/mmnp/20105720⟩
hal-00541484v2  Journal articles
Alessio FigalliLudovic Rifford. Mass Transportation on Sub-Riemannian Manifolds
Geometric And Functional Analysis, Springer Verlag, 2010, 20 (1), ⟨10.1007/s00039-010-0053-z⟩
inria-00544172v2  Journal articles
Rajae AboulaichAbderrahmane HabbalNoureddine Moussaid. Optimisation multicritère : Une approche par partage des variables
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2010, 13, pp.77-89
inria-00534520v1  Journal articles
Nicole EggemannFrédéric HavetSteven Noble. k-L(2,1)-Labelling for Planar Graphs is NP-Complete for $k\geq 4$.
Discrete Applied Mathematics, Elsevier, 2010, 158 (16), pp.1777-1788
hal-00555374v1  Journal articles
J.A.A.J. PerenboomP. FringsJ. BéardB. BansalF. Herlach et al.  Optimization of large multiple coil systems for pulsed magnets
Journal of Low Temperature Physics, Springer Verlag (Germany), 2010, 159, pp.336-340
inria-00503152v1  Journal articles
Daniele GrazianiLaure Blanc-FéraudGilles Aubert. A formal Gamma-convergence approach for the detection of points in 2-D images
SIAM Journal on Imaging Sciences, Society for Industrial and Applied Mathematics, 2010
inria-00503157v1  Journal articles
Gilles AubertDaniele Graziani. Variational approximation for detecting point-like target problems
ESAIM: Control, Optimisation and Calculus of Variations, EDP Sciences, 2010, 23p
hal-00531288v1  Journal articles
Nathann CohenDarko DimitrovRoi KrakovskiRiste SkrekovskiVida Vukašinović. On Wiener index of graphs and their line graphs
MATCH Communications in Mathematical and in Computer Chemistry, Mülheim a. d. Ruhr : Institut für Strahlenchemie im Max-Planck-Institut für Kohlenforschung, 2010, 64 (3), pp.683-698
lirmm-00512776v1  Journal articles
Omid AminiFrédéric HavetFlorian HucStéphan Thomassé. WDM and Directed Star Arboricity
Combinatorics, Probability and Computing, Cambridge University Press (CUP), 2010, 19, pp.161-182
inria-00496038v1  Journal articles
Marie AsteFrédéric HavetClaudia Linhares Sales. Grundy number and products of graphs
Discrete Mathematics, Elsevier, 2010, 310 (9), pp.1482--1490
inria-00503140v1  Journal articles
Florent LafargeGeorgy Gimel'FarbXavier Descombes. Geometric Feature Extraction by a Multi-Marked Point Process
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2010, 32 (9), ⟨10.1109/TPAMI.2009.152⟩
hal-00698017v1  Journal articles
C. LévêqueJ.C. MounolouA. PavéC. Schmidt-Lainé. A propos des introductions d'espèces
Etudes rurales, Paris: Éditions de l'École pratique des hautes études, 2010, 185, pp.219-234
hal-00953794v1  Journal articles
Éric Gaussier. Statistical Language Models for Information Retrieval - ChengXiang Zhai, Morgan & Claypool, 2008; xiii+125 pp, ISBN 978-1-59829-590-0
Computational Linguistics, Massachusetts Institute of Technology Press (MIT Press), 2010, 36 (2), pp.279-281
hal-02304746v1  Journal articles
A. DuclosNicolas Voirin. The p-control chart: a tool for care improvement
International journal for quality in health care, 2010, 22, pp.402-407. ⟨10.1093/intqhc/mzq037⟩
hal-02303281v1  Journal articles
C. SermetV. AndrieuB. GodmanEric van GanseA Haycox et al.  Ongoing Pharmaceutical Reforms in France
Applied Health Economics and Health Policy, 2010, 8, pp.7-24
hal-02305020v1  Journal articles
I. ChaillolRené EcochardM.A. DenisJ. IwazP. Khoueiry et al.  Fast and specific detection of moderate long-term changes in occupational blood exposures
Occupational and Environmental Medicine, 2010, 67 (11), pp.785-791
hal-02303672v1  Journal articles
J.G. KieJ. MatthiopoulosJ. FiebergR. PowellF. Cagnacci et al.  The home-range concept: are traditonal estimators still relevant with modern telemetry technology?
Philosophical Transactions of the Royal Society B: Biological Sciences, 2010, 365, pp.2221-2231. ⟨10.1098/rstb.2010.0093⟩