Search - Archive ouverte HAL Access content directly

Filter your results

188 Results
Structure: Internal structure identifier : 115321
Image document

Phase Transition to Turbulence in Spatially Extended Shear Flows

Lukasz Klotz , Grégoire Lemoult , Kerstin Avila , Björn Hof
Physical Review Letters, 2022, 128 (1), pp.014502. ⟨10.1103/PhysRevLett.128.014502⟩
Journal articles hal-03862258v1
Image document

Dosage compensation throughout the Schistosoma mansoni lifecycle: specific chromatin landscape of the Z chromosome

Marion Picard , Beatriz Vicoso , David Roquis , Ingo Bulla , Ronaldo de Carvalho Augusto et al.
Genome Biology and Evolution, 2019, 11 (7), pp.1909-1922. ⟨10.1093/gbe/evz133/5527757⟩
Journal articles hal-02177468v1

AC/DC: Alternating Compressed/DeCompressed Training of Deep Neural Networks

Alexandra Peste , Eugenia Iofinova , Adrian Vladu , Dan Alistarh
Preprints, Working Papers, ... hal-03873330v1

A Reduction from Parity Games to Simple Stochastic Games

Krishnendu Chatterjee , Nathanaël Fijalkow
International Symposium on Games, Automata, Logics, and Formal Verification, GandALF, 2011, NA, Italy. ⟨10.4204/EPTCS.54.6⟩
Conference papers hal-03410691v1

Improved Lieb-Oxford bound on the indirect and exchange energies

Mathieu Lewin , Elliott H. Lieb , Robert Seiringer
Letters in Mathematical Physics, 2022, 112, pp.92. ⟨10.1007/s11005-022-01584-5⟩
Journal articles hal-03618116v1

Scaling limit of the homogenization commutator for correlated coefficient fields

Mitia Duerinckx , Julian Fischer , Antoine Gloria
Annals of Applied Probability, 2022, 32 (2), pp.1179-1209. ⟨10.1214/21-AAP1705⟩
Journal articles hal-03456108v1

Nitrate Controls Root Development through Post-Transcriptional Regulation of the NRT1.1/NPF6.3 transporter/sensor.

Eléonore Bouguyon , Francine Perrine-Walker , Marjorie Pervent , Juliette Rochette , Candela Cuesta et al.
Plant Physiology, 2016, 172 (2), ⟨10.1104/pp.16.01047⟩
Journal articles hal-01360480v1
Image document

Adult Neural Stem Cells and Multiciliated Ependymal Cells Share a Common Lineage Regulated by the Geminin Family Members

Gonzalo Ortiz-Álvarez , Marie Daclin , Asm Shihavuddin , Pauline Lansade , Aurélien Fortoul et al.
Neuron, 2019, 102 (1), pp.159-172.e7. ⟨10.1016/j.neuron.2019.01.051⟩
Journal articles hal-02425373v1
Image document

The Arabidopsis NRT1.1 transceptor coordinately controls auxin biosynthesis and transport to regulate root branching in response to nitrate

Amel Maghiaoui , Eléonore Bouguyon , Candela Cuesta , Francine Perrine-Walker , Carine Alcon et al.
Journal of Experimental Botany, 2020, 71 (15), pp.4480-4494. ⟨10.1093/jxb/eraa242/5840670⟩
Journal articles hal-02619371v1
Image document

Contracts for System Design

Albert Benveniste , Benoit Caillaud , Dejan Nickovic , Roberto Passerone , Jean-Baptiste Raclet et al.
[Research Report] RR-8147, INRIA. 2012, pp.65
Reports hal-00757488v1
Image document

Separating intrinsic interactions from extrinsic correlations in a network of sensory neurons

Ulisse Ferrari , Stéphane Deny , Matthew Chalk , Gašper Tkačik , Olivier Marre et al.
Physical Review E , 2018, 98 (4), pp.042410. ⟨10.1103/PhysRevE.98.042410⟩
Journal articles hal-01912303v1
Image document

Evolution of gene dosage on the Z-chromosome of schistosome parasites

Marion Picard , Celine Cosseau , Sabrina Ferré , Quack Thomas , C. Grevelding et al.
eLife, 2018, 7, pp.e35684. ⟨10.7554/eLife.35684⟩
Journal articles hal-01851616v1
Image document

Compositional Contract Abstraction for System Design

Albert Benveniste , Dejan Nickovic , Thomas Henzinger
[Research Report] RR-8460, INRIA. 2014
Reports hal-00938854v1
Image document

Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory

Nikola Beneš , Benoît Delahaye , Uli Fahrenberg , Jan Křetínský , Axel Legay et al.
CONCUR 2013 - 24th International Conference Concurrency Theory, Aug 2013, Buenos Aires, Argentina. pp.76 - 90, ⟨10.1007/978-3-642-40184-8_7⟩
Conference papers hal-01087914v1

Shellability is NP-complete

