Search - Archive ouverte HAL Access content directly

Filter your results

401 Results
Structure: Internal structure identifier : 110922

Aimantation de pastilles supraconductrices

Kévin Berger , Michael Rudolf Koblischka , Bruno Douine , Pierre Bernstein , Jacques Noudem et al.
11èmes Journées de Cryogénie et de Supraconductivité, May 2015, Aussois, France. page 27
Conference papers hal-01155181v1

Preparation of superconducting Iron-selenide using Spark Plasma Sintering

Quentin Nouailhetas , Yiteng Xing , Jacques Noudem , Kévin Berger , Bruno Douine et al.
Journées scientifiques du GFDM-FACE-2021, Groupe Francophone de Densification des Matériaux par Frittage Assisté sous Champ Electromagnétique (GFDM-FACE), Oct 2021, Caen, France. pp.O24
Conference papers hal-03409598v1

Sinkhorn algorithm for quantum permutation groups

Ion Nechita , Simon Schmidt , Moritz Weber
Experimental Mathematics, 2021, ⟨10.1080/10586458.2021.1926005⟩
Journal articles hal-02988624v1

Parametrization of algebraic differentiators for disturbance annihilation with an application to the differentiation of quantized signals

Amine Othmane , Hugues Mounier , J. Rudolph
IFAC-PapersOnLine, 2021, 54 (9), pp.335-340. ⟨10.1016/j.ifacol.2021.06.091⟩
Journal articles hal-03342811v1
Image document

Thermotropic orientational order of discotic liquid crystals in nanochannels: an optical polarimetry study and a Landau-de Gennes analysis

Andriy V. Kityk , Mark Busch , Daniel Rau , Sylwia Calus , Carole V. Cerclier et al.
Soft Matter, 2014, 10 (25), pp.4522-4534. ⟨10.1039/c4sm00211c⟩
Journal articles hal-01002397v1
Image document

Central role of G protein Gαi2 and Gαi2 + vomeronasal neurons in balancing territorial and infant-directed aggression of male mice

Anne-Charlotte Trouillet , Matthieu Keller , Jan Weiss , Trese Leinders-Zufall , Lutz Birnbaumer et al.
Proceedings of the National Academy of Sciences of the United States of America, 2019, 116 (11), pp.5135-5143. ⟨10.1073/pnas.1821492116⟩
Journal articles hal-02347354v1
Image document

Nascent fusion pore opening monitored at single-SNAREpin resolution

Paul Heo , Jeff Coleman , Jean-Baptiste Fleury , James Rothman , Frederic Pincet et al.
Proceedings of the National Academy of Sciences of the United States of America, 2021, 118 (5), pp.e2024922118. ⟨10.1073/pnas.2024922118⟩
Journal articles inserm-03123229v1

A blood-based biomarker panel (NIS4) for non-invasive diagnosis of non-alcoholic steatohepatitis and liver fibrosis: a prospective derivation and global validation study

Stephen Harrison , Vlad Ratziu , Jérôme Boursier , Sven Francque , Pierre Bedossa et al.
The Lancet Gastroenterology & Hepatology, 2020, 5 (11), pp.970-985. ⟨10.1016/S2468-1253(20)30252-1⟩
Journal articles hal-03284308v1

Tight Fine-Grained Bounds for Direct Access on Join Queries

Karl Bringmann , Nofar Carmeli , Stefan Mengel
SIGMOD/PODS '22: International Conference on Management of Data, Jun 2022, Philadelphia PA, United States. pp.427-436, ⟨10.1145/3517804.3526234⟩
Conference papers hal-03864970v1

A wide range of pheromone-stimulated sexual and reproductive behaviors in female mice depend on G protein Gao

Livio Oboti , Anabel Pérez-Gómez , Matthieu Keller , Eric Jacobi , Lutz Birnbaumer et al.
24. Annual Meeting of the European-Chemoreception-Research-Organization (ECRO), Sep 2014, Dijon, France
Conference papers hal-02741642v1

Tight Fine-Grained Bounds for Direct Access on Join Queries

Karl Bringmann , Nofar Carmeli , Stefan Mengel
Preprints, Working Papers, ... hal-03654342v1

A binary genetic approach to characterize TRPM5 cells in mice

Soumya Kusumakshi , Anja Voigt , Sandra Hübner , Irm Hermans-Borgmeyer , Ana Ortalli et al.
Chemical Senses, 2015, 40 (6), pp.413-425. ⟨10.1093/chemse/bjv023⟩
Journal articles hal-02639372v1
Image document

LAG-3 Inhibitory Receptor Expression Identifies Immunosuppressive Natural Regulatory Plasma Cells

Andreia C. Lino , - van Duc Dang , Vicky Lampropoulou , Anna Welle , Jara Joedicke et al.
Immunity, 2018, 49 (1), pp.120 - +. ⟨10.1016/j.immuni.2018.06.007⟩
Journal articles hal-02622086v1
Image document

Champs élastiques et forces configurationnelles dans des tri-cristaux anisotropes: application aux empilements de dislocations aux joints de grains

S. Berbenni , X. Chen , T. Richeton , C. Motz
24ième Congrès Français de Mécanique, Aug 2019, Brest, France
Conference papers hal-02360494v1
Image document

Polynomial Precise Interval Analysis Revisited

Thomas Gawlitza , Jérôme Leroux , Jan Reineke , Helmut Seidl , Grégoire Sutre et al.
Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday, Aug 2009, Saarbrücken, Germany. pp.422-437, ⟨10.1007/978-3-642-03456-5_28⟩
Conference papers hal-00414750v1
Image document

