×

Found 82 Documents (Results 1–82)

Observer dependent physicalism: a new argument for reductive physicalism and for scientific realism. (English) Zbl 07803651

Posy, Carl J. (ed.) et al., Mathematical knowledge, objects and applications. Essays in memory of Mark Steiner. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 263-300 (2023).
MSC:  00A30 00A79
PDFBibTeX XMLCite
Full Text: DOI

Quantum, probability, logic. The work and influence of Itamar Pitowsky. (English) Zbl 1445.00001

Jerusalem Studies in Philosophy and History of Science. Cham: Springer (ISBN 978-3-030-34315-6/hbk; 978-3-030-34316-3/ebook). xxii, 627 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

Nullstellensatz size-degree trade-offs from reversible pebbling. (English) Zbl 1522.03320

Shpilka, Amir (ed.), 34th computational complexity conference, CCC 2019, New Brunswick, NJ, USA, July 18–20, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 137, Article 18, 16 p. (2019).
MSC:  03F20 13P25 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Query-to-communication lifting for BPP using inner product. (English) Zbl 1495.68082

Baier, Christel (ed.) et al., 46th international colloquium on automata, languages, and programming, ICALP 2019, Patras, Greece, July 9–12, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 132, Article 35, 15 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI

Can distributed uniformity testing be local? (English) Zbl 07298680

Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 228-237 (2019).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI

Improved composition theorems for functions and relations. (English) Zbl 1522.68198

Blais, Eric (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 21st international workshop, APPROX 2018, and 22nd international workshop, RANDOM 2018 August 20–22, 2018, Princeton, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 116, Article 48, 18 p. (2018).
MSC:  68Q06 68Q11 68Q15
PDFBibTeX XMLCite
Full Text: DOI

Distributed uniformity testing. (English) Zbl 1428.68375

Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 455-464 (2018).
MSC:  68W15 68W20
PDFBibTeX XMLCite
Full Text: DOI

Toward the KRW composition conjecture: cubic formula lower bounds via communication complexity. (English) Zbl 1380.68193

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 3, 51 p. (2016).
MSC:  68Q17 68Q10
PDFBibTeX XMLCite
Full Text: DOI

High-rate locally-correctable and locally-testable codes with sub-polynomial query complexity. (English) Zbl 1377.94077

Wichs, Daniel (ed.) et al., Proceedings of the 48th annual ACM SIGACT symposium on theory of computing, STOC ’16, Cambridge, MA, USA, June 19–21, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4132-5). 202-215 (2016).
MSC:  94B60 94B65
PDFBibTeX XMLCite
Full Text: DOI arXiv

Toward better formula lower bounds: an information complexity approach to the KRW composition conjecture. (English) Zbl 1315.68138

Proceedings of the 46th annual ACM symposium on theory of computing, STOC ’14, New York, NY, USA, May 31 – June 3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2710-7). 213-222 (2014).
MSC:  68Q17 68P30
PDFBibTeX XMLCite
Full Text: DOI

Spontaneous formation and switching of optical patterns in semiconductor microcavities. (English) Zbl 1273.78027

Malomed, Boris A. (ed.), Spontaneous symmetry breaking, self-trapping, and Josephson oscillations. Berlin: Springer (ISBN 978-3-642-21206-2/hbk; 978-3-642-21207-9/ebook). Progress in Optical Science and Photonics 1, 321-356 (2013).
MSC:  78A60 35B36 82D37
PDFBibTeX XMLCite
Full Text: DOI

The road to Maxwell’s demon. Conceptual foundations of statistical mechanics. (English) Zbl 1255.82001

Cambridge: Cambridge University Press (ISBN 978-1-107-01968-3/hbk; 978-1-139-57511-9/ebook). xii, 327 p. (2012).
MSC:  82-01 82B03
PDFBibTeX XMLCite
Full Text: DOI

Combinatorial PCPs with efficient verifiers. (English) Zbl 1292.68078

2009 IEEE 50th annual symposium on foundations of computer science – FOCS 2009. Proceedings of the symposium, Atlanta, GA, USA, October 24–27, 2009. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-3850-1; 978-1-4244-5116-6/ebook). 463-471 (2009).
MSC:  68Q15
PDFBibTeX XMLCite
Full Text: DOI

Combinatorial construction of locally testable codes (extended abstract). (English) Zbl 1231.94069

STOC’08. Proceedings of the 40th annual ACM symposium on theory of computing 2008, Victoria, Canada, May 17–20, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-047-0). 285-294 (2008).
MSC:  94B60 68P30 68Q15
PDFBibTeX XMLCite

Approximating interval scheduling problems with bounded profits. (English) Zbl 1151.90394

Arge, Lars (ed.) et al., Algorithms – ESA 2007. 15th annual European symposium, Eilat, Israel, October 8–10, 2007, Proceedings. Berlin: Springer (ISBN 978-3-540-75519-7/pbk). Lecture Notes in Computer Science 4698, 487-497 (2007).
PDFBibTeX XMLCite
Full Text: DOI

Yet another decision procedure for equality logic. (English) Zbl 1081.68627

Etessami, Kousha (ed.) et al., Computer aided verification. 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6–10, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27231-3/pbk). Lecture Notes in Computer Science 3576, 307-320 (2005).
MSC:  68Q60 03B70
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software