„Probabilistic Programming“

Suchergebnisse

242 Treffer

• Semantics of the Probabilistic Typed Lambda Calculus – Markov Chain Semantics, Termination Behavior, and Denotational Semantics
  Draheim, Dirk 2017 Springer Berlin Heidelberg
• On Stochastic Integer Programming under Probabilistic Constraints
  Dentcheva, Darinka ; Prékopa, András ; Ruszczyński, Andrzej P. 2005 Humboldt-Universität zu Berlin
• Structural Properties of Linear Probabilistic Constraints
  Henrion, René 2005 Humboldt-Universität zu Berlin
• Principles of Verification: Cycling the Probabilistic Landscape – Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
  Jansen, Nils ; Junges, Sebastian ; Kaminski, Benjamin Lucien ; Matheja, Christoph ; Noll, Thomas ; Quatmann, Tim ; Stoelinga, Mariëlle ; Volk, Matthias 2025 Springer Nature Switzerland, Imprint: Springer
• Principles of Verification: Cycling the Probabilistic Landscape – Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
  Jansen, Nils ; Junges, Sebastian ; Kaminski, Benjamin Lucien ; Matheja, Christoph ; Noll, Thomas ; Quatmann, Tim ; Stoelinga, Mariëlle ; Volk, Matthias 2025 Springer Nature Switzerland, Imprint: Springer
• Foundations of probabilistic programming
  Barthe, Gilles ; Katoen, Joost-Pieter ; Silva, Alexandra 2020 Universitätsbibliothek der RWTH Aachen
• Finding reliable solutions: event-driven probabilistic constraint programming
  Tarim, S. Armagan ; Hnich, Brahim ; Prestwich, Steven ; Rossi, Roberto
• Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382)
  Schmid, Ute ; Muggleton, Stephen H. ; Singh, Rishabh
• Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442)
  Hernández-Orallo, José ; Muggleton, Stephen H. ; Schmid, Ute ; Zorn, Benjamin
• Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181)
  Barthe, Gilles ; Gordon, Andrew D. ; Katoen, Joost-Pieter ; McIver, Annabelle
• Synthesis of probabilistic models for quality-of-service software engineering
  Gerasimou, Simos ; Calinescu, Radu C. ; Tamburrelli, Giordano
• Probabilistic State Estimation Techniques for Autonomous and Decision Support Systems
  Burgard, Wolfram ; Fox, Dieter ; Thrun, Sebastian
• Probabilistic modelling and verification using RoboChart and PRISM
  Ye, Kangfeng ; Cavalcanti, Ana ; Foster, Simon ; Miyazawa, Alvaro ; Woodcock, Jim
• Probabilistic Topic Models for Enriching Ontology from Texts
  Tissaoui, Anis ; Sassi, Salma ; Chbeir, Richard
• Practical Hilbert space approximate Bayesian Gaussian processes for probabilistic programming
  Riutort-Mayol, Gabriel ; Bürkner, Paul-Christian ; Andersen, Michael R. ; Solin, Arno ; Vehtari, Aki
• Probabilistic Programming Methods for Reconstruction of Multichannel Imaging Detector Events: ELVES and TRACKS
  Sharakin, S. A. ; Saraev, R. E.
• The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic
  Ehrhard, Thomas ; Faggian, Claudia ; Pagani, Michele 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Rewriting Theory for Quantum λ-Calculus
  Faggian, Claudia ; Lopez, Gaetan ; Valiron, Benoît 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Iteration in Discrete Probabilistic Programming
  Torres-Ruiz, Mateo ; Piedeleu, Robin ; Silva, Alexandra ; Zanasi, Fabio 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Evaluation of the Impact of Ignition Location Uncertainty on Forest Fire Ignition Prediction Using Bayesian Logistic Regression (Short Paper)
  Röbl, David ; Bulbul, Rizwan ; Scholz, Johannes ; Müller, Mortimer M. ; Vacik, Harald 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik