×

Found 20 Documents (Results 1–20)

100
MathJax

Exact discretization of 3-speed rational signal machines into cellular automata. (English) Zbl 1365.68336

Cook, Matthew (ed.) et al., Cellular automata and discrete complex systems. 22nd IFIP WG 1.5 international workshop, AUTOMATA 2016, Zurich, Switzerland, June 15–17, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39299-8/pbk; 978-3-319-39300-1/ebook). Lecture Notes in Computer Science 9664, 63-76 (2016).
Reviewer: Jan Baetens (Gent)
MSC:  68Q80 37B15 68Q05
PDF BibTeX XML Cite
Full Text: DOI HAL

Computing in the fractal cloud: modular generic solvers for SAT and Q-SAT variants. (English) Zbl 1354.68079

Agrawal, Manindra (ed.) et al., Theory and applications of models of computation. 9th annual conference, TAMC 2012, Beijing, China, May 16–21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29951-3/pbk). Lecture Notes in Computer Science 7287, 435-447 (2012).
MSC:  68Q05 68Q10 68Q25
PDF BibTeX XML Cite
Full Text: DOI arXiv

Fractal parallelism: solving SAT in bounded space and time. (English) Zbl 1310.68075

Cheong, Otfried (ed.) et al., Algorithms and computation. 21st international symposium, ISAAC 2010, Jeju Island, Korea, December 15–17, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-17516-9/pbk). Lecture Notes in Computer Science 6506, 279-290 (2010).
MSC:  68Q05 68Q10 68Q25
PDF BibTeX XML Cite
Full Text: DOI

Abstract geometrical computation and the linear Blum, Shub and Smale model. (English) Zbl 1151.68408

Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 238-247 (2007).
MSC:  68Q05
PDF BibTeX XML Cite
Full Text: DOI HAL

Forecasting black holes in abstract geometrical computation is highly unpredictable. (English) Zbl 1117.03045

Cai, Jin-Yi (ed.) et al., Theory and applications of models of computation. Third international conference, TAMC 2006, Beijing, China, May 15–20, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34021-1/pbk). Lecture Notes in Computer Science 3959, 644-653 (2006).
MSC:  03D10 68Q05 68Q80
PDF BibTeX XML Cite
Full Text: DOI

Reversible conservative rational abstract geometrical computation is Turing-universal. (English) Zbl 1117.03044

Beckmann, Arnold (ed.) et al., Logical approaches to computational barriers. Second conference on computability in Europe, CiE 2006, Swansea, UK, June 30–July 5, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35466-2/pbk). Lecture Notes in Computer Science 3988, 163-172 (2006).
MSC:  03D10 68Q05
PDF BibTeX XML Cite
Full Text: DOI

Mathematical machines. From the history to school. (Macchine matematiche. Dalla storia alla scuola.) (Italian) Zbl 1104.00012

Convergenze. Milano: Springer (ISBN 88-470-0402-0/pbk). xviii, 160 p., with CD-ROM. (2006).
MSC:  00A35 97-01
PDF BibTeX XML Cite

Abstract geometrical computation: Turing-computing ability and undecidability. (English) Zbl 1113.03325

Cooper, S. Barry (ed.) et al., New computational paradigms. First conference on computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8–12, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26179-6/pbk). Lecture Notes in Computer Science 3526, 106-116 (2005).
MSC:  03D10 03D35 68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Classification

Software