Skip to Main content Skip to Navigation

hal-00633261v1  Conference papers
Thomas CluzeauAlban Quadrat. Module structure of classical multidimensional systems appearing in mathematical physics
Proceedings of Mathematical Theory of Networks and Systems (MTNS) 2010, Jul 2010, Budapest, Hungary. pp.Inconnu
inria-00633580v1  Conference papers
Sylvain GirbalSami YehiaHugues BerryOlivier Temam. Stream and Memory Hierarchy Design for Multi-Purpose Accelerators
1st Workshop on SoC Architecture, Accelerators and Workloads (SAW-1), Jan 2010, Bangalore, India
inria-00633586v1  Conference papers
Dominik AurasSylvain GirbalHugues BerryOlivier TemamSami Yehia. CMA: Chip Multi-Accelerator
IEEE Symposium on Application Specific Processors, SASP 2010., Jun 2010, Anaheim, CA, United States
inria-00633587v1  Conference papers
Dominik AurasSylvain GirbalHugues BerryOlivier TemamSami Yehia. Memory Interface for Multi-Purpose Multi-Stream Accelerators
International Conference on Compilers, Architectures and Synthesis for Embedded Systems, CASES 2010, 2010, Scottsdale, AZ, United States
hal-00690084v1  Conference papers
Nadia BoukhelifaFanny ChevalierJean-Daniel Fekete. Real-time Aggregation of Wikipedia Data for Visual Analytics
Proceedings of Visual Analytics Science and Technology (VAST 2010), Nov 2010, Los Alamitos, CA, USA, United States. pp.147--154, ⟨10.1109/VAST.2010.5652896⟩
hal-01896881v1  Conference papers
Patrick LaugGéraldine Pichot. Simulations in large tridimensional Discrete Fracture Networks (DFN): I. Geometric modeling and mesh generation
MASCOT 2018 - 15th IMACS/ISGG meeting on applied scientific computing and tools, Oct 2018, Rome, Italy. pp.1-2
hal-02514840v1  Conference papers
Mohsen SaidiAmani GhanmiFaouzi SlimaniSamir GhanmiAbel Cherouat. Étude de l’élaboration des matériaux bio-composites en utilisant les fibres de palmiers dattiers
Conference: Design and Modelling of Mechanical Systems, Mar 2017, Hammamet, Tunisie
hal-01960405v1  Conference papers
Emmanuel BaccelliJoerg DoerrOns JallouliShinji KikuchiAndreas Morgenstern et al.  Reprogramming Low-end IoT Devices from the Cloud
CIoT 2018 - 3rd Cloudification of the Internet of Things Conference, Jul 2018, Paris, France. ⟨10.1109/ciot.2018.8627129⟩
hal-01927391v1  Conference papers
Thomas KerdreuxFabian PedregosaAlexandre d'Aspremont. Frank-Wolfe with Subsampling Oracle
ICML 2018 - 35th International Conference on Machine Learning, Jul 2018, Stockholm, Sweden
hal-01927220v1  Conference papers
Sylvain ConchonAmit GoelSava KrsticRupak MajumdarMattias Roux. FAR-Cubicle — A new reachability algorithm for Cubicle
2017 Formal Methods in Computer-Aided Design (FMCAD), Oct 2017, Vienna, France. ⟨10.23919/FMCAD.2017.8102256⟩
hal-01632947v1  Conference papers
Ran ChenJean-Jacques Lévy. A Semi-automatic Proof of Strong connectivity
9th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE), Jul 2017, Heidelberg, Germany
hal-01633469v1  Conference papers
Julien Lavauzelle. Constructions for efficient Private Information Retrieval protocols
WCC 2017 - The Tenth International Workshop on Coding and Cryptography, INRIA; SUAI; Skoltech, Sep 2017, Saint-Petersbourg, Russia. pp.1-12
hal-01203716v2  Conference papers
Mathieu CarriereSteve OudotMaks Ovsjanikov. Sliced Wasserstein Kernel for Persistence Diagrams
ICML 2017 - Thirty-fourth International Conference on Machine Learning, Aug 2017, Sydney, Australia. pp.1-10
inria-00493005v2  Conference papers
Álvaro FialhoRaymond RosMarc SchoenauerMichèle Sebag. Comparison-based Adaptive Strategy Selection with Bandits in Differential Evolution
11th International Conference on Parallel Problem Solving From Nature - PPSN, Sep 2010, Krakow, Poland
hal-01633105v1  Conference papers
Mathieu CarriereMarco CuturiSteve Y. Oudot. Sliced Wasserstein Kernel for Persistence Diagrams
ICML 2017 - Thirty-fourth International Conference on Machine Learning, Aug 2017, Sydney, Australia. pp.1-10
hal-01676892v1  Conference papers
Sabine PeresPhilippe DagueMario JolicœurStefan Schuster. Computing EFMs consistent with equilibrium constants
Metabolic Pathway Analysis MPA 2017, Jul 2017, Bozeman, United States
hal-01927282v1  Conference papers
Maxime BuronFrançois GoasdouéIoana ManolescuMarie-Laure Mugnier. Rewriting-Based Query Answering for Semantic Data Integration Systems
BDA: Gestion de Données – Principes, Technologies et Applications, Oct 2018, Bucarest, Romania
hal-01633096v1  Conference papers
Marc-Andre SchulzGaël VaroquauxAlexandre GramfortBertrand ThirionDanilo Bzdok. Label scarcity in biomedicine: Data-rich latent factor discovery enhances phenotype prediction
Neural Information Processing Systems, Machine Learning in Health Workshop, Dec 2017, Long Beach, United States
hal-01633109v1  Conference papers
Mathieu CarriereSteve Y. Oudot. Local Equivalence and Intrinsic Metrics Between Reeb Graphs
SoCG 2017 - 33rd International Symposium on Computational Geometry, Jul 2017, Brisbane, Australia. pp.1-15, ⟨10.4230/LIPIcs.SoCG.2017.25⟩
inria-00627771v1  Conference papers
Swan DuboisMaria Gradinariu Potop-ButucaruMikhail NesterenkoSébastien Tixeuil. Self-stabilizing Byzantine Asynchronous Unison
OPODIS 2010 - 14th International Conference On Principles Of DIstributed Systems, Dec 2010, Tozeur, Tunisia. pp.83-86, ⟨10.1007/978-3-642-17653-1_7⟩
hal-01649042v1  Conference papers
Jean Bernard EytardMarianne AkianMustapha BouhtouStéphane Gaubert. A bilevel optimization model for load balancing in mobile networks through price incentives
WiOpt 2017 - 15th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, May 2017, Paris, France. pp.1-8, ⟨10.23919/WIOPT.2017.7959902⟩
hal-01890787v2  Conference papers
Arnaud ProuzeauAnastasia BezerianosOlivier Chapuis. Awareness Techniques to Aid Transitions between Personal and Shared Workspaces in Multi-Display Environments
Proceedings of the 2018 International Conference on Interactive Surfaces and Spaces, Nov 2018, Tokyo, Japan. pp.291--304, ⟨10.1145/3279778.3279780⟩
hal-01648365v1  Conference papers
Edgar Galván-LópezLucia Vázquez-MendozaMarc SchoenauerLeonardo Trujillo. On the Use of Dynamic GP Fitness Cases in Static and Dynamic Optimisation Problems
EA 2017- International Conference on Artificial Evolution, Evelyne Lutton, Oct 2017, Paris, France. pp.1-14