 |
 |
 |
|
|
||
|---|---|---|
| inria-00568924v1
Book sections
Competition in high dimensional spaces using a sparse approximation of neural fields Carlos Hernández, Ricardo Sanz, Jaime Gómez-Ramirez, Leslie S. Smith, Amir Hussain, Antonio Chella, Igor Aleksander. From Brains to Systems: Brain-Inspired Cognitive Systems 2010, Springer, 2011, Advances in Experimental Medicine and Biology, 978-1461401636 |
||
| inria-00415116v1
Book sections
Engineering Reconfigurable Distributed Software Systems: Issues Arising for Pervasive Computing Michael Butler and Cliff Jones and Alexander Romanovsky. Rigorous Development of Complex Fault-Tolerant Systems, Springer, pp.364-386, 2006 |
||
| hal-03319693v1
Book sections
Situations critiques étendues : la singularité physique du vivant BOURGINE, Paul; CHAVALARIAS, David; COHEN-BOULAKIA, Claude. Déterminismes et complexités : du physique à l'éthique. Autour d'Henri Atlan, La Découverte, 2008, 2707150908, 978-2707150905 |
||
| hal-03319456v1
Book sections
Phenomenology of Incompleteness: from Formal Deductions to Mathematics and Physics Lupacchini, Rossella; Corsi, Giovanna. Deduction, Computation, Experiment: Exploring the Effectiveness of Proof, Springer, 2008, 978-8847007833 |
||
| hal-03260400v1
Book sections
The Exponential-Dual Matrix Method: Applications to Markov Chain Analysis R. Swift, A. Krinik, J. Switkes and J. Park. Stochastic Processes and Functional Analysis: New Perspectives, 774, pp.1-23, 2021, Contemporary Mathematics |
||
| hal-03338785v1
Book sections
The Braga Method: Extracting Certified Algorithms from Complex Recursive Schemes in Coq Proof and Computation II, WORLD SCIENTIFIC, pp.305-386, 2021, ⟨10.1142/9789811236488_0008⟩ |
||
| hal-02426694v1
Book sections
Visual Tracking Encyclopedia of Robotics, Springer, pp.1-16, In press, ⟨10.1007/978-3-642-41610-1_102-1⟩ |
||
| |
||
| hal-03684695v1
Book sections
One-Step Next-Generation Sequencing of Immunoglobulin and T-Cell Receptor Gene Recombinations for MRD Marker Identification in Acute Lymphoblastic Leukemia Anton W. Langerak. Immunogenetics. Methods and Protocols, 2453, Springer, pp.43-59, 2022, Methods in Molecular Biology, 978-1-0716-2115-8. ⟨10.1007/978-1-0716-2115-8_3⟩ |
||
| |
||
| hal-03455981v1
Book sections
Global Order Routing on Exchange Networks Matthew Bernhard; Andrea Bracciali; Lewis Gudgeon; Thomas Haines; Ariah Klages-Mundt; Shin'ichiro Matsuo; Daniel Perez; Massimiliano Sala; Sam Werner. Financial Cryptography and Data Security. FC 2021 International Workshops, 12676, Springer, pp.207-226, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-63958-0_19⟩ |
||
| hal-03688430v1
Book sections
Human Listeners and Virtual Assistants: Privacy and Labor Arbitrage in the Production of Smart Technologies Mark Graham, Fabian Ferrari. Digital Work in the Planetary Market, The MIT Press, 2022, 9780262369824. ⟨10.7551/mitpress/13835.003.0014⟩ |
||
| hal-02333603v1
Book sections
Multi-Mode DAE Models - Challenges, Theory and Implementation Computing and Software Science: State of the Art and Perspectives, 10000, Springer, pp.283-310, 2019, Lecture Notes in Computer Science, 978-3-319-91907-2. ⟨10.1007/978-3-319-91908-9_16⟩ |
||
| hal-00113594v1
Book sections
Association rule interestingness: measure and statistical validation Guillet, Hamilton. Quality measures in data mining, Springer, pp.25, 2006 |
||
| hal-00367603v1
Book sections
Parallel alignment of structured documents Jean Véronis. Parallel Text Processing, Kluwer Academic Publisher, pp.233-253, 2000 |
||
| hal-00927226v1
Book sections
Evolutionary Games Tamer Başar. Encyclopedia of Systems and Control, Springer, pp.391-396, 2014, ⟨10.1007/978-1-4471-5102-9_32-1⟩ |
||
| hal-00739526v2
Book sections
L'avenir du web au prisme de la ressource Lisette Calderan and Pascale Laurent and Hélène Lowinger and Jacques Millet. Le document numérique à l'heure du web, ADBS, pp.229-252, 2012, Sciences et techniques de l'information, 978-2-84365-142-7 |
||
| inria-00549234v1
Book sections
Substructure Topology Preserving Simplification of Tetrahedral Meshes Valerio Pascucci and Xavier Tricoche and Hans Hagen and Julien Tierny. Topological Methods in Data Analysis and Visualization, Springer, pp.55-66, 2011, Mathematics and Visualization, 978-3-642-15013-5. ⟨10.1007/978-3-642-15014-2_5⟩ |
||
| inria-00471716v1
Book sections
Algorithmes des graphes et des réseaux Jacky Akoka, Isabelle Comyn-Wattiau. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, pp.936-945, 2006 |
||
| inria-00525020v1
Book sections
From MARTE to Reconfigurable NoCs: A model driven design methodology Jih-Sheng Shen. Dynamic Reconfigurable Network-on-Chip Design: Innovations for Computational Processing and Communication, IGI Global, 2010, 1615208070 |
||
| inria-00525023v1
Book sections
Models for Co-Design of Heterogeneous Dynamically Reconfigurable SoCs Nicolescu, Gabriela; O'Connor, Ian; Piguet, Christian. Heterogeneous Embedded Systems - Design Theory and Practice, Springer, 26 p., 2012 |
||
| hal-00764963v1
Book sections
Elliptic curve cryptographic systems Gary L. Mullen and Daniel Panario. Handbook of Finite Fields, Chapman and Hall/CRC, pp.784-796, 2013, Discrete Mathematics and Its Applications, 9781439873786 |
||
| inria-00130523v1
Book sections
What is a logic, and what is a proof ? Jean-Yves Beziau. Logica Universalis, Birkhäuser, pp.135-145, 2005, 978-3-7643-7259-0 |
||
| inria-00468651v1
Book sections
Testing Model Transformations: A case for Test Generation from Input Domain Models Babau, Jean-Philippe and Blay-Fornarino, Mireille and Champeau, Joël and Gèrard, Sèbastien and Robert, Sylvain and Sabetta, Antonino. Model Driven Engineering for Distributed Real-time Embedded Systems, ISTE, 2009 |
||
| hal-00942660v1
Book sections
PARAMETRIC LINK MODELS FOR KNOWLEDGE TRANSFER IN STATISTICAL LEARNING Dragan Ilic. Knowledge Transfer: Practices, Types and Challenges, Nova Publishers, 2012 |
||
| ensl-00758377v1
Book sections
Reconfigurable arithmetic for HPC Wim Vanderbauwhede and Khaled Benkrid. High-Performance Computing using FPGAs, Springer, 2013 |
||
| inria-00540493v1
Book sections
Compilation of Polychronous Data Flow Equations Sandeep K. Shukla and Jean-Pierre Talpin. Synthesis of Embedded Software, Springer, pp.1-40, 2010, 978-1-4419-6399-4. ⟨10.1007/978-1-4419-6400-7_1⟩ |
||
| hal-00744977v1
Book sections
Le corps d'une " prophétesse " ? FLORENCE CALAMENT - RICARDO EICHMANN - CHRISTOPHE VENDRIES. Le luth dans l'Égypte byzantine. La tombe de la " Prophétesse d'Antinoé " au Musée de Grenoble, Verlag Marie Leidorf GmbH * Rahden/Westf., pp.190, 2012, DEUTSCHES ARCHÄOLOGISCHES INSTITUT ORIENT-ABTEILUNG Orient-Archäologie Band 26, ISBN 978-3-86757-656-3 |
||
| inria-00187555v1
Book sections
Optimized Schwarz waveform relaxation algorithms with nonconforming time discretization for coupling convection-diffusion problems with discontinuous coefficients Olof B. Widlund and Walter Zulehner. Domain Decomposition Methods in Science and Engineering XVI, 55, Springer Verlag, pp.267-274, 2007, Lecture Notes in Computational Science and Engineering, 978-3-540-34468-1. ⟨10.1007/978-3-540-34469-8_31⟩ |
||
| inria-00592425v1
Book sections
Introduction to the Multifractal Analysis of Images Yuval Fisher. Fractal Image Encoding and Analysis, 159, Springer, pp.299-341, 1998, 3-540-63196-8 |
||
| hal-00752687v1
Book sections
Comparison between internal and external DSLs via RubyTL and Gra2MoL Marjan Mernik. Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, IGI Global, 2012, 9781466620926. ⟨10.4018/978-1-4666-2092-6.ch005⟩ |
||
| hal-00997133v1
Book sections
Extending Signatures of Reputation Hansen, M.; Hoepman, J.-H.; Leenes, R.; Whitehouse, D. Privacy and Identity Management for Emerging Services and Technologies : 8th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6 International Summer School, Nijmegen, The Netherlands, June 17-21, 2013, Revised Selected Papers, AICT-421, Springer, pp.165-176, 2014, IFIP Advances in Information and Communication Technology (TUTORIAL), 978-3-642-55136-9. ⟨10.1007/978-3-642-55137-6_13⟩ |
||
| hal-00105953v1
Book sections
Estimation et contrôle des performances en généralisation des réseaux de neurones Younes Bennani. Apprentissage Connexioniste, Hermès, pp.283, 2006, collection I2C |
||
| hal-00675327v1
Book sections
Cryptanalysis of block ciphers and weight divisibility of some binary codes Blaum, Mario and Farrell, Patrick G. and van Tilborg, Henk C.A. Information, coding, and mathematics: proceedings of the workshop honoring Prof. Bob McEliece on his 60th birthday, 687, Kluwer, pp.75-97, 2002, The Kluwer International Series in Engineering and Computer Science, 978-1-4020-7079-2 |
||
| hal-00200987v1
Book sections
Product oriented modelling and Interoperability issues Yannis Manolopoulos; Joaquim Filipe; Panos Constantopoulos; José Cordeiro. Enterprise Information Systems, 3, Springer, pp.293-308, 2008, 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006 Revised Selected Papers, 978-3-540-77580-5. ⟨10.1007/978-3-540-77581-2_20⟩ |
||
| hal-01242945v1
Book sections
Molding direction constraints in structural optimization via a level-set method Variational Analysis and Aerospace Engineering, Springer, pp.1-39, 2016, 978-3-319-45680-5. ⟨10.1007/978-3-319-45680-5⟩ |
||
| hal-01336836v1
Book sections
Statically and Dynamically Verifiable SLA Metrics Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 9660, Springer, pp.211-225, 2016, Lecture Notes in Computer Science, 978-3-319-30733-6. ⟨10.1007/978-3-319-30734-3_15⟩ |
||
| hal-01367901v1
Book sections
Adaptive Sampling of Motion Trajectories for Discrete Task-bases Analysis and Synthesis of Gesture Sylvie Gibet; Nicolas Courty; Jean-François Kamp. Gesture in Human-Computer Interaction and Simulation, 6th International Gesture Workshop, Lecture Notes in Computer Science (3881), Springer-Verlag Berlin Heidelberg, pp.224 - 235, 2006, GW 2005, 978-3-540-32624-3 |
||
| hal-02920553v1
Book sections
Folksonomies, Thésaurus et Ontologies : trois artefacts combinés dans la structuration des données du Web Classer les archives et les bibliothèques, Presses universitaires de Rennes, 2015, ⟨10.4000/books.pur.88593⟩ |
||
| hal-01548352v1
Book sections
Classification and realization of the different vision-based tasks Visual Servoing, 7, pp.199 - 228, 1993, World Scientific Series in Robotics and Intelligent Systems, ⟨10.1142/9789814503709_0007⟩ |
||
| hal-01807944v1
Book sections
An Overview of in Silico Methods for the Prediction of Ionizing Radiation Resistance in Bacteria Tamar Reeve. Ionizing Radiation: Advances in Research and Applications, Nova science publishers, pp.241-256, 2018, Physics Research and Technology Series, 978-1-53613-539-8 |
||
| hal-01578910v1
Book sections
Replicated Data Types Liu, Ling; Özsu, M. Tamer. Encyclopedia Of Database Systems, Replicated Data Types, Springer-Verlag, pp.1-5, 2017, ⟨10.1007/978-1-4899-7993-3_80813-1⟩ |
||
| hal-01635817v1
Book sections
Microservices: a Language-based Approach Manuel Mazzara; Bertrand Meyer. Present and Ulterior Software Engineering, Springer, 2017 |
||
| hal-01633858v1
Book sections
Deep neural network based multichannel audio source separation Audio Source Separation, Springer, pp.157-195, 2018, 978-3-319-73030-1. ⟨10.1007/978-3-319-73031-8_7⟩ |
||
| hal-00723799v1
Book sections
High-Level Application Development for Sensor Networks: Data-Driven Approach Nikoletseas, Sotiris and Rolim, José D.P. Theoretical Aspects of Distributed Computing in Sensor Networks, Springer Berlin Heidelberg, pp.865-891, 2011, Monographs in Theoretical Computer Science. An EATCS Series, 978-3-642-14848-4. ⟨10.1007/978-3-642-14849-1_26⟩ |
||
| hal-00962376v1
Book sections
Clustering incrémental et méthodes de détection de nouveauté : application à l'analyse intelligente d'informations évoluant au cours du temps La recherche d'information en contexte :Outils et usages applicatifs, L. Grivel Ed, pp.00, 2011 |
||
| inria-00402130v1
Book sections
Brain Mapping using Topology Graphs Obtained by Surface Segmentation Bonneau, G.-P. and Ertl, T. and Nielson, G. .M. Scientific Visualization: The Visual Extraction of Knowledge from data, Springer, p. 35-48, 2005 |
||
| hal-00803108v1
Book sections
Hamilton-Jacobi-Bellman Equations on Multi-Domains K. Bredies; C. Clason; K. Kunisch; G. von Winckel. Control and Optimization with PDE Constraints, 164, Springer, pp.93--116, 2013, International Series of Numerical Mathematics, 978-3-0348-0630-5. ⟨10.1007/978-3-0348-0631-2_6⟩ |
||
| hal-02464616v1
Book sections
3. Academic Publishing Digital Technology and the Practices of Humanities Research, Open Book Publishers, pp.49-80, 2020, 978-1-78374-841-9. ⟨10.11647/OBP.0192.03⟩ |
||
| hal-02304016v2
Book sections
Les algorithmes pourraient-ils remplacer les juges ? Le Big Data et le droit, Dalloz, 2019, Thèmes et Commentaire |
||
| hal-01196827v1
Book sections
Green Data Centers Large-Scale Distributed Systems and Energy Efficiency, Wiley, pp.159-196, 2015, ⟨10.1002/9781118981122.ch6⟩ |
||
| hal-02550895v1
Book sections
Using Constraint Propagation for Cooperative UAV Localization from Vision and Ranging Decision Making under Constraints, Studies in Systems, Decision and Control, 276, Springer, pp.133-138, 2020, ⟨10.1007/978-3-030-40814-5_16⟩ |
||
| hal-02967163v1
Book sections
Multi-agents Ultimatum Game with Reinforcement Learning Fernando De La Prieta; Philippe Mathieu; Jaime Andrés Rincón Arango; Alia El Bolock; Elena Del Val; Jaume Jordán Prunera; João Carneiro; Rubén Fuentes; Fernando Lopes; Vicente Julian. Highlights in Practical Applications of Agents, Multi-Agent Systems, and Trust-worthiness. The PAAMS Collection, 1233, Springer, pp.267-278, 2020, Communications in Computer and Information Science, 978-3-030-51998-8. ⟨10.1007/978-3-030-51999-5_22⟩ |
||
| hal-02367735v1
Book sections
Information-centric networking: current research activities and challenges Media Networks: Architectures, Applications and Standards, CRC Press, 2011 |
||
| hal-02973830v1
Book sections
Amoebae for clustering: a bio-inspired cellular automata method for data classification Automata and Complexity, 42, Springer, Cham, pp.417-432, 2022, 978-3-030-92553-6. ⟨10.1007/978-3-030-92551-2_23⟩ |
||
| inria-00419143v1
Book sections
Anonymous Consecutive Delegation of Signing Rights: Unifying Group and Proxy Signatures V. Cortier and C. Kirchner and M. Okada and H. Sakurada. Formal to Practical Security, LNCS 5458, Springer-Verlag, pp.95--116, 2009, Lecture notes in computer science |
||
| inria-00497723v1
Book sections
Graphics Recognition -- What Else? Jean-Marc Ogier and Wenyin Liu and Josep Llados. Graphics Recognition - Achievements, Challenges and Evolution. Selected Paper from 8th International Workshop GREC 2009, La Rochelle, July 2009, 6020, Springer Verlag, pp.272-277, 2010, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-13728-0_25⟩ |
||
| inria-00499605v1
Book sections
A Learning Approach for Adaptive Image Segmentation Rustram Stolkin. Scene reconstruction, Pose Estimation, and Tracking, I-Tech Education and Publishing, pp.431-454, 2007, 9783902613066 |
||
| inria-00340708v1
Book sections
Stochastic spectral formulations for elliptic problems L' Ecuyer, Pierre (ed.) and Owen, Art B. (ed.). Monte Carlo and quasi-Monte Carlo methods 2008. Proceedings of the 8th international conference Monte Carlo and quasi-Monte Carlo methods in scientific computing, Montréal, Canada, July 6--11, 2008., Berlin: Springer, pp.513--528, 2009, ⟨10.1007/978-3-642-04107-5_33⟩ |
||
| inria-00512537v1
Book sections
Patrons de conception Akoka, Jacky and Comyn-Wattiau, Isabelle. Encyclopédie Vuibert de l'informatique, Vuibert, 2006 |
||
| inria-00352553v1
Book sections
Potential problems of stability and convergence in image-based and position-based visual servoing Kriegman, D. and Hager, G and Morse, A.S. The Confluence of Vision and Control, LNCIS Series, No 237, Springer-Verlag, pp.66-78, 1998 |
||
| hal-00659487v1
Book sections
Modelling Intermolecular Structures and Defining Ambiguity in Gene Sequences using Matrix Insertion-Deletion Systems Gemma Bel-Enguix, Veronica Dahl, M. Dolores Jiménez-López. Biology, Computation and Linguistics, new interdisciplinary paradigms, IOS Press, pp.71-82, 2011, Frontiers in Artificial Intelligence and Applications, 978-1-60750-761-1 |
||
| inria-00512541v1
Book sections
Le génie logiciel et l'IDM : une approche unificatrice par les modèles J. Estublier. L'ingénierie dirigée par les modèles, Lavoisier, Hermes-science, 2006 |
||
| hal-00658130v1
Book sections
Preserving data integrity of encoded medical images: the LAR compression framework Advances in Reasoning-Based Image Processing Intelligent Systems, Springer, pp.1-35, 2012 |
||
| hal-00906637v1
Book sections
Web sémantique et pratiques documentaires Jean-Claude Le Moal, Bernard Hidoine, Lisette Calderan. Publier sur internet, ABDS, pp.157-188, 2004, Sciences et techniques de l'information, 2-84365-072-0 |
||
| hal-01393604v1
Book sections
Biofluid Flow and Heat Transfer Richard. W. Johnson. Handbook of Fluid Dynamics, CRC Press, 2016, 9781439849552. ⟨10.1201/b19031-35⟩ |
||
| hal-01242573v1
Book sections
Compactness of linearized kinetic operators From Particle Systems to Partial Differential Equations III, 162, Springer, 2016, Springer Proceedings in Mathematics & Statistics (PROMS), ⟨10.1007/978-3-319-32144-8_4⟩ |
||
| hal-01483487v1
Book sections
Different Approaches Used in Modeling of Cell Membrane Electroporation Handbook of Electroporation, Springer, pp.24, 2017, Handbook of Electroporation, 978-3-319-26779-1. ⟨10.1007/978-3-319-26779-1_3-1⟩ |
||
| hal-01964689v1
Book sections
Algorithms Foundations Encyclopedia of Bioinformatics and Computational Biology, 1, Elsevier, pp.1-4, 2019, ⟨10.1016/b978-0-12-809633-8.20315-4⟩ |
||
| hal-01334772v1
Book sections
On the Expressiveness of Synchronization in Component Deployment Theory and Practice of Formal Methods , 9660 pp.344-359, 2016, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-30734-3⟩ |
||
| hal-01015306v1
Book sections
Simple, Rasterization-based Liquids Carsten Dachsbacher. GPU Pro 5, A K Peters/CRC Press, pp.55-64, 2013, 978-1-4822-0864-1. ⟨10.1201/b16721-6⟩ |
||
| hal-01498129v3
Book sections
The Girsanov theorem without (so much) stochastic analysis Donati-Martin, Catherine; Lejay, Antoine; Rouault, Alain. Séminaire de Probabilités XLIX, 2215, Springer-Nature, 2018, 978-3-319-92419-9. ⟨10.1007/978-3-319-92420-5_8⟩ |
||
| hal-03603481v1
Book sections
Artificial Intelligence for Humankind: A Panel on How to Create Truly Interactive and Human-Centered AI for the Benefit of Individuals and Society Human-Computer Interaction – INTERACT 2021, 12936, Springer International Publishing, pp.335-339, 2021, Lecture Notes in Computer Science, 978-3-030-85607-6. ⟨10.1007/978-3-030-85607-6_32⟩ |
||
| hal-00713315v2
Book sections
DYNAMICO: A Reference Model for Governing Control Objectives and Context Relevance in Self-Adaptive Software Systems Rogerio de Lemos and Holger Giese and Hausi Müller and Mary Shaw. Software Engineering for Self-Adaptive Systems 2, 7475, Springer, pp.265-293, 2012, LNCS |
||
| hal-00823260v2
Book sections
Reduced-bias estimator of the Conditional Tail Expectation of heavy-tailed distributions M. Hallin et al. Mathematical Statistics and Limit Theorems, Springer, pp.105-123, 2015, ⟨10.1007/978-3-319-12442-1_7⟩ |
||
| hal-00776270v1
Book sections
Algebraic Algorithms Teofilo Gonzalez. Computing Handbook Set - Computer Science, I, CRC Press, 2012 |
||
| inria-00621263v1
Book sections
Virtual Reality Simulation of Liver Biopsy with a Respiratory Component Hirokazu Takahashi. Liver Biopsy, InTech, 2011, 978-953-307-644-7 |
||
| hal-03328534v1
Book sections
Control Charts for Monitoring Time-Between-Events-and-Amplitude Data Control Charts and Machine Learning for Anomaly Detection in Manufacturing, pp.43-76, 2022, ⟨10.1007/978-3-030-83819-5_3⟩ |
||
| hal-00336537v1
Book sections
Variational Approaches to the Estimation, Regularization and Segmentation of Diffusion Tensor Images Paragios, Chen & Faugeras. Mathematical Models of Computer Vision: The Handbook, Springer, pp.517--530, 2005 |
||
| hal-01762573v2
Book sections
A BCI challenge for the signal processing community: considering the user in the loop Signal Processing and Machine Learning for Brain-Machine Interfaces, IET, pp.1-33, 2018, 978-1-78561-398-2 |
||
| hal-01116082v1
Book sections
Online Unsupervised Neural-Gas Learning Method for Infinite Data Streams Pattern Recognition Applications and Methods, 318, springer, pp.57 - 70, 2015, Advances in Intelligent Systems and Computing, ⟨10.1007/978-3-319-12610-4_4⟩ |
||
| hal-01252673v2
Book sections
High-dimensional clustering Choix de modèles et agrégation, Sous la direction de J-J. DROESBEKE, G. SAPORTA, C. THOMAS-AGNAN Edition: Technip., 2017, 9782710811770 |
||
| hal-00906475v1
Book sections
Providing crowd-sourced and real-time media services through a NDN-based platform Fatos Xhafa. MODELLING AND PROCESSING FOR NEXT GENERATION BIG DATA TECHNOLOGIES AND APPLICATIONS, Springer, pp.405-441, 2015, Modeling and Processing for Next-Generation Big-Data Technologies, With Applications and Case Studies, ⟨10.1007/978-3-319-09177-8⟩ |
||
| hal-00350215v1
Book sections
A DSL Paradigm for Domains of Services: A Study of Communication Services Domain-Specific Program Generation, Springer Verlag, pp.165-179, 2004, Lecture Notes in Computer Science, State-of-the-Art Survey |
||
| hal-01346745v1
Book sections
A Taxonomy and Survey of Scientific Computing in the Cloud Big Data: Principles and Paradigms, Morgan Kaufmann, 2016, eScience and Big Data Workflows in Clouds: A Taxonomy and Survey, 978-0-12-805394-2. ⟨10.1016/B978-0-12-805394-2.00018-0⟩ |
||
| hal-03634874v1
Book sections
Counting Characteristic Roots of Linear Delay Differential Equations. Part II: from Argument Principle to Rightmost Root Assignment Methods CONTROLLING DELAYED DYNAMICS: ADVANCES IN THEORY, METHODS AND APPLICATIONS, In press |
||
| hal-03040165v1
Book sections
Magnetic Resonance Elastography and Portal Hypertension: Influence of the Portal Venous Flow on the Liver Stiffness Stem Cells and Regenerative Medicine – the 9th International Europe-China Symposium, Strasbourg 2-4 Oct 2019, In press |
||
| hal-03141940v1
Book sections
Single Encoding Diffusion MRI: a Probe to Brain Anisotropy Anisotropy Across Fields and Scales, 2021 |
||
| hal-03623926v1
Book sections
ADE-4 Software: a tool for multivariate analysis and graphical display Concepts and methods for studying marine biodiversity, from gene to ecosystem, 24 (4), pp.393-416, 1998 |
||
| hal-03676865v1
Book sections
Un exemple d'archéologie du geste martial: les guerriers de Paestum Armes et Guerriers, BAR Publishing, pp.1-12, 2022, BAR international series, 9781407359441 |
||
| |
||
| hal-03319485v1
Book sections
Theorems as Constructive Visions Hanna, Gila; de Villiers, Michael. Proof and Proving in Mathematics Education. The 19th ICMI Study, Springer, pp.51-66, 2010, 978-94-007-2129-6 |
||
| hal-03563140v2
Book sections
Image Geometry Pascal Vasseur; Fabio Morbidi. Omnidirectional Vision: From Theory to Applications, ISTE, 2022 |
||
| |
||
| hal-03406224v1
Software
MusicAE: Encoding songs with Autoencoders to reveal structure 2021, ⟨swh:1:dir:a5df9cf7e88b8893dc205465dbd7ba6595869d0a;origin=https://hal.archives-ouvertes.fr/hal-03406224;visit=swh:1:snp:18fb7d99d56d01720cd104405c78dfe757c06308;anchor=swh:1:rev:fb43c7c06c6483761726c753df0905510487458b;path=/⟩ |
||
| hal-02082818v1
Book sections
Co-Scheduling High-Performance Computing Applications Big Data: Management, Architecture, and Processing, Chapman and Hall/CRC, 2017, 9781315154008 |
||
| hal-01148954v2
Book sections
A Numerical Method to solve Optimal Transport Problems with Coulomb Cost Splitting Methods in Communication, Imaging, Science, and Engineering, 2016 |
||
| hal-02955901v1
Software
PHYSALIS (Physics-Driven Cosparse Analysis) 2015, ⟨swh:1:dir:f4f0c309fe07b42c62b84edf682bba0bfecff4d0;origin=https://hal.archives-ouvertes.fr/hal-02955901;visit=swh:1:snp:8a5796701fdd762ae1c77d3d8fb5583afe625d53;anchor=swh:1:rev:9d1304a95456ed7b1ce59613fc810f5463b35273;path=/⟩ |
||
| hal-01451705v1
Book sections
Ordering preferences for postverbal complements in French Henry Tyne, Virginie André, Christophe Benzitoun, Alex Boulton, Yan Greub. French through Corpora - Ecological and Data-Driven Perspectives in French Language Studies, Cambridge Scholars Publishing , 2014, 978-1-4438-5831-1 |
||
| hal-01930724v1
Book sections
Feedback control algorithms for the dissipation of traffic waves with autonomous vehicles Computational Intelligence and Optimization Methods for Control Engineering, Springer, pp.275-299, 2019, ⟨10.1007/978-3-030-25446-9_12⟩ |
||
|
|
||
