×

Found 247 Documents (Results 1–100)

Topology and non-deterministic polynomial time computation: avoidance of the misbehaviour of hub-free diagrams and consequences. (English) Zbl 1469.20031

Neary, Turlough (ed.) et al., Proceedings of the conference on machines, computations and universality 2013, MCU 2013, Zürich, Switzerland, September 9–11, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 128, 76-84 (2013).
MSC:  20F10 68Q04 68Q25
PDFBibTeX XMLCite
Full Text: arXiv Link

The simplex method is strongly polynomial for deterministic Markov decision processes. (English) Zbl 1423.90138

Khanna, Sanjeev (ed.), Proceedings of the 24th annual ACM-SIAM symposium on discrete algorithms, SODA 2013, New Orleans, LA, USA, January 6–8, 2013. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 1465-1473 (2013).
MSC:  90C05 90C40 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Breaking the \(n^{\log^n}\) barrier for solvable-group isomorphism. (English) Zbl 1422.68140

Khanna, Sanjeev (ed.), Proceedings of the 24th annual ACM-SIAM symposium on discrete algorithms, SODA 2013, New Orleans, LA, USA, January 6–8, 2013. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 1054-1073 (2013).
PDFBibTeX XMLCite
Full Text: DOI arXiv

An innovative decision making e-key application for the identification of fish species. (English) Zbl 1375.92003

Migdalas, Athanasios (ed.) et al., Optimization theory, decision making, and operations research applications. Proceedings of the 1st international symposium and 10th Balkan conference on operational research, Thessaloniki, Greece, September 22–25, 2011. New York, NY: Springer (ISBN 978-1-4614-5133-4/hbk; 978-1-4614-5134-1/ebook). Springer Proceedings in Mathematics & Statistics 31, 319-329 (2013).
MSC:  92B10 91B06 62H30
PDFBibTeX XMLCite
Full Text: DOI

Regular real analysis. (English) Zbl 1366.03217

Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 509-518 (2013).
MSC:  03D78 03D05
PDFBibTeX XMLCite
Full Text: DOI

Trading performance for stability in Markov decision processes. (English) Zbl 1366.68087

Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 331-340 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Evasiveness through a circuit lens (extended abstract). (English) Zbl 1362.68108

Proceedings of the 4th conference on innovations in theoretical computer science, ITCS’13, Berkeley, CA, USA, January 9–12, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1859-4). 139-144 (2013).
MSC:  68Q25 68Q15 94C10
PDFBibTeX XMLCite
Full Text: DOI

Parameterized verification of many identical probabilistic timed processes. (English) Zbl 1359.68185

Seth, Anil (ed.) et al., 33nd international conference on foundations of software technology and theoretical computer science, FSTTCS 2013, Guwahati, India, December 12–14, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-64-4). LIPIcs – Leibniz International Proceedings in Informatics 24, 501-513 (2013).
MSC:  68Q60 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Solvency Markov decision processes with interest. (English) Zbl 1360.91091

Seth, Anil (ed.) et al., 33nd international conference on foundations of software technology and theoretical computer science, FSTTCS 2013, Guwahati, India, December 12–14, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-64-4). LIPIcs – Leibniz International Proceedings in Informatics 24, 487-499 (2013).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Composition problems for braids. (English) Zbl 1359.68142

Seth, Anil (ed.) et al., 33nd international conference on foundations of software technology and theoretical computer science, FSTTCS 2013, Guwahati, India, December 12–14, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-64-4). LIPIcs – Leibniz International Proceedings in Informatics 24, 175-187 (2013).
PDFBibTeX XMLCite
Full Text: DOI

What is decidable about partially observable Markov decision processes with omega-regular objectives. (English) Zbl 1356.68142

Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 165-180 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Search versus decision for election manipulation problems. (English) Zbl 1354.91054

Portier, Natacha (ed.) et al., 30th international symposium on theoretical aspects of computer science, STACS’ 13, Kiel, Germany, February 27 – March 2, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-50-7). LIPIcs – Leibniz International Proceedings in Informatics 20, 377-388 (2013).
MSC:  91B14 68Q25
PDFBibTeX XMLCite
Full Text: DOI arXiv

\(\mathrm{FO}^2\) with one transitive relation is decidable. (English) Zbl 1354.03007

Portier, Natacha (ed.) et al., 30th international symposium on theoretical aspects of computer science, STACS’ 13, Kiel, Germany, February 27 – March 2, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-50-7). LIPIcs – Leibniz International Proceedings in Informatics 20, 317-328 (2013).
MSC:  03B25 03B20 68Q25
PDFBibTeX XMLCite
Full Text: DOI

From mathematical tables to the digital libraries of special functions. (Russian. English summary) Zbl 1319.68005

Rappoport, Yuri M. (ed.), Computer technologies in economics and medicine. On the centenary of the birth of Moisey Rappoport. Proceedings of the conference, April 25, 2012. Moscow: Nauka (ISBN 978-5-02-038082-0/hbk), 96-102 (2013).
PDFBibTeX XMLCite

Loss functions. (English) Zbl 1330.68262

Schölkopf, Bernhard (ed.) et al., Empirical inference. Festschrift in honor of Vladimir N. Vapnik. Berlin: Springer (ISBN 978-3-642-41135-9/hbk; 978-3-642-41136-6/ebook). 71-80 (2013).
PDFBibTeX XMLCite
Full Text: DOI

What can be decided locally without identifiers? (English) Zbl 1323.68031

Proceedings of the 2013 ACM symposium on principles of distributed computing, PODC ’13, Montreal, QC, Canada, July 22–24, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2065-8). 157-165 (2013).
MSC:  68M14 68Q25 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Complete instantiation-based interpolation. (English) Zbl 1301.68106

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 537-548 (2013).
MSC:  68N30 03C40 68Q60
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 3

Main Field

all top 3

Software