Skip to Main content Skip to Navigation

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 MichalonCorentin RibeyreMarie CanditoAlexis Nasr. Deeper syntax for better semantic parsing
Coling 2016 - 26th International Conference on Computational Linguistics, Dec 2016, Osaka, Japan
hal-01392822v1  Conference papers
Laurence DanlosMathieu ConstantLucie 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 BawdenBenoî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 KeelerNathan RossAihua XiaBartł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 AmorimNathan CollinsAndré DehonDelphine DemangeCă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-01152168v2  Journal articles
Quentin MerigotJean-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 BhargavanAntoine Delignat-LavaudCédric FournetAnitha GollamudiGeorges 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 RossettoClaudio R. GeyerLuciana ArantesPierre 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-01408208v1  Conference papers
Guillaume BaudartTimothy BourkeMarc Pouzet. Soundness of the Quasi-Synchronous Abstraction
Formal Methods in Computer-Aided Design (FMCAD), Oct 2016, Mountain View, CA, United States. pp.9-16
tel-01407461v1  Theses
Thomas Schatz. ABX-Discriminability Measures and Applications
Cognitive science. Université Paris 6 (UPMC), 2016. English
hal-01380699v1  Conference papers
Michel AbdallaMario CornejoAnca NitulescuDavid 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 CuryMarc LorenziDavid CashJennifer NicholasAlexandre 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 AcarArthur CharguéraudMike RaineyFilip 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 DanosRicardo 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 DrebesAntoniu PopKarine HeydemannAlbert CohenNathalie 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 SuzanneAntoine 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 FrickerFabrice GuilleminPhilippe RobertGuilherme 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 AltisenStéphane DevismesAnaïs DurandFranck 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 CouteauThomas PetersDavid 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 CanardDavid PointchevalOlivier SandersJacques 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 BlinCédric CourtaudJulien SopenaJulia LawallGilles 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 GarridoDavid Gonzalez BautistaVicente MilanésJoshué PérezFawzi 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 BernardLaurence 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