Skip to Main content Skip to Navigation
Help


...
hal-01109157v1  Book sections
Gang ZhengJean-Pierre Richard. Identifiability and observability of nonlinear time-delay system with unknown inputs
Recent Results on Nonlinear Time Delayed Systems, Springer Verlag, 2015
...
hal-01222381v1  Book sections
Nejib ZemzemiRajae AboulaichNajib FikalEmahdi El Guarmah. Sensitivity of the Electrocardiography Inverse Solution to the Torso Conductivity Uncertainties
Hans van Assen; Peter Bovendeerd ; Tammo Delhaas. Functional Imaging and Modeling of the Heart, Lecture Notes in Computer Science (9126), Springer, pp.475-483, 2015, 8th International Conference, FIMH 2015, Maastricht, The Netherlands, June 25-27, 2015. Proceedings, 978-3-319-20308-9. ⟨10.1007/978-3-319-20309-6_54⟩
...
hal-01233419v1  Book sections
Gianluigi Zavattaro. When to Move to Transfer Nets On the limits of Petri nets as models for process calculi
Programming Languages with Applications to Biology and Security, 9465, Springer, pp.339-353, 2015, Lecture Notes in Computer Science, 978-3-319-25526-2. ⟨10.1007/978-3-319-25527-9_22⟩
...
hal-01239072v1  Book sections
Hellekin WolfJaromil JaromilRadium RadiumChristian Grothoff. Free Software Economics
Cost of Freedom: A Collective Inquiry, Julien Taquet, pp.131-136, 2015
hal-01239428v1  Book sections
Christoph Weidenbach. Automated Reasoning Building Blocks
Roland Meyer and André Platzer and Heike Wehrheim. Correct System Design – Symposium in Honor of Ernst-Rüdiger Olderog, 9360, Springer, pp.172-188, 2015, ⟨10.1007/978-3-319-23506-6_12⟩
hal-01116580v1  Book sections
Martin VymazalLila KolozarStefano d'AngeloN. VilledieuMario Ricchiuto et al.  High-order residual distribution and error estimation for steady and unsteady compressible flow
Notes on Numerical Fluid Mechanics and Multidisciplinary Design, 128, Springer, pp.381-395, 2015, Notes on Numerical Fluid Mechanics and Multidisciplinary Design
hal-01238441v1  Book sections
Thierry Viéville. Et l’égalité des sexes alors, les mecs ?
Médiation scientifique : de la science informatique au grand public. 1024 – Bulletin de la société informatique de France Hors-série numéro 1, 2015
hal-01261485v1  Book sections
Jan van Eijck. Implementing Semantic Theories
Shalom Lappin and Chris Fox. Handbook of Contemporary Semantics, Second Edition, Wiley, pp.455--491, 2015
hal-01261486v1  Book sections
Jan van Eijck. Strategies in Social Software
J. van Benthem and S. Ghosh and R. Verbrugge. Modeling Strategic Reasoning: Logics, Games and Communities, Springer, 2015, LNCS
hal-01261488v1  Book sections
Jan van Eijck. Varieties of Belief and Probability
Sujata Ghosh and Jakyb Szymanik. The Facts Matter ―- Essays on Logic and Cognition in Honour of Rineke Verbrugge, College Publications, pp.67--87, 2015, Tributes, Volume 25
hal-01068167v1  Book sections
James TiltonAksoy SelimYuliya Tarabalka. Image segmentation algorithms for land categorization
P. S. Thenkabail. Remote Sensing Handbook, Taylor and Francis, 2015
hal-01125005v1  Book sections
Marc Thiriet. Physiology and Pathophysiology of Arterial Flow
Peter Lanzer. PanVascular Medicine, Springer, pp.533-568, 2015, 978-3-642-37077-9. ⟨10.1007/978-3-642-37078-6_26⟩
hal-01124593v1  Book sections
Marc Thiriet. Hemodynamics: An Introduction
Peter Lanzer. PanVascular Medicine, Springer, pp.413-483, 2015, 978-3-642-37077-9. ⟨10.1007/978-3-642-37078-6_22⟩
hal-01124772v1  Book sections
Marc Thiriet. Mechanotransduction and Vascular Resistance
Peter Lanzer. PanVascular Medicine, Springer, pp.703-767, 2015, 978-3-642-37077-9. ⟨10.1007/978-3-642-37078-6_258⟩
hal-01124446v1  Book sections
Marc Thiriet. Cardiac Pump: An Introduction
Peter Lanzer. PanVascular Medicine, Springer, pp.345-412, 2015, 978-3-642-37077-9. ⟨10.1007/978-3-642-37078-6_25⟩
hal-01249473v1  Book sections
El-Ghazali Talbi. Parallel evolutionary combinatorial optimization
J. Kacprzyk and W. Pedrycz. Handbook of Computational Intelligence, Springer, pp.1107-1125, 2015
hal-01088384v1  Book sections
Emmanuel SoubiesPierre WeissXavier Descombes. Graph Cut Based Segmentation of Predefined Shapes: Applications to Biological Imaging
Pattern Recognition Applications and Methods., 318, Springer-Verlag, pp.153-170, 2015, Advances in Intelligent Systems and Computing, 978-3-319-12610-4. ⟨10.1007/978-3-319-12610-4_10⟩
...
hal-01244612v1  Book sections
Dmitry SokolovGilles GouatyChristian GentilAnton Mishkinis. Boundary Controlled Iterated Function Systems
Curves and Surfaces, Springer, 2015, Lecture Notes in Computer Science - 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers, 978-3-319-22803-7. ⟨10.1007/978-3-319-22804-4_29⟩
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
...
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-01306988v1  Book sections
Ons SassiWahiba Ramdane CherifAmmar Oulamara. Iterated Tabu Search for the Mix Fleet Vehicle Routing Problem with Heterogenous Electric Vehicles
Springer-Verlag. Modelling, Computation and Optimization in Information Systems and Management Sciences, 359, pp.57-68, 2015, Advances in Intelligent Systems and Computing 978-3-319-18160-8. ⟨10.1007/978-3-319-18161-5_6⟩
hal-01605378v1  Book sections
Fatiha SaïsRallou Thomopoulos. A reconciliation-driven approach of case-based prediction: state of the art, method overview and application in food science
Case-Based Reasoning: Strategies, Developments and Applications, Nova Science Publishers, 2015, Electrical Engineering Developments, 978-1-63483-705-7
...
hal-01605378v2  Book sections
Fatiha SaïsRallou Thomopoulos. A reconciliation-driven approach of case-based prediction: state of the art, method overview and application in food science
Case-Based Reasoning: Strategies, Developments and Applications, Nova Science Publisher, Inc. New York, 2015, Electrical Engineering Developments, 978-1-63483-705-7
hal-01237922v1  Book sections
Mohab Safey El Din. Algorithmes efficaces en géométrie algébrique réelle
Informatique Mathématique Une photographie en 2015, CNRS Editions, 2015, 978-2-271-08791-1
hal-02437504v1  Book sections
José RouillardJ.C. TarbyHajer Sassi. Hyperconnection, proactivity and ubiquitous computing: the X-CAMPUS project
Hyperconnectivity and the Future of Internet Communication, Lambert Academic Publishing, editor: Adrian David Cheok, ISBN 10: 3659544159 ISBN 13: 9783659544156., 2015
...
hal-01179146v1  Book sections
Maria RosoiuJérôme DavidJérôme Euzenat. A linked data framework for Android
Elena Simperl; Barry Norton; Dunja Mladenic; Emanuele Della Valle; Irini Fundulaki; Alexandre Passant; Raphaël Troncy. The Semantic Web: ESWC 2012 Satellite Events, Springer Verlag, pp.204-218, 2015, 978-3-662-46640-7. ⟨10.1007/978-3-662-46641-4_15⟩