<?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-03676377v2</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-17T08:15:36+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Automated design of dynamic programming schemes for RNA folding with pseudoknots</title>
            <author role="aut">
              <persName>
                <forename type="first">Bertrand</forename>
                <surname>Marchand</surname>
              </persName>
              <email type="md5">7023635c99f533bc00774d28ad89f3bd</email>
              <email type="domain">lix.polytechnique.fr</email>
              <idno type="idhal" notation="string">bertrand-marchand</idno>
              <idno type="idhal" notation="numeric">747180</idno>
              <idno type="halauthorid" notation="string">53503-747180</idno>
              <idno type="ARXIV">https://arxiv.org/a/marchand_b_1</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-8060-6640</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=lGhpV20AAAAJ&amp;hl=en</idno>
              <affiliation ref="#struct-1051971"/>
              <affiliation ref="#struct-2071"/>
              <affiliation ref="#struct-1001627"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Sebastian</forename>
                <surname>Will</surname>
              </persName>
              <email type="md5">7b03940cb4390c017956776e38d7c5ee</email>
              <email type="domain">polytechnique.edu</email>
              <idno type="idhal" notation="string">sebastian-will</idno>
              <idno type="idhal" notation="numeric">734833</idno>
              <idno type="halauthorid" notation="string">37656-734833</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2376-9205</idno>
              <affiliation ref="#struct-1051971"/>
              <affiliation ref="#struct-2071"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Sarah</forename>
                <surname>Berkemer</surname>
              </persName>
              <idno type="halauthorid">2509548-0</idno>
              <affiliation ref="#struct-1051971"/>
              <affiliation ref="#struct-2071"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Laurent</forename>
                <surname>Bulteau</surname>
              </persName>
              <email type="md5">c582b2d8f15486c4ceb9bc5967870547</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">laurent-bulteau</idno>
              <idno type="idhal" notation="numeric">5550</idno>
              <idno type="halauthorid" notation="string">9523-5550</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1645-9345</idno>
              <idno type="IDREF">https://www.idref.fr/180897918</idno>
              <affiliation ref="#struct-1001627"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Yann</forename>
                <surname>Ponty</surname>
              </persName>
              <email type="md5">42fb37addd44a7405a61aa6c233dfb61</email>
              <email type="domain">lix.polytechnique.fr</email>
              <idno type="idhal" notation="string">yann-ponty</idno>
              <idno type="idhal" notation="numeric">3138</idno>
              <idno type="halauthorid" notation="string">2539307-3138</idno>
              <idno type="IDREF">https://www.idref.fr/113491611</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-7615-3930</idno>
              <affiliation ref="#struct-1051971"/>
              <affiliation ref="#struct-2071"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Bertrand</forename>
                <surname>Marchand</surname>
              </persName>
              <email type="md5">7023635c99f533bc00774d28ad89f3bd</email>
              <email type="domain">lix.polytechnique.fr</email>
            </editor>
            <funder ref="#projanr-53300"/>
            <funder>This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 101029676, and from the French-Austrian PaRNAssus project (ANR-19-CE45-0023; I 4520-N) supported by the ANR/FWF agencies.</funder>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2022-05-23 21:33:18</date>
            </edition>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2022-08-11 10:24:06</date>
              <date type="whenWritten">2022</date>
              <date type="whenModified">2025-10-18 03:29:35</date>
              <date type="whenReleased">2022-08-11 15:12:28</date>
              <date type="whenProduced">2022-09-05</date>
              <date type="whenEndEmbargoed">2022-08-11</date>
              <ref type="file" target="https://inria.hal.science/hal-03676377v2/document">
                <date notBefore="2022-08-11"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-03676377v2/file/auto_DP.pdf" id="file-3749634-3277622">
                <date notBefore="2022-08-11"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="955810">
                <persName>
                  <forename>Bertrand</forename>
                  <surname>Marchand</surname>
                </persName>
                <email type="md5">7023635c99f533bc00774d28ad89f3bd</email>
                <email type="domain">lix.polytechnique.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03676377</idno>
            <idno type="halUri">https://inria.hal.science/hal-03676377</idno>
            <idno type="halBibtex">marchand:hal-03676377</idno>
            <idno type="halRefHtml">&lt;i&gt;WABI 2022 - 22nd Workshop on Algorithms in Bioinformatics&lt;/i&gt;, Sep 2022, Potsdam, Germany</idno>
            <idno type="halRef">WABI 2022 - 22nd Workshop on Algorithms in Bioinformatics, Sep 2022, Potsdam, Germany</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-3749634-3277622"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="X">École polytechnique</idno>
            <idno type="stamp" n="ENPC" corresp="PARISTECH">École nationale des ponts et chaussées </idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="LIX" corresp="X">Laboratoire d'informatique de l'Ecole polytechnique</idno>
            <idno type="stamp" n="X-DEP-INFO">Département d'informatique de l’École polytechnique</idno>
            <idno type="stamp" n="PARISTECH">ParisTech</idno>
            <idno type="stamp" n="ENPC-LIGM" corresp="ENPC">Laboratoire d'informatique Gaspard-Monge</idno>
            <idno type="stamp" n="LIGM" corresp="ENPC">Laboratoire d'informatique Gaspard-Monge</idno>
            <idno type="stamp" n="LIGM_MOA" corresp="LIGM">Models and Algorithms</idno>
            <idno type="stamp" n="IP_PARIS">Institut Polytechnique de Paris</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="UNIV-EIFFEL">Université Gustave Eiffel</idno>
            <idno type="stamp" n="U-EIFFEL">Université Gustave Eiffel</idno>
            <idno type="stamp" n="TEST3-HALCNRS">TEST3-HALCNRS</idno>
            <idno type="stamp" n="LIGM_ADA" corresp="LIGM">Algorithmique Discrète et Applications</idno>
            <idno type="stamp" n="DEPARTEMENT-DE-MATHEMATIQUES">Collection du Département de Mathématiques</idno>
            <idno type="stamp" n="IP-PARIS-INFORMATIQUE-DONNEES-ET-IA">IP Paris Département d'Informatique, de Données et d'IA</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">Automated design of dynamic programming schemes for RNA folding with pseudoknots</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Bertrand</forename>
                    <surname>Marchand</surname>
                  </persName>
                  <email type="md5">7023635c99f533bc00774d28ad89f3bd</email>
                  <email type="domain">lix.polytechnique.fr</email>
                  <idno type="idhal" notation="string">bertrand-marchand</idno>
                  <idno type="idhal" notation="numeric">747180</idno>
                  <idno type="halauthorid" notation="string">53503-747180</idno>
                  <idno type="ARXIV">https://arxiv.org/a/marchand_b_1</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-8060-6640</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=lGhpV20AAAAJ&amp;hl=en</idno>
                  <affiliation ref="#struct-1051971"/>
                  <affiliation ref="#struct-2071"/>
                  <affiliation ref="#struct-1001627"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Sebastian</forename>
                    <surname>Will</surname>
                  </persName>
                  <email type="md5">7b03940cb4390c017956776e38d7c5ee</email>
                  <email type="domain">polytechnique.edu</email>
                  <idno type="idhal" notation="string">sebastian-will</idno>
                  <idno type="idhal" notation="numeric">734833</idno>
                  <idno type="halauthorid" notation="string">37656-734833</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2376-9205</idno>
                  <affiliation ref="#struct-1051971"/>
                  <affiliation ref="#struct-2071"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Sarah</forename>
                    <surname>Berkemer</surname>
                  </persName>
                  <idno type="halauthorid">2509548-0</idno>
                  <affiliation ref="#struct-1051971"/>
                  <affiliation ref="#struct-2071"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Laurent</forename>
                    <surname>Bulteau</surname>
                  </persName>
                  <email type="md5">c582b2d8f15486c4ceb9bc5967870547</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">laurent-bulteau</idno>
                  <idno type="idhal" notation="numeric">5550</idno>
                  <idno type="halauthorid" notation="string">9523-5550</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1645-9345</idno>
                  <idno type="IDREF">https://www.idref.fr/180897918</idno>
                  <affiliation ref="#struct-1001627"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Yann</forename>
                    <surname>Ponty</surname>
                  </persName>
                  <email type="md5">42fb37addd44a7405a61aa6c233dfb61</email>
                  <email type="domain">lix.polytechnique.fr</email>
                  <idno type="idhal" notation="string">yann-ponty</idno>
                  <idno type="idhal" notation="numeric">3138</idno>
                  <idno type="halauthorid" notation="string">2539307-3138</idno>
                  <idno type="IDREF">https://www.idref.fr/113491611</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-7615-3930</idno>
                  <affiliation ref="#struct-1051971"/>
                  <affiliation ref="#struct-2071"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>WABI 2022 - 22nd Workshop on Algorithms in Bioinformatics</title>
                  <date type="start">2022-09-05</date>
                  <date type="end">2022-09-09</date>
                  <settlement>Potsdam</settlement>
                  <country key="DE">Germany</country>
                </meeting>
                <imprint>
                  <date type="datePub">2022</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Computational biology</term>
                <term xml:lang="en">Treewidth</term>
                <term xml:lang="en">Dynamic programming DP</term>
                <term xml:lang="en">RNA folding prediction</term>
              </keywords>
              <classCode scheme="https://dl.acm.org/ccs" n="ACM2012.L.3.6"/>
              <classCode scheme="https://dl.acm.org/ccs" n="ACM2012.G.0.1"/>
              <classCode scheme="https://dl.acm.org/ccs" n="ACM2012.F.4.9.3"/>
              <classCode scheme="https://dl.acm.org/ccs" n="ACM2012.F.4.5.0"/>
              <classCode scheme="halDomain" n="info.info-bi">Computer Science [cs]/Bioinformatics [q-bio.QM]</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>Despite being a textbook application of dynamic programming (DP) and routine task in RNA structure analysis, RNA secondary structure prediction remains challenging whenever pseudoknots come into play. To circumvent the NP-hardness of energy minimization in realistic energy models, specialized algorithms have been proposed for restricted conformation classes that capture the most frequently observed configurations. While these methods rely on hand-crafted DP schemes, we generalize and fully automatize the design of DP pseudoknot prediction algorithms. We formalize the problem of designing DP algorithms for an (infinite) class of conformations, modeled by (a finite number of) fatgraphs, and automatically build DP schemes minimizing their algorithmic complexity. We propose an algorithm for the problem, based on the tree-decomposition of a well-chosen representative structure, which we simplify and reinterpret as a DP scheme. The algorithm is fixed-parameter tractable for the tree-width tw of the fatgraph, and its output represents a O(n tw+1) algorithm for predicting the MFE folding of an RNA of length n. Our general framework supports general energy models, partition function computations, recursive substructures and partial folding, and could pave the way for algebraic dynamic programming beyond the context-free case.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-1051971" status="VALID">
          <orgName>Algorithms and Models for Integrative BIOlogy</orgName>
          <orgName type="acronym">AMIBIO</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>Laboratoire d'Informatique de l'École polytechniqueRoute de Saclay91128 Palaiseau CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lix.polytechnique.fr/amibio/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2071" type="direct"/>
            <relation active="#struct-300340" type="indirect"/>
            <relation active="#struct-563936" type="indirect"/>
            <relation name="UMR7161" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-2071" status="VALID">
          <idno type="IdRef">196509955</idno>
          <idno type="ISNI">0000000403673665</idno>
          <idno type="RNSR">200519331V</idno>
          <idno type="ROR">https://ror.org/04afed728</idno>
          <idno type="Wikidata">Q16009025</idno>
          <orgName>Laboratoire d'informatique de l'École polytechnique [Palaiseau]</orgName>
          <orgName type="acronym">LIX</orgName>
          <date type="start">2005-01-01</date>
          <desc>
            <address>
              <addrLine>1 Rue Honoré d’Estienne d’Orves, Bâtiment Alain Turing, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lix.polytechnique.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300340" type="direct"/>
            <relation active="#struct-563936" type="indirect"/>
            <relation name="UMR7161" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1001627" status="OLD">
          <idno type="IdRef">142877891</idno>
          <idno type="RNSR">200212717U</idno>
          <orgName>Laboratoire d'Informatique Gaspard-Monge</orgName>
          <orgName type="acronym">LIGM</orgName>
          <date type="start">2020-01-01</date>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>Université Gustave Eiffel, Cité Descartes, Bâtiment Copernic, 5 bd Descartes, 77454 Marne-la-Vallée Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://ligm.u-pem.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301545" type="direct"/>
            <relation name="UMR8049" active="#struct-441569" type="direct"/>
            <relation active="#struct-580722" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300340" status="VALID">
          <idno type="IdRef">027309320</idno>
          <idno type="ISNI">0000000121581279</idno>
          <idno type="ROR">https://ror.org/05hy3tk52</idno>
          <idno type="Wikidata">Q273626</idno>
          <orgName>École polytechnique</orgName>
          <orgName type="acronym">X</orgName>
          <date type="start">1794-03-11</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91128 Palaiseau Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.polytechnique.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-563936" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-563936" status="VALID">
          <idno type="IdRef">238327159</idno>
          <idno type="ISNI">0000000502717600</idno>
          <idno type="ROR">https://ror.org/042tfbd02</idno>
          <idno type="Wikidata">Q48759778</idno>
          <orgName>Institut Polytechnique de Paris</orgName>
          <orgName type="acronym">IP Paris</orgName>
          <date type="start">2019-06-02</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91120 Palaiseau Cedex, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ip-paris.fr</ref>
          </desc>
        </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>
        <org type="institution" xml:id="struct-301545" status="OLD">
          <idno type="ROR">https://ror.org/02nwvxz07</idno>
          <orgName>École nationale des ponts et chaussées</orgName>
          <orgName type="acronym">ENPC</orgName>
          <date type="start">1747-02-14</date>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>École nationale des ponts et chaussées, 6-8 avenue Blaise-Pascal, Cité Descartes, Champs-sur-Marne, 77455 Marne-la-Vallée cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://ecoledesponts.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-580722" status="VALID">
          <idno type="ROR">https://ror.org/03x42jk29</idno>
          <orgName>Université Gustave Eiffel</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Cité Descartes, 5 Boulevard Descartes • Champs-sur-Marne, 77454 Marne-la-Vallée Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-gustave-eiffel.fr/</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-53300" status="VALID">
          <idno type="anr">ANR-19-CE45-0023</idno>
          <orgName>PaRNAssus</orgName>
          <desc>Décrypter les architectures complexes d'ARN par sondage et interactions</desc>
          <date type="start">2019</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>