Search - Archive ouverte HAL Access content directly

Filter your results

125 714 Results
Image document

Masking in Fine-Grained Leakage Models: Construction, Implementation and Verification

Gilles Barthe , Marc Gourjon , Benjamin Grégoire , Maximilian Orlt , Clara Paglialonga et al.
IACR Transactions on Cryptographic Hardware and Embedded Systems, 2021, pp.189-228. ⟨10.46586/tches.v2021.i2.189-228⟩
Journal articles hal-03528937v1

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

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
Image document

Clustering Effect in Simon and Simeck

Gaëtan Leurent , Clara Pernot , André Schrottenloher
ASIACRYPT 2021 - 27th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2021, Virtual, Singapore. pp.272-302, ⟨10.1007/978-3-030-92062-3_10⟩
Conference papers hal-03529507v1
Image document

Transflower: probabilistic autoregressive dance generation with multimodal attention

Guillermo Valle Perez , Jonas Beskow , Gustav Eje Henter , Andre Holzapfel , Pierre-Yves Oudeyer et al.
SIGGRAPH Asia 2021 - 14th ACM SIGGRAPH Conference and Exhibition on Computer Graphics and Interactive Techniques, Dec 2021, Tokyo, Japan. ⟨10.1145/3478513.3480570⟩
Conference papers hal-03449915v1
Image document

Hybrid MARTE statecharts

Jing Liu , Ziwei Liu , Jifeng He , Frédéric Mallet , Zuohua Ding et al.
Frontiers of Computer Science, 2013, 7 (1), pp.95-108. ⟨10.1007/s11704-012-1301-1⟩
Journal articles hal-00800920v1
Image document

MOVES: a MemOry-based VEhicular Social Forwarding Technique

Anna Maria Vegni , Carlos Borrego Iglesias , Valeria Loscri
Computer Networks, 2021, 197, ⟨10.1016/j.comnet.2021.108324⟩
Journal articles hal-03282823v1
Image document

Evaluation of a new Radio Technology and Visible Light Communication for a Platooning Application

Fouzi Boukhalfa , Mohamed Hadded , Paul Mühlethaler , Oyunchimeg Shagdar
ISNCC 2021 - International Symposium on Networks, Computers and Communications, Oct 2021, Dubai, United Arab Emirates
Conference papers hal-03364383v1
Image document

Inverse moving point source problem for the wave equation

Hanin Al Jebawy , Abdellatif El Badia , Faouzi Triki
2022
Preprints, Working Papers, ... hal-03607257v1
Image document

Méthodes pour le raisonnement d'ordre supérieur dans SMT

Daniel El Ouraoui
Logique en informatique [cs.LO]. Université de Lorraine, 2021. Français. ⟨NNT : 2021LORR0023⟩
Theses tel-03203922v1
Image document

Non-trophic interactions strengthen the diversity-functioning relationship in an ecological bioenergetic network model

Vincent Miele , Christian Guill , Rodrigo Ramos-Jiliberto , Sonia Kéfi
PLoS Computational Biology, 2019, 15 (8), pp.e1007269. ⟨10.1371/journal.pcbi.1007269⟩
Journal articles hal-02331446v1

L’imitation de la vie en robotique entre fabrication et interactions

Joffrey Becker
SÉMINAIRE « ANTHROPOLOGIE DE LA VIE ET DES REPRÉSENTATIONS DU VIVANT » Vie terrestre / Vie extraterrestre. La perspective de l’anthropologie de la vie, Perig Pitrou; Observatoire de Paris; IRIS-PSL OCAV, Mar 2017, Paris, France
Conference papers hal-03685437v1
Image document

Transient and slim versus recurrent and fat: Random walks and the trees they grow

Giulio Iacobelli , Daniel Figueiredo , Giovanni Neglia
Journal of Applied Probability, 2019, 56 (03), pp.769-786. ⟨10.1017/jpr.2019.43⟩
Journal articles hal-02411250v1

A $p$-adic Descartes solver: the Strassman solver

Josué Tonelli-Cueto
2022
Preprints, Working Papers, ... hal-03609363v1

An Investigation of O-Demethyl Tramadol/Tramadol Ratio for Cytochrome P450 2D6 Phenotyping: The CYTRAM Study

Blandine de la Gastine , Soizic Percevault , Laurent Varin , Nicolas Richard , Fabienne Fobe et al.
Pharmaceutics, 2022, 14 (10), pp.2177. ⟨10.3390/pharmaceutics14102177⟩
Journal articles hal-03842709v1

