Search - Archive ouverte HAL Access content directly

Filter your results

399 Results
Deposit type : Notice

Inner and outer reachability for the verification of control systems

Eric Goubault , Sylvie Putot
Proceedings of the 22th ACM International Conference on Hybrid Systems: Computation and Control, ACM, pp.11-22, 2019, ⟨10.1145/3302504.3311794⟩
Book sections hal-02632550v1

Modular Focused Proof Systems for Intuitionistic Modal Logics

Kaustuv Chaudhuri , Sonia Marin , Lutz Strassburger
FSCD 2016 - 1st International Conference on Formal Structures for Computation and Deduction, Jun 2016, Porto, Portugal. ⟨10.4230/LIPIcs.FSCD.2016.16⟩
Conference papers hal-01417603v1

How arithmetic and geometry make error correcting codes better

Alain Couvreur
2021
Preprints, Working Papers, ... hal-03400779v1

See360: Novel Panoramic View Interpolation

Marie-Paule Cani , Wan-Chi Siu , Zhi-Song Liu
IEEE Transactions on Image Processing, 2022, 31, pp.1857-1869. ⟨10.1109/TIP.2022.3148819⟩
Journal articles hal-03648811v1

On the security of a Loidreau rank metric code based encryption scheme

Daniel Coggia , Alain Couvreur
Designs, Codes and Cryptography, 2020, 88 (9), pp.1941-1957. ⟨10.1007/s10623-020-00781-4⟩
Journal articles hal-03049694v1

Full Convergence of the Iterative Bayesian Update and Applications to Mechanisms for Privacy Protection

Ehab Elsalamouny , Catuscia Palamidessi
EuroS&P 2020 - 5th IEEE European Symposium on Security and Privacy, Sep 2020, Genova, Italy. pp.490-507
Conference papers hal-03091504v1

Establishing the Price of Privacy in Federated Data Trading

Kangsoo Jung , Sayan Biswas , Catuscia Palamidessi
Protocols, Strands, and Logic, 13066, Springer International Publishing, pp.232-250, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-91631-2_13⟩
Book sections hal-03589837v1

Classical and Quantum Algorithms for Generic Syndrome Decoding Problems and Applications to the Lee Metric

André Chailloux , Thomas Debris-Alazard , Simona Etinski
PQCrypto 2021 - Post-Quantum Cryptography 12th International Workshop, Jul 2021, Daejeon, South Korea. pp.44-62, ⟨10.1007/978-3-030-81293-5_3⟩
Conference papers hal-03529777v1

MSCopilot: New smartphone-based digital biomarkers correlate with Expanded Disability Status Scale scores in people with Multiple Sclerosis

Ian-Christopher Tanoh , Elisabeth Maillart , Pierre Labauge , Mikael Cohen , Adil Maarouf et al.
Multiple Sclerosis and Related Disorders, 2021, 55, pp.103164. ⟨10.1016/j.msard.2021.103164⟩
Journal articles hal-03648668v1

Recovering high-level conditions from binary programs

A. Djoudi , S. Bardin , É. Goubault
FM 2016: Formal Methods. FM 2016. Lecture Notes in Computer Science, Nov 2016, Limassol, Cyprus. pp.235-253, ⟨10.1007/978-3-319-48989-6_15⟩
Conference papers cea-01834972v1

Factoring Safe Semiprimes with a Single Quantum Query

Frédéric Grosshans , Thomas Lawson , Benjamin Smith , François Morain
2016
Preprints, Working Papers, ... hal-01229587v1

The Frobenius FFT

Joris van Der Hoeven , Robin Larrieu
The International Symposium on Symbolic and Algebraic Computation 2017, Jul 2017, Kaiserslautern, France. pp.437-444, ⟨10.1145/3087604.3087633⟩
Conference papers hal-02350408v1

Minimal Distance of Propositional Models

Mike Behrisch , Miki Hermann , Stefan Mengel , Gernot Salzer
Theory of Computing Systems, 2019, 63 (6), pp.1131-1184. ⟨10.1007/s00224-018-9896-8⟩
Journal articles hal-02322184v1

2-Stack Sorting is Polynomial

Adeline Pierrot , Dominique Rossin
Theory of Computing Systems, 2017, 60 (3), pp.552 - 579. ⟨10.1007/s00224-016-9743-8⟩
Journal articles hal-01758837v1

ODMAC++: An IoT Communication Manager Based on Energy Harvesting Prediction

Samuel Perez , Juan Antonio Cordero Fuertes , Marceau Coupechoux
IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), Oct 2017, Montreal, Canada. pp.1-7
Conference papers hal-02287620v1

