Skip to Main content Skip to Navigation
  1. Search


...
tel-01599253v1  Theses
Ghita Jalal. Reification of visual properties for composition tasks
Human-Computer Interaction [cs.HC]. Université Paris Saclay (COmUE), 2016. English. ⟨NNT : 2016SACLS554⟩
...
hal-01391678v1  Conference papers
Olivier Michalon, Corentin Ribeyre, Marie Candito, Alexis Nasr. Deeper syntax for better semantic parsing
Coling 2016 - 26th International Conference on Computational Linguistics, Dec 2016, Osaka, Japan
...
hal-01392822v1  Conference papers
Laurence Danlos, Mathieu Constant, Lucie Barque. Improvement of VerbNet-like resources by frame typing
Workshop on Grammar and Lexicon: interactions and interfaces (GramLex), The COLING 2016 Organizing Committee, Dec 2016, Osaka, Japan. pp.61-70
...
hal-01391743v2  Conference papers
Rachel Bawden, Benoît Crabbé. Boosting for Efficient Model Selection for Syntactic Parsing
COLING 2016 - 26th International Conference on Computational Linguistics, Dec 2016, Osaka, Japan. pp.1-11
hal-01331897v1  Journal articles
Holger Paul Keeler, Nathan Ross, Aihua Xia, Bartłomiej Błaszczyszyn. Stronger wireless signals appear more Poisson
IEEE wireless communications letters, IEEE comsoc, 2016, 5 (6), pp.572 - 575. ⟨10.1109/LWC.2016.2601913⟩
hal-01424797v1  Journal articles
Arthur Azevedo de Amorim, Nathan Collins, André Dehon, Delphine Demange, Cătălin Hriţcu et al.  A Verified Information-Flow Architecture
Journal of Computer Security, IOS Press, 2016, 24 (6), pp.689--734. ⟨10.3233/JCS-15784⟩
...
hal-01409069v1  Journal articles
Umut Acar, Arthur Charguéraud, Mike Rainey. Oracle-Guided Scheduling for Controlling Granularity in Implicitly Parallel Languages
Journal of Functional Programming, Cambridge University Press (CUP), 2016, 26, ⟨10.1017/S0956796816000101⟩
...
hal-01976359v1  Journal articles
Matteo Cavaliere, Guoli Yang, Vincent Danos, Vasilis Dakos. Detecting the Collapse of Cooperation in Evolving Networks
Scientific Reports, Nature Publishing Group, 2016, 6 (1), ⟨10.1038/srep30845⟩
...
hal-01152168v2  Journal articles
Quentin Merigot, Jean-Marie Mirebeau. Minimal geodesics along volume preserving maps, through semi-discrete optimal transport
SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, 2016, 54 (6), pp.3465-3492. ⟨10.1137/15M1017235⟩
...
hal-01400469v1  Conference papers
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi, Georges Gonthier et al.  Formal Verification of Smart Contracts: Short Paper
ACM Workshop on Programming Languages and Analysis for Security, Oct 2016, Vienna, Austria. ⟨10.1145/2993600.2993611⟩
...
hal-01352162v1  Conference papers
Anubis Graciela de Moraes Rossetto, Claudio R. Geyer, Luciana Arantes, Pierre Sens. Implementing a flexible failure detector that expresses the confidence in the system
LADC 2016 - 7th Latin-American Symposium on Dependable Computing, Oct 2016, Cali, Colombia
...
hal-01421772v1  Conference papers
Vadim Kantorov, Maxime Oquab, Minsu Cho, Ivan Laptev. ContextLocNet: Context-Aware Deep Network Models for Weakly Supervised Localization
ECCV 2016, Oct 2016, Amsterdam, Netherlands. pp.350 - 365, ⟨10.1007/978-3-319-46454-1_22⟩
...
hal-01408208v1  Conference papers
Guillaume Baudart, Timothy Bourke, Marc Pouzet. Soundness of the Quasi-Synchronous Abstraction
Formal Methods in Computer-Aided Design (FMCAD), Oct 2016, Mountain View, CA, United States. pp.9-16
...
hal-00952720v1  Journal articles
Pedro Machado Manhães de Castro, Quentin Merigot, Boris Thibert. Far-field reflector problem and intersection of paraboloids
Numerische Mathematik, Springer Verlag, 2016, 134 (2), pp.389-411. ⟨10.1007/s00211-015-0780-z⟩
...
tel-01407461v1  Theses
Thomas Schatz. ABX-Discriminability Measures and Applications
Cognitive science. Université Paris 6 (UPMC), 2016. English
hal-01380699v1  Conference papers
Michel Abdalla, Mario Cornejo, Anca Nitulescu, David Pointcheval. Robust Password-Protected Secret Sharing
ESORICS 2016 - 21st European Symposium on Research in Computer Security, Sep 2016, Heraklion, Greece. pp.61-79, ⟨10.1007/978-3-319-45741-3_4⟩
...
hal-01440061v1  Conference papers
Claire Cury, Marc Lorenzi, David Cash, Jennifer Nicholas, Alexandre Routier et al.  Spatio-Temporal Shape Analysis of Cross-Sectional Data for Detection of Early Changes in Neurodegenerative Disease
SeSAMI 2016 - First International Workshop Spectral and Shape Analysis in Medical Imaging, Sep 2016, Athens, Greece. pp.63 - 75, ⟨10.1007/978-3-319-51237-2_6⟩
...
hal-01409022v1  Conference papers
Umut Acar, Arthur Charguéraud, Mike Rainey, Filip Sieczkowski. Dag-calculus: a calculus for parallel computation
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP), Sep 2016, Nara, Japan. pp.18 - 32, ⟨10.1145/2951913.2951946⟩
...
tel-01684181v1  Theses
Nhat Minh Lê. Kahn Process Networks as Concurrent Data Structures: Lock Freedom, Parallelism, Relaxation in Shared Memory
Programming Languages [cs.PL]. Ecole normale supérieure - ENS PARIS, 2016. English
...
hal-01976443v1  Conference papers
Vincent Danos, Ricardo Honorato-Zimmer. Emergent Communities in Socio-cognitive Networks
2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Sep 2016, Augsburg, Germany. pp.24-29
...
hal-01425743v1  Conference papers
Andi Drebes, Antoniu Pop, Karine Heydemann, Albert Cohen, Nathalie Drach. Scalable Task Parallelism for NUMA: A Uniform Abstraction for Coordinated Scheduling and Memory Management
PACT'16 - ACM/IEEE Conference on Parallel Architectures and Compilation Techniques, Sep 2016, Haifa, Israel. pp.125 - 137, ⟨10.1145/2967938.2967946⟩
...
hal-01360566v1  Conference papers
Thibault Suzanne, Antoine Miné. From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models
SAS 2016 - 23rd Static Analysis Symposium, Sep 2016, Edinburgh, United Kingdom. pp.469-488, ⟨10.1007/978-3-662-53413-7_23⟩
hal-01179206v1  Journal articles
Christine Fricker, Fabrice Guillemin, Philippe Robert, Guilherme Thompson. Analysis of an offloading scheme for data centers in the framework of fog computing
ACM Transactions on Modeling and Performance Evaluation of Computing Systems, ACM, 2016, 1 (4), pp.18. ⟨10.1145/2950047⟩
...
hal-01215190v5  Conference papers
Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit. Gradual Stabilization under τ-Dynamics
Euro-Par 2016 - 22nd International Conference on Parallel and Distributed Computing, Aug 2016, Grenoble, France. pp.588-602, ⟨10.1007/978-3-319-43659-3_43⟩
hal-01407341v1  Conference papers
Geoffroy Couteau, Thomas Peters, David Pointcheval. Encryption Switching Protocols
Crypto 2016 - 36th Annual International Cryptology Conference, Aug 2016, Santa Barbara, United States. ⟨10.1007/978-3-662-53018-4_12⟩
hal-01377998v1  Journal articles
Sébastien Canard, David Pointcheval, Olivier Sanders, Jacques Traoré. Divisible e-cash made practical
IET Information Security, Institution of Engineering and Technology, 2016, ⟨10.1049/iet-ifs.2015.0485⟩
...
hal-01346979v1  Conference papers
Antoine Blin, Cédric Courtaud, Julien Sopena, Julia Lawall, Gilles Muller. Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System
28th EUROMICRO Conference on Real-Time Systems (ECRTS'16), Jul 2016, Toulouse, France
...
hal-01356691v1  Conference papers
Fernando Garrido, David Gonzalez Bautista, Vicente Milanés, Joshué Pérez, Fawzi Nashashibi. Optimized trajectory planning for Cybernetic Transportation Systems
9th IFAC Symposium on Intelligent Autonomous Vehicles IAV 2016, Jun 2016, Leipzig, Germany. pp.1-6
...
hal-01329539v1  Conference papers
Timothée Bernard, Laurence Danlos. Modelling Discourse in STAG: Subordinate Conjunctions and Attributing Phrases
12th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+12), Jun 2016, Düsseldorf, Germany. pp.38-47