Improving Post-Training Quantization via Probabilistic Programming

Συγγραφείς: Liu, K., Goossens, B., De Schepper, T., Philips, W.

Πηγή: IEEE Transactions on Circuits and Systems for Video Technology IEEE Trans. Circuits Syst. Video Technol. Circuits and Systems for Video Technology, IEEE Transactions on. 35(12):11950-11964 Dec, 2025

Parallelizable Feynman-Kac Models for Universal Probabilistic Programming

Συγγραφείς: Boreale M., Collodi L.

Πηγή: Electronic Proceedings in Theoretical Computer Science. 428:91-110

Θεματικοί όροι: FOS: Computer and information sciences, operational semantics, Probabilistic programming, SIMD parallelism, SMC, Programming Languages, Programming Languages (cs.PL)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2509.14092

Evolutionary Synthesis of Probabilistic Programs

Συγγραφείς: Romina Doz, Francesca Randone, Eric Medvet, Luca Bortolussi

Συνεισφορές: Doz, Romina, Randone, Francesca, Medvet, Eric, Bortolussi, Luca

Πηγή: Proceedings of the Genetic and Evolutionary Computation Conference. :999-1007

Θεματικοί όροι: Grammatical Evolution Genetic Programming Synthesis Probabilistic Programming

Σύνδεσμος πρόσβασης: https://hdl.handle.net/11368/3112658
https://dl.acm.org/doi/10.1145/3712256.3726388
https://hdl.handle.net/11368/3112658
https://dl.acm.org/doi/10.1145/3712256.3726388
https://doi.org/10.1145/3712256.3726388

Real-time probabilistic programming

Συγγραφείς: Hummelgren, Lars, Becker, Matthias, Dr., 1986, Broman, David, 1977

Πηγή: Journal of systems architecture. 168

Θεματικοί όροι: Probabilistic programming, Real-time systems, Bayesian inference, Response-time analysis

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

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-372213
https://doi.org/10.1016/j.sysarc.2025.103510

Using Docker Containers in Teaching of Advanced Data Analytics Methods

Συγγραφείς: Gaweda, Bartlomiej, Bauer, Waldemar, Baranowski, Jerzy

Πηγή: 2024 IEEE 11th International Conference on E-Learning in Industrial Electronics (ICELIE) E-Learning in Industrial Electronics (ICELIE), 2024 IEEE 11th International Conference on. :1-5 Nov, 2024

Relation: 2024 IEEE 11th International Conference on E-Learning in Industrial Electronics (ICELIE)

Language-Agnostic Static Analysis of Probabilistic Programs

Συγγραφείς: Bock, Markus, Schroder, Michael, Cito, Jurgen

Πηγή: 2024 39th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2024 39th IEEE/ACM International Conference on. :78-90 Oct, 2024

Relation: 2024 39th IEEE/ACM International Conference on Automated Software Engineering (ASE)

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

Applying Gaussian Process Machine Learning and Modern Probabilistic Programming to Satellite Data to Infer CO2 Emissions

Συγγραφείς: Jeong, Seongeun^aff1, Hamilton, Sofia D.^aff1, Johnson, Matthew S.^aff2, Wu, Dien^aff3, Turner, Alexander J.^aff4, Fischer, Marc L.^aff1

Πηγή: Environmental Science & Technology. 59(9):4376-4387

Διαθεσιμότητα: https://pubs.acs.org/doi/10.1021/acs.est.4c09395

Probabilistic Parameter Estimators and Calibration Metrics for Pose Estimation from Image Features

Συγγραφείς: Valentin, Romeo, Katz, Sydney M., Lee, Joonghyun, Walker, Don, Sorgenfrei, Matthew, Kochenderfer, Mykel J.

Πηγή: 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2024 AIAA DATC/IEEE 43rd. :01-09 Sep, 2024

Relation: 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC)

Reducing Mid-Circuit Measurements via Probabilistic Circuits

Συγγραφείς: Chen, Yanbin, Fulginiti, Innocenzo, Mendl, Christian B.

Πηγή: 2024 IEEE International Conference on Quantum Computing and Engineering (QCE) QCE Quantum Computing and Engineering (QCE), 2024 IEEE International Conference on. 01:952-958 Sep, 2024

Relation: 2024 IEEE International Conference on Quantum Computing and Engineering (QCE)

Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting

Συγγραφείς: Oakley, Lisa, Holtzen, Steven, Oprea, Alina

Πηγή: 2024 IEEE 37th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2024 IEEE 37th. :449-463 Jul, 2024

Relation: 2024 IEEE 37th Computer Security Foundations Symposium (CSF)

3 A probabilistic two-level programming in noncooperative game under fuzzy environment: comparative study

Πηγή: Soft Computing. Dec 09, 2024

Chapter 2. A probabilistic model for fault prediction across functional and security aspects

Πηγή: Software Source Code. Dec 09, 2024

Chapter 6. Enabling intelligent IDEs with probabilistic models

Πηγή: Software Source Code. Dec 09, 2024

2 Applications of the intensional abstraction operator

Πηγή: Intensional First-Order Logic. Dec 09, 2024

A Appendix

Πηγή: Intensional First-Order Logic. Dec 09, 2024

Weighted Automata for Exact Inference in Discrete Probabilistic Programs

Συγγραφείς: Geißler, Dominik^Aff10, Winkler, Tobias^Aff11

Συνεισφορές: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Series Editor^Aff3, Gao, Wen, Series Editor^Aff4, Steffen, Bernhard, Series Editor^Aff5, Yung, Moti, Series Editor^Aff6, Liu, Zhiming, editor^Aff7, Saoud, Adnane, editor^Aff8, Wehrheim, Heike, editor^Aff9

Πηγή: Theoretical Aspects of Computing – ICTAC 2025 : 22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings. 16237:261-278

A Formal Foundation for Equational Reasoning on Probabilistic Programs

Συγγραφείς: Affeldt, Reynald^Aff8, Ishiguro, Yoshihiro^{Aff8, Aff9}, Stone, Zachary^Aff10

Συνεισφορές: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Series Editor^Aff3, Gao, Wen, Series Editor^Aff4, Steffen, Bernhard, Series Editor^Aff5, Yung, Moti, Series Editor^Aff6, Potanin, Alex, editor^Aff7

Πηγή: Programming Languages and Systems : 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings. 16201:44-64

Hybrid-AI Approach to Health Monitoring of Vehicle Control System

Συγγραφείς: Lu, Kenneth, Hiett, Margarita, Cross, Ernest Vincent, Reposa, Michael, Kain, Aron, Davis, Erik

Πηγή: 2024 Annual Reliability and Maintainability Symposium (RAMS) Reliability and Maintainability Symposium (RAMS), 2024 Annual. :1-5 Jan, 2024

Relation: 2024 Annual Reliability and Maintainability Symposium (RAMS)

A Bayesian regression framework for fault diagnosis in wind turbines

Συγγραφείς: Chati, Yashovardhan S.^{Aff1, IDs4424802500092w_cor1}, Padullaparthi, Venkata Ramakrishna, Vasan, Arunchandar

Πηγή: Discover Data. 3(1)