Skip to Main content Skip to Navigation


...
hal-03206297v1  Directions of work or proceedings
François de VieillevilleStéphane MayAdrien LagrangeA DupuisRosa Ruiloba et al.  Actes de la conférence CAID 2020
CAID 2020 - Second Conference on Artificial Intelligence for Defence, Dec 2020, Rennes, France. 2021
hal-03176418v1  Conference papers
Érik Martin-DorelGuillaume Melquiond. Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq (Journées FAC 2016)
Journées Formalisation des Activités Concurrentes (FAC 2016), Groupe IFSE du RTRA STAE (Réseau Thématique de Recherche Avancée « Sciences et Technologies pour l’Aéronautique et l’Espace » de Toulouse), Mar 2016, Toulouse, France
...
hal-02791061v1  Reports
Frédérique AngevinClaude BagnisAvner Bar-HenMarie-Anne BarnyPascal Boireau et al.  EFSA-GMO-DE-2017-141 1
[Autre] Haut Conseil Des Biotechnologies. 2017
hal-02514840v1  Conference papers
Mohsen SaidiAmani GhanmiFaouzi SlimaniSamir GhanmiAbel Cherouat. Étude de l’élaboration des matériaux bio-composites en utilisant les fibres de palmiers dattiers
Conference: Design and Modelling of Mechanical Systems, Mar 2017, Hammamet, Tunisie
...
hal-02409370v1  Conference papers
Anne-Sophie Bonnet-Ben DhiaFabrice Mahé. Calcul de modes guidés en optique intégrée
Congrès National d'Analyse Numérique, SMAI, May 1992, Vittel, France
...
hal-02409075v1  Conference papers
Anne-Sophie Bonnet-Ben DhiaFabrice Mahé. Modes guidés dans un milieu stratifié perturbé
Congrès National d'Analyse Numérique, SMAI, May 1991, Royan, France
...
hal-02369249v1  Conference papers
Valentin BlotAmina BousalemQuentin GarcheryChantal Keller. SMTCoq: automatisation expressive et extensible dans Coq
JFLA 2019 - Journées Francophones des Langages Applicatifs, Jan 2019, Les Rousses, France
...
hal-02355840v1  Conference papers
Vincent AudigierFrançois HussonJulie JosseMatthieu Resche-Rigon. Imputation multiple pour données mixtes par analyse factorielle
JdS2019 - 51es Journées de Statistique de la Société Française de Statistique, Société Française de Statistique, Jun 2019, Vandœuvre-lès-Nancy, France
...
hal-00875912v1  Journal articles
Aurèle CrassonJean-Daniel Fekete. Du corpus à la région : Représentations multi-échelles pour les manuscrits modernes
Linguistica Computazionale, Istituto di linguistica computazionale del Consiglio nazionale delle ricerche, 2004, XX-XXI, pp.111-128
...
hal-02179373v1  Conference papers
Afef CherniEmilie ChouzenouxLaurent DuvalJean-Christophe Pesquet. Forme lissée de rapports de normes lp/lq (SPOQ) pour la reconstruction des signaux avec pénalisation parcimonieuse.
GRETSI 2019 - 27ème Colloque francophonede traitement du signal et des images, Aug 2019, Lille, France
...
hal-01577074v1  Journal articles
Antonio CasilliPaola Tubaro. Réprimer les sites «pro-anorexie» : une fausse bonne idée
Libération, SARL Libération, 2017, pp.1-2
...
hal-01618922v1  Conference papers
Nathalie BertrandSerge HaddadEngel Lefaucheux. Diagnostic et contrôle de la dégradation des systèmes probabilistes
MSR 2017 - Modélisation des Systèmes Réactifs, Nov 2017, Marseille, France
hal-01488253v1  Conference papers
Francois LeroyStéphanie BogartWilliam HopkinsOlivier CoulonQing Cai et al.  Asymmetry of the Superior Temporal Sulcus: a Robust Human Landmark
OHBM 2013 - International Conference on Human Brain Mapping, Jun 2013, Seattle, WA, USA, États-Unis
...
hal-01456369v1  Book sections
Paola TubaroAntonio Casilli. Enjeux sociaux des Big Data
Mokrane Bouzeghoub, Rémy Mosseri. Les Big Data à découvert, CNRS Editions, pp.292-293, 2017
...
hal-01431689v1  Journal articles
Paul-Louis GeorgeHouman Borouchaki. Métrique et qualité d'un simplexe
Comptes Rendus. Mathématique, Académie des sciences (Paris), 2016, C.R. Acad. Sci. Paris, Ser. 1, 355, pp.105 - 112. ⟨10.1016/j.crma.2016.11.007⟩
...
hal-01422215v1  Conference papers
Ran ChenJean-Jacques Lévy. Une preuve formelle de l'algorithme de Tarjan-1972 pour trouver les composantes fortement connexes dans un graphe
JFLA 2017 - Vingt-huitièmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
...
hal-01419947v1  Conference papers
Abel CherouatRedha TaiarBruno Guelorget. Méthode inverse pour la caractérisation du comportement de l'articulation du genou lors de rééducation
9e colloque national en calcul des structures, CSMA, May 2009, Giens, France
hal-01350313v1  Journal articles
Houman BorouchakiPatrick LaugArghyro Paouri. Maillages déformables
Interstices, INRIA, 2004
...
tel-01308661v3  Theses
Gwezheneg Robert. Codes de Gabidulin en caractéristique nulle : application au codage espace-temps
Mathématiques générales [math.GM]. Université Rennes 1, 2015. Français. ⟨NNT : 2015REN1S083⟩
...
hal-01255325v1  Conference papers
Pierre WeissNicolas ChauffertClaire BoyerJonas KahnPhilippe Ciuciu. Sur la génération de schémas d'échantillonnage compressé en IRM
GRETSI, Patrice Abry; Paulo Gonçalves, Sep 2015, Lyon, France. pp.4
hal-01216207v1  Book sections
Arnaud BanosPhilippe CaillouBenoit GaudouNicolas Marilleau. Exploration de modèles agent
Simulation spatiale à base d’agents avec NetLogo 1, ISTE, pp.49, 2015
hal-01180275v1  Reports
Serge AbiteboulNathalie AndrieuxChristine BalaguéGodefroy BeauvalletLudovic Blecher et al.  Ambition numérique
[Rapport de recherche] Conseil national du Numérique. 2015
hal-01080824v1  Journal articles
Dario ColazzoFrançois GoasdouéIoana ManolescuAlexandra Roatis. Analyse de données RDF. Lentilles pour graphes sémantiques
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2014, Gestion de données incertaines et distribuées, 19 (4), pp.87-117. ⟨10.3166/ISI.19.4.87-117⟩
...
hal-01002820v1  Documents associated with scientific events
Gaëlle RiverieuxPascal GuittonClaude KirchnerMaud MedvesMillet Jacques et al.  Episciences IAM : un projet éditorial entre rupture et continuité
L'édition scientifique publique en Europe : objectif 2020, Apr 2014, Strasbourg, France
hal-00987995v1  Journal articles
Samuel HuronNicolas SauretRaphael Velt. Design MetaData - Retour d'expérience sur un atelier de design interactif interdisciplinaire dans une démarche d'innovation ouverte.
Interfaces numériques, Editions design numérique, 2014, L'enseignement supérieur du design interactif, 3 (2), pp.269-288
hal-00933701v1  Conference papers
Christine BakhousFlorence ForbesFarida EnikeevaThomas VincentMichel Dojat et al.  Analyse parcimonieuse des données d'IRM fonctionnelle dans un cadre bayésien variationnel
45èmes Journées de Statistique, Société Française de Statistique, May 2013, Toulouse, France
hal-00923534v1  Journal articles
Christine ColletBernd AmannNicole BidoitMohand BoughanemMokrane Bouzeghoub et al.  De la gestion de bases de données à la gestion de grands espaces de données
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2013, 18 (4), pp.11-31. ⟨10.3166/isi.18.4.11-31⟩
...
hal-00877321v2  Conference papers
Charles PerinMarc ChristieFrédéric VernierChristophe Lino. CollaStar : Interaction collaborative avec des données multidimensionnelles et temporelles
25ème conférence francophone sur l'Interaction Homme-Machine, IHM'13, AFIHM, Nov 2013, Bordeaux, France. ⟨10.1145/2534903.2534919⟩
hal-00793674v1  Books
Florent ChatelainXavier DescombesFlorent LafargeChristian LantuéjoulClément Mallet et al.  Applications de la géometrie stochastique à l'analyse d'images
Xavier Descombes. Hermes Science-Lavoisier, pp.250, 2011, 978-2-7462-2145-1
...
tel-00782396v1  Theses
Thomas Bourquard. Exploitation des algorithmes génétiques pour la prédiction de structure de complexe protéine-protéine
Intelligence artificielle [cs.AI]. Université Paris Sud - Paris XI, 2009. Français
hal-00779904v1  Conference papers
Thomas ChatainClaude Jard. Sémantique concurrente symbolique des réseaux de Petri saufs et dépliages finis des réseaux temporels
Actes de la 10ème Conférence Internationale sur les NOuvelles TEchnologies de la RÉpartition (NOTERE'10), 2010, Tozeur, Tunisia, Tunisie
hal-00765226v1  Books
Gilles DowekJean-Pierre ArchambaultEmmanuel BaccelliSylvie BoldoDenis Bouhineau et al.  Une introduction à la science informatique pour les enseignants de la discipline en lycée
Gilles Dowek. CRDP Paris, pp.376, 2011, Repères pour agir (RPA disciplines & compétences), Christine Moulin, 978-2-86631-188-9
hal-00756345v1  Conference papers
Fabrice JossinetAlexis LamiablePhilippe RinaudoLiza Al-ShikhleyFranck Quessette et al.  Graph Algorithms and Software Framework for Interactive RNA Structure Modelling
Journees Ouvertes de Biologie Informatique et Mathematiques - JOBIM'12, Jul 2012, Rennes, France. pp.475-476
hal-00653037v1  Conference papers
Philippe CaillouEmilie-Pauline GalliéValérie MérindolThierry Weil. Caractérisation et typologie du contexte initial des pôles
7e congrés de l'Académie de l'entrepreneuriat et de l'innovation, Oct 2011, Paris, France
inria-00638735v1  Journal articles
Yves AuffrayPierre BarbillonJean-Michel Marin. Modèles réduits à partir d'expérience numériques
Journal de la Société Française de Statistique, Société Française de Statistique et Société Mathématique de France, 2011, 152 (1), pp.89-102
inria-00600298v1  Conference papers
Nathalie MittonEric FleuryIsabelle Guérin-LassousBruno SericolaSébastien Tixeuil. Etude de convergence dans les réseaux sans fil
8emes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2006, Trégastel, France