E-LIB Suche - Ergebnisse für: Graça, Daniel S.

1

A continuous characterization of PSPACE using polynomial or..:

Bournez, Olivier ; Gozzi, Riccardo ; Graça, Daniel S..
Journal of Complexity. 77 (2023) - p. 101755 , 2023

Link: https://doi.org/10.1016/..

2

The set of hyperbolic equilibria and of invertible zeros on..:

Graça, Daniel S. ; Zhong, Ning
Theoretical Computer Science. 895 (2021) - p. 48-54 , 2021

Link: https://doi.org/10.1016/..

3

Computability of Differential Equations:

, In: Theory and Applications of Computability; Handbook of Computability and Complexity in Analysis,

GraÇa, Daniel S. ; Zhong, Ning - p. 71-99 , 2021

Link: https://doi.org/10.1007/..

4

Computability of Limit Sets for Two-Dimensional Flows:

, In: Lecture Notes in Computer Science; Connecting with Computability,

Graça, Daniel S. ; Zhong, Ning - p. 494-503 , 2021

Link: https://doi.org/10.1007/..

5

Polynomial Time Corresponds to Solutions of Polynomial Ordi..:

Bournez, Olivier ; Graça, Daniel S. ; Pouly, Amaury
Journal of the ACM (JACM). 64 (2017) 6 - p. 1-76 , 2017

Link: https://dl.acm.org/doi/1..

6

Polynomial Time Corresponds to Solutions of Polynomial Ordi..:

Bournez, Olivier ; Graça, Daniel S. ; Pouly, Amaury
Journal of the ACM. 64 (2017) 6 - p. 1-76 , 2017

Link: https://doi.org/10.1145/..

7

Computational complexity of solving polynomial differential..:

Pouly, Amaury ; Graça, Daniel S.
Theoretical Computer Science. 626 (2016) - p. 67-82 , 2016

Link: https://doi.org/10.1016/..

8

An analytic System with a Computable Hyperbolic Sink Whose ..:

Graça, Daniel S. ; Zhong, Ning
Theory of Computing Systems. 57 (2015) 2 - p. 478-520 , 2015

Link: https://doi.org/10.1007/..

9

Computation with perturbed dynamical systems:

Bournez, Olivier ; Graça, Daniel S. ; Hainry, Emmanuel
Journal of Computer and System Sciences. 79 (2013) 5 - p. 714-724 , 2013

Link: https://doi.org/10.1016/..

10

The connection between computability of a nonlinear problem..:

Graça, Daniel S. ; Zhong, Ning ; Dumas, H.S.
Theoretical Computer Science. 457 (2012) - p. 101-110 , 2012

Link: https://doi.org/10.1016/..

11

On the complexity of solving initial value problems:

, In: Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation,

Bournez, Olivier ; Graça, Daniel S. ; Pouly, Amaury - p. 115-121 , 2012

Link: https://dl.acm.org/doi/1..

12

Computability, noncomputability, and hyperbolic systems:

Graça, Daniel S. ; Zhong, Ning ; Buescu, Jorge
Applied Mathematics and Computation. 219 (2012) 6 - p. 3039-3054 , 2012

Link: https://doi.org/10.1016/..

13

Computational bounds on polynomial differential equations:

Graça, Daniel S. ; Buescu, Jorge ; Campagnolo, Manuel L.
Applied Mathematics and Computation. 215 (2009) 4 - p. 1375-1385 , 2009

Link: https://doi.org/10.1016/..

14

Computability with polynomial differential equations:

Graça, Daniel S. ; Campagnolo, Manuel L. ; Buescu, Jorge
Advances in Applied Mathematics. 40 (2008) 3 - p. 330-349 , 2008

Link: https://doi.org/10.1016/..

15

Boundedness of the Domain of Definition is Undecidable for ..:

Graça, Daniel S. ; Buescu, Jorge ; Campagnolo, Manuel L.
Electronic Notes in Theoretical Computer Science. 202 (2008) - p. 49-57 , 2008

Link: https://doi.org/10.1016/..