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-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-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
...
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-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⟩
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-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⟩
...
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-00851569v1  Journal articles
Alain Viari. [Big Data in biology].
médecine/sciences, EDP Sciences, 2012, 28 (12), pp.1027-8. ⟨10.1051/medsci/20122812001⟩
hal-02008181v1  Journal articles
N AllonierA. ÉgoL. GerbaudJ Job-SpiraD. Subtil et al.  [Comparison of fertility rates after ectopic pregnancy in Auvergne and Lille regions].
Journal de Gynécologie Obstétrique et Biologie de la Reproduction, Elsevier Masson, 2003, 32 (5), pp.439-46