Semantics of Probabilistic Programs Using s-Finite Kernels in Dependent Type Theory

Συγγραφείς: Affeldt, Reynald, Cohen, Cyril, Saito, Ayumu

Συνεισφορές: Cohen, Cyril

Πηγή: ACM Transactions on Probabilistic Machine Learning. 1:1-34

Θεματικοί όροι: Denotational semantics, measure theory, formal proofs, Program verification, integration theory, Rocq, Formalized mathematics, Probabilistic algorithms, probabilistic programming language, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hal.science/hal-05318682v1/document
https://hal.science/hal-05318682v1
https://doi.org/10.1145/3732291

Semantics of Probabilistic Programs using s-Finite Kernels in Coq

Συγγραφείς: Affeldt, Reynald, Cohen, Cyril, Saito, Ayumu

Συνεισφορές: Cohen, Cyril

Πηγή: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. :3-16

Θεματικοί όροι: Denotational semantics, [MATH.MATH-PR] Mathematics [math]/Probability [math.PR], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Integration theory, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Mmeasure theory, Program verification, Probabilistic programming language, 0202 electrical engineering, electronic engineering, information engineering, Coq, Probabilistic algorithms

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://inria.hal.science/hal-03917948v1/document
https://inria.hal.science/hal-03917948v1
https://doi.org/10.1145/3573105.3575691

Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference

Συγγραφείς: Lundén, Daniel, Öhman, Joey, Kudlicka, Jan, Senderov, Viktor, Ronquist, Fredrik, 1962, Broman, David

Πηγή: Programming Languages and Systems Lecture Notes in Computer Science. :29-56

Θεματικοί όροι: Compilers, GPU Compilation, Probabilistic Programming Languages, Sequential Monte Carlo, Application programming interfaces (API), C++ (programming language), Data flow analysis, Flow graphs, Graphics processing unit, Monte Carlo methods, Automatic inference, Control-flow graphs, Inference problem, Language implementations, Low-level language, Monte Carlo inference, Probabilistic programming language, Real-world problem, Program compilers

Περιγραφή αρχείου: print

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-206351
https://doi.org/10.1007/978-3-030-99336-8_2

Personalized Risk Calculations with a Generative Bayesian Model: Am I Fast Enough to React in Time?

Συγγραφείς: Moebus, Claus^Aff6

Συνεισφορές: Nof, Shimon Y., Series Editor^Aff1, Duffy, Vincent G., editor^Aff2, Landry, Steven J., editor^Aff3, Lee, John D., editor^Aff4, Stanton, Neville, editor^Aff5

Πηγή: Human-Automation Interaction : Transportation. 11:19-56

Program logic for higher-order probabilistic programs in Isabelle/HOL

Συγγραφείς: Hirata, Michikazu ^⁎, Minamide, Yasuhiko, Sato, Tetsuya

Πηγή: In Science of Computer Programming August 2023 230

Bayesian multidimensional nominal response model for observer study of radiologists

Συγγραφείς: Nishio, Mizuho^{Aff1, IDs1160402201366y_cor1}, Kobayashi, Daigo, Matsuo, Hidetoshi, Urase, Yasuyo, Nishioka, Eiko, Murakami, Takamichi

Πηγή: Japanese Journal of Radiology: (formerly: Radiation Medicine). 41(4):449-455

Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL

Συγγραφείς: Hirata, Michikazu^Aff10, Minamide, Yasuhiko^Aff10, Sato, Tetsuya^Aff10

Συνεισφορές: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Hanus, Michael, editor^Aff8, Igarashi, Atsushi, editor^Aff9

Πηγή: Functional and Logic Programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings. 13215:57-74

Toward an idiomatic framework for cognitive robotics

Συγγραφείς: Damgaard, Malte Rørmose ^{1, 2, ∗}, Pedersen, Rasmus ¹, Bak, Thomas ¹

Πηγή: In Patterns 8 July 2022 3(7)

Bayesian regression models for ecological count data in PyMC3

Συγγραφείς: Wang, Guiming ^⁎

Πηγή: In Ecological Informatics July 2021 63

Simulation-Based Testing, Validation, and Training with Probabilistic Programming

Συγγραφείς: Kim, Edward

Θεματικοί όροι: Computer science, Computer engineering, Electrical engineering, cyber physical systems, formal methods, machine learning, probabilistic programming language

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://escholarship.org/uc/item/5j61g7dt
https://escholarship.org/content/qt5j61g7dt/qt5j61g7dt.pdf

