Skip to Main content Skip to Navigation


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-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-01286519v1  Journal articles
Stephan De BièvreArthur VavasseurThierry Goudon. Particles interacting with a vibrating medium: existence of solutions and convergence to the Vlasov–Poisson system
SIAM Journal on Mathematical Analysis, Society for Industrial and Applied Mathematics, 2016, 48 (6), pp.3984--4020
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-01674595v1  Journal articles
Céline DuguaAurélie NardyLoïc LiégeoisJean-Pierre ChevrotDamien Chabanal. L'acquisition des liaisons après les clitiques préverbaux est-elle spécifique ? Apport d'une expérimentation à grande échelle
Journal of French Language Studies, Cambridge University Press (CUP), 2017, La liaison en français contemporain: normes, usages, acquisitions, 27 (01), pp.73 - 86. ⟨10.1017/S0959269516000387⟩
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-01402986v2  Journal articles
Agnès Piquard-KipfferTamara Léonova. Scolarité et handicap : parcours de 170 jeunes dysphasiques ou dyslexiques- dysorthographiques âgés de 6 à 20 ans
ANAE - Approche Neuropsychologique des Apprentissages Chez L'enfant, ANAE/PLEIOMEDIA, 2017
...
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-00428296v1  Journal articles
J. BacchettaF. VillardT. VialL. DubourgR. Bouvier et al.  ‘Renal hypersensitivity' to inulin and IgA nephropathy
Pediatric Nephrology, Springer Verlag, 2008, 23(10), pp.1883-1885
...
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
halshs-02113187v1  Journal articles
Paule-Annick DavoineChristine Voiron-Canicio. « L’espace rural face à la diffusion du phénomène de bi-carburation essence/GPL » n° 8.
Montagnes méditerranéennes et developpement territorial, Institut de géographie alpine, 1998
...
hal-01963134v1  Journal articles
Christine CastejonChristine Eisenbeis. « Sur la santé au travail nous ne renoncerons pas ! »
Regards Croisés. Revue franco-allemande d'histoire de l'art et d'esthétique, Institut für Kunst- und Bildgeschichte (IKB) / Université Paris 1 Panthéon-Sorbonne, HiCSA 2018, dossier "Santé au travail, l'activité en question", pp 29--31
...
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⟩