Skip to Main content Skip to Navigation
Help


hal-02423503v1  Book sections
Charles FlorinNikos ParagiosJames Williams. Monte carlo sampling for the segmentation of tubular structures
Handbook of biomedical imaging : methodologies and clinical research, Springer, pp.263-275, 2015, 9780387097497; 9780387097480. ⟨10.1007/978-0-387-09749-7_14⟩
hal-02423502v1  Book sections
Nikios Paragios. Curve propagation, level set methods and grouping
Handbook of biomedical imaging : methodologies and clinical research, Springer, pp.45-62, 2015, 9780387097497; 9780387097480. ⟨10.1007/978-0-387-09749-7_3⟩
hal-02423504v1  Book sections
Radhouène NejiNoura AzzabouGilles FleuryNikos Paragios. Diffusion tensor estimation, regularization and classification
Handbook of biomedical imaging : methodologies and clinical research, Springer, pp.437-454, 2015, 9780387097497; 9780387097480. ⟨10.1007/978-0-387-09749-7_24⟩
hal-01125625v1  Book sections
Marc ThirietMichel DelfourAndré Garon. Vascular Stenosis
Peter Lanzer. PanVascular Medicine, Springer, pp.781-868, 2015, 978-3-642-37077-9. ⟨10.1007/978-3-642-37078-6_32⟩
...
hal-01056396v1  Book sections
Pascale Sébillot. Le traitement automatique des langues face aux données textuelles volumineuses et potentiellement dégradées : qu'est-ce que cela change ?
Lisette Calderan; Pascale Laurent; Hélène Lowinger; Jacques Millet. Big data : nouvelles partitions de l'information. Actes du séminaire IST INRIA,, octobre 2014, De Boeck, pp.43-60, 2015, Information et stratégie, 978-2804189150
hal-01250442v1  Book sections
Hervé DelingetteNicholas Ayache. Building Patient-Specific Physical and Physiological Computational Models from Medical Images
Paragios, Nikos and Duncan, Jim and Ayache, Nicholas. Handbook of Biomedical Imaging: Methodologies and Clinical Research, Springer US, pp.169-182, 2015, 978-0-387-09748-0. ⟨10.1007/978-0-387-09749-7_9⟩
hal-01250013v1  Book sections
Francoise BerthoudAmélie BohasLaurent LefèvreMarianne Parry. Transformation numérique et transformation énergétique
Quelles solutions pour le changement climatique ?, CNRS Editions, 2015
hal-01200486v1  Book sections
Henri CasanovaDounia ZaidouniFrédéric Vivien. Using replication for resilience on exascale systems
Thomas Hérault; Yves Robert. Fault-Tolerance Techniques for High-Performance Computing, Springer, pp.50, 2015, 978-3-319-20943-2
hal-01200488v1  Book sections
Jack DongarraThomas HéraultYves Robert. Fault Tolerance Techniques for High-Performance Computing
Thomas Hérault; Yves Robert. Fault-Tolerance Techniques for High-Performance Computing, Springer, pp.83, 2015, 978-3-319-20943-2
...
medihal-01100828v1  Photos
Guillaume Cerutti. Mesh Optimization
Computer graphics. France. 2015
...
tel-02151157v1  Habilitation à diriger des recherches
Benoît Libert. Applications of Structure-Preserving Cryptography and Pairing-Based NIZK Proofs
Cryptography and Security [cs.CR]. Ecole Normale Supérieure de Lyon, 2015
...
hal-01202496v1  Book sections
Pierre TandeoPierre AilliotJuan RuizAlexis HannartBertrand Chapron et al.  Combining analog method and ensemble data assimilation: application to the Lorenz-63 chaotic system
Machine Learning and Data Mining Approaches to Climate Science: proceedings of the 4th International Workshop on Climate Informatics, Springer, pp.3 - 12, 2015, 978-3-319-17219-4. ⟨10.1007/978-3-319-17220-0_1⟩
hal-01251957v1  Book sections
Meriam BouzouitaYassine Hadjadj-AoulNawel ZangarSami TabbaneCésar Viho. A random access model for M2M communications in LTE-advanced mobile networks
Modeling and simulation of computer networks and systems, Elsevier/Morgan Kofmann, 2015, 978-0-12-800887-4
...
tel-01252289v1  Habilitation à diriger des recherches
Jean-Baptiste Mouret. Evolutionary Adaptation in Natural and Artificial Systems
Artificial Intelligence [cs.AI]. Université Pierre et Marie Curie, 2015
...
hal-01252221v1  Book sections
Gilles Dowek. On the definition of the classical connectives and quantifiers
Edward Hermann Haeusler; Wagner de Campos Sanz; Bruno Lopes. Why is this a Proof?, Festschrift for Luiz Carlos Pereira , College Publications, 2015
hal-01252665v1  Book sections
Taku HachisuGabriel CirioMaud MarchalAnatole LécuyerHiroyuki Kajimoto. Visual Vibrations to Simulate Taps on Different Materials
Haptic Interaction - Perception, Devices and Applications, 277 of the series Lecture Notes in Electrical Engineering., Springer, pp.297-303, 2015, 978-4-431-55689-3. ⟨10.1007/978-4-431-55690-9_54⟩
hal-01252754v1  Book sections
Luigi LancieriEric Leprêtre. A new linguistic approach to assess the opinion of users in social network environments
Przemysław Kazienko, Nitesh Chawla. Application of Social Media and Social Network Analysis, Springer International Publishing, pp 143-158, 2015, Lecture Notes in Social Networks, 978-3-319-19002-0. ⟨10.1007/978-3-319-19003-7_8⟩
...
hal-01155533v1  Book sections
Nikolaus HansenDirk ArnoldAnne Auger. Evolution Strategies
Janusz Kacprzyk; Witold Pedrycz. Handbook of Computational Intelligence, Springer, 2015, 978-3-622-43504-5
...
tel-01258527v2  Habilitation à diriger des recherches
Gang Zheng. Observability Analysis and Observer Design for Complex Dynamical Systems
Automatic Control Engineering. Universite Lille 1, 2015
hal-01252778v1  Book sections
Luigi Lancieri. Collective intelligence in a computer mediated environment
Ćemal Dolićanin, Ejub Kajan, Dragan Randjelović, Boban Stojanović. Handbook of Research on Democratic Strategies and Citizen-Centered E-Government Services, IGI Global, 2015, 9781466672666. ⟨10.4018/978-1-4666-7266-6.ch008⟩
...
hal-01205153v1  Book sections
Guillaume AupyAnne BenoitMohammed El Mehdi DiouriOlivier GlückLaurent Lefèvre. Energy-aware checkpointing strategies
Thomas Hérault; Yves Robert. Fault-Tolerance Techniques for High-Performance Computing, Springer, pp.279-317, 2015
...
tel-01253426v1  Habilitation à diriger des recherches
Sylvain Salvati. Lambda-calculus and formal language theory
Computer Science [cs]. Université de Bordeaux, 2015
hal-01104015v1  Book sections
Evguenia KopylovaLaurent NoéCorinne da SilvaJean-Frédéric BerthelotAdriana Alberti et al.  Deciphering metatranscriptomic data
Methods in Molecular Biology, 1269, Springer, pp.279-291, 2015, RNA Bioinformatics, 978-1-4939-2290-1. ⟨10.1007/978-1-4939-2291-8_17⟩
lirmm-00853694v1  Book sections
Vincent BerenzFady AlnajjarMitsuhiro HayashibeShingo Shimoda. Tacit learning for emergence of task-related behavior through signal accumulation
Emergent Trends in Robotics and Intelligent Systems. Where is the Role of Intelligent Technologies in the Next Generation of Robots?, Advances in Intelligent Systems and Computing (316), Springer, pp.31-38, 2015, Emergent Trends in Robotics and Intelligent Systems, 978-3-319-10782-0. ⟨10.1007/978-3-319-10783-7_3⟩
...
tel-01254928v1  Habilitation à diriger des recherches
Marc Lelarge. Topics in random graphs, combinatorial optimization, and statistical inference
Probability [math.PR]. ENS Paris - Ecole Normale Supérieure de Paris, 2015
...
hal-01254880v1  Book sections
Christophe GodinEugenio AzpeitiaEtienne Farcot. An introduction to modelling flower primordium initiation
From Molecules to Living Organisms: An Interplay Between Biology and Physics, 102, 2015, Lecture Notes of the Les Houches School of Physics
...
hal-00954377v1  Book sections
Mireille BossyOdile PourtallierNadia Maïzi. Game theory analysis for carbon auction market through electricity market coupling
Ludkovski, Michael; Sircar, Ronnie; Aid, Rene. Commodities, Energy and Environmental Finance, 74, Springer, pp. 335-370, 2015, Fields Institute Communications, 978-1-4939-2732-6. ⟨10.1007/978-1-4939-2733-3_13⟩
hal-01255246v1  Book sections
Bernard Fortz. Location Problems in Telecommunications
Location Science, Springer International Publishing, pp.537-554, 2015
hal-01255457v1  Book sections
Sahbi SidhomNoureddine BourkacheMourad Laghrouche. Multimodal Indexing and Information Retrieval in Medical Image Mammographies: Digital Learning Based on Gabor Filters Model
Wahiba Ben Abdessalem Karâa (Taif University, Saudi Arabia & RIADI-GDL Laboratory, ENSI, Tunisia) and Nilanjan Dey (Department of Information Technology, Techno India College of Technology, Kolkata, India). Biomedical Image Analysis and Mining Techniques for Improved Health Outcomes, 1, IGI Global, pp.414, 2015, Advances in Bioinformatics and Biomedical Engineering (ABBEà Book Series, ISBN13: 9781466688117|ISBN10: 1466688114|EISBN13: 9781466688124