Computing with Infinite Data

Informacje na temat projektu

CID

Identyfikator umowy o grant: 731143

DOI

10.3030/731143

Projekt został zamknięty

Data podpisania przez KE 30 Listopada 2016

Data rozpoczęcia 1 Kwietnia 2017

Data zakończenia 31 Marca 2023

Finansowanie w ramach

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Koszt całkowity

€ 1 458 900,00

Wkład UE

€ 958 500,00

Koordynowany przez

UNIVERSITAET SIEGEN
Germany

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Websites, patent fillings, videos etc. (1)

Project Web Site

An internet web page will be set up and maintained It will inform the public about project events and important research achievements but also provide an internal discussion platform

Other (2)

Mid-term meeting

Organisation of mid-term meeting between consortium and project officer.

IPR Training

Training on Intellectual Property Rights.

Publikacje

Peer reviewed articles (31)

Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines

Autorzy: Daniel S. Graça and Ning Zhong
Opublikowane w: Computability, Numer 12(2), 2023, Strona(/y) 117-144, ISSN 2211-3568
Wydawca: IOS Press
DOI: 10.3233/com-210381

Realizing semicomputable simplices by computable dynamical systems

Autorzy: Daniel Coronel; Alexander Frank; Mathieu Hoyrup; Cristóbal Rojas
Opublikowane w: Theoretical Computer Science, Numer 933, 2022, ISSN 0304-3975
Wydawca: Elsevier BV
DOI: 10.1016/j.tcs.2022.09.001

Bi-topological spaces and the Continuity Problem

Autorzy: Dieter Spreen
Opublikowane w: Topology Proceedings, Numer 61, 2021, Strona(/y) 77-99, ISSN 2331-1290
Wydawca: Topology Proceedings

Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies

Autorzy: Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini
Opublikowane w: Logical Methods in Computer Science, 2019, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-15(2:21)2019

A realizability semantics for inductive formal topologies, Church'sThesis and Axiom of Choice

Autorzy: Maria Emilia Maietti, Samuele Maschio, Michael Rathjen
Opublikowane w: Logical Methods in Computer Science, 2021, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-17(2:21)2021

The ksmt Calculus Is a δ-complete Decision Procedure for Non-linear Constraints

Autorzy: Franz Brauße, Konstantin Korovin, Margarita Korovina, Norbert Müller
Opublikowane w: Theoretical Computer Science, 2023, ISSN 0304-3975
Wydawca: Elsevier BV
DOI: 10.1016/j.tcs.2023.114125

Logic for exact real arithmetic

Autorzy: Helmut Schwichtenberg, Franziskus Wiesnet
Opublikowane w: Logical Methods in Computer Science, Numer 17, 2021, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-17(2:7)2021

Computing the exact number of periodic orbits for planar flows

Autorzy: Daniel S. Graça and Ning Zhong
Opublikowane w: Transactions of the American Mathematical Society, Numer 375, 2022, Strona(/y) 5491-5538, ISSN 0002-9947
Wydawca: American Mathematical Society
DOI: 10.1090/tran/8644

The set of hyperbolic equilibria and of invertible zeros on the unit ball is computable

Autorzy: Daniel S. Graça and Ning Zhong
Opublikowane w: Theoretical Computer Science, Numer 895, 2021, Strona(/y) 48-54, ISSN 0304-3975
Wydawca: Elsevier BV
DOI: 10.1016/j.tcs.2021.09.028

McShane-Whitney extensions in constructive analysis

Autorzy: Iosif Petrakis
Opublikowane w: Logical Methods in Compuer Science, 2020, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-16(1:18)2020

OVERLAP ALGEBRAS: A CONSTRUCTIVE LOOK AT COMPLETE BOOLEAN ALGEBRAS

Autorzy: FRANCESCO CIRAULO, MICHELE CONTENTE
Opublikowane w: Logical Methods in Computer Science, 2020, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-16(1:13)2020

Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs

Autorzy: Svetlana Selivanova, Victor Selivanov
Opublikowane w: Logical Methods in Computer Science, Numer Volume 13, Numer 4, 2017, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.23638/LMCS-13(4:13)2017

On the functions generated by the general purpose analog computer

Autorzy: Olivier Bournez, Daniel Graça, Amaury Pouly
Opublikowane w: Information and Computation, Numer 257, 2017, Strona(/y) 34-57, ISSN 0890-5401
Wydawca: Academic Press
DOI: 10.1016/j.ic.2017.09.015

Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length

Autorzy: Olivier Bournez, Daniel S. Graça, Amaury Pouly
Opublikowane w: Journal of the ACM, Numer 64/6, 2017, Strona(/y) 1-76, ISSN 0004-5411
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3127496

Complexity for partial computable functions over computable Polish spaces

Autorzy: MARGARITA KOROVINA, OLEG KUDINOV
Opublikowane w: Mathematical Structures in Computer Science, Numer 28/3, 2018, Strona(/y) 429-447, ISSN 0960-1295
Wydawca: Cambridge University Press
DOI: 10.1017/s0960129516000438

Computable elements and functions in effectively enumerable topological spaces

Autorzy: MARGARITA KOROVINA, OLEG KUDINOV
Opublikowane w: Mathematical Structures in Computer Science, Numer 27/8, 2017, Strona(/y) 1466-1494, ISSN 0960-1295
Wydawca: Cambridge University Press
DOI: 10.1017/s0960129516000141

The Rice-Shapiro theorem in Computable Topology

Autorzy: Korovina, Margarita and Kudinov, Oleg
Opublikowane w: Logical methods in computer science, 2017, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-13(4:30)2017

Overt choice

Autorzy: Matthew de Brecht, Arno Pauly, Matthias Schröder
Opublikowane w: Computability, Numer 9/3-4, 2020, Strona(/y) 169-191, ISSN 2211-3576
Wydawca: IOS Press
DOI: 10.3233/com-190253

The principle of pointfree continuity

Autorzy: Tatsuji Kawai, Giovanni Sambin
Opublikowane w: Logical Methods in Computer Science, Numer 15, 2019, Strona(/y) 1--22, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-15(1:22)2019

SEARCHING FOR AN ANALOGUE OF ATR 0 IN THE WEIHRAUCH LATTICE

Autorzy: TAKAYUKI KIHARA, ALBERTO MARCONE, ARNO PAULY
Opublikowane w: The Journal of Symbolic Logic, Numer 85/3, 2020, Strona(/y) 1006-1043, ISSN 0022-4812
Wydawca: Association for Symbolic Logic
DOI: 10.1017/jsl.2020.12

The Ho-Zhao Problem

Autorzy: Weng Kin Ho, Jean Goubault-Larrecq, Achim Jung, Xiaoyong Xi
Opublikowane w: Logical Methods in Computer Science, Numer 14 (1:7), 2018, Strona(/y) 1--19, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-14(1:7)2018

Topological Scott Convergence Theorem

Autorzy: Hadrian Andradi, Weng Kin Ho
Opublikowane w: Logical Methods in Computer Science, Numer 15-1, 2019, Strona(/y) 1-14, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-15(1:29)2019

Behavioural Equivalence via Modalities for Algebraic Effects

Autorzy: Alex Simpson, Niels Voorneveld
Opublikowane w: ACM Transactions on Programming Languages and Systems (TOPLAS), Numer 42/1, 2020, Strona(/y) 1-45, ISSN 0164-0925
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3363518

Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice

Autorzy: Maria Emilia Maietti, Samuele Maschio, Michael Rathjen
Opublikowane w: Logical Methods in Computer Science, 2022, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-18(4:5)2022

Factorizing the Top-Loc adjunction through positive topologies

Autorzy: F. Ciraulo, T. Kawai, S. Maschio
Opublikowane w: Archive for Mathematical Logic, 2021, ISSN 0933-5846
Wydawca: Springer Verlag
DOI: 10.1007/s00153-021-00768-5

Direct spectra of Bishop spaces and teir limits

Autorzy: Iosif Petrakis
Opublikowane w: Logical Methods in Computer Science, 2020, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig

Computing with continuous objects: a uniform co-inductive approach

Autorzy: Dieter Spreen
Opublikowane w: Mathematical Structures in Computer Science, Numer 31, Numer 2, 2021, Strona(/y) 144-192, ISSN 1469-8072
Wydawca: Cambridge University Press
DOI: 10.1017/s0960129521000116

A characterization of generalized existential completions

Autorzy: Maria Emilia Maietti, Davide Trotta
Opublikowane w: Annals of Pure and Applied Logic, 2023, ISSN 0168-0072
Wydawca: Elsevier BV
DOI: 10.1016/j.apal.2022.103234

Limits of real numbers in the binary signed digit representation

Autorzy: Franziskus Wiesnet, Nils Köpp
Opublikowane w: Log. Methods Comput. Sci., 2022, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.48550/arxiv.2103.15702

σ-locales in Formal Topology

Autorzy: F. Ciraulo
Opublikowane w: Logical Methods in Computer Science, 2022, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-18(1:7)2022

Natural density and probability, constructively

