Search - Irisa Access content directly

Filter your results

9 943 Results
Deposit type : Fulltext
Image document

Audio-Visual Speaker Diarization Based on Spatiotemporal Bayesian Fusion

Israel Gebru , Sileye Ba , Xiaofei Li , Radu Horaud
IEEE Transactions on Pattern Analysis and Machine Intelligence, 2018, 40 (5), pp.1086 - 1099. ⟨10.1109/TPAMI.2017.2648793⟩
Journal articles hal-01413403v1
Image document

Experimental Study of Collective Pedestrian Dynamics

Cécile Appert-Rolland , Julien Pettré , Anne-Hélène Olivier , William Warren , Aymeric Duigou-Majumdar et al.
Collective Dynamics, 2020, 5, pp.A109. ⟨10.17815/CD.2020.109⟩
Journal articles hal-02992406v1
Image document

Narrow-band Deep Filtering for Multichannel Speech Enhancement

Xiaofei Li , Radu Horaud
2020
Preprints, Working Papers, ... hal-02378413v2
Image document

Distributed Caching of Scientific Workflows in Multisite Cloud

Gaëtan Heidsieck , Daniel de Oliveira , Esther Pacitti , Christophe Pradal , Francois Tardieu et al.
DEXA 2020 - 31st International Conference on Database and Expert Systems Applications, Sep 2020, Bratislava, Slovakia. pp.51-65, ⟨10.1007/978-3-030-59051-2_4⟩
Conference papers hal-02962579v1
Image document

Low-order absorbing boundary condition for two-dimensional isotropic poroelasticity

Hélène Barucq , Julien Diaz , Rose-Cloé Meyer , Ha Pham
[Research Report] RR-9358, Inria. 2020
Reports hal-02911686v2
Image document

A Scaling Analysis of a Star Network with Logarithmic Weights

Philippe Robert , Amandine Véber
Stochastic Processes and their Applications, 2019, ⟨10.1016/j.spa.2018.06.002⟩
Journal articles hal-01377703v2
Image document

Modelling and numerics for respiratory aerosols

Laurent Boudin , Céline Grandmont , Alexander Lorz , Ayman Moussa
Communications in Computational Physics, 2015, 18 (3), pp.723-756. ⟨10.4208/cicp.180714.200415a⟩
Journal articles hal-01044590v1
Image document

Détection d’événements sonores environnementaux dans les réseauxde capteurs sans fil à faible consommation

Marie-Anne Lacroix
Réseaux et télécommunications [cs.NI]. Université de Rennes 1 (UR1), 2022. Français. ⟨NNT : ⟩
Theses tel-03741342v1
Image document

Physical Enrichment Triggers Brain Plasticity and Influences Blood Plasma Circulating miRNA in Rainbow Trout (Oncorhynchus mykiss)

Emilie Cardona , Valentin Brunet , Léo Milhade , Sandrine Skiba-Cassy , Julien Bobe et al.
Biology, 2022, 11 (8), ⟨10.3390/biology11081093⟩
Journal articles hal-03755536v1
Image document

Accélération matérielle pour la traduction dynamique de programmes binaires

Simon Rokicki
Architectures Matérielles [cs.AR]. Université de Rennes, 2018. Français. ⟨NNT : 2018REN1S086⟩
Theses tel-01959136v2
Image document

Genomic balancing selection is key to the invasive success of the fall armyworm

Sudeeptha Yainna , Wee Tek Tay , Estelle Fiteni , Fabrice Legeai , Anne-Laure Clamens et al.
2020
Preprints, Working Papers, ... hal-02945606v1
Image document

Contrôle vérifié de flux d'information appliqué aux systèmes cyber-physiques

Jean-Joseph Marty
Systèmes embarqués. Université de Rennes, 2022. Français. ⟨NNT : 2022REN1S086⟩
Theses tel-04052781v1
Image document

Unités arithmétiques et cryptoprocesseurs matériels pour la cryptographie sur courbe hyperelliptique

Gabriel Gallin
Cryptographie et sécurité [cs.CR]. Université de Rennes, 2018. Français. ⟨NNT : 2018REN1S071⟩
Theses tel-01989822v2
Image document

Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems

Olivier Gasquet , Valentin Goranko , François Schwarzentruber
Autonomous Agents and Multi-Agent Systems, 2016, 30, pp.793-825. ⟨10.1007/s10458-015-9306-4⟩
Journal articles hal-01624691v1
Image document

A Bottom-Up Approach for Reconstructing Software Architecture Product Lines