Xavier Goaoc , Pavel Paták , Zuzana Patáková , Martin Tancer , Uli Wagner et al.
Journal of the ACM (JACM), 2019, 66 (3), pp.1-18. ⟨10.1145/3314024⟩
Journal articles hal-02050505v1
Image document

A short proof of correctness of the quasi-polynomial time algorithm for parity games

Hugo Gimbert , Rasmus Ibsen-Jensen
Preprints, Working Papers, ... hal-01457996v4

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Thomas Henzinger , Dale Miller
ACM, pp.1-764, 2014, 978-1-4503-2886-9
Books hal-01087515v1
Image document

Homological Reconstruction and Simplification in R3

Dominique Attali , Ulrich Bauer , Olivier Devillers , Marc Glisse , André Lieutier et al.
SoCG 2013 - 29th Annual Symposium on Computational Geometry, Jun 2013, Rio de Janeiro, Brazil. pp.117-125, ⟨10.1145/2462356.2462373⟩
Conference papers hal-00833791v1
Image document

Space-time sculpting of liquid animation

Pierre-Luc Manteaux , Ulysse Vimont , Chris Wojtan , Damien Rohmer , Marie-Paule Cani et al.
Motion In Games, Oct 2016, San Francisco, United States. pp.61-71, ⟨10.1145/2994258.2994261⟩
Conference papers hal-01367181v1

The free boundary Schur process and applications (extended abstract)

Dan Betea , Jérémie Bouttier , Peter Nejjar , Mirjana Vuletić
29th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2017), Jul 2017, Londres, United Kingdom
Conference papers hal-01510975v1

Can secondary contact following range expansion be distinguished from barriers to gene flow?

Johanna Bertl , Harald Ringbauer , Michael G.B. Blum
PeerJ, 2018, 6, pp.e5325. ⟨10.7717/peerj.5325⟩
Journal articles hal-02272318v1

Targeted cell elimination reveals an auxin-guided biphasic mode of lateral root initiation

Peter Marhavy , Juan Carlos Montesinos , Anas Abuzeineh , Daniel van Damme , Joop E. M. Vermeer et al.
Genes and Development, 2016, 30 (4), pp.471-483. ⟨10.1101/gad.276964.115⟩
Journal articles hal-03616583v1
Image document

Extending Drawings of Graphs to Arrangements of Pseudolines

Alan Arroyo , Julien Bensmail , Bruce R. Richter
Journal of Computational Geometry, 2021, 12 (2), pp.3-24. ⟨10.20382/jocg.v12i2a2⟩
Journal articles hal-03120899v1
Image document

An Auxin-Mediated Shift toward Growth Isotropy Promotes Organ Formation at the Shoot Meristem in Arabidopsis

Massimiliano Sassi , Olivier Ali , Frédéric Boudon , Gladys Cloarec , Ursula Abad et al.
Current Biology - CB, 2014, 24 (19), pp.2335-2342. ⟨10.1016/j.cub.2014.08.036⟩
Journal articles hal-01074821v1
Image document

Emergence of embryo shape during cleavage divisions

Alex Mcdougall , Janet Chenevert , Benoît Godard , Rémi Dumollard
Evo-Devo: Non-model Species in Cell and Developmental Biology, 2019
Book sections hal-02362892v1
Image document

Diversity of Modes of Reproduction and Sex Determination Systems in Invertebrates, and the Putative Contribution of Genetic Conflict

Marion Anne Lise Picard , Beatriz Vicoso , Stephanie Bertrand , Hector Escriva
Genes, 2021, 12 (8), pp.1136. ⟨10.3390/genes12081136⟩
Journal articles hal-03351968v1

The Physics and Mathematics of Elliott Lieb

Rupert Frank , Ari Laptev , Mathieu Lewin , Robert Seiringer
EMS Press, 2022, ⟨10.4171/90⟩
Books hal-03812038v1
Image document

Developmental emergence of two-stage nonlinear synaptic integration in cerebellar interneurons

Celia Biane , Florian Rückerl , Therese Abrahamsson , Cécile Saint-Cloment , Jean Mariani et al.
eLife, 2021, 10, pp.e65954. ⟨10.7554/eLife.65954⟩
Journal articles pasteur-03718292v2

Relativistic evaluation of the two-photon decay of the metastable 1s(2)2s2p P-3(0) state in berylliumlike ions with an effective-potential model

Pedro Amaro , Filippo Fratini , Laleh Safari , Jorge Machado , Mauro Guerra et al.
Physical Review A : Atomic, molecular, and optical physics, 2016, 93 (3), pp.032502. ⟨10.1103/PhysRevA.93.032502⟩
Journal articles hal-01299285v1
Image document

Generation of excitatory and inhibitory neurons from common progenitors via Notch signaling in the cerebellum

Tingting Zhang , Tengyuan Liu , Natalia Mora , Justine Guegan , Mathilde Bertrand et al.
Cell Reports, 2021, 35 (10), pp.109208. ⟨10.1016/j.celrep.2021.109208⟩
Journal articles hal-03256874v1