Skip to Main content Skip to Navigation


hal-03457951v1  Conference papers
Jean-Claude BajardKazuhide FukushimaShinsaku KiyomotoThomas PlantardArnaud Sipasseuth et al.  Generating Residue Number System Bases
ARITH 2021- IEEE 28th Symposium on Computer Arithmetic, Jun 2021, Virtual, France. pp.86-93, ⟨10.1109/ARITH51176.2021.00027⟩
...
hal-03457549v1  Poster communications
Smeety Pramij¹Aline Roc¹Fabien Lotte¹. Freedom! Making a case for more options for users during training in BCI
International vBCI Meeting, Jun 2021, Virtual, Online, France
...
hal-03457541v1  Poster communications
Aline RocFabien Lotte. A framework for user training adaptation in Brain-Computer Interfaces based on mental tasks (MT-BCIs)
International vBCI meeting, Jun 2021, Virtual, Online, France
...
hal-03457381v1  Book sections
Ricardo LangnerLonni BesançonChristopher CollinsTim DwyerPetra Isenberg et al.  An Introduction to Mobile Data Visualization
Mobile Data Visualization, Chapman and Hall/CRC, pp.1-32, In press, ⟨10.1201/9781003090823-1⟩
...
hal-03457378v1  Book sections
Lonni BesançonWolfgang AignerMagdalena BoucherTim DwyerTobias Isenberg. 3D Mobile Data Visualization
Mobile Data Visualization, Chapman and Hall/CRC, pp.111-150, In press, ⟨10.1201/9781003090823-4⟩
hal-03457352v1  Conference papers
Matteo ManighettiDale MillerAlberto Momigliano. Two Applications of Logic Programming to Coq
26th International Conference on Types for Proofs and Programs (TYPES 2020), Mar 2020, Turin, Italy
hal-03457312v1  Journal articles
Dale MillerAlexandre Viel. The undecidability of proof search when equality is a logical connective
Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2021, ⟨10.1007/s10472-021-09764-0⟩
hal-03457303v1  Journal articles
Tomer LibalDale Miller. Functions-as-constructors higher-order unification: extended pattern unification
Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2021, ⟨10.1007/s10472-021-09774-y⟩
...
hal-03457211v1  Conference papers
Guillaume Daval-FrérotAurélien MassireMathilde RipartBoris MailhéMariappan S. Nadar et al.  Off-resonance correction of non-Cartesian SWI using internal field map estimation
International Society for Magnetic Resonance in Medicine, May 2021, Online, United States
...
hal-02013889v5  Conference papers
Hicham JanatiThomas BazeilleBertrand ThirionMarco CuturiAlexandre Gramfort. Group level MEG/EEG source imaging via optimal transport: minimum Wasserstein estimates
IPMI 2019 - 26th international conference on Information Processing in Medical Imaging, Jun 2019, Hong Kong, Hong Kong SAR China
...
hal-03453909v1  Conference papers
Emiliano LoriniFrançois Schwarzentruber. A Computationally Grounded Logic of Graded Belief
17th European Conference on Logics in Artificial Intelligence (JELIA 2021), May 2021, virtual event, France. pp.245-261, ⟨10.1007/978-3-030-75775-5_17⟩
...
hal-03453911v1  Conference papers
Emiliano LoriniFrançois Schwarzentruber. Multi-Agent Belief Base Revision
Thirtieth International Joint Conference on Artificial Intelligence , Aug 2021, Montreal, Canada. pp.1959-1965, ⟨10.24963/ijcai.2021/270⟩
hal-03456344v1  Conference papers
Clotilde DjuikemFrédéric GrognardSuzanne Touzeau. Impulsive model and hyperparasite-based biocontrol of coffee leaf rust propagation
MPDEE 2021 - Conference on Mathematical Population Dynamics, Ecology and Evolution, Apr 2021, Marseille, France
...
hal-03456477v1  Conference papers
Nicolas LevyNicolas Schabanel. ENSnano: a 3D modeling software for DNA nanostructures
DNA27 - 27th International Conference on DNA Computing and Molecular Programming, Sep 2021, Oxford, France. ⟨10.4230/LIPIcs.DNA.2021.12⟩
hal-03456382v1  Book sections
Georgia TsaloliBei LiangCarlo BrunettaGustavo BanegasAikaterini Mitrokotsa. DEVA: Decentralized, Verifiable Secure Aggregation for Privacy-Preserving Learning
Information Security, 13118, Springer International Publishing, pp.296-319, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-91356-4_16⟩
...
hal-03456224v1  Conference papers
H. NadourNicolas MarchandL. ReveretP. Legreneur. Formation tracking of target moving on natural surfaces
2021 International Conference on Unmanned Aircraft Systems (ICUAS), Jun 2021, Athens, Greece. pp.295-302, ⟨10.1109/icuas51884.2021.9476835⟩
...
hal-01389812v2  Journal articles
Mitia Duerinckx. Well-posedness for mean-field evolutions arising in superconductivity
Annales de l'Institut Henri Poincaré C, Analyse non linéaire, 2017
...
hal-03195616v1  Journal articles
Luca CalatroniGuillaume GarrigosLorenzo RosascoSilvia Villa. Accelerated Iterative Regularization via Dual Diagonal Descent
SIAM Journal on Optimization, Society for Industrial and Applied Mathematics, 2021, 31 (1), pp.754-784. ⟨10.1137/19M1308888⟩
...
hal-01633040v2  Journal articles
Mitia DuerinckxAntoine Gloria. Multiscale functional inequalities in probability: constructive approach
Annales Henri Lebesgue, UFR de Mathématiques - IRMAR, 2020
...
hal-01633041v2  Journal articles
Mitia DuerinckxAntoine Gloria. Multiscale functional inequalities in probability: concentration properties
ALEA : Latin American Journal of Probability and Mathematical Statistics, Instituto Nacional de Matemática Pura e Aplicada, 2020
hal-03455981v1  Book sections
Vincent DanosHamza El KhalloufiJulien Prat. Global Order Routing on Exchange Networks
Financial Cryptography and Data Security. FC 2021 International Workshops, 12676, Springer Berlin Heidelberg, pp.207-226, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-63958-0_19⟩
hal-03455973v1  Journal articles
W. WaitesM. CavaliereD. ManheimJ. Panovska-GriffithsV. Danos. Rule-based epidemic models
Journal of Theoretical Biology, Elsevier, 2021, 530, pp.110851. ⟨10.1016/j.jtbi.2021.110851⟩
...
hal-03455968v1  Conference papers
Paul-André Melliès. Asynchronous Template Games and the Gray Tensor Product of 2-Categories
LICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2021, Rome, Italy. ⟨10.1109/LICS52264.2021.9470758⟩
...
hal-01941685v1  Conference papers
Thibaud RahierSylvain MariéStéphane GirardFlorence Forbes. Screening strong pairwise relationships for fast Bayesian network structure learning
2nd Italian-French Statistics Seminar - IFSS, Sep 2018, Grenoble, France
...
hal-03455481v1  Conference papers
Ted MoskovitzJack Parker-HolderAldo PacchianoMichael ArbelMichael Jordan. Tactical Optimism and Pessimism for Deep Reinforcement Learning
Neural Information Processing Systems 2021, 2021, Online, France
...
hal-03455478v1  Conference papers
Michael ArbelAlexander MatthewsArnaud Doucet. Annealed Flow Transport Monte Carlo
International Conference on Machine Learning 2021, 2021, Online, France
...
hal-03455473v1  Conference papers
Pierre GlaserMichael ArbelArthur Gretton. KALE Flow: A Relaxed KL Gradient Flow for Probabilities with Disjoint Support
Conference on Neural Information Processing Systems 2021, 2021, Online, France
...
hal-03455459v1  Conference papers
David BasinJannik DreierSofia GiampietroSaša Radomirović. Verifying Table-Based Elections
CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.2632-2652, ⟨10.1145/3460120.3484555⟩
...
tel-03454941v1  Theses
Daniel Rodrigues Carvalho. Towards Compression At All Levels In The Memory Hierarchy
Other [cs.OH]. Université de Rennes 1, 2021. English
...
hal-03454868v1  Conference papers
Mohamed OulaaffartRemi BadonnelOlivier Festor. Towards Automating Security Enhancement for Cloud Services
IFIP/IEEE International Symposium on Integrated Network Management (IM), May 2021, Lyon / Virtuel, France
...
hal-03454809v1  Conference papers
Vivien CabannesLoucas Pillaud-VivienFrancis BachAlessandro Rudi. Overcoming the curse of dimensionality with Laplacian regularization in semi-supervised learning
NeurIPS 2021 - Thirty-fifth conference on Neural Information Processing Systems (NeurIPS), Dec 2021, Online, Unknown Region
...
hal-02010690v1  Journal articles
Hugo Sánchez-ReyesJosue TagoLudovic MétivierVictor Cruz-AtienzaJean Virieux. An Evolutive Linear Kinematic Source Inversion
Journal of Geophysical Research : Solid Earth, American Geophysical Union, 2018, 123 (6), pp.4859-4885. ⟨10.1029/2017JB015388⟩
...
hal-03454640v1  Conference papers
Nathan GrinsztajnJohan FerretOlivier PietquinPhilippe PreuxMatthieu Geist. There Is No Turning Back: A Self-Supervised Approach for Reversibility-Aware Reinforcement Learning
Thirty-fifth Conference on Neural Information Processing Systems, Dec 2021, Virtual, France
hal-03454566v1  Conference papers
Damien SauveronK. MarkantonakisK. MayesR.N. AkramOussama Habachi et al.  AI-based Solutions to Optimize Strategic Properties of UAV Swarms
5th AETOS Unmanned and Swarming International Conference, Oct 2018, Bordeaux, France
...
hal-03447244v1  Conference papers
Dorian BaudryRomain GautronEmilie KaufmannOdalric-Ambryn Maillard. Optimal Thompson Sampling strategies for support-aware CVaR bandits
38th International Conference on Machine Learning, Jul 2021, Virtual, France
...
hal-03454215v1  Journal articles
Michael BenediktPierre BourhisBalder ten CateGabriele PuppisMichael Vanden Boom. INFERENCE FROM VISIBLE INFORMATION AND BACKGROUND KNOWLEDGE
ACM Transactions on Computational Logic, Association for Computing Machinery, 2021
hal-03454382v1  Journal articles
Andriy KryshtafovychJohn MoultWendy BillingsDennis Della CorteKrzysztof Fidelis et al.  Modeling SARS‐CoV‐2 proteins in the CASP‐commons experiment
Proteins - Structure, Function and Bioinformatics, Wiley, 2021, 89 (12), pp.1987-1996. ⟨10.1002/prot.26231⟩
...
hal-03454377v1  Conference papers
Peiyuan ZhangAntonio OrvietoHadi DaneshmandThomas HofmannRoy Smith. Revisiting the Role of Euler Numerical Integration on Acceleration and Stability in Convex Optimization
AISTATS 2021 - 24th International Conference on Artifi-cial Intelligence and Statistics, Apr 2021, Virtual, Unknown Region
...
hal-03454342v1  Conference papers
Peiyuan ZhangAntonio OrvietoHadi Daneshmand. Rethinking the Variational Interpretation of Accelerated Optimization Methods
NeurIPS 2021 - Thirty-fifth Conference on Neural Information, Dec 2021, Virtual, Unknown Region
hal-03454325v1  Book sections
Carlo BrunettaGeorgia TsaloliBei LiangGustavo BanegasAikaterini Mitrokotsa. Non-interactive, Secure Verifiable Aggregation for Decentralized, Privacy-Preserving Learning
Information Security and Privacy, 13083, Springer International Publishing, pp.510-528, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-90567-5_26⟩
hal-03454249v1  Conference papers
William PierréLionel HervéCédric AllierSophie MoralesSergei Grudinin et al.  Deep learning framework applied to optical diffraction tomography (ODT)
Three-Dimensional and Multidimensional Microscopy: Image Acquisition and Processing XXVIII, SPIE, Mar 2021, Online Only, France. pp.1, ⟨10.1117/12.2582361⟩
...
hal-03454243v1  Conference papers
Hadi DaneshmandAmir JoudakiFrancis Bach. Batch Normalization Orthogonalizes Representations in Deep Random Networks
NeurIPS 2021 - 35th Conference on Neural Information Processing Systems, Dec 2021, Virtual, France
...
hal-03454237v1  Conference papers
Adrien VacherBoris MuzellecAlessandro RudiFrancis BachFrançois-Xavier Vialard. A Dimension-free Computational Upper-bound for Smooth Optimal Transport Estimation
COLT 2021 - 34th Annual Conference on Learning Theory, Aug 2021, Boulder, United States
...
hal-03099898v2  Journal articles
Cédric ColasBoris P. HejblumSébastien RouillonRodolphe ThiébautPierre-Yves Oudeyer et al.  EpidemiOptim: a Toolbox for the Optimization of Control Policies in Epidemiological Models
Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2021, ⟨10.1613/jair.1.12588⟩
hal-03453997v1  Conference papers
Michele SebagOmar ShritDavid Filliat. Iterative Learning for Model Reactive Control: Application to Autonomous Multi-agent Control
2021 7th International Conference on Automation, Robotics and Applications (ICARA), Feb 2021, Prague, France. pp.140-146, ⟨10.1109/ICARA51699.2021.9376454⟩
hal-03453996v1  Conference papers
Michele SebagRoman BressonJohanne CohenEyke HüllermeierChristophe Labreuche. On the Identifiability of Hierarchical Decision Models
18th International Conference on Principles of Knowledge Representation and Reasoning , Nov 2020, Hanoii, France. pp.151-162, ⟨10.24963/kr.2021/15⟩
hal-03453687v1  Book sections
Luca CalatroniMarta LazzarettiSimone RebegoldiClaudio Estatico. A Scaled and Adaptive FISTA Algorithm for Signal-Dependent Sparse Image Super-Resolution Problems
Scale Space and Variational Methods in Computer Vision, 12679, Springer International Publishing, pp.242-253, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-75549-2_20⟩
hal-03453684v1  Journal articles
Luca CalatroniGuillaume GarrigosLorenzo RosascoSilvia Villa. Accelerated Iterative Regularization via Dual Diagonal Descent
SIAM Journal on Optimization, Society for Industrial and Applied Mathematics, 2021, 31 (1), pp.754-784. ⟨10.1137/19M1308888⟩
hal-03453681v1  Book sections
Luca CalatroniMonica PragliolaAlessandro LanzaFiorella Sgallari. Residual Whiteness Principle for Automatic Parameter Selection in $$\ell _2$$-$$\ell _2$$ Image Super-Resolution Problems
Scale Space and Variational Methods in Computer Vision, 12679, Springer International Publishing, pp.476-488, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-75549-2_38⟩
...
hal-03453550v1  Journal articles
Olivier BronchainSebastian FaustVirginie LallemandGregor LeanderLéo Perrin et al.  MOE: Multiplication Operated Encryption with Trojan Resilience
IACR Transactions on Symmetric Cryptology, Ruhr Universität Bochum, 2021, 2021 (1), pp.78-129. ⟨10.46586/tosc.v2021.i1.78-129⟩