Skip to Main content Skip to Navigation

hal-01631219v1  Journal articles
Diego FigueiraLuc Segoufin. Bottom-up automata on data trees and vertical XPath
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (4), ⟨10.23638/LMCS-13(4:5)2017⟩
hal-01414741v1  Book sections
Jean-Antoine DesideriRégis Duvigneau. Parametric optimization of pulsating jets in unsteady flow by Multiple-Gradient Descent Algorithm (MGDA)
J. Périaux; W. Fitzgibbon; B. Chetverushkin; O. Pironneau. Numerical Methods for Differential Equations, Optimization, and Technological Problems, Modeling, Simulation and Optimization for Science and Technology, 2017
hal-01557417v1  Conference papers
Marc-Michel RohéManasi DatarTobias HeimannMaxime SermesantXavier Pennec. SVF-Net: Learning Deformable Image Registration Using Shape Matching
MICCAI 2017 - the 20th International Conference on Medical Image Computing and Computer Assisted Intervention, Sep 2017, Québec, Canada. pp.266-274, ⟨10.1007/978-3-319-66182-7_31⟩
hal-01663174v1  Book sections
François GonardMarc SchoenauerMichèle Sebag. Algorithm Selector and Prescheduler in the ICON challenge
El-Ghazali Talbi; Amir Nakib. Bioinspired heuristic optimization , Springer Verlag, In press, Computational Intelligence
hal-01615427v1  Conference papers
Odalric-Ambrym Maillard. Boundary Crossing for General Exponential Families
Algorithmic Learning Theory, Oct 2017, Kyoto, Japan. pp.1 - 34
hal-01664822v1  Conference papers
Teobaldo BulhoesRuslan SadykovEduardo UchoaAnand Subramanian. On the exact solution of a large class of parallel machine scheduling problems
Proceedings of the 8th Multidisciplinary International Conference on Scheduling : Theory and Applications, Dec 2017, Kuala-Lumpur, Malaysia. pp.325-328
hal-01415568v1  Conference papers
Ihsen HedhliGabriele MoserSebastiano SerpicoJosiane Zerubia. Multi-resolution Classification of Urban Areas Using Hierarchical Symmetric Markov Mesh Models
IEEE GRS/ISPRS Joint Urban Remote Sensing Event (JURSE), Mar 2017, Dubai, United Arab Emirates
hal-01424793v1  Conference papers
Leonidas LampropoulosDiane Gallois-WongCătălin HriţcuJohn HughesBenjamin C. Pierce et al.  Beginner's Luck: A Language for Random Generators
44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2017, Paris, France. pp.114-129, ⟨10.1145/3009837.3009868⟩
hal-01625302v1  Conference papers
Luca ArpaiaMario Ricchiuto. Robust adaptive simulations for the 2011 Tohoku tsunami
SIAM Conference on Mathematical and Computational Issues in the Geosciences, Sep 2017, Erlangen, Germany
hal-01672736v1  Conference papers
Danel AhmanTarmo Uustalu. Taking Updates Seriously
Proceedings of the 6th International Workshop on Bidirectional Transformations co‐located with The European Joint Conferences on Theory and Practice of Software - ETAPS 2017, Apr 2017, Uppsala, Sweden. pp.59--73
hal-01424794v1  Conference papers
Danel AhmanCătălin HriţcuKenji MaillardGuido MartínezGordon Plotkin et al.  Dijkstra Monads for Free
44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2017, Paris, France. pp.515-529, ⟨10.1145/3009837.3009878⟩
hal-01672479v1  Conference papers
Arnaud CadasAna Bušic. An online disaggregation algorithm and its application to demand control
PGMO Days 2017, Nov 2017, Saclay, France. pp.1
hal-01665611v1  Conference papers
Paula CarrollDamian FlynnBernard FortzAlex Melhorn. Sub-hour Unit Commitment MILP Model with Benchmark Problem Instances
ICCSA 2017 - 17th International Conference on Computational Science and Its Applications , Jul 2017, Trieste, Italy. pp.635-651, ⟨10.1007/978-3-319-62395-5_44⟩
hal-01715026v1  Books
Charles Riondet. Le Comité parisien de la Libération (1943-1945)
Presses Universitaires de Rennes, pp.304, 2017, 978-2-7535-5181-7
hal-01483487v1  Book sections
Clair PoignardAude SilveLars Wegner. Different Approaches Used in Modeling of Cell Membrane Electroporation
Handbook of Electroporation, Springer, pp.24, 2017, Handbook of Electroporation, 978-3-319-26779-1. ⟨10.1007/978-3-319-26779-1_3-1⟩
hal-01677348v1  Books
Henri CohenFredrik Strömberg. Modular Forms: A Classical Approach
American Mathematical Society, 179, pp.1-700, 2017, Graduate Studies in Mathematics, 978-0-8218-4947-7
hal-01677405v1  Conference papers
Hector Martinez AlonsoŽeljko AgićBarbara PlankAnders Søgaard. Parsing Universal Dependencies without training
EACL 2017 - 15th Conference of the European Chapter of the Association for Computational Linguistics, Apr 2017, Valencia, Spain. pp.229 - 239
hal-01677416v1  Conference papers
Mathieu ConstantHector Martinez Alonso. Benchmarking Joint Lexical and Syntactic Analysis on Multiword-Rich Data
MWE 2017 - 13th Workshop on Multiword Expressions, Apr 2017, Valencia, Spain. pp.181 - 186
hal-01609295v1  Journal articles
Guillermo PolitoLuc FabresseNoury BouraqadiStéphane Ducasse. Run-Fail-Grow: Creating Tailored Object-Oriented Runtimes.
The Journal of Object Technology, Chair of Software Engineering, 2017, 16 (3), pp.1 - 36. ⟨10.5381/jot.2017.16.3.a2⟩
hal-01651749v1  Conference papers
Clement Beysson. Déterminants et quantificateurs généralisés dynamiques
TALN 2017 - Traitement Automatique des Langues Naturelles, Jun 2017, Orléans, France. pp.81-93
hal-01442693v2  Reports
Giovanni NegliaDamiano CarraPietro Michiardi. Cache Policies for Linear Utility Maximization
[Research Report] RR-9010, Inria Sophia Antipolis. 2017
hal-01653593v1  Journal articles
Pierre-Yves Oudeyer. What do we learn about development from baby robots?
Wiley Interdisciplinary Reviews: Cognitive Science, Wiley, 2017, 8 (1-2), ⟨10.1002/wcs.1395⟩
hal-01501424v1  Conference papers
Robert RiemannStéphane Grumbach. Distributed Protocols at the Rescue for Trustworthy Online Voting
3rd International Conference on Information Systems Security and Privacy (ICISSP 2017), Feb 2017, Porto, Portugal. pp.499 - 505, ⟨10.5220/0006228504990505⟩