Skip to Main content Skip to Navigation


hal-02458550v1  Journal articles
Nicolas VasilacheOleksandr ZinenkoTheodoros TheodoridisPriya GoyalZachary Devito et al.  The Next 700 Accelerated Layers
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2019, 16 (4), pp.1-26. ⟨10.1145/3355606⟩
hal-02458680v1  Journal articles
Lorenzo CheliniOleksandr ZinenkoTobias GrosserHenk Corporaal. Declarative Loop Tactics for Domain-specific Optimization
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2019, 16 (4), pp.4:1-25. ⟨10.1145/3372266⟩
hal-03047053v1  Directions of work or proceedings
Sahbi SidhomDavy MonticoloHabib Sidhom. SIIE'2019 PROCEEDINGS 8th. Edition of the International Conference on: “Information Systems and Economic Intelligence”.
SIDHOM Sahbi (University ofLorraine, France); Davy MONTICOLO (University of Lorraine, France); Habib SIDHOM (President of the University of Tunis, Tunisia). International Conference on “Information Systems and Economic Intelligence”: 8th. Edition., Feb 2020, Tunis, Tunisia. 1, pp.208, 2019, SIIE'2019 e-PROCEEDINGS 8th. Edition of the International Conference on: “Information Systems and Economic Intelligence”
hal-02434885v1  Book sections
Alexander Schulz-RosengartenReinhard von HanxledenFrédéric MalletRobert de SimoneJulien Deantoni. Time in SCCharts
Language, Design Methods, and Tools for Electronic System Design, Springer, pp.1-25, 2019, ⟨10.1007/978-3-030-31585-6_1⟩
hal-03162314v1  Journal articles
Loïc FrazzaAdrien LoseilleAlain DervieuxFrédéric Alauzet. Nonlinear corrector for Reynolds‐averaged Navier‐Stokes equations
International Journal for Numerical Methods in Fluids, Wiley, 2019, 91 (11), pp.557-585. ⟨10.1002/fld.4764⟩
hal-02425599v1  Journal articles
Frédéric CazalsDorian MazauricRomain TetleyRémi Watrigant. Comparing Two Clusterings Using Matchings between Clusters of Clusters
ACM Journal of Experimental Algorithmics, Association for Computing Machinery, 2019, 24 (1), pp.1-41. ⟨10.1145/3345951⟩
hal-02297692v1  Journal articles
Jin WuZebo ZhouJingjun ChenHassen FouratiRui Li. Corrections to Fast Complementary Filter for Attitude Estimation Using Low-Cost MARG Sensors
IEEE Sensors Journal, Institute of Electrical and Electronics Engineers, 2019, 19 (24), pp.12511. ⟨10.1109/JSEN.2019.2939646⟩
hal-02374286v1  Conference papers
Deng TangBimal MandalSubhamoy Maitra. Vectorial Boolean Functions with Very Low Differential-Linear Uniformity Using Maiorana-McFarland Type Construction
INDOCRYPT 2019 - The 20th International Conference on Cryptology in India, Dec 2019, Hyderabad, India. ⟨10.1007/978-3-030-35423-7_17⟩
hal-02413682v1  Conference papers
Antoine Usseglio-CarleveStéphane GirardGilles Stupfler. Nonparametric extreme conditional expectile estimation
CMStatistics 2019 - 12th International Conference of the ERCIM WG on Computational and Methodological Statistics, Dec 2019, London, United Kingdom
hal-02413948v1  Conference papers
Marta CrispinoStéphane GirardJulyan Arbel. Dependence properties and Bayesian inference for asymmetric multivariate copulas
CMStatistics 2019 - 12th International Conference of the ERCIM WG on Computational and Methodological Statistics, Dec 2019, London, United Kingdom
hal-02335762v1  Conference papers
Paul ViallardRémi EmonetPascal GermainAmaury HabrardEmilie Morvant. Interpreting Neural Networks as Majority Votes through the PAC-Bayesian Theory
Workshop on Machine Learning with guarantees @ NeurIPS 2019, Dec 2019, Vancouver, Canada
hal-03373614v1  Conference papers
Guillaume DucoffeMichel HabibLaurent Viennot. Fast Diameter Computation within Split Graphs
COCOA 2019 - 13th Annual International Conference on Combinatorial Optimization and Applications, Dec 2019, Xiamen, China
hal-02374720v1  Journal articles
Halgurd TaherSimona OlmiEckehard Schöll. Enhancing power grid synchronization and stability through time delayed feedback control
Physical Review E : Statistical, Nonlinear, and Soft Matter Physics, American Physical Society, 2019, 100, pp.062306. ⟨10.1103/PhysRevE.100.062306⟩
hal-02421959v1  Conference papers
Yan ZhangKe-Li WuFabien Seyfert. A Preconditioner for Synthesizing Dispersive Bandpass Filters Using Isospectral Flow Method
APMC 2019 - Asia-Pacific Microwave Conference, Dec 2019, Singapour, Singapore
hal-02335326v1  Conference papers
Ludovic HoyetPierre PlantardAnthony SorelRichard KulpaFranck Multon. Influence of Motion Speed on the Perception of Latency in Avatar Control
AIVR 2019 - 2nd IEEE International Conference on Artificial Intelligence & Virtual Reality, Dec 2019, San-Diego, United States
hal-02463259v1  Conference papers
Roland HildebrandAndrei Afonin. The extreme rays of the 6x6 copositive cone
Conic and Copositive Optimization, Dec 2019, Linz, Austria
hal-02463262v1  Conference papers
Roland Hildebrand. On the convexity properties of the barrier parameter in conic programming
Conic and Copositive Optimization, Dec 2019, Linz, Austria
hal-02374725v1  Journal articles
Liudmila TumashSimona OlmiEckehard Schöll. Stability and control of power grids with diluted network topology
Chaos: An Interdisciplinary Journal of Nonlinear Science, American Institute of Physics, 2019, 29, pp.123105. ⟨10.1063/1.5111686⟩
hal-02429725v1  Conference papers
Yder MassonJulien DiazFlorian FaucherSevan AdourianBarbara Romanowicz et al.  Wave-propagation modeling using the distributional finite difference method
AGU Fall Meeting 2019, Dec 2019, San Francisco, United States
hal-02424057v1  Conference papers
Thomas Debris-AlazardNicolas SendrierJean-Pierre Tillich. Wave: A New Family of Trapdoor One-Way Preimage Sampleable Functions Based on Codes
ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. pp.21-51, ⟨10.1007/978-3-030-34578-5_2⟩
hal-02423249v1  Conference papers
Guillaume LampleAlexandre SablayrollesMarc'Aurelio RanzatoLudovic DenoyerHervé Jégou. Large Memory Layers with Product Keys
NeurIPS 2019 - Thirty-third Conference on Neural Information Processing Systems, Dec 2019, Vancouver, Canada
hal-02174309v1  Conference papers
Titouan VayerRémi FlamaryRomain TavenardLaetitia ChapelNicolas Courty. Sliced Gromov-Wasserstein
NeurIPS 2019 - Thirty-third Conference on Neural Information Processing Systems, Dec 2019, Vancouver, Canada
hal-02425602v1  Conference papers
Frédéric CazalsAlix Lhéritier. Low-Complexity Nonparametric Bayesian Online Prediction with Universal Guarantees
NeurIPS 2019 - Thirty-third Conference on Neural Information Processing Systems, Dec 2019, Vancouver, Canada
hal-02357181v1  Conference papers
Théo RyffelEdouard Dufour-SansRomain GayFrancis BachDavid Pointcheval. Partially Encrypted Machine Learning using Functional Encryption
NeurIPS 2019 - Thirty-third Conference on Neural Information Processing Systems, Dec 2019, Vancouver, Canada
hal-02387400v1  Conference papers
Mathis FleuryGiulia LioiChristian BarillotAnatole Lécuyer. The use of haptic feedback in Brain-Computer Interfaces and Neurofeedback
rtFIN 2019 - Real Time Functional Imaging and Neurofeedback, Dec 2019, Maastricht, Netherlands
hal-02448134v1  Conference papers
Hugo CisnerosJosef SivicTomas Mikolov. Evolving Structures in Complex Systems
SSCI 2019 - IEEE Symposium Series on Computational Intelligence, Dec 2019, Xiamen, China
hal-02433486v1  Journal articles
Pierre FraigniaudDennis Olivetti. Distributed Detection of Cycles
ACM Transactions on Parallel Computing, Association for Computing Machinery, 2019, 6 (3), pp.1-20. ⟨10.1145/3322811⟩
hal-02470839v1  Journal articles
Pierre-Alain FouqueMehdi Tibouchi. Close to Uniform Prime Number Generation With Fewer Random Bits.
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2019, 65 (2), pp.1307-1317
hal-02373619v1  Conference papers
Cléo DerooAngélique MontuwyBéatrice DegraeveJean-Michel AuberletMarie-Axelle Granie et al.  Evitement de collision entre deux piétons sur un trottoir étroit
SOFPEL 2019 - 26ème congrès de la Société Francophone Posture, Équilibre et Locomotion, Dec 2019, Montréal, Canada
hal-02373665v1  Poster communications
Robyn GrundbergMichael CinelliSheryl BourgaizeArmel CrétualAnne-Hélène Olivier. Collision avoidance strategies in older adults
SOFPEL 2019 - 26ème congrès de la Société Francophone Posture, Équilibre et Locomotion, Dec 2019, Montréal, Canada
hal-02373525v1  Conference papers
Anne-Hélène OlivierNicolas Le BorgneMarie BabelArmel CrétualJulien Pettré. Evitement de collision entre un piéton et une personne sur un fauteuil roulant motorisé
SOFPEL 2019 - 26ème congrès de la Société Francophone Posture, Équilibre et Locomotion, Dec 2019, Montréal, Canada
hal-02423879v1  Conference papers
Florian Faucher. Reciprocity-based inversion enabling sparse acquisitions
ANTS Workshop on Computational Helioseismology, Dec 2019, Bordeaux, France
hal-02751040v1  Conference papers
Rodrigue Domga KomguemRazvan StanicaMaurice TchuenteFabrice Valois. Adaptive message generation in intersection monitoring WSN
Conférence de Recherche en Informatique, Dec 2019, Yaoundé, Cameroon
hal-01964541v1  Journal articles
Xavier HinautJohannes Twiefel. Teach Your Robot Your Language! Trainable Neural Parser for Modelling Human Sentence Processing: Examples for 15 Languages
IEEE Transactions on Cognitive and Developmental Systems, Institute of Electrical and Electronics Engineers, Inc, 2019, ⟨10.1109/TCDS.2019.2957006⟩
hal-02404259v1  Conference papers
Anthony MichelBastien HamlatJocelyne ErhelThibault Faney. Multiphase chemical kinetics modeling for aqueous-minerals reactive systems
SITRAM 2019 - Advances in the SImulation of reactive flow and TRAnsport in porous Media, Dec 2019, Pau, France. pp.1
hal-02406253v1  Conference papers
Jean-Christophe Filliâtre. Deductive Verification of OCaml Libraries
iFM 2019 - International Conference on integrated Formal Methods, Dec 2019, Bergen, Norway
hal-02538276v1  Journal articles
Chloé Friguet. Les forêts aléatoires avec R de Robin GENUER et Jean-Michel POGGI (2019)
Statistique et Société, Société française de statistique, 2019
hal-03144919v1  Journal articles
Francesco BronzinoPaul SchmittSara AyoubiGuilherme MartinsRenata Teixeira et al.  Inferring Streaming Video Quality from Encrypted Traffic: Practical Models and Deployment Experience
Proceedings of the ACM on Measurement and Analysis of Computing Systems , ACM, 2019, ACM Sigmetrics 2020, 3 (3), ⟨10.1145/3366704⟩
hal-02315542v1  Journal articles
Jorge Eduardo FajardoRojan ShresthaNelson GilAdam BelsomSilvia Crivelli et al.  Assessment of chemical‐crosslink‐assisted protein structure modeling in CASP13
Proteins - Structure, Function and Bioinformatics, Wiley, 2019, Critical Assessment of Methods of Protein Structure Prediction (CASP) Special Issue, 87 (12), pp.1283-1297. ⟨10.1002/prot.25816⟩
hal-02315292v1  Journal articles
Greg HuraCurtis HodgeDaniel RosenbergDmytro GuzenkoJose Duarte et al.  Small angle X‐ray scattering‐assisted protein structure prediction in CASP13 and emergence of solution structure differences
Proteins - Structure, Function and Bioinformatics, Wiley, 2019, Critical Assessment of Methods of Protein Structure Prediction (CASP) Special Issue, 87 (12), pp.1298-1314. ⟨10.1002/prot.25827⟩