Search - Archive ouverte HAL Access content directly

Filter your results

118 Results
Structure: Internal structure identifier : 36235

Causal Unfoldings

Marc de Visme , Glynn Winskel
8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), Jun 2019, London, United Kingdom. ⟨10.4230/LIPIcs.CONCUR.2019.11⟩
Conference papers hal-02863476v1
Image document

Polarised Intermediate Representation of Lambda Calculus with Sums

Guillaume Munch-Maccagnoni , Gabriel Scherer
Thirtieth Annual ACM/IEEE Symposium on Logic In Computer Science (LICS 2015), Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.22⟩
Conference papers hal-01160579v2
Image document

A formalism for consistency and partial replication

Marc Shapiro , Karthikeyan Bhargavan , Yek Chong , Youssef Hamadi
[Technical Report] Microsoft Research. 2004
Reports inria-00444800v1
Image document

Generating events with style

Matthieu Boutier , Gabriel Kerneis
2012
Preprints, Working Papers, ... hal-00742098v2
Image document

Hardware-Software Codesign of a Vector Co-processor for Public Key Cryptography

Jacques Jean-Alain Fournier , Simon Moore
9th Euromicro Conference on Digital System Design, Aug 2006, Dubrovnik, Croatia. pp.439-446
Conference papers emse-00489003v1

Non-angelic Concurrent Game Semantics

Simon Castellan , Pierre Clairambault , Jonathan Hayman , Glynn Winskel
21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2018), Apr 2018, Thessaloniki, Greece. ⟨10.1007/978-3-319-89366-2_1⟩
Conference papers hal-01886951v1
Image document

What's in Your Tweets? I Know Who You Supported in the UK 2010 General Election

Antoine Boutet , Hyoungshick Kim , Eiko Yoneki
The International AAAI Conference on Weblogs and Social Media (ICWSM), Jun 2012, Dublin, Ireland
Conference papers hal-00702390v1

What's in Twitter: I Know What Parties are Popular and Who You are Supporting Now!

Antoine Boutet , Eiko Yoneki , Kim Hyoungshick
2012 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2012), Aug 2012, Istanbul, Turkey
Conference papers hal-00702405v1
Image document

Rethinking IXPs' Architecture in the Age of SDN

Marc Bruyère , Gianni Antichi , Eder L Fernandes , Rémy Lapeyrade , Steve Uhlig et al.
IEEE Journal on Selected Areas in Communications, 2018, 36 (12), pp.2667-2674. ⟨10.1109/JSAC.2018.2871294⟩
Journal articles hal-01862776v1
Image document

The BioMart community portal: an innovative alternative to large, centralized data repositories

Damian Smedley , Syed Haider , Steffen Durinck , Luca Pandini , Paolo Provero et al.
Nucleic Acids Research, 2015, 43 (W1), pp.W589-W598. ⟨10.1093/nar/gkv350⟩
Journal articles hal-01146849v1
Image document

Haggle: a Networking Architecture Designed Around Mobile Users

James Scott , Jon Crowcroft , Pan Hui , Christophe Diot
WONS 2006 : Third Annual Conference on Wireless On-demand Network Systems and Services, INRIA, INSA Lyon, Alcatel, IFIP, Jan 2006, Les Ménuires (France), pp.78-86
Conference papers inria-00001012v1
Image document

Constraining rule-based dynamics with types

Vincent Danos , Russ Harmer , Glynn Winskel
Mathematical Structures in Computer Science, 2013, 23 (02), pp.272-289
Journal articles hal-01976370v1
Image document

A unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so on

Tom Hirschowitz , Ambroise Lafont
2022
Preprints, Working Papers, ... hal-03633933v1

Remarks on isomorphisms in typed lambda calculi with empty and sum types

Marcelo Fiore , Roberto Di Cosmo , Vincent Balat
Annals of Pure and Applied Logic, 2006, 141 (1-2), pp.35-50. ⟨10.1016/j.apal.2005.09.001⟩
Journal articles hal-00149560v1
Image document

DiCE: Dichoptic Contrast Enhancement for VR and Stereo Displays

Fangcheng Zhong , George Alex Koulieris , George Drettakis , Martin S Banks , Mathieu Chambe et al.
ACM Transactions on Graphics, 2019, SIGGRAPH Asia Proceedings, 38 (6), ⟨10.1145/3355089.3356552⟩
Journal articles hal-02281073v1
Image document

First Person Sketch-based Terrain Editing

