Skip to Main content Skip to Navigation

hal-03121583v1  Conference papers
Thierry GautierJoao Vicente Ferreira Lima. XKBlas: a High Performance Implementation of BLAS-3 Kernels on Multi-GPU Server
PDP 2020 - 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Mar 2020, Västerås, Sweden. pp.1-8, ⟨10.1109/PDP50117.2020.00008⟩
hal-00644058v1  Journal articles
Kais AmmariDenis MercierVirginie RégnierJulie Valein. Spectral analysis and stabilization of a chain of serially connected Euler-Bernoulli beams and strings
Communications on Pure and Applied Analysis, AIMS American Institute of Mathematical Sciences, 2012, 11 (2), pp.785--807. ⟨10.3934/cpaa.2012.11.785⟩
hal-03356234v1  Journal articles
Nicolas GastMohammed KhatiriDenis TrystramFrédéric Wagner. Analysis of Work Stealing with latency
Journal of Parallel and Distributed Computing, Elsevier, 2021, 153, pp.119-129. ⟨10.1016/j.jpdc.2021.03.010⟩
tel-03356197v1  Theses
Quentin Dufour. High-throughput real-time onion networks to protect everyone’s privacy
Networking and Internet Architecture [cs.NI]. Université Rennes 1, 2021. English. ⟨NNT : 2021REN1S024⟩
hal-03356021v1  Conference papers
Pierre ChampionThomas ThebaudGaël Le LanAnthony LarcherDenis Jouvet. On the invertibility of a voice privacy system using embedding alignement
ASRU 2021 - IEEE Automatic Speech Recognition and Understanding Workshop, Dec 2021, Cartagena, Colombia
tel-03275015v2  Theses
Victor Trappler. Parameter control in the presence of uncertainties
Mathematics [math]. Université Grenoble Alpes [2020-..], 2021. English. ⟨NNT : 2021GRALM017⟩
tel-03355990v1  Theses
Nicolas Golse. Modélisation anatomique, hémodynamique et physiologique en chirurgie hépatique
Hépatologie et Gastroentérologie. Université Paris-Saclay, 2021. Français. ⟨NNT : 2021UPASL055⟩
hal-02962207v2  Journal articles
Maxime StauffertRégis Duvigneau. Shape sensitivity analysis in aerodynamics using an isogeometric Discontinuous Galerkin method
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2021, 43 (5)
hal-03355875v1  Conference papers
Guillaume KaimSébastien CanardAdeline Roux-LangloisJacques Traoré. Post-quantum Online Voting Scheme
FC 2021 - Financial Cryptography and Data Security. International Workshops, Mar 2021, Virtual event, France. pp.290-305, ⟨10.1007/978-3-662-63958-0_25⟩
hal-03355381v1  Conference papers
Clément AllainGabriel RadanneLaure Gonnord. Isomorphisms are back!
ML Workshop, Aug 2021, Virtual, France
hal-03355377v1  Conference papers
Paul IannettaLaure GonnordGabriel Radanne. Compiling pattern matching to in-place modifications
20th International Conference on Generative Programming: Concepts & Experiences, Oct 2021, Chicago & Virtual, United States. ⟨10.1145/3486609.3487204⟩
hal-03355253v1  Conference papers
Gwendal JouneauxOlivier BaraisBenoit CombemaleGunter Mussbacher. SEALS: A framework for building Self-Adaptive Virtual Machines
Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering (SLE '21), Oct 2021, Chicago, United States. ⟨10.1145/3486608.3486912⟩
hal-03355184v1  Conference papers
Detection and Classification of Acoustic Scenes and Events, Nov 2021, Barcelona, Spain
hal-03355162v1  Conference papers
Gauthier LyanJean-Marc JézéquelDavid Gross-AmblardBenoit Combemale. DataTime: a Framework to smoothly Integrate Past, Present and Future into Models
MODELS 2021 - ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2021, Fukuoka, Japan
hal-03338278v2  Journal articles
Yishu DuLoris MarchalGuillaume PallezYves Robert. Optimal Checkpointing Strategies for Iterative Applications
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2022, 33 (3), pp.507-522. ⟨10.1109/TPDS.2021.3099440⟩
hal-03355046v1  Journal articles
Damiano LombardiFabien Raphel. A method to enrich experimental datasets by means of numerical simulations in view of classification tasks
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, In press
hal-03354937v1  Conference papers
Antoine BoutetTúlio PascoalJérémie DecouchantPaulo Esteves-Verissimo. DyPS: Dynamic, Private and Secure GWAS
Privacy Enhancing Technologies Symposium (PETS 2021), Jul 2021, Online, France
hal-03213876v1  Conference papers
Luc CourtraiMinh-Tan PhamChloe FriguetSébastien Lefèvre. Small Object Detection from Remote Sensing Images with the Help of Object-Focused Super-Resolution Using Wasserstein GANs
IGARSS 2020 - 2020 IEEE International Geoscience and Remote Sensing Symposium, Sep 2020, Waikoloa, United States. pp.260-263, ⟨10.1109/IGARSS39084.2020.9323236⟩
hal-03213855v1  Conference papers
Alice FroidevauxAndrea JulierAgustin LifschitzMinh-Tan PhamRomain Dambreville et al.  Vehicle Detection and Counting from VHR Satellite Images: Efforts and Open Issues
IGARSS 2020 - 2020 IEEE International Geoscience and Remote Sensing Symposium, Sep 2020, Waikoloa, United States. pp.256-259, ⟨10.1109/IGARSS39084.2020.9323827⟩
hal-03354910v1  Documents associated with scientific events
Túlio PascoalJérémie DecouchantAntoine BoutetPaulo Esteves-Verissimo. DyPS: Dynamic, Private and Secure GWAS (Summary)
GenoPri 2021, Sep 2021, Online, France
hal-02925284v3  Preprints, Working Papers, ...
Olivier Bilenne. Dispatching to Parallel Servers
hal-03354883v1  Conference papers
Daniel Rodrigues CarvalhoAndré Seznec. Conciliating Speed and Efficiency on Cache Compressors
The 39th IEEE International Conference on Computer Design, Oct 2021, Virtual, United States
hal-03354811v1  Conference papers
Runbo SuArbia Riahi SfarEnrico NatalizioPascal MoyalYe-Qiong Song. PDTM: Phase-based dynamic trust management for Internet of things
2021 International Conference on Computer Communications and Networks (ICCCN), Jul 2021, Athens, France. pp.1-7, ⟨10.1109/ICCCN52240.2021.9522234⟩
hal-03185142v2  Conference papers
Muhammad Umar NiaziAlain KibangouCarlos Canudas de WitDenis NikitinLiudmila Tumash et al.  Effective Testing Policies for Controlling an Epidemic Outbreak
2021 60th IEEE Conference on Decision and Control, Dec 2021, Austin, United States
hal-03354722v1  Conference papers
Théo JourdanAntoine BoutetCarole Frindel. Privacy Assessment of Federated Learning using Private Personalized Layers
MLSP 2021 - Machine Learning for Signal Processing, Oct 2021, Queensland, Australia
tel-03354281v1  Theses
Martin Vassor. Graphes de localités : une approche formelle à l'encapsulation et implémentation
Génie logiciel [cs.SE]. Université Grenoble Alpes [2020-..], 2021. Français. ⟨NNT : 2021GRALM015⟩
hal-03298339v2  Conference papers
Abhishek Kumar MishraAline Carneiro VianaNadjib AchirCatuscia Palamidessi. Public Wireless Packets Anonymously Hurt You
IEEE LCN 2021 (Doctoral-track - Promising ideas), Oct 2021, Edmonton / Virtual, Canada. ⟨10.1109/LCN52139.2021.9524956⟩
hal-03354114v1  Conference papers
Anshul PaigwarDavid Sierra-GonzalezÖzgür ErkentChristian Laugier. Frustum-PointPillars: A Multi-Stage Approach for 3D Object Detection using RGB Camera and LiDAR
International Conference on Computer Vision, ICCV, Workshop on Autonomous Vehicle Vision, Oct 2021, California, United States
hal-03354035v1  Reports
Joshua BowdenFrancois TessierCharles DeltelSimone BnàGabriel Antoniu. In-situ visualization using Damaris: the Code Saturne use case
[Research Report] PRACE: Partnership for Advanced Computing in Europe. 2021
hal-03351970v1  Conference papers
Long LiBertrand ChapronBruno DerembleNoé LahayeEtienne Mémin. Statistically data-driven modelling Location Uncertainty in mesoscale dynamics
2nd Stochastic Transport in Upper Ocean Dynamics Annual Workshop, Sep 2021, London, United Kingdom
hal-03353748v1  Conference papers
Conrad WattXiaojia RaoJean Pichon-PharabodMartin BodinPhilippa Gardner. Two Mechanisations of WebAssembly 1.0
Formal Methods 2021, Nov 2021, Beijing, China
hal-03353663v1  Conference papers
Ilyas ToumliltPierre SutraMarc Shapiro. Highly-available and consistent group collaboration at the edge with Colony
Middleware 2021: 22nd International Middleware Conference, Dec 2021, Québec (online), Canada
hal-03353622v1  Conference papers
Amélie BarbePaulo GonçalvesMarc SebbanPierre BorgnatRémi Gribonval et al.  Optimization of the Diffusion Time in Graph Diffused-Wasserstein Distances: Application to Domain Adaptation
33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2021), Nov 2021, Virtual conference, France
hal-03353609v1  Conference papers
Laurent MicletHenri Prade. Handling analogical proportions in classical logic and fuzzy logics settings
10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009), Jul 2009, Verona, Italy. pp.638-650, ⟨10.1007/978-3-642-02906-6_55⟩
hal-03352656v1  Conference papers
Thibault TricardJimmy EtienneCédric ZanniSylvain Lefebvre. A brick in the wall: Staggered orientable infills for additive manufacturing
ACM Symposium on Computational Fabrication (SCF 2021), Oct 2021, Boston, United States. ⟨10.1145/3485114.3485117⟩
hal-03353584v1  Conference papers
Samuele ZoboliVincent AndrieuDaniele AstolfiGiacomo CasadeiJilles Dibangoye et al.  Reinforcement Learning Policies With Local LQR Guarantees For Nonlinear Discrete-Time Systems
60th IEEE Conference on Decision and Control (CDC2021), Dec 2021, Texas, United States
hal-03352652v1  Journal articles
Martin GanderLaurence HalpernFlorence HubertStella Krell. Optimized Schwarz methods with general Ventcell transmission conditions for fully anisotropic diffusion with discrete duality finite volume discretizations
Moroccan Journal of Pure and Applied Analysis, Sidi Mohamed Benabdallah University [Ifrane] Al Akhawyn University, 2021, 7 (2), pp.182-213. ⟨10.2478/mjpaa-2021-0014⟩
hal-03353380v1  Conference papers
Flora GautheronJean-Charles QuintonAnnique Smeding. Paradigm constraints on moral decision space: a model fit to mouse-tracking data
International Conference on Spatial Cognition, Sep 2021, Rome, Italy
hal-03353363v1  Conference papers
Annique SmedingJulia EberlenJean-Charles Quinton. Am I Cold? Investigating Ingroup Stereotype-Learning
ESCON Transfer of Knowledge Conference, Sep 2021, Salzburg, Austria
hal-03353361v1  Conference papers
Jean-Charles QuintonAnnique Smeding. Sample reconstruction from summary statistics: assumptions and novel contributions
ESCON Transfer of Knowledge Conference, Sep 2021, Salzburg, Austria
hal-03353214v1  Conference papers
Benedikt BolligArnaud SangnierOlivier Stietel. Local First-Order Logic with Two Data Values
41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), Dec 2021, Goa, India
hal-03353153v1  Conference papers
Anne Bonneau. Assimilations de voisement et interférences français/allemand
Colloque International du Réseau d’Acquisition des Langues Secondes (RéAL2), Jul 2021, Toulouse, France
hal-02949064v1  Conference papers
Nicolas BerveglieriBilel DerbelArnaud LiefoogheHernán AguirreQingfu Zhang et al.  Designing parallelism in surrogate-assisted multiobjective optimization based on decomposition
GECCO 2020 - The Genetic and Evolutionary Computation Conference, Jul 2020, Cancún (on line), Mexico. pp.462-470, ⟨10.1145/3377930.3390202⟩
hal-01920339v1  Conference papers
Jialong ShiQingfu ZhangBilel DerbelArnaud LiefoogheJianyong Sun. Parallel Pareto local search revisited – First experimental results on bi-objective UBQP
GECCO '18: Proceedings of the Genetic and Evolutionary Computation Conference, Jul 2018, Kyoto, Japan. pp.753-760, ⟨10.1145/3205455.3205577⟩
hal-03352793v1  Conference papers
David HauweeleRemous-Aris KoutsiamanisBruno QuoitinGeorgios Papadopoulos. Pushing 6TiSCH Minimal Scheduling Function (MSF) to the Limits
2020 IEEE Symposium on Computers and Communications (ISCC), Jul 2020, Rennes, France. pp.1-7, ⟨10.1109/ISCC50000.2020.9219692⟩
hal-03352725v1  Conference papers
Ernest FoussardMarie-Laure EspinouseGrégory MouniéMargaux Nattaf. A Lot-Sizing Model for Maintenance Planning in a Circular Economy Context
Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems. APMS 2021., Sep 2021, Nantes, France. pp.673 - 682, ⟨10.1007/978-3-030-85902-2_72⟩
hal-03352706v1  Journal articles
Sihem CherraredSofiane ImadaliEric FabreGregor Gössler. SFC Self-Modeling and Active Diagnosis
IEEE Transactions on Network and Service Management, IEEE, 2021, 18 (3), pp.2515-2530. ⟨10.1109/TNSM.2021.3086424⟩
hal-03059482v1  Conference papers
Fares BelhassineDamien FumeyChristophe PradalJérôme ChopardEvelyne Costes et al.  A modelling framework for the simulation of signal transport within 3D structure: application for the simulation of within-tree variability in floral induction in apple trees
FSPM 2020 - 9th International Conference on Functional-Structural Plant Models, Hochschule Geisenheim University; University of Hannover, Oct 2020, Hannover / Virtual, Germany. pp.16-17, ⟨10.1038/s41598-020-69861-8⟩