×

Found 2,908 Documents (Results 1–100)

Probabilistic causes in Markov chains. (English) Zbl 1497.68356

Hou, Zhe (ed.) et al., Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12971, 205-221 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

A logic and computation for Popper’s conditional probabilities. (English) Zbl 07542375

Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 657-671 (2021).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Guide to discrete mathematics. An accessible introduction to the history, theory, logic and applications. 2nd edition. (English) Zbl 1484.68006

Texts in Computer Science. Cham: Springer (ISBN 978-3-030-81587-5/hbk; 978-3-030-81588-2/ebook). xxi, 452 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Advances and new developments in fuzzy logic and technology. Selected papers from IWIFSGN’2019 – the eighteenth international workshop on intuitionistic fuzzy sets and generalized nets, October 24–25, 2019, Warsaw, Poland. (English) Zbl 1478.03003

Advances in Intelligent Systems and Computing 1308. Cham: Springer (ISBN 978-3-030-77715-9/pbk; 978-3-030-77716-6/ebook). xv, 324 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Foundations of constructive probability theory. (English) Zbl 1497.60001

Encyclopedia of Mathematics and its Applications 177. Cambridge: Cambridge University Press (ISBN 978-1-108-83543-5/hbk; 978-1-108-88401-3/ebook). xiii, 612 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Tabular: probabilistic inference from the spreadsheet. (English) Zbl 07311054

Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 489-532 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI

Luck: a probabilistic language for testing. (English) Zbl 07311053

Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 449-488 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI

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. 361-390 (2021).
MSC:  68N01
PDF BibTeX XML Cite
Full Text: DOI

Discrete mathematics and graph theory. A concise study companion and guide. (English) Zbl 1477.68004

Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-030-61114-9/pbk; 978-3-030-61115-6/ebook). xvi, 336 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Combining algebraic effect descriptions using the tensor of complete lattices. (English) Zbl 07516380

Johann, Patricia (ed.), Proceedings of the 36th conference on mathematical foundations of programming semantics, MFPS XXXVI, virtual conference, June 2–6, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 352, 257-281 (2020).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

The benefit of being non-lazy in probabilistic \(\lambda \)-calculus. Applicative bisimulation is fully abstract for non-lazy probabilistic call-by-name. (English) Zbl 07299479

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). 327-340 (2020).
MSC:  03B40 03B48 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software