Skip to Main content Skip to Navigation


...
hal-01798576v1  Journal articles
Andrii ShachykovPatrick HenaffOlexandr Shulyak. Нейро-мускульноскелетный симулятор ритмических движений тазобедренного сустава человека
Bulletin of National Technical University of Ukraine "KPI". Series Instrument Making, National Technical University of Ukraine "Kyiv Polytechnic Institute", 2018, 55(1), pp.118-125. ⟨10.20535/1970.55(1).2018.135832⟩
hal-00732901v1  Journal articles
Mathieu BaudetVéronique CortierStéphanie Delaune. YAPA: A generic tool for computing intruder knowledge
ACM Transactions on Computational Logic, Association for Computing Machinery, 2013, 14 (1), ⟨10.1145/2422085.2422089⟩
...
hal-01952304v1  Journal articles
Benjamin CamusJulien VaubourgThomas ParisYannick PresseChristine Bourjot et al.  Wrapping DEVS de modèles IP dans MECSYCO pour la co-simulation de systèmes cyber-physiques
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2017, 36 (3-6), pp.185-215. ⟨10.3166/tsi.2017.00010⟩
...
hal-00644373v1  Journal articles
Xavier AntoineKarim RamdaniBertrand Thierry. Wide Frequency Band Numerical Approaches for Multiple Scattering Problems by Disks
Journal of Algorithms and Computational Technology, SAGE and Multi-science, 2012, 6 (2), pp.241-260. ⟨10.1260/1748-3018.6.2.241⟩
inria-00543927v1  Journal articles
Kaveh GhaziVincent LefèvrePhilippe ThévenyPaul Zimmermann. Why and How to Use Arbitrary Precision
Computing in Science and Engineering, Institute of Electrical and Electronics Engineers, 2010, 12 (3), pp.62-65. ⟨10.1109/MCSE.2010.73⟩
...
hal-01283962v1  Journal articles
Efoevi Angelo KoudouPierre Vallois. Which distributions have the Matsumoto-Yor property?
Electronic Communications in Probability, Institute of Mathematical Statistics (IMS), 2011, 16, pp.49. ⟨10.1214/ECP.v16-1663⟩
...
hal-00333705v1  Journal articles
Antoine HenrotYannick Privat. What is the optimal shape of a pipe?
Archive for Rational Mechanics and Analysis, Springer Verlag, 2010, 196 (1), pp.281--302. ⟨10.1007/s00205-009-0243-8⟩
hal-00169087v1  Journal articles
Takéo TakahashiPatricio Cumsille. Wellposedness for the system modelling the motion of a rigid body of arbitrary form in an incompressible viscous fluid
Czechoslovak Mathematical Journal, Akademie věd České republiky, Matematický ústav, 2007, 58 (4), pp.961-992
inria-00000889v1  Journal articles
Patricio CumsilleMarius Tucsnak. Wellposedness for the Navier-Stokes flow in the exterior of a rotating obstacle
Mathematical Methods in the Applied Sciences, Wiley, 2006, 29 (5), pp.595--623. ⟨10.1002/mma.702⟩
...
hal-00789315v1  Journal articles
Boris AndreianovFrédéric LagoutièreNicolas SeguinTakéo Takahashi. Well-posedness for a one-dimensional fluid-particle interaction model
SIAM Journal on Mathematical Analysis, Society for Industrial and Applied Mathematics, 2014, 46 (2)
...
inria-00537943v1  Journal articles
Mohsen RouachedWalid FdhilaClaude Godart. Web Services Compositions Modelling and Choreographies Analysis
International Journal of Web Services Research, Idea Group Pub, 2010, 7 (2), pp.78-110. ⟨10.4018/jwsr.2010040105⟩
...
hal-00620733v2  Journal articles
Nabile BoussaidMarco CaponigroThomas Chambrion. Weakly-coupled systems in quantum control
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2013, 58 (9), pp.2205-2216. ⟨10.1109/TAC.2013.2255948⟩
hal-00594870v1  Journal articles
Nicolas BessePierre BertrandPierre MorelE. Gravier. Weak turbulence theory and simulation of the gyro-water-bag model
Physical Review E : Statistical, Nonlinear, and Soft Matter Physics, American Physical Society, 2008, 77 (5), pp.056410. ⟨10.1103/PhysRevE.77.056410⟩
hal-03140597v1  Journal articles
Julien Lequeurre. Weak Solutions for a System Modeling the Movement of a Piston in a Viscous Compressible Gas
Journal of Mathematical Fluid Mechanics, Springer Verlag, 2020, 22 (3), pp.40. ⟨10.1007/s00021-020-0481-y⟩
hal-02313981v1  Journal articles
Carolina SaavedraRodrigo SalasLaurent Bougrain. Wavelet-Based Semblance Methods to Enhance the Single-Trial Detection of Event-Related Potentials for a BCI Spelling System
Computational Intelligence and Neuroscience, Hindawi Publishing Corporation, 2019, 2019 (Article ID 8432953), pp.10. ⟨10.1155/2019/8432953⟩
hal-00347894v1  Journal articles
Xavier AntoineMohammed Lemou. Wavelet Approximations of a Collision Operator in Kinetic Theory
Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 2003, 337 (5), pp.353-358. ⟨10.1016/S1631-073X(03)00345-5⟩
hal-00594880v1  Journal articles
Pierre MorelE. GravierNicolas BesseR. KleinA. Ghizzo et al.  Water-bag modeling of a multispecies plasma
Physics of Plasmas, American Institute of Physics, 2011, 18 (3), pp.032512. ⟨10.1063/1.3565019⟩
...
hal-01712628v1  Journal articles
Olivier DevillersLouis Noizet. Walking in a Planar Poisson-Delaunay Triangulation: Shortcuts in the Voronoi Path
International Journal of Computational Geometry and Applications, World Scientific Publishing, 2018, 28 (3), pp.255-269. ⟨10.1142/S0218195918500061⟩
...
hal-00875171v1  Journal articles
Martín BarrèreRémi BadonnelOlivier Festor. Vulnerability Assessment in Autonomic Networks and Services: A Survey
Communications Surveys and Tutorials, IEEE Communications Society, Institute of Electrical and Electronics Engineers, 2014, 16 (2), pp. 988-1004. ⟨10.1109/SURV.2013.082713.00154⟩
hal-01350400v1  Journal articles
Véronique CortierSteve Kremer. Vote par Internet
Interstices, INRIA, 2017
hal-01303811v1  Journal articles
Romain MerlandGuillaume CaumonBruno LévyPauline Collon. Voronoi grids conforming to 3D structural features
Computational Geosciences, Springer Verlag, 2014, 18 (3-4, SI), pp.373-383. ⟨10.1007/s10596-014-9408-0⟩
...
inria-00550267v1  Journal articles
Lenka JerabkovaGuillaume BousquetSébastien BarbierFrançois FaureJérémie Allard. Volumetric modeling and interactive cutting of deformable bodies
Progress in Biophysics and Molecular Biology, Elsevier, 2010, Special Issue on Biomechanical Modelling of Soft Tissue Motion, 103 (2-3), pp.217-224. ⟨10.1016/j.pbiomolbio.2010.09.012⟩
...
inria-00502446v2  Journal articles
Jérémie AllardFrançois FaureHadrien CourtecuisseFlorent FalipouChristian Duriez et al.  Volume Contact Constraints at Arbitrary Resolution
ACM Transactions on Graphics, Association for Computing Machinery, 2010, Proceedings of SIGGRAPH 2010, 29 (3), pp.Article No. 82. ⟨10.1145/1778765.1778819⟩
...
hal-01744426v1  Journal articles
Oleksandr ZinenkoStéphane HuotCédric Bastoul. Visual Program Manipulation in the Polyhedral Model
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2018, 15 (1), pp.1 - 25. ⟨10.1145/3177961⟩
...
hal-00762918v1  Journal articles
Jean-Yves Marion. Viruses in Turing's Garden
ERCIM News, ERCIM, 2012, 2012 (91)
...
hal-02279616v1  Journal articles
Pierre RolinMarie-Odile BergerFrédéric Sur. View synthesis for pose computation
Machine Vision and Applications, Springer Verlag, 2019, 30 (7-8), pp.1209-1227. ⟨10.1007/s00138-019-01045-5⟩
...
hal-01226619v1  Journal articles
Frédéric FondementPierre-Alain MullerBrice WittmanFabrice AmbertFabrice Bouquet et al.  VETESS : IDM, Test et SysML
Génie logiciel, Génie industriel multimédia, 2010, pp.43-48
inria-00108376v1  Journal articles
Véronique Cortier. Vérifier les protocoles cryptographiques
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2005
inria-00181761v1  Journal articles
Yohan BoichutPierre-Cyrille HeamOlga Kouchnarenko. Vérifier automatiquement les protocoles de sécurité
Techniques de l'Ingenieur, Techniques de l'ingénieur, 2007, pp.1-9