Skip to Main content Skip to Navigation

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-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-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⟩
tel-02922455v2  Theses
Pierre Marchand. Schwarz methods and boundary integral equations
Mathematics [math]. Sorbonne Université, 2020. English. ⟨NNT : 2020SORUS221⟩
hal-03347944v1  Conference papers
Nicholas NellNathalie MittonThomas NieslerRiaan Wolhuter. An Ad-Hoc Sensor Network for Vineyard Monitoring
Southern Africa Telecommunication Networks and Applications Conference (SATNAC), Nov 2020, Spier, South Africa
hal-03347275v1  Conference papers
Giuseppe de PalmaSaverio GiallorenzoJacopo MauroGianluigi Zavattaro. Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation
ICSOC 2020 - 18 th International Conference on Service-Oriented Computing, Dec 2020, Dubai, United Arab Emirates. pp.416 - 430, ⟨10.1007/978-3-030-65310-1_29⟩
hal-02949069v1  Conference papers
Brahim AboutaibSébastien VerelCyril FonluptBilel DerbelArnaud Liefooghe et al.  On Stochastic Fitness Landscapes: Local Optimality and Fitness Landscape Analysis for Stochastic Search Operators
PPSN 2020 - The 16th International Conference on Parallel Problem Solving from Nature, 2020, Leiden, Netherlands. pp.97-110, ⟨10.1007/978-3-030-58115-2_7⟩
hal-02920043v1  Conference papers
Hugo MonzónHernan AguirreSébastien VerelArnaud LiefoogheBilel Derbel et al.  Dynamic compartmental models for large multi-objective landscapes and performance estimation
EvoCOP 2020 - 20th European Conference on Evolutionary Computation in Combinatorial Optimisation, 2020, Seville, Spain. pp.99-113, ⟨10.1007/978-3-030-43680-3_7⟩
hal-03331230v1  Conference papers
Mario Henrique Cruz TorresJean-Pierre GiacaloneJoelle Abou Faysal. A Case Study on Formally Validating Motion Rules for Autonomous Cars
SEFM 2020 - Collocated Workshops - Software Engineering and Formal Methods, Sep 2020, Amsterdam, Netherlands. pp.233-248
hal-03337263v1  Conference papers
Martin JedwabnyPierre BisquertMadalina Croitoru. Explaining ethical planning using ASP
XLoKR'20 - 1st International Workshop on Explainable Logic-Based Knowledge Representation, Nov 2020, Rhodes, Greece
tel-03334270v1  Theses
Ani Miraçi. A-posteriori-steered and adaptive ρ-robust multigrid solvers
Numerical Analysis [math.NA]. Sorbonne Université, 2020. English. ⟨NNT : 2020SORUS178⟩
hal-03334091v1  Conference papers
Nicolas CharpenayMael Le Treust. Variable-Length Coding for Zero-Error Channel Capacity
IEEE ISIT, Jun 2020, Los Angeles, United States
hal-03331881v1  Conference papers
Barbara FilaWojciech Widel. Exploiting attack–defense trees to find an optimal set of countermeasures
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), Jun 2020, Boston, France. pp.395-410, ⟨10.1109/CSF49147.2020.00035⟩
hal-03328687v1  Journal articles
Dan XuXavier Alameda-PinedaWanli OuyangElisa RicciXiaogang Wang et al.  Probabilistic Graph Attention Network with Conditional Kernels for Pixel-Wise Prediction
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2020
hal-03082290v2  Journal articles
Abhishake RastogiGilles BlanchardPeter Mathé. Convergence analysis of Tikhonov regularization for non-linear statistical inverse problems
Electronic Journal of Statistics , Shaker Heights, OH : Institute of Mathematical Statistics, 2020, 14 (2), pp.2798-2841. ⟨10.1214/20-EJS1735⟩
tel-03146424v2  Theses
Sudarshan Shinde. Cryptographic applications of modular curves
Number Theory [math.NT]. Sorbonne Université, 2020. English
hal-03326664v1  Reports
Laudin MolinaChristophe Couturier. Chantier 3.0 Technical Architecture
[Technical Report] IMT Atlantique; YoGoKo; AGEMOS Software. 2020
hal-03326658v1  Reports
Christophe CouturierClaudia LutzeMarkus WischyPhilipp ReschlChristian Horn et al.  X2Rail‐3 -- Deliverable 8.3 -- Protection profile for Adaptable Communication System (ACS) components
[Technical Report] RAILENIUM; IMT Atlantique; European Union H2020 Program -- Shit2Rail Joint Undertaking. 2020
hal-02917351v2  Reports
Juliette ChabassierAlexis Thibault. Viscothermal models for wind musical instruments
[Research Report] RR-9356, Inria Bordeaux Sud-Ouest. 2020
tel-03323777v1  Theses
Youna Le Vaou. Modification de formes à l'aide de systèmes immersifs de type CAVE
Modélisation et simulation. Université Grenoble Alpes [2020-..], 2020. Français. ⟨NNT : 2020GRALM011⟩
hal-03323382v1  Book sections
Olivier BuffetOlivier PietquinPaul Weng. Reinforcement Learning
A Guided Tour of Artificial Intelligence Research - Volume 1, Springer International Publishing, pp.389-414, 2020, 978-3-030-06164-7. ⟨10.1007/978-3-030-06164-7_12⟩
hal-03320844v1  Journal articles
Lionel ZennerG. BourgoinMarie-Pierre Callait-Cardinal. Toxoplasmose, chat et femme enceinte
Pratique Veterinaire, 2020, pp.196-201
hal-02427636v2  Journal articles
Dang NguyenÉdouard Strickler. A method to deal with the critical case in stochastic population dynamics
SIAM Journal on Applied Mathematics, Society for Industrial and Applied Mathematics, 2020, 80 (3), pp.1567-1589. ⟨10.1137/20M131134X⟩
hal-03314915v1  Journal articles
Luis AlmeidaKevin AtsouMarta MarulliDiane PeurichardRémi Tesson. Phase transitions in a two-species model for cell segregation and logistic growth
ESAIM: Proceedings and Surveys, EDP Sciences, 2020, CEMRACS 2018 - Numerical and mathematical modeling for biological and medical applications: deterministic, probabilistic and statistical descriptions, 67, pp.1-15. ⟨10.1051/proc/202067001⟩
hal-02455056v1  Journal articles
Mj ClaeysFrançois RoubilleG CasellaR ZukermannN. Nikolaou et al.  Organization of intensive cardiac care units in Europe: Results of a multinational survey
European Heart Journal: Acute Cardiovascular Care, SAGE Publications, 2020, 9 (8), pp.993-1001. ⟨10.1177/2048872619883997⟩
hal-02591794v2  Conference papers
Qinghua Zhang. Boundedness of the Kitanidis Filter for Optimal Robust State Estimation
IFAC 2020 - 21st World Congress of the International Federation of Automatic Control, Jul 2020, Berlin / Virtual, Germany. pp.1-5
tel-03303079v1  Theses
Cecilia Artico Banho. Deregulation of genes and transposable elements and hybrid incompatibility among Drosophila mojavensis subspecies and D. arizonae
Animal genetics. Université de Lyon; Universidade estadual paulista (São Paulo, Brésil). Faculdade de Ciências e Tecnologia, 2020. English. ⟨NNT : 2020LYSE1055⟩
hal-03300418v1  Journal articles
Guillaume PosticNathalie JanelPierre TufferyGautier Moroy. An information gain-based approach for evaluating protein structure models
Computational and Structural Biotechnology Journal, Elsevier, 2020, 18, pp.2228-2236. ⟨10.1016/j.csbj.2020.08.013⟩
hal-03094740v1  Conference papers
Sami AbdellatifOkba TibermacineWalid BechkitAbdelmalik Bachir. Efficient Distributed D2D ProSe-Based Service Discovery and Querying in Disaster Situations
AINA 2020 - 34th International Conference on Advanced Information Networking and Applications, Apr 2020, Caserta, Italy. pp.910-921, ⟨10.1007/978-3-030-44041-1_79⟩
hal-03094697v1  Conference papers
Sami AbdellatifOkba TibermacineWalid BechkitAbdelmalik Bachir. Service Oriented D2D Efficient Communication for Post-Disaster Management
IWCMC 2020 - 16th International Wireless Communications and Mobile Computing, Jun 2020, Limassol, Cyprus. pp.970-975, ⟨10.1109/IWCMC48107.2020.9148538⟩
hal-03298515v1  Journal articles
Ricardo AndradeSandro FreitasFrançois HugGuillaume Le SantLilian Lacourpaille et al.  Chronic effects of muscle and nerve-directed stretching on tissue mechanics
Journal of Applied Physiology, American Physiological Society, 2020, 129 (5), pp.1011-1023. ⟨10.1152/japplphysiol.00239.2019⟩
hal-03293341v1  Conference papers
Bart Lamiroy. Formal Performance Evaluation for Document Image Analysis
International Conference on Computer Science and Computational Intelligence (ICCSCI), 2020, online, Indonesia. pp.2, ⟨10.1016/j.procs.2021.01.088⟩
hal-03284149v1  Conference papers
Alfredo Cuzzocrea. Multidimensional Clustering over Big Data : Models, Issues, Analysis, Emerging Trends
SSDBM 2020: 32nd International Conference on Scientific and Statistical Database Management, Jul 2020, Vienna, Austria. ⟨10.1145/3400903.3409117⟩
hal-03284166v1  Conference papers
Alfredo Cuzzocrea. Uncertainty and Imprecision in Big Data Management : Models, Issues, Paradigms, and Future Research Directions
ICCBDC '20: Proceedings of the 2020 4th International Conference on Cloud and Big Data Computing, Aug 2020, Virtual, United Kingdom. ⟨10.1145/3416921.3416943⟩
hal-03284179v1  Conference papers
Alfredo CuzzocreaEdoardo Fadda. Data-Intensive Object-Oriented Adaptive Web Systems : Implementing and Experimenting the OO-XAHM Framework
MEDES'20 : the 12th International Conference on Management of Digital EcoSystems, Nov 2020, Virtual Event (Abu Dhabi), United Arab Emirates. ⟨10.1145/3415958.3433051⟩
hal-03288970v1  Conference papers
Jean TarbouriechMatteo PirottaMichal ValkoAlessandro Lazaric. Reward-free exploration beyond finite-horizon
ICML 2020 Workshop on Theoretical Foundations of Reinforcement Learning, 2020, Vienna, France
hal-03288879v1  Conference papers
Côme FiegelVictor GabillonMichal Valko. Adaptive multi-fidelity optimization with fast learning rates
International Conference on Artificial Intelligence and Statistics, 2020, Palermo, Italy
hal-03287835v1  Conference papers
Julien SeznecPierre MenardAlessandro LazaricMichal Valko. A single algorithm for both restless and rested rotting bandits
AISTATS 2020 - The 23rd International Conference on Artificial Intelligence and Statistics, Aug 2020, Palermo / Virtual, Italy
hal-03287832v1  Conference papers
Daniele CalandrielloMichał DerezińskiMichal Valko. Sampling from a k-DPP without looking at all items
Neural Information Processing Systems, 2020, Montréal, Canada
hal-03287824v1  Conference papers
Jean TarbouriechEvrard GarcelonMichal ValkoMatteo PirottaAlessandro Lazaric. No-regret exploration in goal-oriented reinforcement learning
PMLR 2020 - 37th International Conference on Machine Learning, 2020, Vienna / Virtual, Austria
hal-03287816v1  Journal articles
Davin Lunz. Optimal feedback control in first-passage resetting
Journal of Physics A: Mathematical and Theoretical, IOP Publishing, 2020, 53 (44), pp.44LT01. ⟨10.1088/1751-8121/abbc7c⟩
hal-03041432v3  Conference papers
Manuel Alejandro Diaz-ZapataÖzgür ErkentChristian Laugier. Instance Segmentation with Unsupervised Adaptation to Different Domains for Autonomous Vehicles
ICARCV 2020 - 16th International Conference on Control, Automation, Robotics and Vision, Dec 2020, Shenzen, China. pp.1-7
tel-03224039v3  Theses
François Thiré. Interoperability between proof systems using the logical framework Dedukti
Logic in Computer Science [cs.LO]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG053⟩
tel-03121385v2  Theses
Victor Roussanaly. Efficient verification of real time systems
Formal Languages and Automata Theory [cs.FL]. Université Rennes 1, 2020. English. ⟨NNT : 2020REN1S108⟩
hal-03281019v1  Conference papers
Jean-Marie Monnez. Approximation stochastique de vecteurs et valeurs propres. Application à l'ACG en ligne
JDS 2020 : 52èmes Journées de Statistique de la Société Française de Statistique (SFdS), 2020, Nice, France
hal-03280192v1  Conference papers
Christophe CollewetJohan Carlier. Mismatched Disturbance Attenuation of a Spatially Developing Free Shear Flow
MED 2020 - 28th Mediterranean Conference on Control and Automation, IEEE, Sep 2020, Electronic natwork, France. pp.399-404
hal-03279766v1  Conference papers
Gabriel HondetFrédéric Blanqui. Encoding of Predicate Subtyping with Proof Irrelevance in the λΠ-Calculus Modulo Theory
TYPES 2020 - 26th International Conference on Types for Proofs and Programs, Mar 2020, Turino, Italy. ⟨10.4230/LIPIcs.TYPES.2020.6⟩
hal-03279422v1  Journal articles
Daniel TranTiffanie GiraultMarjorie GuichardSébastien ThomineNathalie Leblanc-Fournier et al.  Cellular transduction of mechanical oscillations in plants by the plasma-membrane mechanosensitive channel MSL10
Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2020, 118 (1), 7 p. ⟨10.1073/pnas.1919402118⟩
hal-02696246v2  Conference papers
Jean-Christophe FilliâtreAndrei Paskevich. Abstraction and Genericity in Why3
ISoLA 2020 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2020, Rhodes, Greece
hal-03277243v1  Conference papers
Neha AswalSubhamoy SenLaurent Mevel. Damage Detection in Tensegrity using Interacting Particle-Ensemble Kalman Filter
EWSHM 2020 - 10th Workshop on Structural Health Monitoring, Jul 2020, Palermo, Italy. pp.1-10
hal-03274600v1  Journal articles
Alfredo CuzzocreaEnzo MumoloEdoardo FaddaMarco Tessarotto. A Novel Big Data Analytics Approach for Supporting Cyber Attack Detection via Non-linear Analytic Prediction of IP Addresses
Lecture Notes in Computer Science, Springer, 2020, Computational Science and Its Applications – ICCSA 2020, pp.978 - 991. ⟨10.1007/978-3-030-58799-4_70⟩
tel-03126602v2  Theses
Ambre Williams. Refactoring functional programs with ornaments
Programming Languages [cs.PL]. Université de Paris, 2020. English. ⟨NNT : 2020UNIP7161⟩
hal-03168525v1  Directions of work or proceedings
Simon BliudzeLaura Bocchi. Coordination Models and Languages
Simon Bliudze; Laura Bocchi. Jun 2020, Valetta, Malta. 12134, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-50029-0⟩
hal-03273995v1  Conference papers
Nicolas GastDiego LatellaMieke Massink. Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited
COORDINATION 2020 - 22nd IFIP WG 6.1 International Conference on Coordination Languages and Models, Jun 2020, Valletta, Malta. pp.230-239, ⟨10.1007/978-3-030-50029-0_15⟩
tel-03270968v1  Theses
Meysam Shamsi. Script optimization for TTS voice corpus design in audio-book generation
Computation and Language [cs.CL]. Université Rennes 1, 2020. English. ⟨NNT : 2020REN1S107⟩
hal-03270089v1  Conference papers
Ce ZhengMalcolm EganLaurent ClavierTroels PedersenJean-Marie Gorce. Linear combining in dependent α-stable interference
IEEE International Conference on Communications (IEEE ICC) / Workshop on NOMA for 5G and Beyond, Jun 2020, Dublin, Ireland. 6 p., ⟨10.1109/ICC40277.2020.9148724⟩
tel-03203886v2  Theses
Mathieu Besançon. Bilevel models for demand response in smart grids
Computer science. Ecole Centrale de Lille; Ecole polytechnique (Montréal, Canada), 2020. English. ⟨NNT : 2020ECLI0022⟩
hal-03094811v1  Journal articles
Thibaut MartyTomofumi YukiSteven Derrien. Safe Overclocking for CNN Accelerators through Algorithm-Level Error Detection
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2020, 39 (12), pp.4777 - 4790. ⟨10.1109/TCAD.2020.2981056⟩
hal-03268786v1  Conference papers
Fouzi BoukhalfaMohamed HaddedPaul MuhlethalerOyunchimeg Shagdar. Using visible light links in combination with radio communication in a vehicular network
PEMWN 2020 - 9th IFIP International Conference on Performance Evaluation and Modeling in Wireless Networks, Dec 2020, Berlin / Virtual, Germany. ⟨10.23919/PEMWN50727.2020.9293082⟩