Mohamed Lamine Kerdoudi , Tewfik Ziadi , Chouki Tibermacine , Salah Sadou
ECSA 2019 - 13th European Conference on Software Architecture, Sep 2019, Paris, France. pp.46-49, ⟨10.1145/3344948.3344964⟩
Conference papers hal-02428869v1
Image document

Haplotype phasing from long reads with ASP : a flexible optimization approach

Clara Delahaye
Bioinformatics [q-bio.QM]. Université de Rennes, 2022. English. ⟨NNT : 2022REN1S093⟩
Theses tel-04068705v1
Image document

MLS: how Zero-Knowledge can secure Updates

Julien Devigne , Céline Duguey , Pierre-Alain Fouque
ESORICS 2021, Oct 2021, Darmstadt / Virtual, Germany
Conference papers hal-03558760v1
Image document

KIFF: un algorithme de construction de graphe KNN générique, rapide et évolutif

Antoine Boutet , Anne-Marie Kermarrec , Nupur Mittal , François Taïani
ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France
Conference papers hal-01518587v2
Image document

Sycomore : a Permissionless Distributed Ledger that self-adapts to Transactions Demand

Emmanuelle Anceaume , Antoine Guellier , Romaric Ludinard , Bruno Sericola
NCA 2018 - 17th IEEE International Symposium on Network Computing and Applications, IEEE, Nov 2018, Boston, United States. pp.1-8, ⟨10.1109/NCA.2018.8548053⟩
Conference papers hal-01888265v1
Image document

Détection de la négation : corpus français et apprentissage supervisé

Clément Dalloux , Natalia Grabar , Vincent Claveau
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2019, pp.1-21
Journal articles hal-02402913v1
Image document

Efficiently allocating distributed caching resources in future smart networks

Hamza Ben Ammar , Yassine Hadjadj-Aoul , Soraya Aït-Chellouche
CCNC 2019 - 16th IEEE Consumer Communications & Networking Conference, Jan 2019, Las Vegas, United States. pp.1-4, ⟨10.1109/CCNC.2019.8651854⟩
Conference papers hal-01933973v1
Image document

Formal modeling and quantitative analysis of security using attack-defense trees

Wojciech Wideł
Computer Science [cs]. INSA Rennes, 2019. English. ⟨NNT : ⟩
Theses tel-02873105v1
Image document

Déploiement efficace d'applications cloud dans les infrastructures fog distribuées

Arif Ahmed
Hardware Architecture [cs.AR]. Université Rennes 1, 2020. English. ⟨NNT : 2020REN1S004⟩
Theses tel-02932386v1
Image document

Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?

Quentin Plazar , Mathieu Acher , Gilles Perrouin , Xavier Devroey , Maxime Cordy et al.
ICST 2019 - 12th IEEE International Conference on Software Testing, Verification, and Validation, Apr 2019, Xian, China. pp.240-251, ⟨10.1109/ICST.2019.00032⟩
Conference papers hal-01991857v1
Image document

On modularity and performance of External Domain-Specific Language implementations

Manuel Leduc
Software Engineering [cs.SE]. Université de rennes 1, 2019. English. ⟨NNT : ⟩
Theses tel-02418676v1
Image document

Dynamic program analysis for suggesting test improvements to developers

Oscar Luis Vera-Pérez
Software Engineering [cs.SE]. Université de Rennes 1 [UR1], 2019. English. ⟨NNT : ⟩
Theses tel-02459572v1
Image document

Leveraging Cloud unused heterogeneous resources for applications with SLA guarantees

Jean-Emile Dartois
Software Engineering [cs.SE]. Univ-Rennes1, 2020. English. ⟨NNT : ⟩
Theses tel-03009816v1
Image document

Automatic Test Improvement with DSpot: a Study with Ten Mature Open-Source Projects

Benjamin Danglot , Oscar Luis Vera-Pérez , Benoit Baudry , Martin Monperrus
Empirical Software Engineering, 2019, pp.1-35. ⟨10.1007/s10664-019-09692-y⟩
Journal articles hal-01923575v1
Image document

A Snowballing Literature Study on Test Amplification

Benjamin Danglot , Oscar Luis Vera-Pérez , Zhongxing Yu , Andy Zaidman , Martin Monperrus et al.
Journal of Systems and Software, 2019, 157, pp.1-16. ⟨10.1016/j.jss.2019.110398⟩
Journal articles hal-02290742v1
Image document

A Comprehensive Study of Pseudo-tested Methods

Oscar Luis Vera-Pérez , Benjamin Danglot , Martin Monperrus , Benoit Baudry
Empirical Software Engineering, 2018, pp.1-33. ⟨10.1007/s10664-018-9653-2⟩
Journal articles hal-01867423v2