Skip to Main content Skip to Navigation


inria-00638559v1  Book sections
Gabriel A. WainerKhaldoon Al-ZoubiOlivier DalleSaurabh MittalJosé L. Risco Martin et al.  Chapter 18: Standardizing DEVS Simulation Middleware
Wainer, G. and Mosterman, P. Discrete-Event Modeling and Simulation: Theory and Applications, CRC press, pp.459--494, 2011, 978-1-4200-7233-4
inria-00638560v1  Book sections
Gabriel A. WainerKhaldoon Al-ZoubiOlivier DalleSaurabh MittalJosé Luis Risco Martin et al.  Chapter 17: Standardizing DEVS model representation
Wainer, G. and Mosterman, P. Discrete-Event Modeling and Simulation: Theory and Applications, CRC press, pp.427--458, 2011, 978-1-4200-7233-4
...
hal-01558062v1  Book sections
Nassim AbbasYoucef ChibaniArnaud MartinFlorentin Smarandache. The effective use of the DSmT for multi-class classification
Advances and Applications of DSmT for Information Fusion, 4, 2015
hal-00918854v1  Book sections
Faiza AbdatMarine AmourouxYann GuermeurWalter Blondel. Spectroscopie d'autofluorescence in vivo résolue spatialement : multiclassification SVM d'états précancéreux améliorée par fusion de sources
Stéphane Mottin and Gérard Lelièvre. Biophotonique Générale Optique & Imageries pour le Diagnostic dans les Sciences du Vivant et en Médecine, Publications Mission ressources et compétences technologiques CNRS, Meudon (Hauts-de-Seine), pp.556, 2013, Intégrations des savoirs et des savoir-faire, 978-2-918701-11-8
hal-00826418v1  Book sections
Sameh Abdel-NabyBruno BeaufilsMaxime Morge. Towards a dialectical approach for conversational agents in selling situations
Argumentation in Multi-Agent Systems, Springer, pp.141-158, 2011
halshs-00120275v1  Book sections
Anne AbeilléOlivier BonamiDanièle GodardJesse Tseng. The syntax of French "à" and "de": an HPSG analysis
Patrick Saint-Dizier. Syntax and Semantics of Prepositions, Springer, pp.147-162, 2006
inria-00538855v1  Book sections
Remi AbgrallAdam LaratMario Ricchiuto. Construction of high order non-upwind residual distribution
Kroll, N.; Bieler, H.; Deconinck, H.; Couaillier, V.; Ven, H. van der; Sorensen, K. ADIGMA - A European Initiative on the Development of Adaptive Higher-Order Variational Methods for Aerospace Applications, Springer (Kluwer Academic Publishers), 2010, Notes on Numerical Fluid Mechanics and Multidisciplinary Design, ⟨10.1007/978-3-642-03707-8_9⟩
inria-00538857v1  Book sections
Remi AbgrallRémi ButelPascal JacqCedric LachatXavier Lacoste et al.  Implicit Strategy and Parallelization of a High Order Residual Distribution Scheme
Kroll, N.; Bieler, H.; Deconinck, H.; Couaillier, V.; Ven, H. van der; Sorensen, K. ADIGMA - A European Initiative on the Development of Adaptive Higher-Order Variational Methods for Aerospace Applications, Springer (Kluwer Academic Publishers), pp.209-224, 2010, Notes on Numerical Fluid Mechanics and Multidisciplinary Design, ⟨10.1007/978-3-642-03707-8_15⟩
hal-01092359v1  Book sections
Rémi AbgrallPietro Marco CongedoGianluca GeraciGianluca Iaccarino. Adaptive strategy in multiresolution framework for uncertainty quantification
Proceedings of the 2012 Summer Program, Center for Turbulence Research, Stanford University, pp.209-218, 2012
...
hal-01444075v1  Book sections
Remi AbgrallMario Ricchiuto. High order methods for CFD
Encyclopedia of Computational Mechanics, John Wiley & Sons, Ltd, 2017
hal-00292904v1  Book sections
Serge AbiteboulBenjamin NguyenGabriela Ruberg. Building an Active Content Warehouse
Processing and Managing Complex Data for Decision support, IDEA Group Publishing, 2006
...
hal-01120259v1  Book sections
Serge AbiteboulFlorence Hachez-Leroy. Humanités numériques
Encyclopédie de l'humanisme méditerranéen, 2015
...
inria-00075838v1  Book sections
Serge AbiteboulStéphane Grumbach. COL : a logic-based language for complex objects
François Bancilhon ; Peter Buneman. Advances in database programming languages, ACM Press, pp.347-374, 1987, 0-201-50257-7. ⟨10.1145/101620.101641⟩
...
hal-01875161v1  Book sections
Serge Abiteboul. The Digital Shoebox
Memory, edited by Philippe Tortell, Mark Turin, and Margot Young, UBC Press, 2018
...
hal-02304016v2  Book sections
Serge AbiteboulFlorence G'Sell. Les algorithmes pourraient-ils remplacer les juges ?
Le Big Data et le droit, Dalloz, 2019, Thèmes et Commentaire
...
hal-03424140v1  Book sections
Pierre AboulkerFrédéric HavetKolja KnauerClément Rambaud. On the dichromatic number of surfaces
Extended Abstracts EuroComb 2021, 14, Springer International Publishing, pp.181-187, 2021, Trends in Mathematics, ⟨10.1007/978-3-030-83823-2_29⟩
inria-00570663v1  Book sections
Patrice AbryPaulo GonçalvesPatrick Flandrin. Wavelets, spectrum analysis and 1/f processes
A. Antoniadis. Wavelets and statistics, Springer, 1995, Lecture Notes in Statistics
...
hal-00782128v1  Book sections
Vincent AcaryFlorent Cadoux. Applications of an existence result for the Coulomb friction problem
Stavroulakis, Georgios E. Recent Advances in Contact Mechanics, 56, Springer, pp.45-66, 2013, Lecture Notes in Applied and Computational Mechanics, ⟨10.1007/978-3-642-33968-4_4⟩
...
hal-00681258v1  Book sections
Vincent Acary. Time-Stepping via Complementarity
Francesco Vasca and Luigi Iannelli. Dynamics and Control of Switched Electronic Systems, Springer, pp.417-450, 2012, Advances in Industrial Control, 978-1-4471-2884-7. ⟨10.1007/978-1-4471-2885-4_14⟩
...
hal-00758609v1  Book sections
Vincent AcaryBernard Brogliato. Higher Order Moreau's Sweeping Process
Alart, P. and Maisonneuve, O. and Rockafellar, R. T. Nonsmooth Mechanics and Analysis, 12, Springer Verlag, pp.261-277, 2007, Advances in Mechanics and Mathematics, ⟨10.1007/0-387-29195-4_22⟩
...
hal-01878539v1  Book sections
Vincent AcaryMaurice BrémondOlivier Huber. On solving contact problems with Coulomb friction: formulations and numerical comparisons
Springer International Publishing. Advanced Topics in Nonsmooth Dynamics - Transactions of the European Network for Nonsmooth Dynamics, pp.375-457, 2018, 9783319759715. ⟨10.1007/978-3-319-75972-2_10⟩
...
hal-01942275v1  Book sections
Matteo AcclavioLutz Straßburger. From Syntactic Proofs to Combinatorial Proofs
International Joint Conference on Automated Reasoning, IJCAR 2018, Springer, pp.481-497, 2018, 978-3-319-94204-9
...
hal-03369819v1  Book sections
Matteo AcclavioDavide CattaLutz Straßburger. Game Semantics for Constructive Modal Logic
Automated Reasoning with Analytic Tableaux and Related Methods, 12842, Springer International Publishing, pp.428-445, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-86059-2_25⟩
...
hal-02413046v1  Book sections
Giovanni AccongiagiocoEitan AltmanEnrico GregoriLuciano Lenzini. Peering vs transit: A game theoretical model for autonomous systems connectivity
Eitan Altman; Konstantin Avrachenkov; Francesco de Pellegrini; Rachid El-Azouzi; Huijuan Wang. Multilevel Strategic Interaction Game Models for Complex Networks, Springer International Publishing, pp.201-237, 2019, ⟨10.1007/978-3-030-24455-2_11⟩
hal-01485615v1  Book sections
Pierre AccorsiNamrata PatelCédric LopezRachel PanckhurstMathieu Roche. Seek&Hide. Anonymising a French SMS corpus using natural language processing techniques.
Louise-Amélie Cougnon; Cédrick Fairon. SMS Communication. A linguistic approach, John Benjamins, pp.11-28, 2014, 978 90 272 0280 2/9789027270306. ⟨10.1075/bct.61⟩
hal-01098109v1  Book sections
Mathieu AcherPhilippe ColletPhilippe Lahire. Architectures logicielles et variabilité multiple
Architectures logicielles : principes, techniques et outils, Lavoisier, 2014
hal-01921891v1  Book sections
Gergely AcsGergely BiczókClaude Castelluccia. Privacy-Preserving Release of Spatio-Temporal Density
Handbook of Mobile Data Privacy, Springer, pp.307-335, 2018, 978-3-319-98160-4. ⟨10.1007/978-3-319-98161-1_12⟩
halshs-03027296v1  Book sections
Matthieu AdamHervé Rivano. Données. Quand le numérique produit et gouverne la ville
Le Capital dans la cité, Éditions Amsterdam, pp.125-137, 2020, 9782354802172
hal-00840731v1  Book sections
Z. AfoulkiAline BousquetJérémy BriffautLaurent ClévyJonathan Rouzaud-Cornabas et al.  PIGA-Cloud : une protection obligatoire des environnements d'informatique en nuage
Krief, Francine and Pierson, Jean-Marc and Roose, Philippe. RNTI SM2. Ingénierie des protocoles et Nouvelles technologies de la répartition, RNTI, pp.59-78, 2013, 9782705687328
hal-01392516v1  Book sections
Andrei AgrachevDavide BarilariUgo Boscain. Introduction to geodesics in sub-Riemannian geometry
Geometry, Analysis and Dynamics on Sub-Riemannian Manifolds - Volume II, 2016, EMS Series of Lectures in Mathematics
inria-00098633v1  Book sections
Christian Ah-Soon. A Constraint Network for Symbol Detection in Architectural Drawings
Tombre, Karl and Chhabra, Atul K. Graphics Recognition - Algorithms and Systems - GREC'97, Springer-Verlag, pp.80-90, 1998, Lecture Notes in Computer Science
...
hal-02360681v1  Book sections
Benedikt AhrensRalph Matthes. Heterogeneous Substitution Systems Revisited
Tarmo Uustalu. 21st International Conference on Types for Proofs and Programs (TYPES 2015), 69, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp.2:1-2:23, 2018, Leibniz International Proceedings in Informatics (LIPIcs), 978-3-95977-030-9. ⟨10.4230/LIPIcs.TYPES.2015.2⟩
hal-02276315v1  Book sections
Mehmet Eren AhsenHitay OzbaySilviu-Iulian Niculescu. Stability and Robustness Analysis of a Class of Cyclic Biological Systems
Insperger, T; Ersal, T; Orosz, G. Time Delay Systems. Theory, Numercis, Applications and Experiments, 7, Springer, pp.155-166, 2017, ⟨10.1007/978-3-319-53426-8_11⟩
hal-02271301v1  Book sections
Mehmet Eren AhsenHitay OzbaySilviu-Iulian Niculescu. Analysis of Gene Regulatory Networks under Positive Feedback
Delay Systems From Theory to Numerics and Applications, pp.127-140, 2014, Advances in Delays and Dynamics book series (ADVSDD, volume 1)
...
hal-00825853v1  Book sections
M. AignerB. JüttlerAdrien Poteaux. Approximate Implicitization of Space Curves
U. Langer and R. Corless and H. Hong and T. Ida and M. Kreuzer and B. Salvy and D. Wang and P. Paule. Numerical and Symbolic Scientific Computing, Springer Vienna, pp.1-19, 2012, ⟨10.1007/978-3-7091-0794-2_1⟩
...
hal-00656481v1  Book sections
Bedreddine AinsebaMostafa BendahmaneAlejandro Lopez. Solving the Laplacian Equation in 3D using Finite Element Method in C# for Structural Analysis
ALEJANDRO PEDROZA, CELSO GUTIÉRREZ, ELSA CHAVIRA and FRANCISCO J. MENDIETA. VEHICULOS AEROESPACIALES, Sociedad Mexicana de Ciencia y Tecnología Aeroespacial (Mexican Society of Aerospace Science, and Technology), 2011
hal-03250787v1  Book sections
Yamine Aït-AmeurRégine LaleauDominique MéryNeeraj Kumar Singh. Towards Leveraging Domain Knowledge in State-Based Formal Methods
Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter. Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Brger on the Occasion of His 75th Birthday", Lecture Notes in Computer Science (12750), Springer, pp.1-13, 2021, Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Brger on the Occasion of His 75th Birthday, 978-3-030-76020-5. ⟨10.1007/978-3-030-76020-5_1⟩
inria-00378891v1  Book sections
Reza AkbariniaVidal MartinsEsther PacittiPatrick Valduriez. Design and Implementation of Atlas P2P Architecture
R. Baldoni, G. Cortese and F. Davide. Global Data Management, IOS Press, pp.98-123, 2006, 1-58603-629-7
...
hal-00848377v1  Book sections
Andrei R. AkhmetzhanovLudovic MailleretFrédéric GrognardPierre Bernhard. Join forces or cheat: evolutionary analysis of a consumer-resource system
Pierre Cardaliaguet and Ross Cressman. Advances in Dynamic Games, Springer, pp.73-95, 2013, Annals of the International Society of Dynamic Games; v. 12, ⟨10.1007/978-0-8176-8355-9_4⟩
hal-00881203v1  Book sections
Marianne AkianStéphane GaubertAlexander Guterman. Tropical Cramer Determinants Revisited
G.L. Litvinov and S.N. Sergeev. Tropical and Idempotent Mathematics and Applications, 616, AMS, pp.45, 2014, Contemporary Mathematics
inria-00000968v1  Book sections
Marianne AkianStéphane GaubertCormac Walsh. Discrete max-plus spectral theory
G.L. Litvinov and V.P. Maslov. Idempotent Mathematics and Mathematical Physics, 377 (377), American Mathematical Society, pp.53--77, 2005, Contemporary Mathematics
hal-01675067v1  Book sections
Marianne AkianEric Fodjo. From a monotone probabilistic scheme to a probabilistic max-plus algorithm for solving Hamilton-Jacobi-Bellman equations
Dante Kalise; Karl Kunisch; Zhiping Rao. Hamilton-Jacobi-Bellman Equations: Numerical Methods and Applications in Optimal Control, 21, De Gruyter, 2018, Radon Ser. Comput. Appl. Math
inria-00000966v1  Book sections
Marianne AkianStéphane GaubertVassili Kolokoltsov. Set coverings and invertibility of Functional Galois Connections
G.L. Litvinov and V.P. Maslov. Idempotent Mathematics and Mathematical Physics, 377 (377), American Mathematical Society, pp.19-51, 2005, Contemporary Mathematics
hal-01675068v1  Book sections
Marianne AkianEric Fodjo. Probabilistic max-plus schemes for solving Hamilton-Jacobi-Bellman equations
M. Falcone; R. Ferretti; L. Grune; W. McEneaney. Numerical Methods for Optimal Control Problems, 29, Springer, pp.183-209, 2019, INDAM Series
...
hal-01196318v1  Book sections
S AkiyamaM BargeV BerthéJ.-Y LeeA Siegel. On the Pisot Substitution Conjecture
Mathematics of Aperiodic Order, 309, Springer, pp.33-72, 2015, Progress in mathematics, 978-3-0348-0903-0. ⟨10.1007/978-3-0348-0903-0_2⟩
hal-00767774v1  Book sections
Fatiha Alabau-Boussouira. On some recent advances on stabilization for hyperbolic equations
Cannarsa, Piermarco and Coron, Jean-Michel. Control of partial differential equations, 2048, Springer, pp.1-100, 2012, Lecture Notes in Mathematics, 978-3-642-27893-8. ⟨10.1007/978-3-642-27893-8_1⟩
hal-00594903v1  Book sections
Fatiha Alabau-BoussouiraPiermarco Cannarsa. Control of partial differential equations.
Robert A. Meyers. Springer Encyclopedia of Complexity and Systems Science, Part 3, Springer, New-York, pp.1485-1509, 2009, ⟨10.1007/978-0-387-30440-3_97⟩