Autorzy: Samuele Maschio
Opublikowane w: Reports on Mathematical Logic, 2020, ISSN 0137-2904
Wydawca: Jagiellonian University
DOI: 10.4467/20842589rm.20.002.12434

Conference proceedings (9)

Computing Haar Measures

Autorzy: Pauly, Arno; Seon, Dongseong; Ziegler, Martin
Opublikowane w: Proceedings of CSL 2020, Numer 26, 2020
Wydawca: Lipics
DOI: 10.4230/lipics.csl.2020.34

Computability of Ordinary Differential Equations

Autorzy: D. S. Graça, N. Zhong
Opublikowane w: Proceedings of the 14th Conference on Computability in Europe, CiE 2018: Sailing Routes in the World of Computation, Numer 10936, 2018, Strona(/y) 204-213, ISBN 978-3-319-94417-3
Wydawca: Springer
DOI: 10.1007/978-3-319-94418-0_21

Computability on quasi-Polish spaces

Autorzy: Mathieu Hoyrup, Cristobal Rojas, Victor Selivanov, Donald M. Stull
Opublikowane w: Descriptional Complexity of Formal Systems - 21st {IFIP} {WG} 1.02 International Conference, {DCFS} 2019, Ko{\v{s}}ice, Slovakia, July 17-19, 2019, Proceedings, 2019, Strona(/y) 171-183
Wydawca: Springer
DOI: 10.1007/978-3-030-23247-4_13

Average-Case Polynomial-Time Computability of Hamiltonian Dynamics

Autorzy: Akitoshi Kawamura, Holger Thies, Martin Ziegler
Opublikowane w: Leibniz International Proceedings in Informatics (LIPIcs), 2018, Strona(/y) 30:1--30:17
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.mfcs.2018.30

Behavioural equivalence via modalities for algebraic effects

Autorzy: Alex Simpson, Niels Voorneveld
Opublikowane w: Lecture Notes in Computer Science, Numer 10809, 2018, Strona(/y) 300--326, ISBN 978-3-319-89884-1
Wydawca: Springer

Displayed categories

Autorzy: Benedikt Ahrens, Peter LeFanu Lumsdaine
Opublikowane w: Leibniz International Proceedings in Informatics, Numer 84, 2017, Strona(/y) 5:1--5:16, ISBN 978-3-95977-047-7
Wydawca: Leibniz Zentrum für Informatik, Dagstuhl Publishing
DOI: 10.4230/lipics.fscd.2017.0

Tunneling on Wheeler Graphs

Autorzy: Jarno Alanko, Travis Gagie, Gonzalo Navarro, Louisa Seelbach Benkner
Opublikowane w: 2019 Data Compression Conference (DCC), 2019, Strona(/y) 122-131, ISBN 978-1-7281-0657-1
Wydawca: IEEE
DOI: 10.1109/dcc.2019.00020

Computable Analysis for Verified Exact Real Computation

Autorzy: Konecny, Michal; Steinberg, Florian; Thies, Holger
Opublikowane w: Leibniz International Proceedings in Informatics (LIPIcs), Numer 182, 2020, Strona(/y) 50:1-50:18
Wydawca: Schloss Dagstuhl-Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.fsttcs.2020.50

On the Collection of Fringe Subtrees in Random Binary Trees

Autorzy: Louisa Seelbach Benkner, Stephan Wagner
Opublikowane w: Lecture Notes in Computer Science, Numer 12118, 2020, Strona(/y) 546-558, ISBN 978-3-030-61791-2
Wydawca: Springer, Cham
DOI: 10.1007/978-3-030-61792-9_43

Other (12)

Computing with Infinite Objects: the Gray Code Case

Autorzy: Dieter Spreen, Ulrich Berger
Opublikowane w: Logical Methods in Computer Science, Numer 19, issue 3, 2023, Strona(/y) 1:1 - 1:62, ISSN 1860-5974
Wydawca: LOGICAL METHODS IN COMPUTER SCIENCE e.V.
DOI: 10.48550/arxiv.2105.14261

σ-locales and Booleanization in Formal Topology

Autorzy: Francesco Ciraulo
Opublikowane w: 2019
Wydawca: Cornell University

Overlap Algebras as Almost Discrete Locales

Autorzy: Francesco Ciraulo
Opublikowane w: 2016
Wydawca: Cornell University

Representations and evaluation strategies for feasibly approximable functions

Autorzy: Michal Konecny, Eike Neumann
Opublikowane w: 2018
Wydawca: Cornell University

Elementary quotient completions, Church's Thesis, and partitioned assemblies