Flora Ponjou Tasse , Arnaud Emilien , Marie-Paule Cani , Stefanie Hahmann , Adrien Bernhardt et al.
Graphics Interface 2014, May 2014, Montréal, Canada. pp.217-224
Conference papers hal-00976689v1

Context-sensitive flow analyses: a hierarchy of model reductions

Ferdinanda Camporesi , Jérôme Feret , Jonathan Hayman
CMSB - 11th Conference on Computational Methods in Systems Biology - 2013, Ashutosh Gupta and Thomas A. Henzinger, Sep 2013, Klosterneuburg, Austria. pp.220-233, ⟨10.1007/978-3-642-40708-6_17⟩
Conference papers istex hal-00846893v1
Image document

Computational Logic for Biomedicine and Neurosciences

Elisabetta de Maria , Joelle Despeyroux , Amy Felty , Pietro Lió , Carlos Olarte et al.
2020
Preprints, Working Papers, ... hal-02895930v2

Computational Modeling as a Methodology for Studying Human Language Learning

Thierry Poibeau , Aline Villavicencio , Anna Korhonen , Afra Alishahi
A. Villavicencio, T. Poibeau, A. Korhonen and A. Alishahi. Cognitive Aspects of Computational Language Acquisition, Springer, pp.1-26, 2013, Theory and Applications of Natural Language Processing, 978-3-642-31863-4
Book sections hal-00783285v1

The concurrent game semantics of Probabilistic PCF

Simon Castellan , Pierre Clairambault , Hugo Paquet , Glynn Winskel
the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), Jul 2018, Oxford, France. ⟨10.1145/3209108.3209187⟩
Conference papers hal-01886965v1

Dynamical influence of vortex-antivortex pairs in magnetic vortex oscillators

R. M. Otxoa , S. Petit-Watelot , M. Manfrini , I. P. Radu , A. Thean et al.
Journal of Magnetism and Magnetic Materials, 2015, 394, pp.292-298. ⟨10.1016/j.jmmm.2015.06.057⟩
Journal articles hal-01284020v1
Image document

Cache Tracker: A Key Component for Flexible Many-Core Simulation on FPGAs

Jonathan Woodruff , Greg Chadwick , Simon Moore
WARP - 5th Annual Workshop on Architectural Research Prototyping, Jun 2010, Saint Malo, France
Conference papers inria-00494102v1
Image document

Signatures and models for syntax and operational semantics in the presence of variable binding

Ambroise Lafont
Logic in Computer Science [cs.LO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2019. English. ⟨NNT : 2019IMTA0161⟩
Theses tel-03267858v1

eCOUSIN : enhanced COntent distribUtion with Social INformation

Yannick Le Louedec , Angel Cuevas Rumin , Danny de Vleeschlauwer , Joerg Widmer , Noel Crespi et al.
Future Network & Mobile Summit 2013, Jul 2013, Lisbon, Portugal. 2013
Poster communications hal-01369474v1
Image document

Brief Announcement: A formalism for consistency and partial replication

Marc Shapiro , Karthikeyan Bhargavan , Yek Chong , Youssef Hamadi
DISC 2004 - 18th International Conference on Distributed Computing, Oct 2004, Trippenhuis, Amsterdam, Netherlands
Conference papers inria-00444779v1

Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums

Vincent Balat , Roberto Di Cosmo , Marcelo Fiore
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Jan 2004, pp.64-76, ⟨10.1145/964001.964007⟩
Conference papers hal-00149561v1
Image document

The Parallel Intensionally Fully Abstract Games Model of PCF

Simon Castellan , Pierre Clairambault , Glynn Winskel
Thirtieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.31⟩
Conference papers hal-01286477v1
Image document

The True Concurrency of Herbrand’s Theorem

Aurore Alcolei , Pierre Clairambault , Martin Hyland , Glynn Winskel
27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Sep 2018, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.CSL.2018.5⟩
Conference papers hal-01886968v1
Image document

LexSchem: A Large Subcategorization Lexicon for French Verbs

Cédric Messiant , Anna Korhonen , Thierry Poibeau
LREC 2008, 2008, Marrakech, Morocco. pp.142
Conference papers hal-00539025v1
Image document

Investigating the cross-linguistic potential of VerbNet-style classification

Lin Sun , Anna Korhonen , Thierry Poibeau , Cédric Messiant
CoLing 2010, 2010, Beijing, China, China. pp.94
Conference papers hal-00539036v1