Skip to Main content Skip to Navigation

hal-01168124v1  Directions of work or proceedings
Philippe LerayGregory Nuel. Editorial: Réseaux bayésiens et modèles graphiques probabilistes
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, pp.149-150, 2015
hal-01020940v1  Journal articles
David TezeJohann HendrickxMirjam CzjzekDavid RopartzYves-Henri Sanejouand et al.  Semi-rational approach for converting a GH1 β-glycosidase into a β-transglycosidase.
Protein Engineering, Design and Selection, Oxford University Press (OUP), 2014, 27 (1), pp.13-9. ⟨10.1093/protein/gzt057⟩
hal-01814978v1  Journal articles
J.-L. BridotD. DaydeC. RivièreC. MandonC. Billotey et al.  Hybrid gadolinium oxide nanoparticles combining imaging and therapy
Journal of Materials Chemistry, Royal Society of Chemistry, 2009, 19 (16), pp.2328-2335. ⟨10.1039/b815836c⟩
hal-01457931v1  Journal articles
Jérôme LohéacEmmanuel TrélatEnrique Zuazua. Minimal controllability time for the heat equation under unilateral state or control constraints
Mathematical Models and Methods in Applied Sciences, World Scientific Publishing, 2017, 27 (9), pp.1587--1644. ⟨10.1142/S0218202517500270⟩
hal-01122077v2  Journal articles
Jérôme LohéacEnrique Zuazua. Averaged controllability of parameter dependent conservative semigroups
Journal of Differential Equations, Elsevier, 2017, 262 (3), pp.1540 - 1574. ⟨10.1016/j.jde.2016.10.017⟩
hal-01697331v1  Journal articles
Mathieu LagrangeLuis Gustavo MartinsJennifer MurdochGeorge Tzanetakis. Normalized cuts for predominant melodic source separation
IEEE/ACM Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2008, 16 (2)
hal-01114726v1  Journal articles
D. ArdouinCristina CârloganuDidier CharrierPascal LautridouO. Martineau-Huynh et al.  The TIANSHAN Radio Experiment for Neutrino Detection
Astroparticle Physics, Elsevier, 2011, 34, pp.717--731
in2p3-01187292v1  Conference papers
O. Martineau-HuynhK. KoteraDidier CharrierS. de JongK.D. de Vries et al.  The Giant Radio Array for Neutrino Detection
34th International Cosmic Ray Conference, Jul 2015, The Hague, Netherlands
hal-00359015v1  Conference papers
Daniel ArdouinDidier CharrierPascal LautridouOlivier Martineau-HuynhOlivier Ravel et al.  Development of a radio-detection method array for the observation of ultra-high energy neutrino induced showers
3rd International Workshop on the Acoustic and Radio EeV Neutrino detection Activities ARENA 2008, Jun 2008, Rome, Italy. pp.S85-S87, ⟨10.1016/j.nima.2009.03.041⟩
hal-01665923v1  Journal articles
Ludovic Bellot-GurletPelon OlivierMichel Louis Séfériadès. À propos des obsidiennes du palais de Malia
Bulletin de Correspondance Hellenique, Ecole Française d'Athènes, 2010, 134 (1), pp.1 - 29. ⟨10.3406/bch.2010.7613⟩
hal-01120808v2  Reports
Jonathan LejeuneLuciana ArantesJulien SopenaPierre Sens. Reducing synchronization cost in distributed multi-resource allocation problem
[Research Report] RR-8689, Ecole des Mines de Nantes, Inria, LINA; Sorbonne Universités, UPMC, CNRS, Inria, LIP6; INRIA. 2015
hal-01162329v1  Conference papers
Jonathan LejeuneLuciana ArantesJulien SopenaPierre Sens. Reducing synchronization cost in distributed multi-resource allocation problem
ICPP 2015 - 44th International Conference on Parallel Processing, Sep 2015, Beijing, China. pp.540-549, ⟨10.1109/ICPP.2015.63⟩
hal-01934510v1  Journal articles
Catherine DupontStéphan HinguantDidier Merle. Diversité des territoires d'origine des parures en coquillage mésolithiques de la grotte Rochefort (Saint-Pierre-sur-Erve, Mayenne)
Bulletin de la Société Préhistorique Française, Société Préhistorique Française, 2017, 114 (1), pp.7-23
hal-01328012v1  Conference papers
Pierre-Evariste DagandNicolas TabareauÉric Tanter. Partial Type Equivalences for Verified Dependent Interoperability
ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. pp.298-310, ⟨10.1145/2951913.2951933⟩
hal-00667661v1  Conference papers
Frédéric JiguetL. Godet. BBS in protected areas : comparing predicted and measured values as a tool to assess general protection efficiency for common species.
16th International Conference of the European Bird Census Council Bird Numbers 2004., Sep 2004, Kayseri, Turkey