<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-04391195</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-22T18:55:12+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Uniform SAmplINg with BOLTZmann</title>
            <author role="aut">
              <persName>
                <forename type="first">Martin</forename>
                <surname>Pépin</surname>
              </persName>
              <email type="md5">8b6300c3780df81a8ac4bbfad2e4071f</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">martin-pepin</idno>
              <idno type="idhal" notation="numeric">1376266</idno>
              <idno type="halauthorid" notation="string">1836819-1376266</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1892-3017</idno>
              <idno type="ARXIV">https://arxiv.org/a/pepin_m_2</idno>
              <idno type="GOOGLE SCHOLAR">5Mh7OsQAAAAJ</idno>
              <idno type="IDREF">https://www.idref.fr/263577716</idno>
              <affiliation ref="#struct-388984"/>
              <affiliation ref="#struct-150"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Matthieu</forename>
                <surname>Dien</surname>
              </persName>
              <email type="md5">69a1741e3457e3f50d460142fd924add</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">matthieu-dien</idno>
              <idno type="idhal" notation="numeric">169757</idno>
              <idno type="halauthorid" notation="string">30367-169757</idno>
              <idno type="IDREF">https://www.idref.fr/223313807</idno>
              <affiliation ref="#struct-388984"/>
              <affiliation ref="#struct-150"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Martin</forename>
                <surname>Pépin</surname>
              </persName>
              <email type="md5">dcad887a37dc23864eb1f835e6fe36fd</email>
              <email type="domain">unicaen.fr</email>
            </editor>
            <funder ref="#projanr-50734"/>
            <funder>This research was partially supported by the ANR PPS project ANR-19-CE48-0014 and the “DYNNET” project, co-funded by the NormandyCounty Council and the European Union in the framework of the ERDF-ESF operational program 2014-2020.</funder>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2024-01-12 15:49:02</date>
              <date type="whenModified">2026-03-25 03:10:29</date>
              <date type="whenReleased">2024-01-15 13:43:24</date>
              <date type="whenProduced">2023-09-11</date>
              <date type="whenEndEmbargoed">2024-01-12</date>
              <ref type="file" target="https://normandie-univ.hal.science/hal-04391195v1/document">
                <date notBefore="2024-01-12"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://normandie-univ.hal.science/hal-04391195v1/file/main.pdf" id="file-4391195-3818729">
                <date notBefore="2024-01-12"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="1508191">
                <persName>
                  <forename>Martin</forename>
                  <surname>Pépin</surname>
                </persName>
                <email type="md5">dcad887a37dc23864eb1f835e6fe36fd</email>
                <email type="domain">unicaen.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-04391195</idno>
            <idno type="halUri">https://normandie-univ.hal.science/hal-04391195</idno>
            <idno type="halBibtex">pepin:hal-04391195</idno>
            <idno type="halRefHtml">&lt;i&gt;25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing&lt;/i&gt;, Sep 2023, Nancy, France. pp.94-97, &lt;a target="_blank" href="https://dx.doi.org/10.1109/SYNASC61333.2023.00020"&gt;&amp;#x27E8;10.1109/SYNASC61333.2023.00020&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2023, Nancy, France. pp.94-97, &amp;#x27E8;10.1109/SYNASC61333.2023.00020&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-4391195-3818729"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="ENSI-CAEN">Ecole Nationale Supérieure d'Ingénieurs de Caen</idno>
            <idno type="stamp" n="GREYC">Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen (GREYC)</idno>
            <idno type="stamp" n="GREYC-AMACC" corresp="GREYC">GREYC amacc</idno>
            <idno type="stamp" n="COMUE-NORMANDIE">Normandie Université</idno>
            <idno type="stamp" n="ENSICAEN">École Nationale Supérieure d’Ingénieurs de Caen</idno>
            <idno type="stamp" n="UNICAEN">Université de Caen Normandie</idno>
            <idno type="stamp" n="ANR">ANR</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Uniform SAmplINg with BOLTZmann</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Martin</forename>
                    <surname>Pépin</surname>
                  </persName>
                  <email type="md5">8b6300c3780df81a8ac4bbfad2e4071f</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">martin-pepin</idno>
                  <idno type="idhal" notation="numeric">1376266</idno>
                  <idno type="halauthorid" notation="string">1836819-1376266</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1892-3017</idno>
                  <idno type="ARXIV">https://arxiv.org/a/pepin_m_2</idno>
                  <idno type="GOOGLE SCHOLAR">5Mh7OsQAAAAJ</idno>
                  <idno type="IDREF">https://www.idref.fr/263577716</idno>
                  <affiliation ref="#struct-388984"/>
                  <affiliation ref="#struct-150"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Matthieu</forename>
                    <surname>Dien</surname>
                  </persName>
                  <email type="md5">69a1741e3457e3f50d460142fd924add</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">matthieu-dien</idno>
                  <idno type="idhal" notation="numeric">169757</idno>
                  <idno type="halauthorid" notation="string">30367-169757</idno>
                  <idno type="IDREF">https://www.idref.fr/223313807</idno>
                  <affiliation ref="#struct-388984"/>
                  <affiliation ref="#struct-150"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Proceedings of the 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing</title>
                <meeting>
                  <title>25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing</title>
                  <date type="start">2023-09-11</date>
                  <date type="end">2023-09-14</date>
                  <settlement>Nancy</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint>
                  <publisher>IEEE</publisher>
                  <biblScope unit="pp">94-97</biblScope>
                </imprint>
              </monogr>
              <idno type="doi">10.1109/SYNASC61333.2023.00020</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Random generation</term>
                <term xml:lang="en">Trees</term>
                <term xml:lang="en">Combinatorics</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="info.info-ms">Computer Science [cs]/Mathematical Software [cs.MS]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>USAIN BOLTZ is a fast Python library for the uniform random generation of tree-like structures. It allows the user to specify both (1) the data structure they wish to sample, using simple combinators similar to those of context-free grammars, and (2) their memory representation. The underlying algorithms are optimised Boltzmann samplers allowing to get approximatesize uniform random generation in linear time. Experimental results show that USAIN BOLTZ matches the performance of the experimental Arbogen package for OCaml, and out-performs the Boltzmann brain Haskell library, while being easier to integrate into existing scientific tools such as Sagemath.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-388984" status="VALID">
          <orgName>Equipe AMACC - Laboratoire GREYC - UMR6072</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-150" type="direct"/>
            <relation active="#struct-7127" type="indirect"/>
            <relation active="#struct-455934" type="indirect"/>
            <relation active="#struct-246955" type="indirect"/>
            <relation name="UMR6072" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-150" status="VALID">
          <idno type="IdRef">035827335</idno>
          <idno type="ISNI">0000 0000 9466 2590</idno>
          <idno type="RNSR">201722568L</idno>
          <idno type="ROR">https://ror.org/043749971</idno>
          <idno type="Wikidata">Q3117752</idno>
          <orgName>Groupe de Recherche en Informatique, Image et Instrumentation de Caen</orgName>
          <orgName type="acronym">GREYC</orgName>
          <date type="start">1995-01-01</date>
          <desc>
            <address>
              <addrLine>Boulevard du Maréchal Juin - 14050 CAEN Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.greyc.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-7127" type="direct"/>
            <relation active="#struct-455934" type="indirect"/>
            <relation active="#struct-246955" type="direct"/>
            <relation name="UMR6072" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-7127" status="VALID">
          <idno type="IdRef">026403064</idno>
          <idno type="ISNI">0000000121864076</idno>
          <idno type="ROR">https://ror.org/051kpcy16</idno>
          <orgName>Université de Caen Normandie</orgName>
          <orgName type="acronym">UNICAEN</orgName>
          <date type="start">1432-01-01</date>
          <desc>
            <address>
              <addrLine>Esplanade de la Paix - CS 14032 - 14032 CAEN Cedex 5</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.unicaen.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-455934" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-455934" status="VALID">
          <idno type="IdRef">190906332</idno>
          <idno type="ISNI">0000000417859671 </idno>
          <idno type="ROR">https://ror.org/01k40cz91</idno>
          <orgName>Normandie Université</orgName>
          <orgName type="acronym">NU</orgName>
          <date type="start">2015-01-01</date>
          <desc>
            <address>
              <addrLine>Esplanade de la Paix - CS 14032 - 14032 Caen Cedex 5</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.normandie-univ.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-246955" status="VALID">
          <idno type="IdRef">190907991</idno>
          <idno type="ROR">https://ror.org/01fpqqe90</idno>
          <orgName>École Nationale Supérieure d'Ingénieurs de Caen</orgName>
          <orgName type="acronym">ENSICAEN</orgName>
          <desc>
            <address>
              <addrLine>6, Boulevard du Maréchal Juin CS 45053 14050 CAEN cedex 04</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ensicaen.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-455934" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-50734" status="VALID">
          <idno type="anr">ANR-19-CE48-0014</idno>
          <orgName>PPS</orgName>
          <desc>Sémantique des programmes probabilistes</desc>
          <date type="start">2019</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>