HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation


...
hal-01254247v1  Journal articles
Serge AbiteboulFabien GandonFabian Suchanek. A la recherche des connaissances du Web...
1024 : Bulletin de la Société Informatique de France, Société Informatique de France, 2014, pp.20
hal-01095039v1  Directions of work or proceedings
Alix GogueyOlivier ChapuisStéphane ConversyJosé RouillardNadine Vigouroux et al.  Actes de la 26ème Conférence francophone sur l'Interaction Homme-Machine (IHM 2014)
26ème Conférence francophone sur l'Interaction Homme-Machine (IHM 2014), Oct 2014, Villeneuve d'Ascq, France. ACM: Association for Computing Machinery, 2014, 978-1-4503-2935-4. ⟨10.1145/2670444⟩
...
hal-01097173v1  Conference papers
Lucie MontuelleErwan Le Pennec. Agrégation PAC-bayésienne d'estimateurs par projection
46e Journées de Statistique, SFdS, Jun 2014, Rennes, France
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-01063853v1  Books
Sylvain ConchonJean-Christophe Filliâtre. Apprendre à programmer avec OCaml
Eyrolles, pp.429, 2014, Noire, 9782212136784
...
hal-01089616v1  Poster communications
Charles PerinPierre DragicevicJean-Daniel Fekete. Bertifier: New Interactions for Crafting Tabular Visualizations
IHM'14, 26e conférence francophone sur l'Interaction Homme-Machine, Oct 2014, Lille, France. pp.16-17, 2014
...
hal-01077506v3  Book sections
Yann Ponty. Bio-algorithmique des ARN : petite promenade aux interfaces
Eric Sopena. 1024 - Bulletin de la société informatique de France, 4, SIF, pp.23--53, 2014
...
hal-01093131v1  Poster communications
Jason LambertGilles RougeronLionel Lacassagne. Calcul de champ ultrasonore interactif pour le contrôle non destructif
LES JOURNÉES COFREND 2014, May 2014, Bordeaux, France
ensl-01069744v1  Journal articles
Jean-Michel MullerSylvie Boldo. Des ordinateurs capables de calculer plus juste
La Recherche, Sciences et avenir, 2014, pp.46-53
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-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
...
tel-01089490v1  Habilitation à diriger des recherches
Évelyne Contejean. Facettes de la preuve
Logique en informatique [cs.LO]. Université Paris-Sud, 2014
...
tel-01109103v1  Theses
Lucie Montuelle. Inégalités d’oracle et mélanges
Statistiques [math.ST]. Université Paris-Sud, 2014. Français
hal-01097726v1  Conference papers
Xavier AllamigeonPascal BenchimolStéphane GaubertMichael Joswig. La méthode du simplexe tropical
ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d’aide à la décision, Société française de recherche opérationnelle et d’aide à la décision (ROADEF), Feb 2014, Bordeaux, France
in2p3-01076155v1  Conference papers
Balázs Kégl. La science des données pour les données de la science
9th Journées Informatique de l'IN2P3-IRFU, Oct 2014, Le Grau du Roi, France
...
hal-00998094v1  Conference papers
David DelahayeClaude MarchéDavid Mentré. Le projet BWare : une plate-forme pour la vérification automatique d'obligations de preuve B
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, Paris, France
...
hal-01089629v1  Conference papers
Charles PerinPierre Dragicevic. Manipulation de Sliders Multiples par Franchissement
IHM'14, 26e conférence francophone sur l'Interaction Homme-Machine, Oct 2014, Lille, France. pp.48-54, ⟨10.1145/2670444.2670449⟩
hal-01089095v1  Book sections
Sylvie Boldo. Même les ordinateurs font des erreurs !
Martin Andler; Liliane Bel; Sylvie Benzoni-Gavage; Thierry Goudon; Cyril Imbert; Antoine Rousseau. Brèves de maths, Nouveau Monde Editions, pp.136-137, 2014, 978-2-36583-896-2
...
hal-01090349v1  Conference papers
Vincent BraultGilles CeleuxChristine Keribin. Mise en oeuvre de l'échantillonneur de Gibbs pour le modèle des blocs latents
46èmes journées de statistique de la SFdS, SFdS, Jun 2014, Rennes, France
...
tel-00990770v1  Theses
Rémy Fouchereau. Modélisation probabiliste des courbes S-N
Machine Learning [stat.ML]. Université Paris Sud - Paris XI, 2014. Français. ⟨NNT : 2014PA112057⟩
...
hal-01089463v1  Conference papers
Jérémie GarciaTheophanis TsandilasCarlos AgonWendy E. Mackay. PaperComposer: Creating Interactive Paper Interfaces for Music Composition
IHM'14, 26e conférence francophone sur l'Interaction Homme-Machine, Oct 2014, Lille, France. pp.1-8, ⟨10.1145/2670444.2670450⟩
...
tel-01089130v1  Theses
Pierre Lairez. Périodes d'intégrales rationnelles : algorithmes et applications
Calcul formel [cs.SC]. École polytechnique, 2014. Français
hal-01087815v1  Conference papers
Patrick Amar. Systèmes oscillants chaotiques en biologie
Ecole de Printemps 2014 de la Société Francophone de Biologie Théorique, Société Francophone de Biologie Théorique, May 2014, St Flour, France
hal-01350297v1  Journal articles
Serge AbiteboulPierre Senellart. Un déluge de données
Interstices, INRIA, 2014
hal-01062816v1  Journal articles
Assia Mahboubi. Un ordinateur pour vérifier les preuves mathématiques
Images des Mathématiques, CNRS, 2014
...
hal-00814530v2  Journal articles
Anestis AntoniadisXavier BrosatJairo CugliariJean-Michel Poggi. Une approche fonctionnelle pour la prévision non-paramétrique de la consommation d'électricité
Journal de la Société Française de Statistique, Société Française de Statistique et Société Mathématique de France, 2014, 155 (2), pp.202- 219
hal-01070466v1  Directions of work or proceedings
Pierre DragicevicJean-Daniel Fekete. Visualisation de grandes masses de données
France. 33, Lavoisier, pp.100, 2014, 978-2-7462-4661-4