Skip to Main content Skip to Navigation

hal-02383381v1  Journal articles
Simon RederFabian KempfHarald BucherJurgen BeckerPanayiotis Alefragis et al.  Worst-Case Execution-Time-Aware Parallelization of Model-Based Avionics Applications
Journal of Aerospace Information Systems, American Institute of Aeronautics and Astronautics, 2019, 16 (11), pp.521-533. ⟨10.2514/1.I010749⟩
hal-02303148v1  Journal articles
Wolfgang AhrendtLudovic HenrioWytse Oortwijn. Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2019, 302, pp.32-46. ⟨10.4204/EPTCS.302.3⟩
hal-01929196v1  Journal articles
Paola GoatinElena Rossi. Well-posedness of IBVP for 1D scalar non-local conservation laws
Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, Wiley-VCH Verlag, 2019, 99 (11), ⟨10.1002/zamm.201800318⟩
hal-01875159v1  Journal articles
Elena Rossi. Well-posedness of general 1D Initial Boundary Value Problems for scalar balance laws
Discrete and Continuous Dynamical Systems - Series A, American Institute of Mathematical Sciences, 2019, 39 (6), pp.3577-3608. ⟨10.3934/dcds.2019147⟩
hal-02096396v1  Journal articles
Thomas CrespelAdrian TravisPatrick ReuterXavier Granier. Wedge cameras for minimally invasive archaeology
Journal on Computing and Cultural Heritage, Association for Computing Machinery, 2019, 12 (2), pp.14:1--14:13. ⟨10.1145/3284425⟩
hal-02302243v1  Journal articles
Domenico PrattichizzoMiguel OtaduyHiroyuki KajimotoClaudio Pacchierotti. Wearable and Hand-Held Haptics
IEEE Transactions on Haptics (ToH), IEEE, 2019, 12 (3), pp.227-231. ⟨10.1109/TOH.2019.2936736⟩
hal-02399944v1  Journal articles
Yoonseok KoXavier RivalSukyoung Ryu. Weakly Sensitive Analysis for JavaScript Object-Manipulating Programs
International Journal on Software - Practice and Experience, 2019, ⟨10.1002/spe⟩
hal-02408027v1  Journal articles
Journal of the American Mathematical Society, American Mathematical Society, 2019
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-02167682v1  Journal articles
Brigitte JaumardHamed PouyaDavid Coudert. Wavelength Defragmentation for Seamless Migration
Journal of Lightwave Technology, Institute of Electrical and Electronics Engineers (IEEE)/Optical Society of America(OSA), 2019, 37 (17), pp.4382-4393. ⟨10.1109/JLT.2019.2924914⟩
hal-01801394v2  Journal articles
Patrick JolyMaryna KachanovskaAdrien Semin. Wave propagation in fractal trees. Mathematical and Numerical Issues
Networks and Heterogeneous Media, AIMS-American Institute of Mathematical Sciences, 2019, 14 (2), ⟨10.3934/nhm.2019010⟩
hal-02476710v1  Journal articles
Pierre DerbezLiu YiHongbin SunShicheng Wang. Volume of representations and mapping degree
Advances in Mathematics, Elsevier, 2019, 351, pp.570-613. ⟨10.1016/j.aim.2019.05.015⟩
hal-01857469v1  Journal articles
Matthew BrehmerBongshin LeePetra IsenbergEun Choe. Visualizing Ranges over Time on Mobile Phones: A Task-Based Crowdsourced Evaluation
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2019, 25 (1), pp.619-629. ⟨10.1109/TVCG.2018.2865234⟩
hal-02426339v1  Journal articles
Natkamon TovanichNicolas HeulotJean-Daniel FeketePetra Isenberg. Visualization of Blockchain Data: A Systematic Review
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2019, ⟨10.1109/TVCG.2019.2963018⟩
hal-02149025v1  Journal articles
Elsa RousseauMélanie BonneaultFrédéric FabreBenoît MouryLudovic Mailleret et al.  Virus epidemics, plant-controlled population bottlenecks and the durability of plant resistance
Philosophical Transactions of the Royal Society B: Biological Sciences, Royal Society, The, 2019, 374 (1775), pp.20180263. ⟨10.1098/rstb.2018.0263⟩
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-01924855v1  Journal articles
Mohamed BouguerraThierry FraichardMohamed Fezari. Viability-Based Guaranteed Safe Robot Navigation
Journal of Intelligent and Robotic Systems, Springer Verlag, 2019, 95 (2), pp.459-471. ⟨10.1007/s10846-018-0955-9⟩
hal-02376726v1  Journal articles
Hicham LakhlefMichel RaynalFrançois Taïani. Vertex Coloring with Communication Constraints in Synchronous Broadcast Networks
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2019, 30 (7), pp.1672-1686. ⟨10.1109/TPDS.2018.2889688⟩
hal-02262591v1  Journal articles
Christophe PradalSarah Cohen-BoulakiaPatrick ValduriezDennis Shasha. VersionClimber: version upgrades without tears
Computing in Science and Engineering, Institute of Electrical and Electronics Engineers, 2019, 21 (5), pp.87-93. ⟨10.1109/MCSE.2019.2921898⟩
hal-02421854v1  Journal articles
Théo JourdanAntoine BoutetCarole Frindel. Vers la protection de la vie privée dans les objets connectés pour la reconnaissance d'activité en santé
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, A paraître, pp.1-27. ⟨10.3166/RIA.28.1-27⟩
hal-02025047v1  Journal articles
Sandrine BlazyDavid PichardieAlix Trieu. Verifying constant-time implementations by abstract interpretation
Journal of Computer Security, IOS Press, 2019, 27 (1), pp.137--163. ⟨10.3233/JCS-181136⟩
hal-02414164v1  Journal articles
Rüdiger BrechtWerner BauerAlexander BihloFrançois Gay-BalmazScott Maclachlan. Variational integrator for the rotating shallow‐water equations on the sphere
Quarterly Journal of the Royal Meteorological Society, Wiley, 2019, 145 (720), pp.1070-1088. ⟨10.1002/qj.3477⟩
hal-01649496v2  Journal articles
Damien LambertonGiulia Terenzi. Variational formulation of American option prices in the Heston Model
SIAM Journal on Financial Mathematics, Society for Industrial and Applied Mathematics 2019, 10 (1), pp.261-368. ⟨10.1137/17M1158872⟩
hal-01622540v3  Journal articles
Antonin ChambolleLuca Alberto Davide FerrariBenoît Merlet. Variational approximation of size-mass energies for k-dimensional currents
ESAIM: Control, Optimisation and Calculus of Variations, EDP Sciences, 2019, 25 (2019) (43), pp.39. ⟨10.1051/cocv/2018027⟩
hal-02013578v2  Journal articles
Remi PaulinThierry FraichardPatrick Reignier. Using Human Attention to Address Human-Robot Motion
IEEE Robotics and Automation Letters, IEEE 2019, 4 (2), pp.2038-2045. ⟨10.1109/LRA.2019.2899429⟩
hal-02179717v1  Journal articles
Mohamed Said Mosli BouksiaaFrançois TrahayAlexis LescouetGauthier VoronRemi Dulong et al.  Using differential execution analysis to identify thread interference
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2019, 30 (12), pp.2866-2878. ⟨10.1109/TPDS.2019.2927481⟩
hal-02429468v3  Journal articles
Vlad Bally. Upper bounds for the function solution of the homogenuous 2D Boltzmann equation with hard potential
Annals of Applied Probability, Institute of Mathematical Statistics (IMS), 2019
hal-01534101v2  Journal articles
Razvan BarbulescuSylvain Duquesne. Updating key size estimations for pairings
Journal of Cryptology, Springer Verlag, 2019, 32 (4), pp.1298--1336. ⟨10.1007/s00145-018-9280-5⟩
hal-02458495v1  Journal articles
Georgios PapadopoulosRahul Arvind JadhavPascal ThubertNicolas Montavont. Updates on RFC 4944: Fragment Forwarding and Recovery
IEEE Communications Standards Magazine, Institute of Electrical and Electronics Engineers, 2019, 3 (2), pp.54-59. ⟨10.1109/MCOMSTD.2019.1900009⟩
hal-02319482v1  Journal articles
Emre BaspinarGiovanna Citti. Uniqueness of Viscosity Mean Curvature Flow Solution in Two Sub-Riemannian Structures
SIAM Journal on Mathematical Analysis, Society for Industrial and Applied Mathematics, 2019, 51 (3), pp.2633-2659. ⟨10.1137/17M1150797⟩
hal-01662537v1  Journal articles
Ludovic RiffordAbbas Moameni. Uniquely minimizing costs for the Kantorovitch problem
Annales de la Faculté des Sciences de Toulouse. Mathématiques., Université Paul Sabatier _ Cellule Mathdoc In press
hal-01257753v3  Journal articles
Philippe ChartierLoïc Le TreustFlorian Méhats. Uniformly accurate time-splitting methods for the semiclassical linear Schrödinger equation
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2019, 53 (2), pp.443-473. ⟨10.1051/m2an/2018060⟩
hal-01362366v4  Journal articles
Aline Marguet. Uniform sampling in a structured branching population
Bernoulli, Bernoulli Society for Mathematical Statistics and Probability, 2019, 25 (4A), pp.2649-2695. ⟨10.3150/18-BEJ1066⟩
hal-01802004v2  Journal articles
Pierre GaillardSébastien GerchinovitzMalo HuardGilles Stoltz. Uniform regret bounds over $R^d$ for the sequential linear regression problem with the square loss
Proceedings of Machine Learning Research, PMLR, 2019, Proceedings of the 30th International Conference on Algorithmic Learning Theory, 98, pp.404-432
hal-02429140v1  Journal articles
Pierre del MoralJulian Tugaut. Uniform propagation of chaos and creation of chaos for a class of nonlinear diffusions
Stochastic Analysis and Applications, Taylor & Francis: STM, Behavioural Science and Public Health Titles, 2019, 37 (6), pp.909-935. ⟨10.1080/07362994.2019.1622426⟩
hal-02267180v1  Journal articles
Khaled ZaoukFei SongChenghao LyuArnab SinhaYanlei Diao et al.  UDAO: A Next-Generation Unified Data Analytics Optimizer
Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2019, 12 (12), ⟨10.14778/3352063.3352103⟩
hal-01331936v1  Journal articles
Arpan ChattopadhyayBartłomiej BłaszczyszynEitan Altman. Two-tier cellular networks for throughput maximization of static and mobile users
IEEE Transactions on Wireless Communications, Institute of Electrical and Electronics Engineers, In press, 18 (2), pp.997-1010. ⟨10.1109/TWC.2018.2887386⟩