Search - Archive ouverte HAL Access content directly

Filter your results

82 529 Results
Image document

Complementary peptides represent a credible alternative to agrochemicals by activating translation of targeted proteins

Mélanie Ormancey , Bruno Guillotin , Rémy Merret , Laurent Camborde , Carine Duboé et al.
Nature Communications, 2023, 14 (1), pp.254. ⟨10.1038/s41467-023-35951-0⟩
Journal articles hal-03949768v1
Image document

Small grains from Ryugu: handling and analysis pipeline for infrared synchrotron microspectroscopy

Stefano Rubino , Zélia Dionnet , Alice Aléon-Toppani , Rosario Brunetto , Tomoki Nakamura et al.
Earth Planets and Space, 2023, 1, pp.4. ⟨10.1186/s40623-022-01762-8⟩
Journal articles hal-03672121v1
Image document

The Pga59 cell wall protein is an amyloid forming protein involved in adhesion and biofilm establishment in the pathogenic yeast Candida albicans

Thierry Mourer , Mennat El Ghalid , Gérard Pehau-Arnaudet , Brice Kauffmann , Antoine Loquet et al.
npj Biofilms and Microbiomes, 2023, 9 (1), pp.6. ⟨10.1038/s41522-023-00371-x⟩
Journal articles pasteur-04017273v1
Image document

Bisphenol A and bisphenol S both disrupt ovine granulosa cell steroidogenesis but through different molecular pathways

Ophélie Téteau , Anaïs Vitorino Carvalho , Pascal Papillier , Béatrice Mandon-Pepin , Luc Jouneau et al.
Journal of Ovarian Research, 2023, 16 (1), pp.30. ⟨10.1186/s13048-023-01114-4⟩
Journal articles hal-03972669v1
Image document

An exploratory study on the perceptions of rabies and ill-health causations and health seeking behaviours of school children and local communities in southern Bhutan

Lungten Lungten , Tenzin Tenzin , Severine Thys , Waraphon Phimpraphai , Sangay Rinchen et al.
BMC Public Health, 2023, 23 (1), pp.270. ⟨10.1186/s12889-023-15113-z⟩
Journal articles hal-04009989v1

CusProSe: a customizable protein annotation software with an application to the prediction of fungal secondary metabolism genes

Leonor Oliveira , Nicolas Chevrollier , Jean-Felix Dallery , Richard O’connell , Marc-Henri Lebrun et al.
Scientific Reports, 2023, 13 (1), pp.1417. ⟨10.1038/s41598-023-27813-y⟩
Journal articles hal-04011064v1
Image document

Brucella effectors NyxA and NyxB target SENP3 to modulate the subcellular localisation of nucleolar proteins

Arthur Louche , Amandine Blanco , Thais Lourdes Santos Lacerda , Lison Cancade-Veyre , Claire Lionnet et al.
Nature Communications, 2023, 14 (1), pp.102. ⟨10.1038/s41467-022-35763-8⟩
Journal articles hal-04009496v1
Image document

Survey of ticks and tick-borne pathogens in wild chimpanzee habitat in Western Uganda

Camille Lacroux , Sarah Bonnet , Emmanuelle Pouydebat , Marie Buysse , Nil Rahola et al.
Parasites & Vectors, 2023, 16 (1), pp.22. ⟨10.1186/s13071-022-05632-w⟩
Journal articles hal-03964649v1

Optical control of PIEZO1 channels

Francisco Andrés Peralta , Mélaine Balcon , Adeline Martz , Deniza Biljali , Federico Cevoli et al.
Nature Communications, 2023, 14 (1), pp.1269. ⟨10.1038/s41467-023-36931-0⟩
Journal articles hal-04030606v1
Image document

A Signature-based Algorithm for Computing the Nondegenerate Locus of a Polynomial System

Christian Eder , Pierre Lairez , Rafael Mohr , Mohab Safey El Din
Journal of Symbolic Computation, 2023, 119, pp.1-21. ⟨10.1016/j.jsc.2023.02.001⟩
Journal articles hal-03590675v4
Image document

Mass Death and Funerary Transition: The Meudon Railway Disaster (France, 1842)

Anne Carol
Death Studies, 2023, pp.1-11. ⟨10.1080/07481187.2022.2131049⟩
Journal articles halshs-03836529v1
Image document

Quantum-path resolved attosecond high-harmonic spectroscopy

Antoine Camper , Amélie Ferré , Valérie Blanchet , Dominique Descamps , Nan Lin et al.
Physical Review Letters, 2023, 130 (8), pp.083201. ⟨10.1103/PhysRevLett.130.083201⟩
Journal articles hal-04000611v1

Exploring the complexation of curium(III) and europium(III) with aqueous phosphates: a combined experimental and ab initio study

Florent Réal , Nina Huittinen , Isabelle Jessat , Valérie Vallet , Norbert Jordan et al.
Migration 2023, Sep 2023, Nantes, France
Conference papers hal-04011358v1

