×

Found 278 Documents (Results 1–100)

100
MathJax

Category theory and applications. A textbook for beginners. 2nd edition. (English) Zbl 1457.18003

Hackensack, NJ: World Scientific (ISBN 978-981-12-3608-2/hbk; 978-981-12-3610-5/ebook). xi, 377 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

The power of natural properties as oracles. (English) Zbl 1441.68060

Servedio, Rocco A. (ed.), 33rd computational complexity conference, CCC 2018, June 22–24, 2018, San Diego, California, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 102, Article 7, 20 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI

An average-case lower bound against \(\mathsf{ACC}^0\). (English) Zbl 1485.68102

Bender, Michael A. (ed.) et al., Latin 2018: theoretical informatics. 13th Latin American symposium, Buenos Aires, Argentina, April 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10807, 317-330 (2018).
MSC:  68Q17 68Q06 68Q15
PDF BibTeX XML Cite
Full Text: DOI

Generalized matrix completion and algebraic natural proofs. (English) Zbl 1427.68104

Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 1193-1206 (2018).
MSC:  68Q17 03F20 68Q15
PDF BibTeX XML Cite
Full Text: DOI

Category theory and applications. A textbook for beginners. (English) Zbl 1393.18001

Hackensack, NJ: World Scientific (ISBN 978-981-3231-06-1/hbk). x, 294 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI

Sets, functions, measures. Volume 1: Fundamentals of set and number theory. (English) Zbl 1426.03002

De Gruyter Studies in Mathematics 68, 1. Berlin: De Gruyter (ISBN 978-3-11-055008-5/hbk; 978-3-11-055094-8/ebook). xviii, 428 p. (2018).
MSC:  03-01 03Exx
PDF BibTeX XML Cite
Full Text: DOI

Semi-Galois categories. I: The classical Eilenberg variety theory. (English) Zbl 1395.68194

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 545-554 (2016).
MSC:  68Q70 08A70 08C20 20M35 18D35
PDF BibTeX XML Cite
Full Text: DOI arXiv

Learning algorithms from natural proofs. (English) Zbl 1380.68242

Raz, Ran (ed.), 31st conference on computational complexity, CCC’16, Tokyo, Japan, May 29 – June 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-008-8). LIPIcs – Leibniz International Proceedings in Informatics 50, Article 10, 24 p. (2016).
MSC:  68Q32 68Q05 68Q15 68Q17
PDF BibTeX XML Cite
Full Text: DOI

The circuit-input game, natural proofs, and testing circuits with data. (English) Zbl 1364.68193

Proceedings of the 6th conference on innovations in theoretical computer science, ITCS’15, Rehovot, Israel, January 11–13, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3333-7). 263-270 (2015).
MSC:  68Q05 68Q15 68Q17 91A80 94C10 94C12
PDF BibTeX XML Cite
Full Text: DOI

Optimal control problem with an integral functional of an exponential control function. (English. Russian original) Zbl 1331.49034

Comput. Math. Model. 26, No. 1, 1-13 (2015); translation from Probl. Din. Upr. 2009, No. 4, 73-86 (2009).
MSC:  49K30 91B76 49K21
PDF BibTeX XML Cite
Full Text: DOI

Natural proofs versus derandomization. (English) Zbl 1293.68135

Proceedings of the 45th annual ACM symposium on theory of computing, STOC ’13. Palo Alto, CA, USA, June 1–4, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2029-0). 21-30 (2013).
MSC:  68Q15 03F20 68Q17 94C10
PDF BibTeX XML Cite
Full Text: DOI arXiv

Compact homogeneous manifolds of dimension at most 7 up to a finite covering. (English. Russian original) Zbl 1258.53049

Izv. Math. 76, No. 4, 669-680 (2012); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 76, No. 4, 27-40 (2012).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software