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
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-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-00954076v1  Conference papers
Éric Gaussier. Apprentissage pour la Recherche d'Information
Ecole d'Automne en Recherche d'Information et Applications, 2010, Lyon, France
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-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-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-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-00440669v3  Conference papers
Daniil Ryabko. Sequence prediction in realizable and non-realizable cases
Conference on Learning Theory, 2010, Haifa, Israel. pp.119-131
hal-00830154v1  Conference papers
Amir Massoud FarahmandRémi MunosCsaba Szepesvari. Error propagation for approximate policy and value iteration
Advances in Neural Information Processing Systems, 2010, Canada
inria-00458042v1  Conference papers
Cédric JoinGérard RobertMichel Fliess. Model-free based water level control for hydroelectric power plants
IFAC Conference on Control Methodologies and Tecnologies for Energy Efficiency, CMTEE, IFAC, 2010, Vilamoura, Portugal. pp.CDROM
hal-00639546v1  Conference papers
Daniil Ryabko. Testing composite hypotheses about discrete-valued stationary processes
IEEE Information Theory Workshop, 2010, Cairo, Egypt. pp.291-295
hal-00516453v1  Book sections
D. AllaineFrank Cézilly. Evolution et typologie des régimes d'appariement.
F. Thomas, T. Lefèvre & M. Raymond. Biologie évolutive, De Boeck, pp.423-452, 2010
hal-00619823v1  Book sections
Jacqueline BourdeauMonique Grandbastien. Modeling Tutoring Knowledge
Nkambou R., Mizoguchi R., Bourdeau J. Advances in Intelligent Tutoring Systems, Springer, pp.123-143, 2010, Studies in Computational Intelligence, volume 308, ⟨10.1007/978-3-642-14363-2⟩
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-00503917v1  Book sections
Arnaud SpiwackThierry Coquand. Constructively Finite?
Lambán Pardo, Laureano and Romero Ibáñez, Ana and Rubio García, Julio. Contribuciones científicas en honor de Mirian Andrés Gómez, Universidad de La Rioja, pp.217-230, 2010, 978-84-96487-50-5
hal-00850418v1  Conference papers
Jonathan RaultEric BenoîtPieter Vandromme. A Continuous size-structured model applied to zooplankton comunity
Conference on Computational and Mathematical Population Dynamics, 2010, Bordeaux, France
hal-00850416v1  Conference papers
Olivier Bernard. Hurdles and challenges to extrapolate microalgal TAG production from lab to field: towards reliable numerical predictions
8th European Workshop on Biotechnology of microalgae, 2010, Nuthetal, Germany
hal-00847288v1  Conference papers
Frédéric GrognardAndrei AkhmetzhanovPierre MasciOlivier Bernard. Optimization of a photobioreactor biomass production using natural light
49th IEEE Conference on Decision and Control, 2010, Atlanta, GA, United States. pp.4691-4696, ⟨10.1109/CDC.2010.5717185⟩
hal-00847274v1  Conference papers
Olivier Bernard. Hurdles and challenges for modelling and control of microalgae for CO2 mitigation and biofuel production
9th International Symposium on Dynamics and Control of Process Systems, 2010, Leuven, Belgium
hal-00847296v1  Conference papers
Francis MairetMariana TiticaOlivier BernardJeremy Pruvost. Coupling biological and radiative models to describe microalgal growth in a photobioreactor
11th IFAC Symposium on Computer Applications in Biotechnology - CAB, 2010, Leuven, Belgium. pp.168-173, ⟨10.3182/20100707-3-BE-2012.0007⟩
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
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
inria-00537632v1  Conference papers
Serge AbiteboulT-H. Hubert ChanEvgeny KharlamovWerner NuttPierre Senellart. Aggregate Queries for Discrete and Continuous Probabilistic XML
International Conference on Database Theory (ICDT), 2010, Lausanne, Switzerland. pp.50-61
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⟩
inria-00525779v1  Conference papers
Mathilde ArnaudVéronique CortierStéphanie Delaune. Modeling and Verifying Ad Hoc Routing Protocols.
23rd IEEE Computer Security Foundations Symposium - CSF'10, 2010, Edinburgh, United Kingdom
hal-00779934v1  Conference papers
Benedikt BolligJoost-Pieter KatoenCarsten KernMartin LeuckerDaniel Neider et al.  libalf: the Automata Learning Framework
Proceedings of the 22nd International Conference on Computer Aided Verification (CAV'10), 2010, Edinburgh, Scotland, UK, United Kingdom. pp.360-364, ⟨10.1007/978-3-642-14295-6_32⟩
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-00779899v1  Conference papers
Paolo BaldanAlessandro BruniAndrea CorradiniBarbara KönigStefan Schwoon. On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars
Proceedings of the 5th International Conference on Graph Transformations (ICGT'10), 2010, Enschede, Netherlands. pp.91-106, ⟨10.1007/978-3-642-15928-2_7⟩
inria-00525781v1  Conference papers
Stefan CiobacaVéronique Cortier. Protocol composition for arbitrary primitives.
23rd IEEE Computer Security Foundations Symposium - CSF'10, 2010, Edinburgh, United Kingdom. pp.322-336
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