Complexation of neptunium(V) with aqueous phosphate using a dual experimental and quantum chemical approach

Eya Miladi , Florent Réal , Valérie Vallet , Norbert Jordan , Nina Huittinen et al.
Migration 2023, Sep 2023, Nantes, France. , 2023
Conference poster hal-04011348v1

Coordination and thermodynamic properties of aqueous protactinium(V) by computational chemistry techniques

Hanna Oher , Jeremy Delafoulhouze , Eric Renault , Valérie Vallet , Rémi Maurice et al.
Migration 2023, Sep 2023, Nantes, France
Conference papers hal-04011371v1

La rédaction des cartulaires-rouleaux dans la France médiévale : premier bilan d’un inventaire

Jean-Baptiste Renault
Jean-Baptiste Renault. Le cartulaire-rouleau dans la France médiévale (XIe – XVe siècles). Recueil de travaux du projet ROTULUS, A paraître
Book sections hal-03889686v1
Image document

The stakeholder corporation and social welfare

Marc Fleurbaey , Grégory Ponthière
Journal of Political Economy, In press, ⟨10.2139/ssrn.3900451⟩
Journal articles hal-03426120v2

Effect of inorganic ligands on Pa5+ and PaO3+ relative stabilities: A computational study

Tamara Shaaban , Valérie Vallet , Florent Réal
11th international conference on f elements, Aug 2023, Strasbourg, France. , 2023
Conference poster hal-04027450v1
Image document

A comprehensive, formal and automated analysis of the EDHOC protocol

Charlie Jacomme , Elise Klein , Steve Kremer , Maïwenn Racouchot
USENIX Security '23 - 32nd USENIX Security Symposium, Aug 2023, Anaheim, CA, United States
Conference papers hal-03810102v1

Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations

Cas Cremers , Charlie Jacomme , Aurora Naska
USENIX Security 2022 - 31st USENIX SEcurity Symposium, Aug 2023, Anaheim, United States
Conference papers hal-03996689v1
Image document

Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses

Vincent Cheval , Cas Cremers , Alexander Dax , Lucca Hirschi , Charlie Jacomme et al.
32nd USENIX Security Symposium, Aug 2023, Anaheim, United States
Conference papers hal-03795715v1
Image document

An undecidability result for Separation Logic with theory reasoning

Mnacho Echenim , Nicolas Peltier
Information Processing Letters, 2023, 182, pp.106359. ⟨10.1016/j.ipl.2023.106359⟩
Journal articles hal-04009729v1

Effective algebraicity for solutions of systems of functional equations with one catalytic variable

Hadrien Notarantonio , Sergey Yurkevich
35th international conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2023), Jul 2023, Davis, CA, United States
Conference papers hal-03854264v1
Image document

VESPo: Verified Evaluation of Secret Polynomials

Jean-Guillaume Dumas , Aude Maignan , Clément Pernet , Daniel S. Roche
Privacy Enhancing Technologies Symposium, Jul 2023, Lausanne (CH), Switzerland
Conference papers hal-03365854v5
Image document

Backstepping leaderless dynamic consensus among nonlinear systems over directed networks: application to attitude synchronisation control

Maitreyee Dutta , Antonio Loria , Elena Panteley , Sukumar Srikant
22nd World Congress of the International Federation of Automatic Control (IFAC 2023), Jul 2023, Yokohama, Japan
Conference papers hal-03869850v1

Robust Stability Analysis of Moving-Horizon Estimator for LPV Discrete-Time Systems

Hasni Arezki , Angelo Alessandri , Ali Zemouche
22nd IFAC World Congress, Jul 2023, Yokohama, Japan
Conference papers hal-04015326v1

High-gain like observer design for nonlinear systems applied to vehicle motion estimation

Hichem Bessafa , Cédric Delattre , Zehor Belkhatir , Ali Zemouche , Rajesh Rajamani et al.
22nd IFAC World Congress 2023, Jul 2023, Yokohama, Japan
Conference papers hal-04016125v1

Robust Moving-Horizon Estimation for Quasi-LPV Discrete-Time Systems

Hasni Arezki , Angelo Alessandri , Ali Zemouche
22nd IFAC World Congress, Jul 2023, Yokohama, Japan
Conference papers hal-04015324v1
Image document

Proving Unlinkability using ProVerif through Desynchronized Bi-Processes

David Baelde , Alexandre Debant , Stéphanie Delaune
IEEE Computer Security Foundations Symposium, Jul 2023, Dubrovnik, Croatia
Conference papers hal-03674979v2

Prescribed-Time Sliding Mode Observer for Nonlinear Triangular Systems

Saïd Djennoune , Ali Zemouche
22nd IFAC World Congress, Jul 2023, Yokohama, Japan
Conference papers hal-04015337v1