Adherence to cysteamine in nephropathic cystinosis: A unique electronic monitoring experience for a better understanding. A prospective cohort study: CrYSTobs

S. Gaillard , L. Roche , S. Lemoine , G. Deschênes , D. Morin et al.
Pediatric Nephrology, 2021, 36 (3), pp.581-589. ⟨10.1007/s00467-020-04722-0⟩
Journal articles inserm-03282698v1
Image document

Existence of weak solutions to a cross-diffusion Cahn-Hilliard type system

Virginie Ehrlacher , Greta Marino , Jan-Frederik Pietschmann
Journal of Differential Equations, 2021, 286, pp.578-623
Journal articles hal-02888479v1
Image document

On the Performance of Spark on HPC Systems: Towards a Complete Picture

Orcun Yildiz , Shadi Ibrahim
SCA 2018 - SupercomputingAsia, Mar 2018, Singapore, Singapore. pp.70-89, ⟨10.1007/978-3-319-69953-0_5⟩
Conference papers hal-01742016v1
Image document

Unsupervised Domain Adaptation in Cross-corpora Abusive Language Detection

Tulika Bose , Irina Illina , Dominique Fohr
SocialNLP 2021 - The 9th International Workshop on Natural Language Processing for Social Media, Jun 2021, Virtual, France
Conference papers hal-03204605v1
Image document

On the multihomogeneous Bézout bound on the number of embeddings of minimally rigid graphs

Evangelos Bartzos , Ioannis Z. Emiris , Josef Schicho
Applicable Algebra in Engineering, Communication and Computing, 2020, 31 (5-6), pp.325-357
Journal articles hal-02696362v2
Image document

Generic Framework for Key-Guessing Improvements

Marek Broll , Federico Canale , Antonio Florez-Gutierrez , Gregor Leander , María Naya-Plasencia et al.
ASIACRYPT 2021 - 27th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2021, Singapour, Singapore. pp.453-483, ⟨10.1007/978-3-030-92062-3_16⟩
Conference papers hal-03528777v1
Image document

Nonideal self-gravity and cosmology: Importance of correlations in the dynamics of the large-scale structures of the Universe

P. Tremblin , G. Chabrier , T. Padioleau , S. Daley-Yates
Astronomy and Astrophysics - A&A, 2022, 659, pp.A108. ⟨10.1051/0004-6361/202142103⟩
Journal articles cea-03609788v1
Image document

Gröbner bases and critical values: The asymptotic combinatorics of determinantal systems

Jérémy Berthomieu , Alin Bostan , Andrew Ferguson , Mohab Safey El Din
Journal of Algebra, 2022, 602, pp.154-180. ⟨10.1016/j.jalgebra.2022.03.002⟩
Journal articles hal-03214157v2
Image document

A Generic Information and Consent Framework for the IoT

Mathieu Cunche , Daniel Le Métayer , Victor Morel
TRUSTCOM 2019 - 18th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Aug 2019, Rotorua, New Zealand. pp.1-8
Conference papers hal-02166181v1
Image document

A Relational Theory of Monadic Rewriting Systems, Part I

Claudia Faggian , Francesco Gavazzo
LICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2021, Rome, France. pp.1-14, ⟨10.1109/LICS52264.2021.9470633⟩
Conference papers hal-03455778v1
Image document

Enhancing Transparency and Consent in the Internet of Things

Victor Morel
Cryptography and Security [cs.CR]. Université de Lyon, 2020. English. ⟨NNT : ⟩
Theses tel-02973666v1
Image document

Topology identifies emerging adaptive mutations in SARS-CoV-2

Michael Bleher , Lukas Hahn , Juanángel Patiño-Galindo , Mathieu Carriere , Ulrich Bauer et al.
2021
Preprints, Working Papers, ... hal-03368477v1
Image document

Contributions to Random Forests Methods for several Data Analysis Problems

Robin Genuer
Statistics [math.ST]. Université de Bordeaux, 2021
Habilitation à diriger des recherches tel-03111020v2
Image document

STracking: a free and open-source Python library for particle tracking and analysis

Sylvain Prigent , Cesar Augusto Valades-Cruz , Ludovic Leconte , Jean Salamero , Charles Kervrann et al.
Bioinformatics, 2022, 38 (14), pp.3671-3673. ⟨10.1093/bioinformatics/btac365⟩
Journal articles hal-03688217v1
Image document

Modeling and Optimal Control of Magnetic Micro-Swimmers

Yacine El Alaoui-Faris
Optimization and Control [math.OC]. Université Côte D'Azur, 2020. English. ⟨NNT : ⟩
Theses tel-03129238v1