Search - Archive ouverte HAL Access content directly

Filter your results

2 819 Results
Domains : info
Image document

Cell cycle progression is regulated by intertwined redox oscillators

Jorgelindo da Veiga Moreira , Sabine Pérès , Jean-Marc Steyaert , Erwan Bigan , Loïc Paulevé et al.
Theoretical Biology and Medical Modelling, 2015, 12 (1), pp.10. ⟨10.1186/s12976-015-0005-2⟩
Journal articles hal-01158514v1
Image document

Bijective evaluation of the connection coefficients of the double coset algebra

Alejandro H. Morales , Ekaterina A. Vassilieva
23rd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2011), 2011, Reykjavik, Iceland. pp.681-692, ⟨10.46298/dmtcs.2944⟩
Conference papers hal-00755301v2
Image document

Unraveling the molecular architecture of a G protein-coupled receptor/β-arrestin/Erk module complex

Thomas Bourquard , Flavie Landomiel , Eric Reiter , Pascale Crépieux , David W. Ritchie et al.
Scientific Reports, 2015, 5, pp.5:10760. ⟨10.1038/srep10760⟩
Journal articles lirmm-01162594v1

Linear lambda terms as invariants of rooted trivalent maps

Noam Zeilberger
Journal of Functional Programming, 2016, 26, ⟨10.1017/S095679681600023X⟩
Journal articles hal-01247757v1

Structural Cryptanalysis of McEliece Schemes with Algebraic Geometry codes

Irene Márquez-Corbella , Alain Couvreur , Ruud Pellikaan
Arithmétique, Géométrie, Cryptographie et Théorie des Codes, CIRM - Centre International de rencontres Mathématiques, May 2015, Luminy, France
Conference papers hal-01243394v1
Image document

Compact data structures for triangulations

Luca Castelli Aleardi , Olivier Devillers , Jarek Rossignac
Encyclopedia of Algorithms, Springer, 2015, ⟨10.1007/978-3-642-27848-8_589-1⟩
Book sections hal-01168565v1
Image document

From Geometric Semantics to Asynchronous Computability

Éric Goubault , Samuel Mimram , Christine Tasson
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_29⟩
Conference papers hal-01207146v1
Image document

On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control

Chuck Liang , Dale Miller
LPAR 20 - International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Nov 2015, Suva, Fiji. pp.297-312, ⟨10.1007/978-3-662-48899-7_21⟩
Conference papers hal-01239753v1
Image document

Average profiles, from tries to suffix-trees

Pierre Nicodème
2005 International Conference on Analysis of Algorithms, 2005, Barcelona, Spain. pp.257-266, ⟨10.46298/dmtcs.3390⟩
Conference papers hal-01184225v1

Logarithmic hyperseries

Lou van den Dries , Joris van Der Hoeven , Elliot Kaplan
Transactions of the American Mathematical Society, 2019, 372 (7), pp.5199-5241. ⟨10.1090/tran/7876⟩
Journal articles hal-02350409v1

Faster Polynomial Multiplication over Finite Fields

David Harvey , Joris van Der Hoeven , Grégoire Lecerf
Journal of the ACM (JACM), 2017, 63 (6), pp.1-23. ⟨10.1145/3005344⟩
Journal articles hal-02350386v1

Modular SIMD arithmetic in M athemagix

Joris van Der Hoeven , Grégoire Lecerf , Guillaume Quintin
ACM Transactions on Mathematical Software, 2016, 43 (1), pp.1-37. ⟨10.1145/2876503⟩
Journal articles hal-02350504v1

Interfacing mathemagix with C++

Joris van Der Hoeven , Grégoire Lecerf
the 38th international symposium on Symbolic and Algebraic Computation (ISSAC 2013), Jun 2013, Boston, France. pp.363, ⟨10.1145/2465506.2465511⟩
Conference papers hal-02350473v1
Image document

Non-kissing versus non-crossing

Yann Palu , Vincent Pilaud , Pierre-Guy Plamondon
FPSAC 2019 - 31th International Conference on Formal Power Series and Algebraic Combinatorics, Jul 2019, Ljubljana, Slovenia
Conference papers hal-02345102v1

Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities

O. Bouissou , E. Goubault , S. Putot , A. Chakarov , S. Sankaranarayanan et al.
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2016. Lecture Notes in Computer Science, Apr 2016, Eindhoven, Netherlands. pp.225-243, ⟨10.1007/978-3-662-49674-9_13⟩
Conference papers cea-01834974v1
Image document

