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⟩
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⟩
hal-00516785v1  Journal articles
Hehua ZhangStephan MerzMing Gu. Specifying and Verifying PLC systems with TLA+: a case study
Computers & Mathematics with Applications, Elsevier, 2010, 60 (3), pp.695-705. ⟨10.1016/j.camwa.2010.05.017⟩
hal-01427726v1  Journal articles
Eddy CaronFrédéric DesprezFranck PetitCédric Tedeschi. Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems
Parallel Processing Letters, World Scientific Publishing, 2010, 20 (1), pp.15-30. ⟨10.1142/S012962641000003X⟩
inria-00549662v1  Journal articles
Gabriele CostaAliaksandr LazouskiFabio MartinelliIlaria MatteucciValérie Issarny et al.  Security-by-Contract-with-Trust for Mobile Devices
Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, Innovative Information Science & Technology Research Group (ISYOU), 2010, 1 (4), pp.75-91
hal-00974889v1  Journal articles
Françoise Levy-Dit-VehelLudovic Perret. Security Analysis of Word Problem-Based Cryptosystems
Designs, Codes and Cryptography, Springer Verlag, 2010, 54 (1), pp.29-41. ⟨10.1007/s10623-009-9307-x⟩
inria-00551875v1  Journal articles
Tristan AllardNicolas AnciauxLuc BouganimYanli GuoLionel Le Folgoc et al.  Secure Personal Data Servers: a Vision Paper
The VLDB Journal, Springer, 2010, 3 (1-2), pp.25-35
hal-00629336v1  Journal articles
Charles BordenaveMarc Lelarge. Resolvent of large random graphs
Random Structures and Algorithms, Wiley, 2010, 37 (3), pp.332-352. ⟨10.1002/rsa.2031⟩
hal-01197398v1  Journal articles
Eric EideGilles MullerOlaf Spinczyk. Report on 5th workshop on programming languages and operating systems (PLOS)
Operating Systems Review, Association for Computing Machinery, 2010, 43 (4), pp.31-34. ⟨10.1145/1713254.1713262⟩
hal-00648710v1  Journal articles
Muriel BoulakiaSergio Guerrero. Regular solutions of a problem coupling a compressible fluid and an elastic structure
Journal de Mathématiques Pures et Appliquées, Elsevier, 2010, 94 (4), pp.341-365. ⟨10.1016/j.matpur.2010.04.002⟩
hal-00654356v1  Journal articles
Jean-Yves AudibertSébastien Bubeck. Regret Bounds and Minimax Policies under Partial Monitoring
Journal of Machine Learning Research, Microtome Publishing, 2010, 11, pp.2785-2836
hal-00470522v1  Journal articles
Sébastien BoyavalClaude Le BrisTony LelièvreYvon MadayNgoc Cuong Nguyen et al.  Reduced basis techniques for stochastic problems
Archives of Computational Methods in Engineering, Springer Verlag, 2010, 17 (4), pp.435-454. ⟨10.1007/s11831-010-9056-z⟩
halsde-00511694v1  Journal articles
Jérôme CarrayrouMichel KernPeter Knabner. Reactive transport benchmark of MoMaS
Computational Geosciences, Springer Verlag, 2010, 14, pp.385-392. ⟨10.1007/s10596-009-9157-7⟩
hal-00527922v1  Journal articles
Olivier DelandeDale MillerAlexis Saurin. Proof and Refutation in MALL as a game
Annals of Pure and Applied Logic, Elsevier Masson, 2010, 161 (5), pp.654-672. ⟨10.1016/j.apal.2009.07.017⟩
hal-00788492v1  Journal articles
Vincent CalvezNatacha LenuzzaMarie DoumicJean-Philippe DeslysFranck Mouthon et al.  Prion dynamics with size dependency-strain phenomena
Journal of Biological Dynamics, Taylor & Francis Open, 2010, 4 (1), pp.28-42. ⟨10.1080/17513750902935208⟩
hal-00674607v1  Journal articles
Kimiya MinoukadehChristophe ChipotTony Lelièvre. Potential of Mean Force Calculations: A Multiple-Walker Adaptive Biasing Force Approach
Journal of Chemical Theory and Computation, American Chemical Society, 2010, 6 (4), pp.1008-1017. ⟨10.1021/ct900524t⟩
inria-00543090v1  Journal articles
Jj ChristopheT. IshikawaN. MatsukiY. ImaiK. Takase et al.  Patient-specific morphological and blood flow analysis of pulmonary artery in the case of severe deformations of the lung due to pneumothorax
Journal of Biomechanical Science and Engineering, Japan Society of Mechanical Engineers, Sanbi Printing, 2010, 5 (5), pp.485-498
inria-00541025v1  Journal articles
Adel BlouzaLaurent BoudinSidi-Mahmoud Kaber. Parallel in time algorithms with reduction methods for solving chemical kinetics
Communications in Applied Mathematics and Computational Science, Mathematical Sciences Publishers, 2010, 5 (2), pp.241-263. ⟨10.2140/camcos.2010.5.241⟩
inria-00354509v1  Journal articles
Frédéric AlauzetMichel Mehrenberger. P1-conservative solution interpolation on unstructured triangular meshes
International Journal for Numerical Methods in Engineering, Wiley, 2010, pp.48. ⟨10.1002/nme.2951⟩
hal-00651584v1  Journal articles
Emmanuel BaccelliJuan Antonio Cordero FuertesPhilippe Jacquet. OSPF over multi-hop ad hoc wireless communications
International Journal of Computer Networks & Communications , AIRCC Publishing Corporation, 2010, 2 (5), pp.37 - 56
hal-02277448v1  Journal articles
B. RadiAbel CherouatA. El HamiMahfoudh Ayadi. Optimization technics to identify the characteristics of a hydroformed structure
International Journal for Simulation and Multidisciplinary Design Optimization, EDP sciences/NPU (China), 2010, 4 (1), pp.39-47. ⟨10.1051/ijsmdo/2010006⟩
hal-00397652v3  Journal articles
Aurélien AlfonsiAlexander Schied. Optimal trade execution and absence of price manipulations in limit order book models
SIAM Journal on Financial Mathematics, Society for Industrial and Applied Mathematics 2010, 1, pp.490-522. ⟨10.1137/090762786⟩
inria-00408716v2  Journal articles
Julien MairalFrancis BachJean PonceGuillermo Sapiro. Online Learning for Matrix Factorization and Sparse Coding
Journal of Machine Learning Research, Microtome Publishing, 2010, 11 (1), pp.19--60
inria-00517175v1  Journal articles
Jinsan ChengSylvain LazardLuis PeñarandaMarc PougetFabrice Rouillier et al.  On the topology of real algebraic plane curves
Mathematics in Computer Science, Springer, 2010, 4 (1), pp.113-137. ⟨10.1007/s11786-010-0044-3⟩
hal-02286268v1  Journal articles
Hong TangHenri MaîtreNozha BoujemaaWeiguo Jiang. On the relevance of linear discriminative features
Information Sciences, Elsevier, 2010, 180 (18), pp.3422-3433. ⟨10.1016/j.ins.2010.05.027⟩
inria-00469603v1  Journal articles
Guy FayolleKilian Raschel. On the Holonomy or Algebraicity of Generating Functions Counting Lattice Walks in the Quarter-Plane
Markov Processes and Related Fields, Polymath, 2010, 16 (3), pp.485-496
hal-01148162v1  Journal articles
Bernd BankMarc GiustiJoos HeintzMohab Safey El DinÉric Schost. On the geometry of polar varieties
Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 2010, 21 (1), pp.33--83. ⟨10.1007/s00200-009-0117-1⟩
hal-00408736v1  Journal articles
Pierre-Vincent KoseleffDaniel Pecker. On Fibonacci Knots
The Fibonacci Quarterly, Dalhousie University, 2010, 48 (2), pp.137-143
hal-00844174v1  Journal articles
Nicolas Vauchelet. Numerical simulation of a kinetic model for chemotaxis
Kinetic and Related Models , AIMS, 2010, 3 (3), pp.501-528. ⟨10.3934/krm.2010.3.501⟩
hal-00392025v1  Journal articles
Eric CancèsRachida ChakirYvon Maday. Numerical analysis of nonlinear eigenvalue problems
Journal of Scientific Computing, Springer Verlag, 2010, 45 (1-3), pp.90-117. ⟨10.1007/s10915-010-9358-1⟩
inria-00343629v2  Journal articles
Leonardo BafficoCéline GrandmontBertrand Maury. Multiscale modelling of the respiratory tract
Mathematical Models and Methods in Applied Sciences, World Scientific Publishing, 2010, pp.59--93. ⟨10.1142/S0218202510004155⟩
hal-00790872v1  Journal articles
Julien BarralXiong Jin. Multifractal Analysis of Complex Random Cascades
Communications in Mathematical Physics, Springer Verlag, 2010, 297 (1), pp.129-168. ⟨10.1007/s00220-010-1030-y⟩
inria-00543082v1  Journal articles
S. EnaultD. LombardiPhilippe PoncetMarc Thiriet. Mucus dynamics subject to air and wall motion
ESAIM: Proceedings, EDP Sciences, 2010, 30, pp.125-141
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
hal-02283408v1  Journal articles
Abel CherouatHouman BorouchakiLaurence Giraud-Moreau. Mechanical and geometrical approaches applied to composite fabric forming
International Journal of Material Forming, Springer Verlag, 2010, 3 (S2), pp.1189-1204. ⟨10.1007/s12289-010-0692-5⟩
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⟩
inria-00371959v4  Journal articles
Danko IlikGyesik LeeHugo Herbelin. Kripke Models for Classical Logic
Annals of Pure and Applied Logic, Elsevier Masson, 2010, Special Issue: Classical Logic and Computation (2008), 161 (11), pp.1367-1378. ⟨10.1016/j.apal.2010.04.007⟩
hal-00509584v1  Journal articles
Ismaila DaboAndrea FerrettiNicolas PoilvertYanli LiNicola Marzari et al.  Koopmans' condition for density-functional theory
Physical Review B: Condensed Matter and Materials Physics (1998-2015), American Physical Society, 2010, 82 (11), pp.115121. ⟨10.1103/PhysRevB.82.115121⟩
hal-00520128v1  Journal articles
Russ HarmerVincent DanosJérôme FeretJean KrivineWalter Fontana. Intrinsic Information carriers in combinatorial dynamical systems
Chaos: An Interdisciplinary Journal of Nonlinear Science, American Institute of Physics, 2010, 20 (3), pp.037108. ⟨10.1063/1.3491100⟩
hal-01381593v1  Journal articles
Sonia Ben MokhtarPierre-Guillaume RaverdyAitor UrbietaRoberto Speicys Cardoso. Interoperable Semantic and Syntactic Service Discovery for Ambient Computing Environments
International Journal of Ambient Computing and Intelligence, IGI Pub, 2010, 4, 2, pp.13-32
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-00625537v1  Journal articles
Xavier BlancClaude Le Bris. Improving on computation of homogenized coefficients in the periodic and quasi-periodic settings
Networks and Heterogeneous Media, AIMS-American Institute of Mathematical Sciences, 2010, 5 (1), pp.1-29. ⟨10.3934/nhm.2010.5.1⟩
hal-01148127v1  Journal articles
Luk BettaleJean-Charles FaugèreLudovic Perret. Hybrid approach for solving multivariate systems over finite fields
Journal of Mathematical Cryptology, De Gruyter, 2010, 3 (3), pp.177--197. ⟨10.1515/jmc.2009.009⟩
hal-00935285v1  Journal articles
F. AlauzetAdrien Loseille. High Order Sonic Boom Modeling by Adaptive Methods
Journal of Computational Physics, Elsevier, 2010, 229, pp.561-593. ⟨10.1016/⟩