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-00624029v1  Journal articles
Benjamin NguyenAntoine VionFrancois-Xavier DudouetDario ColazzoIoana Manolescu. Webstand, une plateforme de gestion de données web pour applications sociologiques
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2010, 29 (8-9), pp.1055-1080
inria-00537821v1  Journal articles
Frédéric BessonGuillaume DufayeThomas JensenDavid Pichardie. Verifying Resource Access Control on Mobile Interactive Devices
Journal of Computer Security, IOS Press, 2010, 18 (6), pp.971-998
hal-00793058v1  Journal articles
Julien BarralXiong JinBenoît Mandelbrot. Uniform convergence for complex [0, 1]-martingales
Annals of Applied Probability, Institute of Mathematical Statistics (IMS), 2010, 20 (4), pp.1205-1218. ⟨10.1214/09-AAP664⟩
inria-00482745v1  Journal articles
Frédéric MalletCharles AndréFrançois Lagarde. Un processus automatique pour concevoir les profils UML
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2010, 29 (5), pp.391-419
hal-00552170v1  Journal articles
Matias BjorlingPhilippe BonnetLuc BouganimBjörn Pór Jónsson. uFLIP: Understanding the Energy Consumption of Flash Devices
Bulletin of the Technical Committee on Data Engineering, IEEE Computer Society, 2010, 33 (4), pp.48-54
hal-00527835v1  Journal articles
Alexis Saurin. Typing streams in the $\Lambda\mu$-calculus
ACM Transactions on Computational Logic, Association for Computing Machinery, 2010, 11 (4), pp.28-61. ⟨10.1145/1805950.1805958⟩
hal-01170014v1  Journal articles
Zahia GuessoumJean-Pierre BriotNoura FaciOlivier Marin. Towards reliable multi-agent systems: An adaptive replication mechanism
Multiagent and Grid Systems - An International Journal of Cloud Computing , IOS Press, 2010, 6 (1), pp.1-24. ⟨10.3233/MGS-2010-0139⟩
hal-01810044v1  Journal articles
Thomas GrosgesDominique Barchiesi. Toward nanoworld-based secure encryption for enduring data storage
Optics Letters, Optical Society of America - OSA Publishing, 2010, 35 (14), ⟨10.1364/OL.35.002421⟩
hal-00845990v1  Journal articles
C. BörgersMartin KrupaS. Gielen. The response of a population of classical Hodgkin-Huxley neurons to an inhibitory pulse
Journal of Computational Neuroscience, Springer Verlag, 2010, 28 (3), pp.509-526. ⟨10.1007/s10827-010-0233-8⟩
hal-00652341v1  Journal articles
Ayman MoussaThierry GoudonLingbing HePing Zhang. The Navier-Stokes-Vlasov-Fokker-Planck system near equilibrium
SIAM Journal on Mathematical Analysis, Society for Industrial and Applied Mathematics, 2010, 42 (5), pp.2177-2202. ⟨10.1137/090776755⟩
hal-00429510v1  Journal articles
Pierre-Vincent KoseleffDaniel PeckerFabrice Rouillier. The first rational Chebyshev knots
Journal of Symbolic Computation, Elsevier, 2010, 45 (12), pp.1341-1358. ⟨10.1016/j.jsc.2010.06.014⟩
inria-00367408v1  Journal articles
Eric CancèsMathieu Lewin. The Dielectric Permittivity of Crystals in the reduced Hartree-Fock approximation
Archive for Rational Mechanics and Analysis, Springer Verlag, 2010, 197 (1), pp.139-177. ⟨10.1007/s00205-009-0275-0⟩
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-01197391v1  Journal articles
Silvia BianchiPascal FelberMaria Gradinariu Potop-Butucaru. Stabilizing Distributed R-Trees for Peer-to-Peer Content Routing
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2010, 21 (8), pp.1175-1187. ⟨10.1109/TPDS.2009.131⟩