Fast reduction of bivariate polynomials with respect to sufficiently regular Gröbner bases

Joris van Der Hoeven , Robin Larrieu
Preprints, Working Papers, ... hal-01702547v2

Strengthening the sequential convex MINLP technique by perspective reformulations

Claudia d'Ambrosio , Antonio Frangioni , Claudio Gentile
Optimization Letters, 2019, 13 (4), pp.673-684. ⟨10.1007/s11590-018-1360-9⟩
Journal articles hal-02322638v1

Lower Bounds for Parallel Machines Scheduling.

David Savourey , Philippe Baptiste , Antoine Jouglet
RIVF'2006, Research, Innovation and Vision for the Future, 2006, Ho Chi Minh Ville, Vietnam
Conference papers hal-01721167v1
Image document

Expressing Additives Using Multiplicatives and Subexponentials

Kaustuv Chaudhuri
Mathematical Structures in Computer Science, 2018, 28 (5), pp.651-666
Journal articles hal-01222767v1
Image document

A Proof-theoretic Characterization of Independence in Type Theory

Yuting Wang , Kaustuv Chaudhuri
13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015), Jul 2015, Warsaw, Poland. pp.332--346, ⟨10.4230/LIPIcs.TLCA.2015.332⟩
Conference papers hal-01222743v1
Image document

Kripke Models for Classical Logic

Danko Ilik , Gyesik Lee , Hugo Herbelin
Annals of Pure and Applied Logic, 2010, Special Issue: Classical Logic and Computation (2008), 161 (11), pp.1367-1378. ⟨10.1016/j.apal.2010.04.007⟩
Journal articles inria-00371959v4
Image document

Digital Signatures for Admittance Control in the Optimized Link State Routing Protocol version 2

Thomas Heide Clausen , Ulrich Herberg , Jérôme Milan
[Research Report] RR-7216, INRIA. 2010
Reports inria-00460057v1
Image document

On the asynchronous nature of the asynchronous π-calculus

Romain Beauxis , Catuscia Palamidessi , Frank D. Valencia
Rocco De Nicola, Pierpaolo Degano, and José Meseguer. Concurrency, Graphs and Models, Springer, pp.473-492, 2008, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-68679-8_29⟩
Book sections inria-00349226v2
Image document

A model-free approach to delta hedging

Michel Fliess , Cédric Join
[Research Report] 2010
Reports inria-00457222v1
Image document

Supervisory Control for Modal Specifications of Services

Philippe Darondeau , Jérémy Dubreil , Hervé Marchand
[Research Report] RR-7247, INRIA. 2010
Reports inria-00472736v1
Image document

On the bit-complexity of sparse polynomial and series multiplication

Joris van Der Hoeven , Grégoire Lecerf
Preprints, Working Papers, ... hal-00476223v1

Isogenies and the Discrete Logarithm Problem in Jacobians of Genus 3 Hyperelliptic Curves

Benjamin Smith
Eurocrypt 2008, International Association for Cryptologic Research, Apr 2008, Istanbul, Turkey. pp.163-180, ⟨10.1007/978-3-540-78967-3_10⟩
Conference papers inria-00537860v1
Image document

An extension of Kedlaya's algorithm to superelliptic curves

Pierrick Gaudry , Nicolas Gürel
Asiacrypt, 2001, Gold Coast, Australia. pp.480-494, ⟨10.1007/3-540-45682-1_28⟩
Conference papers inria-00514826v1
Image document

On the invariants of the quotients of the Jacobian of a curve of genus 2

Pierrick Gaudry , Éric Schost
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC 14, Nov 2001, Melbourne, Australia. pp.373-386, ⟨10.1007/3-540-45624-4_39⟩
Conference papers inria-00514434v1
Image document

Strategic Computation and Deduction

Claude Kirchner , Florent Kirchner , Helene Kirchner
Christoph Benzmüller and Chad E. Brown and Jörg Siekmann and Richard Statman. Reasoning in Simple Type Theory. Festchrift in Honour of Peter B. Andrews on His 70th Birthday, 17, College Publications, pp.339-364, 2008, Studies in Logic and the Foundations of Mathematics, 978-1-904987-70-3
Book sections inria-00433745v1