Bayesian Statistical Model of Item Response Theory in Observer Studies of Radiologists

Συγγραφείς: Nishio, Mizuho ^{a, b, ⁎}, Akasaka, Thai ^c, Sakamoto, Ryo ^{a, b}, Togashi, Kaori ^a

Πηγή: In Academic Radiology March 2020 27(3):e45-e54

Towards an architectural framework for intelligent virtual agents using probabilistic programming ; Cadre architectural pour les agents virtuels intelligents basés sur la programmation probabiliste

Συγγραφείς: Andreev, Anton, Cattan, Grégoire

Συνεισφορές: GIPSA-Services (GIPSA-Services), Grenoble Images Parole Signal Automatique (GIPSA-lab), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), IBM

Πηγή: https://hal.science/hal-04164202 ; 2023.

Θεματικοί όροι: Embodied Conversational Agent ECA, Intelligent virtual assistant, Human-Computer Interaction HCI, Virtual Agent, Virtual Assistant, Virtual Actor, Virtual Human, Probabilistic models, Probabilistic programming, Probabilistic programming language, Assistant virtuel, Modèles probabilistes, Agent conversationnel, Langage de programmation probabiliste, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], [SCCO.COMP]Cognitive science/Computer science

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2307.10693; ARXIV: 2307.10693

Διαθεσιμότητα: https://hal.science/hal-04164202
https://hal.science/hal-04164202v1/document
https://hal.science/hal-04164202v1/file/final_version.pdf

On the Applicability of Probabilistic Programming Languages for Causal Activity Recognition

Συγγραφείς: Lüdtke, Stefan^{Aff1, IDs13218019005807_cor1}, Popko, Maximilian, Kirste, Thomas

Πηγή: KI - Künstliche Intelligenz: German Journal of Artificial Intelligence - Organ des Fachbereichs "Künstliche Intelligenz" der Gesellschaft für Informatik e.V.. 33(4):389-399

Time-efficient Bayesian Inference for a (Skewed) von Mises Distribution on the Torus in a Deep Probabilistic Programming Language

Συγγραφείς: Ronning, Ola, LEY, Christophe, Mardia, Kanti V., Hamelryck, Thomas

Πηγή: IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (2021-09-25); 2021 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI), Karlsruhe, Deu [Deu], 23-09-2021 => 25-09-2021

Θεματικοί όροι: Automatic inference, Bayesian inference, Efficient implementation, Inference algorithm, Learning frameworks, Optimisations, Probabilistic programming language, Statistic modeling, Time-efficient, Von Mises distribution, Control and Systems Engineering, Software, Computer Science Applications, Physical, chemical, mathematical & earth Sciences, Mathematics, Physique, chimie, mathématiques & sciences de la terre, Mathématiques

Relation: http://xplorestaging.ieee.org/ielx7/9591157/9591159/09591184.pdf?arnumber=9591184; https://orbilu.uni.lu/handle/10993/57852; info:hdl:10993/57852; wos:000853882500025

Διαθεσιμότητα: https://orbilu.uni.lu/handle/10993/57852
https://orbilu.uni.lu/bitstream/10993/57852/1/Time-efficient%20Bayesian%20Inference%20for%20a%20%28Skewed%29%20Von%20Mises%20Distribution%20on%20the%20Torus%20in%20a%20Deep%20Probabilistic%20Programming%20Language%20_%20IEEE%20Conference%20Publication%20_%20IEEE%20Xplore.pdf
https://doi.org/10.1109/MFI52462.2021.9591184

Operator Algebras and the Operational Semantics of Probabilistic Languages

Συγγραφείς: Di Pierro, Alessandra, Wiklicky, Herbert

Πηγή: Electronic Notes in Theoretical Computer Science. 161:131-150

Θεματικοί όροι: Linear operator, C∗-algebra, AF-algebra, operational semantics, probabilistic programming language, Linear operator, AF-algebra, operational semantics, 0101 mathematics, 01 natural sciences, C*-algebra, probabilistic programming language, Theoretical Computer Science, Computer Science(all)

