Mathématiques

Affichage des résultats 1 à 12 sur 344 au total

Mathématiques : 1 à 12 sur 344 au total

  • Article dans une revue

    Jean-Daniel Fekete, Christian Poli. ProgressiVis: A Language and Environment for Progressive Data Analysis and Visualization. IEEE Transactions on Visualization and Computer Graphics, In press, 33 (1). ⟨hal-05696316⟩

    AVIZ

    Année de publication

    Disponible en libre accès

  • Communication dans un congrès

    Florent Hivert. Machine Checked Proofs and Programs in Algebraic Combinatorics. 14th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’25), Sandrine Blazy, Nicolas Tabareau, Kathrin Stark, Amin Timany, Jan 2025, Denver (Colorado), United States. pp.214 - 230, ⟨10.1145/3703595.3705885⟩. ⟨hal-05682976⟩

    GALaC

    Année de publication

    Disponible en libre accès

  • Pré-publication, Document de travail

    Nishant Chandgotia, Silvère Gangloff, Benjamin Hellouin de Menibus, Piotr Oprocha. On the cohomology of homshifts. 2026. ⟨hal-05675094⟩

    GALaC

    Année de publication

    Disponible en libre accès

  • Article dans une revue

    Stijn Cambie, François Dross, Kolja Knauer, Hoang La, Petru Valicov. Partitions of Planar (Oriented) Graphs into a Connected Acyclic and an Independent Set. The Electronic Journal of Combinatorics, 2026, 33 (1), pp.27-34. ⟨10.37236/13673⟩. ⟨hal-05677124⟩

    GALaC

    Année de publication

    Disponible en libre accès

  • Pré-publication, Document de travail

    Alexandre Genadot, Nicolas Guilliot, Philippe Boula de Mareüil. Introduction to the book "Cartographier les Langues de Nouvelle-Aquitaine: entre Grammaire et Société". 2026. ⟨hal-05662837⟩

    STL

    Année de publication

  • Article dans une revue

    Quentin Chuet, Tianjiao Dai, Qiancheng Ouyang, François Pirot. New Bounds for Proper h‐Conflict‐Free Colorings. Random Structures and Algorithms, 2026, 68 (2), pp.e70054. ⟨10.1002/rsa.70054⟩. ⟨hal-05608183⟩

    GALaC

    Année de publication

    Disponible en libre accès

  • Pré-publication, Document de travail

    Edgar Jaber, Emmanuel Remy, Vincent Chabridon, Morgane Garo-Sail, Mathilde Mougeot, et al.. Digital twin-based hybrid framework for steam generator clogging prognostics. 2026. ⟨hal-05594391⟩

    DATAFLOT

    Année de publication

    Disponible en libre accès

  • Communication dans un congrès

    Camille Dutrey, Sophie Rosset, Martine Adda-Decker, Chloé Clavel, I. Vasilescu. Disfluences dans la parole spontanée conversationnelle: détection automatique utilisant des indices lexicaux et acoustiques. Actes de la conférence conjointe JEP-TALN-RECITAL 2012, volume 2: TALN, pages 359–366, Jun 2014, Grenoble, France. ⟨hal-02412090⟩

    Année de publication

  • Pré-publication, Document de travail

    Alper Kalle, Théo Rudkiewicz, Mohamed-Oumar Ouerfelli, Mohamed Tamaazousti. Distribution-aware tensor decomposition for compression of convolutional neural networks. 2026. ⟨cea-05569665⟩

    AO

    Année de publication

    Disponible en libre accès

  • Communication dans un congrès

    Arnaud Quelin, Frederic Austerlitz, Flora Jay. Using supervised machine learning methods to infer demographic history from genomic data. Machine Learning for Evolutionary Genomics Data, May 2024, Heraklion, Greece. ⟨hal-05570974⟩

    AO, BioInfo

    Année de publication

  • Poster de conférence

    Arnaud Quelin, Jazeps Medina Tretmanis, Emilia Huerta-Sanchez, Frederic Austerlitz, Flora Jay. Assessing the contribution of ancient genomic data to the inference of historical demographic parameters. JOBIM 2025 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Jul 2025, Bordeaux, France. ⟨hal-05570966⟩

    AO, BioInfo

    Année de publication

  • Article dans une revue

    Jiayi Cai, Pierre-Emmanuel Angeli, Jean-Marc Martinez, Guillaume Damblin, Didier Lucor. Revisiting tensor basis neural network for Reynolds stress modeling: Application to plane channel and square duct flows. Computers and Fluids, 2024, 275, pp.106246. ⟨10.1016/j.compfluid.2024.106246⟩. ⟨hal-04805677⟩

    DATAFLOT

    Année de publication

    Disponible en libre accès