Publication
The general purpose analog computer and computable analysis are two equivalent paradigms of analog computation
| dc.contributor.author | Bournez, Olivier | |
| dc.contributor.author | Campagnolo, Manuel | |
| dc.contributor.author | Graça, Daniel | |
| dc.contributor.author | Hainry, Emmanuel | |
| dc.date.accessioned | 2012-04-13T08:15:38Z | |
| dc.date.available | 2012-04-13T08:15:38Z | |
| dc.date.issued | 2006 | |
| dc.description.abstract | In this paper we revisit one of the rst models of analog computation, Shannon's General Purpose Analog Computer (GPAC). The GPAC has often been argued to be weaker than computable analysis. As main contribution, we show that if we change the notion of GPACcomputability in a natural way, we compute exactly all real computable functions (in the sense of computable analysis). Moreover, since GPACs are equivalent to systems of polynomial di erential equations then we show that all real computable functions can be de ned by such models. | por |
| dc.identifier.other | AUT: DGR01772; | |
| dc.identifier.uri | http://hdl.handle.net/10400.1/1009 | |
| dc.language.iso | eng | por |
| dc.peerreviewed | yes | por |
| dc.publisher | J.-Y. Cai, S. B. Cooper, and A. Li | por |
| dc.relation | ConTComp: Continuous time computation and complexity | |
| dc.relation.ispartofseries | Lecture Notes in Computer Science;3959 | |
| dc.relation.publisherversion | http://www.springerlink.com/content/n8246v4588433793/ | por |
| dc.title | The general purpose analog computer and computable analysis are two equivalent paradigms of analog computation | por |
| dc.type | book part | |
| dspace.entity.type | Publication | |
| oaire.awardTitle | ConTComp: Continuous time computation and complexity | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/SFRH/SFRH%2FBD%2F17436%2F2004/PT | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/POCI/POCTI%2FMAT%2F45978%2F2002/PT | |
| oaire.citation.endPage | 643 | por |
| oaire.citation.startPage | 631 | por |
| oaire.citation.title | Theory and Applications of Models of Computation TAMC'06 | por |
| oaire.fundingStream | SFRH | |
| oaire.fundingStream | POCI | |
| person.familyName | Graça | |
| person.givenName | Daniel | |
| person.identifier.ciencia-id | 2D11-56DE-3F11 | |
| person.identifier.orcid | 0000-0002-0330-833X | |
| person.identifier.rid | D-2335-2011 | |
| person.identifier.scopus-author-id | 8882791800 | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| rcaap.rights | openAccess | por |
| rcaap.type | bookPart | por |
| relation.isAuthorOfPublication | ba0c1461-5d2d-4f06-b648-df4a1a505bdf | |
| relation.isAuthorOfPublication.latestForDiscovery | ba0c1461-5d2d-4f06-b648-df4a1a505bdf | |
| relation.isProjectOfPublication | 5cbba14a-0c72-415f-96b3-df9de4a0c542 | |
| relation.isProjectOfPublication | 98f724cf-a2ae-4a98-8827-9ba4c02c5abb | |
| relation.isProjectOfPublication.latestForDiscovery | 98f724cf-a2ae-4a98-8827-9ba4c02c5abb |