×

Found 162 Documents (Results 1–100)

TuringMobile: a Turing machine of oblivious mobile robots with limited visibility and its applications. (English) Zbl 1497.68211

Schmid, Ulrich (ed.) et al., 32nd international symposium on distributed computing, DISC 2018, New Orleans, Louisiana, USA, October 15–19, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 121, Article 19, 18 p. (2018).
MSC:  68Q10 68T42
PDFBibTeX XMLCite
Full Text: DOI

A deterministic two-way multi-head finite automaton can be converted into a reversible one with the same number of heads. (English) Zbl 1451.68156

Glück, Robert (ed.) et al., Reversible computation. 4th international workshop, RC 2012, Copenhagen, Denmark, July 2–3, 2012. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 7581, 29-43 (2013).
MSC:  68Q45 68Q10
PDFBibTeX XMLCite
Full Text: DOI Link

Lower bounds on the complexity of the wavelength-based machine. (English) Zbl 1374.68214

Durand-Lose, Jérôme (ed.) et al., Unconventional computation and natural computation. 11th international conference, UCNC 2012, Orléan, France, September 3–7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32893-0/pbk). Lecture Notes in Computer Science 7445, 94-105 (2012).
MSC:  68Q05 68Q10 68Q17
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI arXiv

Computations with uncertain time constraints: effects on parallelism and universality. (English) Zbl 1330.68077

Calude, Cristian S. (ed.) et al., Unconventional computation. 10th international conference, UC 2011, Turku, Finland, June 6–10, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21340-3/pbk). Lecture Notes in Computer Science 6714, 152-163 (2011).
MSC:  68Q05 68Q10
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI

An abstract machine for the stochastic bioambient calculus. (English) Zbl 1347.68143

Ciobanu, Gabriel (ed.), Proceedings of the 2nd international meeting on membrane computing and biologically inspired process calculi (MeCBIC 2008), Iaşi, Romania, September 3–4, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 227, 143-159 (2009).
MSC:  68Q05 68Q10 68Q55 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Spiking neural P systems: Some characterizations. (English) Zbl 1135.68413

Csuhaj-Varjú, Erzsébet (ed.) et al., Fundamentals of computation theory. 16th international symposium, FCT 2007, Budapest, Hungary, August 27–30, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74239-5/pbk). Lecture Notes in Computer Science 4639, 23-37 (2007).
MSC:  68Q10 68Q05 68Q45
PDFBibTeX XMLCite
Full Text: DOI

On bounded symport/antiport P systems. (English) Zbl 1234.68112

Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 129-143 (2006).
MSC:  68Q10 68Q05 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Arithmetics with P-machines. (English) Zbl 1119.68104

Grebenicov, E. (ed.) et al., CERMCS international conference of young scientists affiliated to the international conference on computer algebra in scientific computing 2006, (CASC 2006), Chişinău, Moldova, September 11–15, 2006. Communications. Chişinău: State University of Moldova, Centre of Education and Research in Mathematics and Computer Science, CERMCS; Chişinău: Tech. Univ. of Moldova (ISBN 978-9975-70-677-3/pbk). 86-92 (2006).
MSC:  68Q45 68Q05 68Q10
PDFBibTeX XMLCite

On deterministic catalytic systems. (English) Zbl 1172.68473

Farré, Jacques (ed.) et al., Implementation and application of automata. 10th international conference, CIAA 2005, Sophia Antipolis, France, June 27–29, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-31023-1/pbk). Lecture Notes in Computer Science 3845, 163-175 (2006).
MSC:  68Q05 68Q10 68Q45
PDFBibTeX XMLCite
Full Text: DOI

A time lower bound for satisfiability. (English) Zbl 1099.68638

Díaz, Josep (ed.) et al., Automata, languages and programming. 31st international colloquium, ICALP 2004, Turku, Finland, July 12–16, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22849-7/pbk). Lecture Notes in Computer Science 3142, 971-982 (2004).
MSC:  68Q17 68Q05 68Q10 68Q15 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Computing with restricted nondeterminism: The dependence of the OBDD size on the number of nondeterministic variables. (English) Zbl 0958.68062

Pandu Rangan, C. (ed.) et al., Foundations of software technology and theoretical computer science. 19th conference, Chennai, India, December 13-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1738, 342-355 (1999).
MSC:  68Q05 68Q10
PDFBibTeX XMLCite

A logical characterisation of linear time on nondeterministic Turing machines. (English) Zbl 0924.03070

Meinel, Christoph (ed.) et al., STACS 99. 16th annual symposium on Theoretical aspects of computer science, Trier, Germany, March 4–6, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1563, 143-152 (1999).
PDFBibTeX XMLCite

Speeding-up nondeterministic single-tape off-line computations by one alternation (extended abstract). (English) Zbl 0912.03022

Brim, Luboš (ed.) et al., Mathematical foundations of computer science 1998. 23rd international symposium, MFCS ’98. Brno, Czech Republic, August 24–28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1450, 607-615 (1998).
MSC:  03D15 68Q15 03D10
PDFBibTeX XMLCite

Complexity theory. Vol. 1: Foundations. Machine models, time and place complexity, nondeterminism. 2., völlig neubearb. u. erw. Aufl. (Komplexitätstheorie. Band I: Grundlagen. Maschinenmodelle, Zeit- und Platzkomplexität, Nichtdeterminismus.) (German) Zbl 0914.68077

Leitfäden der Informatik. Stuttgart: Teubner. xvii, 353 S. (1998).
MSC:  68Q15 68Q25 03D15 68-01 68Q10 68Q05
PDFBibTeX XMLCite

Computational limitations of stochastic Turing machines and Arthur-Merlin games with small space bounds. (English) Zbl 0951.68036

Privara, L. (ed.) et al., Mathematical foundations of computer science 1997. 22nd international symposium, MFCS ’97, Bratislava, Slovakia, August 25-29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1295, 91-107 (1997).
MSC:  68Q05 68Q15 68Q10 03D10
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software