×

zbMATH — the first resource for mathematics

Found 8,914 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Gordon, Andrew D.; Russo, Claudio; Szymczak, Marcin; Borgström, Johannes; Rolland, Nicolas; Graepel, Thore; Tarlow, Daniel
Tabular: probabilistic inference from the spreadsheet. (English) Zbl 07311054
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 489-532 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{A. D. Gordon} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 489--532 (2021; Zbl 07311054)
Full Text: DOI
Lampropoulos, Leonidas; Pierce, Benjamin C.; Xia, Li-yao; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John
Luck: a probabilistic language for testing. (English) Zbl 07311053
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 449-488 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{L. Lampropoulos} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 449--488 (2021; Zbl 07311053)
Full Text: DOI
Gibbons, Jeremy; McIver, Annabelle; Morgan, Carroll; Schrijvers, Tom
Quantitative information flow with monads in Haskell. (English) Zbl 07311052
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 391-448 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{J. Gibbons} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 391--448 (2021; Zbl 07311052)
Full Text: DOI
Trilla, José Manuel Calderón; Hicks, Michael; Magill, Stephen; Mardziel, Piotr; Sweet, Ian
Probabilistic abstract interpretation: sound inference and application to privacy. (English) Zbl 07311051
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 361-390 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{J. M. C. Trilla} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 361--390 (2021; Zbl 07311051)
Full Text: DOI
Sankaranarayanan, Sriram
Quantitative analysis of programs with probabilities and concentration of measure inequalities. (English) Zbl 07311048
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 259-294 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{S. Sankaranarayanan}, in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 259--294 (2021; Zbl 07311048)
Full Text: DOI
Chatterjee, Krishnendu; Fu, Hongfei; Novotný, Petr
Termination analysis of probabilistic programs with martingales. (English) Zbl 07311047
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 221-258 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{K. Chatterjee} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 221--258 (2021; Zbl 07311047)
Full Text: DOI
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
Expected runtime analyis by program verification. (English) Zbl 07311046
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 185-220 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{B. L. Kaminski} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 185--220 (2021; Zbl 07311046)
Full Text: DOI
Dal Lago, Ugo
On probabilistic \(\lambda\)-calculi. (English) Zbl 07311044
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 121-144 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{U. Dal Lago}, in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 121--144 (2021; Zbl 07311044)
Full Text: DOI
Huang, Daniel; Morrisett, Greg; Spitters, Bas
An application of computable distributions to the semantics of probabilistic programs. (English) Zbl 07311043
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 75-120 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{D. Huang} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 75--120 (2021; Zbl 07311043)
Full Text: DOI
Staton, Sam
Probabilistic programs as measures. (English) Zbl 07311042
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 43-74 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{S. Staton}, in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 43--74 (2021; Zbl 07311042)
Full Text: DOI
Dahlqvist, Fredrik; Silva, Alexandra; Kozen, Dexter
Semantics of probabilistic programming: a gentle introduction. (English) Zbl 07311041
Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press (ISBN 978-1-108-48851-8/hbk; 978-1-108-77075-0/ebook). 1-42 (2021).
MSC:  68N01
PDF BibTeX XML Cite
\textit{F. Dahlqvist} et al., in: Foundations of probabilistic programming. Cambridge: Cambridge University Press. 1--42 (2021; Zbl 07311041)
Full Text: DOI
Amir-Mohammadian, Sepehr; Kari, Chadi
Correct audit logging in concurrent systems. (English) Zbl 07313968
Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 351, 115-141 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
\textit{S. Amir-Mohammadian} and \textit{C. Kari}, Electron. Notes Theor. Comput. Sci. 351, 115--141 (2020; Zbl 07313968)
Full Text: DOI
Manzino, Cecilia; Pardo, Alberto
Agda formalization of a security-preserving translation from flow-sensitive to flow-insensitive security types. (English) Zbl 07313966
Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 351, 75-94 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
\textit{C. Manzino} and \textit{A. Pardo}, Electron. Notes Theor. Comput. Sci. 351, 75--94 (2020; Zbl 07313966)
Full Text: DOI
Ehrhard, Thomas
Cones as a model of intuitionistic linear logic. (English) Zbl 07299482
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 370-383 (2020).
MSC:  03B70
PDF BibTeX XML Cite
\textit{T. Ehrhard}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 370--383 (2020; Zbl 07299482)
Full Text: DOI
Bono, Viviana; Dezani-Ciancaglini, Mariangiola
A tale of intersection types. (English) Zbl 07299454
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 7-20 (2020).
MSC:  03B40 68N18
PDF BibTeX XML Cite
\textit{V. Bono} and \textit{M. Dezani-Ciancaglini}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 7--20 (2020; Zbl 07299454)
Full Text: DOI
Nakano, Keisuke (ed.); Sagonas, Konstantinos (ed.)
Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020. Proceedings. (English) Zbl 07294390
Lecture Notes in Computer Science 12073. Cham: Springer (ISBN 978-3-030-59024-6/pbk; 978-3-030-59025-3/ebook). xii, 221 p. (2020).
MSC:  68-06 68N17 68N18 00B25
PDF BibTeX XML Cite
\textit{K. Nakano} (ed.) and \textit{K. Sagonas} (ed.), Functional and logic programming. 15th international symposium, FLOPS 2020, Akita, Japan, September 14--16, 2020. Proceedings. Cham: Springer (2020; Zbl 07294390)
Full Text: DOI
Castillo, Oscar (ed.); Melin, Patricia (ed.); Kacprzyk, Janusz (ed.)
Intuitionistic and type-2 fuzzy logic enhancements in neural and optimization algorithms: theory and applications. (English) Zbl 07276839
Studies in Computational Intelligence 862. Cham: Springer (ISBN 978-3-030-35444-2/hbk; 978-3-030-35447-3/pbk; 978-3-030-35445-9/ebook). xiv, 792 p. (2020).
MSC:  68-06 03B52 68T07 68T37 90C59 00B15
PDF BibTeX XML Cite
\textit{O. Castillo} (ed.) et al., Intuitionistic and type-2 fuzzy logic enhancements in neural and optimization algorithms: theory and applications. Cham: Springer (2020; Zbl 07276839)
Full Text: DOI
Dvořák, Wolfgang; Rapberger, Anna; Wallner, Johannes P.; Woltran, Stefan
ASPARTIX-V19 – an answer-set programming based system for abstract argumentation. (English) Zbl 07266046
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-39950-4/pbk; 978-3-030-39951-1/ebook). Lecture Notes in Computer Science 12012, 79-89 (2020).
MSC:  68P15 68T27 68T35 68U35
PDF BibTeX XML Cite
\textit{W. Dvořák} et al., Lect. Notes Comput. Sci. 12012, 79--89 (2020; Zbl 07266046)
Full Text: DOI
Bădică, Amelia; Bădică, Costin; Logofătu, Doina; Buligiu, Ion; Ciora, Liviu
Modeling block structured project scheduling with resource constraints. (English) Zbl 1437.68162
Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 12th international conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11958, 484-492 (2020).
MSC:  68T20 68N17 68Q85 90B35
PDF BibTeX XML Cite
\textit{A. Bădică} et al., Lect. Notes Comput. Sci. 11958, 484--492 (2020; Zbl 1437.68162)
Full Text: DOI
Tavares, Carlos
A dynamic logic for QASM programs. (English) Zbl 07218628
Soares Barbosa, Luís (ed.) et al., Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-38807-2/pbk; 978-3-030-38808-9/ebook). Lecture Notes in Computer Science 12005, 209-217 (2020).
MSC:  03B70
PDF BibTeX XML Cite
\textit{C. Tavares}, Lect. Notes Comput. Sci. 12005, 209--217 (2020; Zbl 07218628)
Full Text: DOI
Rogozin, Daniel
Modal type theory based on the intuitionistic modal logic \(\mathrm{IEL}^{-}\). (English) Zbl 07197416
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-36754-1/pbk; 978-3-030-36755-8/ebook). Lecture Notes in Computer Science 11972, 236-248 (2020).
MSC:  03B70
PDF BibTeX XML Cite
\textit{D. Rogozin}, Lect. Notes Comput. Sci. 11972, 236--248 (2020; Zbl 07197416)
Full Text: DOI
Leivant, Daniel
Finitism, imperative programs and primitive recursion. (English) Zbl 07197408
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-36754-1/pbk; 978-3-030-36755-8/ebook). Lecture Notes in Computer Science 11972, 98-110 (2020).
MSC:  03B70
PDF BibTeX XML Cite
\textit{D. Leivant}, Lect. Notes Comput. Sci. 11972, 98--110 (2020; Zbl 07197408)
Full Text: DOI
Genesereth, Michael; Chaudhri, Vinay K.
Introduction to logic programming. (English) Zbl 1451.68003
Synthesis Lectures on Artificial Intelligence and Machine Learning 44. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-68173-724-9/hbk; 978-1-68173-722-5/pbk; 978-1-68173-723-2/ebook). xx, 199 p. (2020).
Reviewer: Éric Martin (Sydney)
MSC:  68-01 68N17
PDF BibTeX XML Cite
\textit{M. Genesereth} and \textit{V. K. Chaudhri}, Introduction to logic programming. San Rafael, CA: Morgan \& Claypool Publishers (2020; Zbl 1451.68003)
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
Biographic Reference
all top 3
Software