Special Issue on Computational Logic ( in honor to Roy Dyckhoff) of Journal of Logic and Computation

Didier Galmiche , Stéphane Graham-Lengrand
Oxford University Press (OUP), 26 (2), 2016, ⟨10.1093/logcom/exu039⟩
Books hal-01263202v1

Asynchronous Traces and Open Petri Nets

Paolo Baldan , Filippo Bonchi , Fabio Gadducci , Valentina Monreale
Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday, Jun 2015, Pisa, Italy. pp.86-102, ⟨10.1007/978-3-319-25527-9_8⟩
Conference papers hal-01285297v1

The Impact of Random Initialization on the Runtime of Randomized Search Heuristics

Carola Doerr , Benjamin Doerr
Algorithmica, 2016, 75, pp.529-553. ⟨10.1007/s00453-015-0019-5⟩
Journal articles hal-01363851v1

Provably Optimal Self-Adjusting Step Sizes for Multi-Valued Decision Variables

Benjamin Doerr , Carola Doerr , Timo Kötzing
Parallel Problem Solving from Nature – PPSN XIV, Sep 2016, Edinburgh, United Kingdom. pp.782-791
Conference papers hal-01363911v1

Solving Problems with Unknown Solution Length at Almost No Extra Cost

Benjamin Doerr , Carola Doerr , Timo Kötzing
Algorithmica, 2019, 81, pp.703-748. ⟨10.1007/s00453-018-0477-7⟩
Journal articles hal-01921042v1

Theory of Parameter Control for Discrete Black-Box Optimization: Provable Performance Gains Through Dynamic Parameter Choices

Benjamin Doerr , Carola Doerr
Theory of Evolutionary Computation, pp.271-321, 2019, ⟨10.1007/978-3-030-29414-4_6⟩
Book sections hal-02436293v1

IncaRNAfbinv 2.0 - A webserver and software with motif control for fragment-based design of RNAs

Matan Drory Retwitzer , Vladimir Reinharz , Alexander Churkin , Yann Ponty , Jérôme Waldispühl et al.
Bioinformatics, 2020, 36 (9), pp.2910--2922. ⟨10.1093/bioinformatics/btaa039⟩
Journal articles hal-02423237v1

The Brownian continuum random tree as the unique solution to a fixed point equation

Marie Albenque , Christina Goldschmidt
Electronic Communications in Probability, 2015, 20 (61), pp.1-14. ⟨10.1214/ECP.v20-4250⟩
Journal articles hal-02408709v1

Key-Recovery Attacks on ASASA.

Brice Minaud , Patrick Derbez , Pierre-Alain Fouque , Pierre Karpman
Journal of Cryptology, 2018, 31 (3), pp.845-884
Journal articles hal-02470995v1

RNA Bioinformatics and ensemble dynamic programming

Yann Ponty
5th biennial Canadian Discrete and Algorithmic Mathematics Conference - CanaDAM 2015, Jun 2015, Saskatoon, Canada
Conference papers hal-01569852v1

The BRaliBase dent - a tale of benchmark design and interpretation.

Benedikt Löwes , Cedric Chauve , Yann Ponty , Robert Giegerich
Briefings in Bioinformatics, 2017, 18 (2), pp.306--311. ⟨10.1093/bib/bbw022⟩
Journal articles hal-01273406v1

An upper bound on the number of rational points of arbitrary projective varieties over finite fields

Alain Couvreur
Proceedings of the American Mathematical Society, 2016, 144 (9), pp.3671-3685. ⟨10.1090/proc/13015⟩
Journal articles hal-01069510v1

Eigenvectors of Non-Linear Maps on the Cone of Positive Semidefinite Matrices Application to Stability Analysis

Nikolas Stott , Xavier Allamigeon , Stéphane Gaubert , Eric Goubault , Sylvie Putot et al.
SIAM Conference on Control and its Applications (SIAM CT’15), Jul 2015, Paris, France
Conference papers hal-01263384v1

The locality dilemma of Sankoff-like RNA alignments

Teresa Müller , Milad Miladi , Frank Hutter , Ivo Hofacker , Sebastian Will et al.
Bioinformatics, 2020, 36 (Supplement_1), pp.i242-i250. ⟨10.1093/bioinformatics/btaa431⟩
Journal articles hal-02909014v1

Web-based Structural Identifiability Analyzer

Ilia Ilmer , Alexey Ovchinnikov , Gleb Pogudin
2022
Preprints, Working Papers, ... hal-03826838v1