Autorzy: Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini
Opublikowane w: 2018
Wydawca: Cornell University

Enumeration degrees and non-metrizable topology

Autorzy: Takayuki Kihara, Arno Pauly
Opublikowane w: 2019
Wydawca: Cornell University

"Semantics, logic and verification of ""exact real computation"""

Autorzy: Franz Brauße, Pieter Collins, Johannes Kanig, SunYoung Kim, Michal Konečný, Gyesik Lee, Norbert Müller, Eike Neumann, Sewon Park, Norbert Preining, Martin Ziegler
Opublikowane w: 2019
Wydawca: Cornell University

On the computability of the Fréchet distance of surfaces in thwe bitmodel of real computation

Autorzy: Eike Neumann
Opublikowane w: 2018
Wydawca: Cornell University

Parameterised second-order complexity theory with applications to the study of interval computation

Autorzy: Eike Neumann, Florian Steinberg
Opublikowane w: 2017
Wydawca: Cornell University

Representation Theory of Compact Metric Spaces and Computational Complexity of Continuous Data

Autorzy: Akitoshi Kawamura, Donghyun Lim, Svetlana Selivanova, Martin Ziegler
Opublikowane w: 2018
Wydawca: Cornell University

Natural density and probability, constructively

Autorzy: Samuele Maschio
Opublikowane w: 2019
Wydawca: Cornell University

On Formal Verification in Imperative Multivalued Programming over Continuous Data Types

Autorzy: Gyesik Lee, Norbert Müller, Eike Neumann, Sewon Park, Norbert Preining, Martin Ziegler
Opublikowane w: 2019
Wydawca: Cornell University

Book chapters (10)

Weak Reduction Principle and Computable Metric Spaces

Autorzy: Margarita Korovina, Oleg Kudinov
Opublikowane w: Sailing Routes in the World of Computation, Numer 10936, 2018, Strona(/y) 234-243, ISBN 978-3-319-94417-3
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-94418-0_24

Outline of Partial Computability in Computable Topology

Autorzy: Margarita Korovina, Oleg Kudinov
Opublikowane w: Unveiling Dynamics and Complexity, Numer 10307, 2017, Strona(/y) 64-76, ISBN 978-3-319-58740-0
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-58741-7_7

On Higher Effective Descriptive Set Theory

Autorzy: Margarita Korovina, Oleg Kudinov
Opublikowane w: Unveiling Dynamics and Complexity, Numer 10307, 2017, Strona(/y) 282-291, ISBN 978-3-319-58740-0
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-58741-7_27

Extending Wadge Theory to k-Partitions

Autorzy: Victor L. Selivanov
Opublikowane w: Unveiling Dynamics and Complexity, Numer 10307, 2017, Strona(/y) 387-399, ISBN 978-3-319-58740-0
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-58741-7_36

Behavioural Equivalence via Modalities for Algebraic Effects

Autorzy: Alex Simpson, Niels Voorneveld
Opublikowane w: Programming Languages and Systems, Numer 10801, 2018, Strona(/y) 300-326, ISBN 978-3-319-89883-4
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-89884-1_11

Undecidability of Equality for Codata Types

Autorzy: Ulrich Berger, Anton Setzer
Opublikowane w: Coalgebraic Methods in Computer Science - 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers, Numer 11202, 2018, Strona(/y) 34-55, ISBN 978-3-030-00388-3
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-00389-0_4

Highlights of the Rice-Shapiro Theorem in Computable Topology

Autorzy: Margarita Korovina, Oleg Kudinov
Opublikowane w: Perspectives of System Informatics, Numer 10742, 2018, Strona(/y) 241-255, ISBN 978-3-319-74312-7
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-74313-4_18

Computability of Limit Sets for Two-Dimensional Flows

Autorzy: Daniel S. Graça and Ning Zhong
Opublikowane w: Lecture Notes in Computer Science, Numer 12813, 2021, Strona(/y) 494-503, ISBN 978-3-030-80048-2
Wydawca: Springer
DOI: 10.1007/978-3-030-80049-9_48

Finite Choice, Convex Choice and Sorting

Autorzy: Takayuki Kihara, Arno Pauly
Opublikowane w: Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings, Numer 11436, 2019, Strona(/y) 378-393, ISBN 978-3-030-14811-9
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-14812-6_23

Computability of differential equations

Autorzy: Graça, Daniel; Zhong, Ning
Opublikowane w: Handbook of Computability and Complexity in Analysis, Numer 15, 2021, Strona(/y) 71-99, ISBN 978-3-030-59233-2
Wydawca: Springer
DOI: 10.1007/978-3-030-59234-9_3