<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//TaxonX//DTD Taxonomic Treatment Publishing DTD v0 20100105//EN" "../../nlm/tax-treatment-NS0.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:tp="http://www.plazi.org/taxpub" article-type="research-article" dtd-version="3.0" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">109</journal-id>
      <journal-id journal-id-type="index">urn:lsid:arphahub.com:pub:3dc5f44e-8666-58db-bc76-a455210e8891</journal-id>
      <journal-title-group>
        <journal-title xml:lang="en">JUCS - Journal of Universal Computer Science</journal-title>
        <abbrev-journal-title xml:lang="en">jucs</abbrev-journal-title>
      </journal-title-group>
      <issn pub-type="ppub">0948-695X</issn>
      <issn pub-type="epub">0948-6968</issn>
      <publisher>
        <publisher-name>Journal of Universal Computer Science</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.3217/jucs-015-06-1162</article-id>
      <article-id pub-id-type="publisher-id">29379</article-id>
      <article-categories>
        <subj-group subj-group-type="heading">
          <subject>Research Article</subject>
        </subj-group>
        <subj-group subj-group-type="scientific_subject">
          <subject>F.1.1 - Models of Computation</subject>
          <subject>F.2.1 - Numerical Algorithms and Problems</subject>
          <subject>G.1.m - Miscellaneous</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Effective Computability of Solutions of Differential Inclusions The Ten Thousand Monkeys Approach</article-title>
      </title-group>
      <contrib-group content-type="authors">
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Collins</surname>
            <given-names>Pieter</given-names>
          </name>
          <email xlink:type="simple">pieter.collins@cwi.nl</email>
          <xref ref-type="aff" rid="A1">1</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Graça</surname>
            <given-names>Daniel S.</given-names>
          </name>
          <xref ref-type="aff" rid="A2">2</xref>
        </contrib>
      </contrib-group>
      <aff id="A1">
        <label>1</label>
        <addr-line content-type="verbatim">Centrum voor Wiskunde en Informatica, Amsterdam, Netherlands</addr-line>
        <institution>Centrum voor Wiskunde en Informatica</institution>
        <addr-line content-type="city">Amsterdam</addr-line>
        <country>Netherlands</country>
      </aff>
      <aff id="A2">
        <label>2</label>
        <addr-line content-type="verbatim">Universidade of Algarve, Faro, Portugal</addr-line>
        <institution>Universidade of Algarve</institution>
        <addr-line content-type="city">Faro</addr-line>
        <country>Portugal</country>
      </aff>
      <author-notes>
        <fn fn-type="corresp">
          <p>Corresponding author: Pieter Collins (<email xlink:type="simple">pieter.collins@cwi.nl</email>).</p>
        </fn>
        <fn fn-type="edited-by">
          <p>Academic editor: </p>
        </fn>
      </author-notes>
      <pub-date pub-type="collection">
        <year>2009</year>
      </pub-date>
      <pub-date pub-type="epub">
        <day>28</day>
        <month>03</month>
        <year>2009</year>
      </pub-date>
      <volume>15</volume>
      <issue>6</issue>
      <fpage>1162</fpage>
      <lpage>1185</lpage>
      <uri content-type="arpha" xlink:href="http://openbiodiv.net/4E953309-6D05-57F2-BCE9-63A0D4CCDEB9">4E953309-6D05-57F2-BCE9-63A0D4CCDEB9</uri>
      <uri content-type="zenodo_dep_id" xlink:href="https://zenodo.org/record/7000747">7000747</uri>
      <permissions>
        <copyright-statement>Pieter Collins, Daniel S. Graça</copyright-statement>
        <license license-type="creative-commons-attribution" xlink:href="" xlink:type="simple">
          <license-p>This article is freely available under the J.UCS Open Content License.</license-p>
        </license>
      </permissions>
      <abstract>
        <label>Abstract</label>
        <p>In this paper we consider the computability of the solution of the initialvalue problem for differential equations and for differential inclusions with semicontinuous right-hand side. We present algorithms for the computation of the solution using the "ten thousand monkeys" approach, in which we generate all possible solution tubes, and then check which are valid. In this way, we show that the solution of a locally Lipschitz differential equation is computable even if the function is not effectively locally Lipschitz, and recover a result of Ruohonen, in which it is shown that if the solution is unique, then it is computable. We give an example of a computable locally Lipschitz function which is not effectively locally Lipschitz. We also show that the solutions of a convex-valued upper-semicontinuous differential inclusion are upper-semicomputable, and the solutions of a lower-semicontinuous one-sided Lipschitz differential inclusion are lower-semicomputable.</p>
      </abstract>
    </article-meta>
  </front>
</article>