Σύνδεσμος πρόσβασης: https://www.di.unipi.it/~dipierro/papers/MFCSIT04.pdf
https://iris.univr.it/handle/11562/990565
https://www.infona.pl/resource/bwmeta1.element.elsevier-776f9117-6983-3a78-a28f-f17d219b8749
https://core.ac.uk/display/82342307
https://www.sciencedirect.com/science/article/pii/S157106610600404X
http://profs.sci.univr.it/%7Edipierro/papers/MFCSIT04.pdf
https://ac.els-cdn.com/S157106610600404X/1-s2.0-S157106610600404X-main.pdf?_tid=413548dc-ba73-4b96-9be7-8eedc2922512&acdnat=1548446416_03585376e827f34cdbd4d4167bec7b26
https://doi.org/10.1016/j.entcs.2006.04.029
https://hdl.handle.net/11562/990565

Probabilistic models for the guarded command language

Συγγραφείς: He Jifeng, Annabelle McIver, Karen Seidel

Πηγή: Science of Computer Programming. 28:171-192

Θεματικοί όροι: Theory of programming languages, Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, probabilistic programming language, Software

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://dblp.uni-trier.de/db/journals/scp/scp28.html#JifengSM97
https://www.sciencedirect.com/science/article/pii/S0167642396000196
http://www.cse.unsw.edu.au/~carrollm/probs/Papers/He-97.pdf
https://www.sciencedirect.com/science/article/abs/pii/S0167642396000196
https://researchers.mq.edu.au/en/publications/probabilistic-models-for-the-guarded-command-language

Structured synthesis for probabilistic systems

Συγγραφείς: Jansen, N., Humphrey, L., Tumova, Jana, Topcu, U.

Πηγή: 11th International Symposium on NASA Formal Methods, NFM 2019. :237-254

Θεματικοί όροι: Antennas, Formal methods, Integer programming, Markov processes, NASA, Nonlinear programming, Problem oriented languages, Markov Decision Processes, Nondeterministic choice, Nonlinear programming problem, Probabilistic programming language, Probabilistic systems, Synthesis problems, System configurations, Transformation of model, Model checking

Περιγραφή αρχείου: print

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-280310

Bayesian statistical modeling in psychology / 心理学におけるベイズ統計モデリング

Συγγραφείς: Hiroshi Shimizu, 清水 裕士

Πηγή: 心理学評論 / JAPANESE PSYCHOLOGICAL REVIEW. 2018, 61(1):22

Semantics of probabilistic programs

Συγγραφείς: Dexter Kozen

Πηγή: Journal of Computer and System Sciences. 22:328-350

Θεματικοί όροι: programs as continuous linear operators on a Banach space of measures, Specification and verification (program logics, model checking, etc.), Computer Networks and Communications, Applied Mathematics, ordered domains, General topics in the theory of software, programs as partial measurable functions on a measurable space, 0102 computer and information sciences, 02 engineering and technology, action on fixed inputs, 01 natural sciences, Theoretical Computer Science, Computational Theory and Mathematics, semantics for a high level probabilistic programming language, 0202 electrical engineering, electronic engineering, information engineering

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000004568006
https://dblp.uni-trier.de/db/conf/focs/focs79.html#Kozen79
https://www.cs.cornell.edu/%7Ekozen/papers/ProbSem.pdf
https://ieeexplore.ieee.org/abstract/document/4568006
http://ieeexplore.ieee.org/document/4568006/
https://dblp.uni-trier.de/db/journals/jcss/jcss22.html#Kozen81
https://www.sciencedirect.com/science/article/pii/0022000081900362#!
https://core.ac.uk/display/82703079
https://www.sciencedirect.com/science/article/pii/0022000081900362
https://doi.org/10.1016/0022-0000(81)90036-2

CTPPL: A Continuous Time Probabilistic Programming Language

Συγγραφείς: Pfeffer, Avi

Συνεισφορές: HARVARD UNIV CAMBRIDGE MA SCHOOL OF ENGINEERING AND APPLIED SCIENCES

Πηγή: DTIC

Θεματικοί όροι: Computer Programming and Software, PROGRAMMING LANGUAGES, SYMPOSIA, TIME, ALGORITHMS, PROBABILITY, PROBABILISTIC PROGRAMMING LANGUAGES, PARTICLE FILTERING, CTPPL(CONTINUOUS TIME PROBABILISTIC PROGRAMMING LANGUAGE)

Περιγραφή αρχείου: text/html

Relation: http://www.dtic.mil/docs/citations/ADA531328

Διαθεσιμότητα: http://www.dtic.mil/docs/citations/ADA531328
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA531328