|
|
Phase Transition to Turbulence in Spatially Extended Shear Flows
Lukasz Klotz
,
Grégoire Lemoult
,
Kerstin Avila
,
Björn Hof
Journal articles
hal-03862258v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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.
Journal articles
hal-02177468v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
AC/DC: Alternating Compressed/DeCompressed Training of Deep Neural Networks
Alexandra Peste
,
Eugenia Iofinova
,
Adrian Vladu
,
Dan Alistarh
2022
Preprints, Working Papers, ...
hal-03873330v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Improved Lieb-Oxford bound on the indirect and exchange energies
Mathieu Lewin
,
Elliott H. Lieb
,
Robert Seiringer
Journal articles
hal-03618116v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Scaling limit of the homogenization commutator for correlated coefficient fields
Mitia Duerinckx
,
Julian Fischer
,
Antoine Gloria
Journal articles
hal-03456108v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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.
Journal articles
hal-01360480v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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.
Journal articles
hal-02425373v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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 articles
hal-02619371v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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.
Journal articles
hal-01912303v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Evolution of gene dosage on the Z-chromosome of schistosome parasites
Marion Picard
,
Celine Cosseau
,
Sabrina Ferré
,
Quack Thomas
,
C. Grevelding
et al.
Journal articles
hal-01851616v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Compositional Contract Abstraction for System Design
Albert Benveniste
,
Dejan Nickovic
,
Thomas Henzinger
[Research Report] RR-8460, INRIA. 2014
Reports
hal-00938854v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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.
Conference papers
hal-01087914v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Shellability is NP-complete
Xavier Goaoc
,
Pavel Paták
,
Zuzana Patáková
,
Martin Tancer
,
Uli Wagner
et al.
Journal articles
hal-02050505v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A short proof of correctness of the quasi-polynomial time algorithm for parity games
Hugo Gimbert
,
Rasmus Ibsen-Jensen
2017
Preprints, Working Papers, ...
hal-01457996v4
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Space-time sculpting of liquid animation
Pierre-Luc Manteaux
,
Ulysse Vimont
,
Chris Wojtan
,
Damien Rohmer
,
Marie-Paule Cani
et al.
Conference papers
hal-01367181v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Can secondary contact following range expansion be distinguished from barriers to gene flow?
Johanna Bertl
,
Harald Ringbauer
,
Michael G.B. Blum
Journal articles
hal-02272318v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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.
Journal articles
hal-03616583v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Extending Drawings of Graphs to Arrangements of Pseudolines
Alan Arroyo
,
Julien Bensmail
,
Bruce R. Richter
Journal articles
hal-03120899v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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.
Journal articles
hal-01074821v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
Journal articles
hal-03351968v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
The Physics and Mathematics of Elliott Lieb
Rupert Frank
,
Ari Laptev
,
Mathieu Lewin
,
Robert Seiringer
Books
hal-03812038v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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.
Journal articles
pasteur-03718292v2
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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.
Journal articles
hal-01299285v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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.
Journal articles
hal-03256874v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|