422 results  save search


...
hal-00124936v2  Book sections
Monique DaugeSébastien TordeuxGrégory Vial. Self-similar perturbation near a corner: matching versus multiscale expansions for a model problem
Ari Laptev, Tamara Rozhkovskaya. Around the Research of Vladimir Maz'ya II, Partial Differential Equations., Springer, pp.95-134, 2010, International Mathematical Series, ⟨10.1007/978-1-4419-1343-2_4⟩
...
hal-01803031v1  Conference papers
Dorian LeroyErwan BousseAnaël MegnaBenoit CombemaleManuel Wimmer. Trace Comprehension Operators for Executable DSLs
ECMFA 2018 - 14th European Conference on Modelling Foundations and Applications, Jun 2018, Toulouse, France. pp.293-310, ⟨10.1007/978-3-319-92997-2_19⟩
...
hal-02407868v1  Conference papers
Marcelino Rodriguez-CancioBenoit CombemaleBenoit Baudry. Approximate Loop Unrolling
CF 2019 - ACM International Conference on Computing Frontiers, Apr 2019, Alghero, Sardinia, Italy. pp.94-105, ⟨10.1145/3310273.3323841⟩
...
hal-02407886v1  Book sections
Benoit CombemaleManuel Wimmer. Towards a Model-Based DevOps for Cyber-Physical Systems
Software Engineering Aspects of Continuous Development, Springer-Verlag, pp.1-11, 2019
...
hal-02407932v1  Conference papers
Mojtaba BagherzadehKarim JahedBenoit CombemaleJuergen Dingel. Live-UMLRT: A Tool for Live Modeling of UML-RT Models
MODELS 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.743-747, ⟨10.1109/MODELS-C.2019.00115⟩
hal-02405800v1  Conference papers
Vincent BleyCyril ButtayDenis LabrousseMickael PetitBojan Djuric et al.  Die Interconnection for Power Module 3.0
ECPE Workshop "Power Module 2.0", Oct 2019, Hambourg, Germany
...
hal-01852322v1  Conference papers
Joseph MorlierMauricio BerghLaurent Mevel. Modeshapes recognition using Fourier descriptors: a simple SHM example
IMAC XXX Conference and exposition on structural dynamics, Jan 2012, Jacksonville, United States. pp.0
...
hal-01298206v2  Conference papers
Caroline CollangeMioara JoldesJean-Michel MullerValentina Popescu. Parallel floating-point expansions for extended-precision GPU computations
The 27th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), Jul 2016, London, United Kingdom
...
hal-01178861v1  Journal articles
Florian BouguetFlorent MalrieuFabien PanloupChristophe PoquetJulien Reygner. LONG TIME BEHAVIOR OF MARKOV PROCESSES AND BEYOND
ESAIM: Proceedings, EDP Sciences, 2015, Modélisation Aléatoire et Statistique - Journées MAS 2014, 51, pp.193-211. ⟨10.1051/proc/201551011 ⟩
...
inserm-01576154v1  Journal articles
Diane PivotMarc DebouverieMichel GrzebykDavid BrassatMichel Clanet et al.  Geographical Heterogeneity of Multiple Sclerosis Prevalence in France
PLoS ONE, Public Library of Science, 2016, 11 (12), pp.e0167556 (eCollection 2016). ⟨10.1371/journal.pone.0167556⟩
hal-00847555v1  Journal articles
Pietra PaolaEric PolizziFabrice DeluzetJihène KéfiOlivier Pinaud et al.  Préface
Kinetic and Related Models , AIMS, 2011, 4 (4), pp.i-iii. ⟨10.3934/krm.2011.4l⟩
...
hal-00967542v3  Journal articles
François BertelootFabrizio BianchiChristophe Dupont. Dynamical stability and Lyapunov exponents for holomorphic endomorphisms of CP(k)
Annales Scientifiques de l'École Normale Supérieure, Elsevier Masson, 2018, 51 (1), pp.215-262. ⟨10.24033/asens.2355⟩
...
hal-00653367v1  Conference papers
Ricardo Bedin FrançaSandrine BlazyDenis Favre-FelixXavier LeroyMarc Pantel et al.  Formally verified optimizing compilation in ACG-based flight control software
ERTS2 2012: Embedded Real Time Software and Systems, AAAF, SEE, Feb 2012, Toulouse, France
hal-00604539v1  Books
Felipe CanoFrank LorayJuan José Morales-RuizPaulo SadMark Spivakovsky. Équations différentielles et singularités. En l'honneur de J. M. Aroca
Société Mathématique de France, pp.xxvii-487, 2009, Astérisque n° 323, 978-2-85629-263-1
...
hal-00654982v1  Journal articles
Stéphane LamyJulien Sebag. Birational self-maps and piecewise algebraic geometry
Journal of mathematical sciences, the university of Tokyo, 2012, 19 (3), pp.325-357
hal-01000314v1  Conference papers
Laurent MicletNelly BarbotHenri Prade. From analogical proportions in lattices to proportional analogies in formal concepts
ECAI - 21th European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic
...
hal-01704766v2  Conference papers
Bonan CuanAliénor DamienClaire DelaplaceMathieu Valois. Malware Detection in PDF Files Using Machine Learning
SECRYPT 2018 - 15th International Conference on Security and Cryptography, Jul 2018, Porto, Portugal. 8p
...
hal-01107789v1  Journal articles
Eric SemailFarid Meibody-TabarMohamed Fouad. BenkhorisHubert RazikMaria Pietrzak-David et al.  Représentations Systèmes Multi-Machines (SMM) de machines polyphasées
Représentations Systèmes Multi-Machines (SMM) de machines polyphasées, 2005, 8 (2), pp.221-239. ⟨10.3166/rige.8.221-239⟩
...
hal-00908005v1  Conference papers
Nelly BarbotLaurent MicletHenri Prade. Analogical proportions and the factorization of information in distributive lattices
10th International Conference on Concept Lattices and Their Applications (CLA), Oct 2013, La Rochelle, France