Skip to Main content Skip to Navigation

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-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-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-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-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-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⟩
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⟩
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-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⟩
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⟩
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-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
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/⟩
inria-00374073v1  Journal articles
Jérôme JaffréAmel Sboui. Henry' law and gas phase disappearance
Transport in Porous Media, Springer Verlag, 2010, 82, pp.521-526. ⟨10.1007/s11242-009-9407-0⟩
hal-00654397v1  Journal articles
Hui KongJean-Yves AudibertJean Ponce. General Road Detection From a Single Image
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2010, 19 (8), pp.2211-2220. ⟨10.1109/TIP.2010.2045715⟩
inria-00547903v1  Journal articles
Vivien Mallet. Ensemble forecast of analyses: Coupling data assimilation and sequential aggregation
Journal of Geophysical Research, American Geophysical Union, 2010, 115 (D24303), ⟨10.1029/2010JD014259⟩
hal-00723797v1  Journal articles
Animesh PathakViktor Prasanna. Energy-Efficient Task Mapping for Data-Driven Sensor Network Macroprogramming
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2010, 59 (7), pp.955-968. ⟨10.1109/TC.2009.168⟩
inria-00376219v1  Journal articles
Marc MezzarobbaBruno Salvy. Effective Bounds for P-Recursive Sequences
Journal of Symbolic Computation, Elsevier, 2010, 45 (10), pp.1075-1096. ⟨10.1016/j.jsc.2010.06.024⟩
inria-00543185v1  Journal articles
Irène KorsakissokVivien Mallet. Development and application of a reactive plume-in-grid model: evaluation over Greater Paris
Atmospheric Chemistry and Physics, European Geosciences Union, 2010, 10 (18), pp.8917--8931. ⟨10.5194/acp-10-8917-2010⟩
hal-01008759v1  Journal articles
Yoann DieudonneOuiddad Labbani-IgbidaFranck Petit. Deterministic Robot-Network Localization is Hard
IEEE Transactions on Robotics, IEEE, 2010, 26 (2), pp.331-339. ⟨10.1109/tro.2010.2042753⟩
hal-00654394v1  Journal articles
Hui KongJean-Yves AudibertJean Ponce. Detecting Abandoned Objects With a Moving Camera
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2010, 19 (8), pp.2201-2210. ⟨10.1109/TIP.2010.2045714⟩
hal-00784433v1  Journal articles
Manabu TsukadaJosé SantaOlivier MehaniYacine KhaledThierry Ernst. Design and Experimental Evaluation of a Vehicular Network Based on NEMO and MANET
EURASIP Journal on Advances in Signal Processing, SpringerOpen, 2010, 2010 (1), pp.656407. ⟨10.1155/2010/656407⟩
hal-00624038v1  Journal articles
Harold van Heerde. Degrading Data, Defining Privacy
Public Service Review. European Union, Newcastle-under-Lyme : Public Service Communication Agency, 2010, 20, pp.345
inria-00521861v1  Journal articles
Jong-Hyouk LeeThierry ErnstTai-Myoung Chung. Cost Analysis of IP Mobility Management Protocols for Consumer Mobile Devices
IEEE Transactions on Consumer Electronics, Institute of Electrical and Electronics Engineers, 2010, 56 (2), ⟨10.1109/TCE.2010.5506033⟩
inria-00419983v1  Journal articles
Mohab Safey El DinLihong Zhi. Computing Rational Points in Convex Semialgebraic Sets and Sum of Squares Decompositions
SIAM Journal on Optimization, Society for Industrial and Applied Mathematics, 2010, 20 (6), pp.2876-2889. ⟨10.1137/090772459⟩
hal-00950036v1  Journal articles
Cédric BachDominique L. Scapin. Comparing Inspections and User Testing for the Evaluation of Virtual Environments
International Journal of Human-Computer Interaction, Taylor & Francis, 2010, 26 (8), pp.786-824. ⟨10.1080/10447318.2010.487195⟩
hal-01148164v1  Journal articles
Daniel Lazard. CAD and topology of semi-algebraic sets
Mathematics in Computer Science, Springer, 2010, 4 (1), pp.93--112. ⟨10.1007/s11786-010-0047-0⟩
hal-01321872v1  Journal articles
Bruno GaumeFabien MathieuEmmanuel Navarro. Building Real-World Complex Networks by Wandering on Random Graphs
Revue I3 - Information Interaction Intelligence, Cépaduès, 2010, 10 (1), pp.73-91
inria-00538648v1  Journal articles
Marc BocquetCarlos PiresLin Wu. Beyond Gaussian Statistical Modeling in Geophysical Data Assimilation
Monthly Weather Review, American Meteorological Society, 2010, 138, pp.2997-3023. ⟨10.1175/2010MWR3164.1⟩
inria-00429273v1  Journal articles
Damien GaraudVivien Mallet. Automatic generation of large ensembles for air quality forecasting using the Polyphemus system
Geoscientific Model Development, European Geosciences Union, 2010, 3 (1), pp.69-85. ⟨10.5194/gmd-3-69-2010⟩
hal-01059089v1  Journal articles
Catherine SauvagetStéphane ManuelJean-Noël VittautJordane SuarezVincent Boyer. Automated Colorization of Segmented Images Based on Color Harmony
Journal of Multimedia Processing and Technologies, Digital Information Research Foundation, 2010, pp.00-00
hal-01148133v1  Journal articles
Gérald BourgeoisJean-Charles Faugère. Algebraic Attack on NTRU using Witt Vectors and Gröbner bases
Journal of Mathematical Cryptology, De Gruyter, 2010, 3 (3), pp.205--214. ⟨10.1515/jmc.2009.011⟩
hal-00940544v1  Journal articles
Jeffrey G. AndrewsFrançois BaccelliRadha Krishna Ganti. A Tractable Approach to Coverage and Rate in Cellular Networks
IEEE Transactions on Communications, Institute of Electrical and Electronics Engineers, 2010, 59 (11), pp.3122-3134
inria-00546045v1  Journal articles
Tim van de Cruys. A Non-negative Tensor Factorization Model for Selectional Preference Induction
Natural Language Engineering, Cambridge University Press (CUP), 2010, 16 (4), pp.417-437. ⟨10.1017/S1351324910000148⟩
hal-00479737v1  Journal articles
Arshia Cont. A Coupled Duration-Focused Architecture for Real-Time Music-to-Score Alignment
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2010, 32, pp.974-987. ⟨10.1109/TPAMI.2009.106⟩