Waking Up a Sleeping Rabbit: On Natural-Language Sentence Generation with FF

Joerg Hoffmann , Alexander Koller
20th International Conference on Automated Planning and Scheduling (ICAPS'10), Aug 2010, Toronto, Canada
Conference papers inria-00491109v1

Transport of the major myelin proteolipid protein is directed by VAMP3 and VAMP7.

Anke Feldmann , Jesa Amphornrat , Madeleine Schönherr , Christine Winterstein , Wiebke Möbius et al.
Journal of Neuroscience, 2011, 31 (15), pp.5659-72. ⟨10.1523/JNEUROSCI.6638-10.2011⟩
Journal articles hal-00606080v1

Wave-Vector Dependence of the Dynamics in Supercooled Metallic Liquids

Beatrice Ruta , S. Hechler , N. Neuber , D. Orsi , L. Cristofolini et al.
Physical Review Letters, 2020, 125 (5), pp.055701. ⟨10.1103/PhysRevLett.125.055701⟩
Journal articles hal-02919864v1
Image document

First-Order Theory of Subtyping Constraints

Zhendong Su , Alex Aiken , Joachim Niehren , Tim Priesnitz , Ralf Treinen et al.
The 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002, Portland, United States. pp.203-216
Conference papers inria-00536828v1

Effect of Omecamtiv Mecarbil on Exercise Capacity in Chronic Heart Failure With Reduced Ejection Fraction: The METEORIC-HF Randomized Clinical Trial

Gregory Lewis , Adriaan Voors , Alain Cohen-Solal , Marco Metra , David Whellan et al.
JAMA Cardiology, 2022, 328 (3), pp.259. ⟨10.1001/jama.2022.11016⟩
Journal articles inserm-03934234v1
Image document

Expired Medication: Societal, Regulatory and Ethical Aspects of a Wasted Opportunity

Faez Alnahas , Prince Yeboah , Louise Fliedel , Ahmad Yaman Abdin , Khair Alhareth et al.
International Journal of Environmental Research and Public Health, 2020, 17 (3), ⟨10.3390/ijerph17030787⟩
Journal articles hal-03290557v1
Image document

Synthesis and Biopharmaceutical Characterization of Amphiphilic Squalenyl Derivative Based Versatile Drug Delivery Platform

Duy-Khiet Ho , Rebekka Christmann , Xabier Murgia , Chiara de Rossi , Sarah Frisch et al.
Frontiers in Chemistry, 2020, 8, ⟨10.3389/fchem.2020.584242⟩
Journal articles hal-03009739v1

Synthesis and biological evaluation of 3-(azolylmethyl)-1 H -indoles and 3-(α-azolylbenzyl)-1 H -indoles as selective aromatase inhibitors

Marc Le Borgne , Pascal Marchand , Marie-Renée Nourrisson , Denis Loquet , Martina Palzer et al.
Journal of Enzyme Inhibition and Medicinal Chemistry, 2007, 22 (5), pp.667 - 676. ⟨10.1080/14756360701652658⟩
Journal articles hal-01689199v1
Image document

The First-Order Theory of Ordering Constraints over Feature Trees

Martin Müller , Joachim Niehren , Ralf Treinen
Discrete Mathematics and Theoretical Computer Science, 2001, Vol. 4 no. 2 (2), pp.193-234. ⟨10.46298/dmtcs.267⟩
Journal articles inria-00536800v1
Image document

On Rewrite Constraints and Context Unification

Joachim Niehren , Ralf Treinen , Sophie Tison
Information Processing Letters, 2000, 74 (1-2), pp.35--40
Journal articles inria-00536802v1
Image document

Ascertaining Uncertainty for Efficient Exact Cache Analysis

Claire Maïza , Valentin Touzeau , David Monniaux , Jan Reineke
Computer Aided Verification - 29th International Conference, Rupak Majumdar; Viktor Kuncak, Jul 2017, Heidelberg, France. pp.20 - 40, ⟨10.1007/978-3-319-63390-9_2⟩
Conference papers hal-01592048v2

Local Modification of the Microstructure and Electrical Properties of Multifunctional Au-YSZ Nanocomposite Thin Films by Laser Interference Patterning

Thomas Gries , Rodolphe Catrin , Sylvie Migot , Flavio Soldera , Jose-Luis Endrino et al.
ACS Applied Materials & Interfaces, 2014, 6 (16), pp.13707-13715. ⟨10.1021/am503160w⟩
Journal articles hal-01283893v1
Image document

Selective growth of Cu2O and metallic Cu by atomic layer deposition on ZnO and their application in optoelectronics

Claudia de Melo Sánchez
Materials Science [cond-mat.mtrl-sci]. Université de Lorraine; Universität des Saarlandes, 2019. English. ⟨NNT : 2019LORR0040⟩
Theses tel-02998178v1
Image document

Development of MgB2-based, bulk supermagnets

Michael Rudolf Koblischka , Alex Wiederhold , Muralidhar Miryala , Kazuo Inoue , Thomas Hauet et al.
IEEE Transactions on Magnetics, 2014, 50 (11), pp.9000504. ⟨10.1109/TMAG.2014.2323995⟩
Journal articles hal-00992071v1

Executable Formal Specification and Validation of NoC Communication Infrastructures

D. Borrione , A. Helmy , Laurence Pierre , J. Schmaltz
21st Symposium on Integrated Circuits and Systems Design (SBCCI'08), Sep 2008, Gramado, Brazil. pp.176-181, ⟨10.1145/1404371.1404421⟩
Conference papers hal-00334035v1