Skip to Main content Skip to Navigation


inria-00322083v1  Journal articles
Israël-César LermanKaddour Bachar. Comparaison de deux critères en classification ascendante hiérarchique sous contrainte de contiguïté, Application en imagerie numérique
Journal de la Société Française de Statistique, Société Française de Statistique et Société Mathématique de France, 2008, 149 (2), pp.45-74
hal-00731357v1  Journal articles
Pierre-André CaronMireille Blay-FornarinoXavier Le Pallec. La contextualisation de modèles, une étape indispensable à un développement dirigé par les modèles?
Revue RSTI - L'Objet, Numéro Spécial : Ingénierie Dirigée par les Modèles, 18 pages, 2007
hal-00596719v1  Journal articles
Martine CadotDhouha El Haj Ali. Modélisation et extraction des liens complexes entre variables. Application à des données socio-économiques
Revue des Nouvelles Technologies de l'Information, Editions RNTI, 2011, RNTI-E-21, pp.27-52
...
hal-02200576v1  Journal articles
Yuan GaoEtienne PeillardJean-Marie NormandGuillaume MoreauYue Liu et al.  Influence of virtual objects' shadows and lighting coherence on distance perception in optical see‐through augmented reality
Journal of the Society for Information Display, Society for Information Display(AIP), 2020, 28 (2), pp.117-135. ⟨10.1002/jsid.832⟩
...
hal-00354043v1  Journal articles
Denis BéchetRoberto BonatoAlexandre DikovskyAnnie ForetYannick Le Nir et al.  Modèles algorithmiques de l'acquisition de la syntaxe : concepts et méthodes, résultats et problèmes
Recherches linguistiques de Vincennes, Presses Universitaires de Vincennes, 2007, 36, pp.123--152
...
hal-00419550v1  Journal articles
Bertrand GaiffeLaurent Romary. « Ce matin, il pleuvait », ou la référence à l'épreuve du temps.
Langages, Armand Colin (Larousse jusqu'en 2003), 1993, pp.74-91
...
hal-02978080v1  Journal articles
Vlad RusuDavid Nowak. (Co)inductive Proof Systems for Compositional Proofs in Reachability Logic
Journal of Logical and Algebraic Methods in Programming, Elsevier, In press, ⟨10.1016/j.jlamp.2020.100619⟩
...
hal-01337712v1  Journal articles
Beniamino AccattoliUgo Dal Lago. (Leftmost-outermost) beta reduction is invariant, indeed
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2016, ⟨10.2168/LMCS-12(1:4)2016⟩
...
ensl-01001673v1  Journal articles
Dong WangJean-Michel MullerNicolas BrisebarreMilos Ercegovac. (M, p, k)-Friendly Points: A Table-based Method to Evaluate Trigonometric Function
IEEE Transactions on Circuits and Systems Part 2 Analog and Digital Signal Processing, Institute of Electrical and Electronics Engineers (IEEE), 2014, 61 (9), pp.711-715. ⟨10.1109/TCSII.2014.2331094⟩
...
inria-00000791v1  Journal articles
Anis KoubaaYe-Qiong SongJean-Pierre Thomesse. (m,k)-WFQ : Intégration des contraintes temporelles (m,k)-firm dans les réseaux à débit garanti
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2005, 24 (8), pp.1013--1046
inria-00564996v1  Journal articles
Pierre BouletAlain DarteTanguy RissetYves Robert. (Pen)-ultimate tiling?
Integration, the VLSI Journal, Elsevier, 1994, 17, pp.33-51
hal-03324500v1  Journal articles
Rachel Bawden. [Book Review] Understanding Dialogue: Language Use and Social Interaction
Computational Linguistics, Massachusetts Institute of Technology Press (MIT Press), In press
hal-00789978v1  Journal articles
Jean-Yves GauvritXavier LeclercJean-Christophe FerréChristian A. TaschnerBéatrice Carsin-Nicol et al.  [Imaging of subarachnoid hemorrhage]
American Journal of Neuroradiology, American Society of Neuroradiology, 2009, 36 (2), pp.65-73. ⟨10.1016/j.neurad.2008.06.005⟩
hal-01238784v1  Journal articles
Béatrice BérardPierre CourtieuLaure MilletMaria Potop-ButucaruLionel Rieg et al.  [Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems
International Journal of Informatics Society, Japan Informatics Society, 2015, 7 (3), pp.101-114
...
hal-03053781v1  Journal articles
Andreas Enge. [Re] Volume computation for polytopes: Vingt ans après
The ReScience journal, GitHub, 2020, 6 (1), pp.#17. ⟨10.5281/zenodo.4242972⟩
...
hal-01532740v1  Journal articles
Nicolas Rougier. [Re] Weighted Voronoi Stippling
The ReScience journal, GitHub, 2017, 3 (1), ⟨10.5281/zenodo.802285⟩
hal-00545215v1  Journal articles
François Lemaire. {An orderly linear PDE system with analytic initial conditions with a non analytic solution}
Journal of Symbolic Computation, Elsevier, 2003, 35 (5), pp.487-498
inria-00504243v1  Journal articles
Aline RoumyDavid Declercq. {Characterization and Optimization of LDPC codes for the 2-user Multiple Access Channel}
EURASIP Journal on Wireless Communications and Networking, SpringerOpen, 2007
inria-00504244v1  Journal articles
Aline RoumyDavid Gesbert. {Optimal matching in wireless sensor networks}
IEEE Journal of Selected Topics in Signal Processing, IEEE, 2007, 1 (4)
hal-01202832v1  Journal articles
Soichiro HidakaJean BézivinZhenjiang HuFrédéric Jouault. 『モデル駆動工学の原理と応用』 (2)メタモデリングとモデル変換
Computer Software, Japan Society for Software Science and Technology, 2015, 32 (2), pp.63-78. ⟨10.11309/jssst.32.2_63⟩
...
inria-00612833v3  Journal articles
Laurent RomaryAmir ZeldesFlorian Zipser.  - Serialising the ISO SynAF Syntactic Object Model
Language Resources and Evaluation, Springer Verlag, 2014, pp.1-18. ⟨10.1007/s10579-014-9288-x⟩
hal-00917754v1  Journal articles
Paul Zimmermann. $10^{2098959}$
La Gazette du CINES, CINES, 2003
hal-00826043v1  Journal articles
Bilal AmgharAbdelmoumen DarcherifJean-Pierre Barbot. $Z(T_N )$-Observability and control of parallel multicell chopper using Petri nets
IET Power Electronics, The Institution of Engineering and Technology, 2013, IET Power Electronics, Volume 6 (issue 4), pp.710 - 720. ⟨10.1049/iet-pel.2012.0374⟩
...
hal-02269482v2  Journal articles
Julien BensmailKasper Lyngsie. 1-2-3 Conjecture in Digraphs: More Results and Directions
Discrete Applied Mathematics, Elsevier, 2020, 284, pp.124-137