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