„probabilistic program“

Suchergebnisse

392 Treffer

• Programming Receptor Clustering with DNA Probabilistic Circuits for Enhanced Natural Killer Cell Recognition
  Xiao, Mingshu ; Lai, Wei ; Yao, Xiaowei ; Pei, Hao ; Fan, Chunhai ; Li, Li
• Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata
  Klein, Joachim ; Baier, Christel ; Chrszon, Philipp ; Daum, Marcus ; Dubslaff, Clemens ; Klüppelholz, Sascha ; Märcker, Steffen ; Müller, David
• Lower Bounds for Possibly Divergent Probabilistic Programs
  Feng, Shenghua ; Chen, Mingshuai ; Su, Han ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter ; Zhan, Naijun 2023 Universitätsbibliothek der RWTH Aachen
• The probabilistic model checker Storm
  Hensel, Christian ; Junges, Sebastian ; Katoen, Joost-Pieter ; Quatmann, Tim ; Volk, Matthias
• Configuration of inter-process communication with probabilistic model checking
  Herrmann, Linda ; Küttler, Martin ; Stumpf, Tobias ; Baier, Christel ; Härtig, Hermann ; Klüppelholz, Sascha
• Metric regularity and quantitative stability in stochastic programs with probabilistic constraints
  Henrion, René ; Römisch, Werner 1996 Inst. für Mathematik
• Numerical methods for limit and shakedown analysis – deterministic and probabilistic problems ; report of the European project: FEM based limit and shakedown analysis for design and integrity assessment in European Industry - LISA ; project funded by the European Commission under the industrial & materials technologies programme (Brite-EuRam III), contract no: BRPR-CT97-0595, project no: BE 97-4547, period: January 1, 1998 to May 31, 2002
  Staat, Manfred 2003 NIC
• Multi-Objective Fuzzy Probabilistic Programming Approach for Obtaining Optimum Crops Pattern with Water Replenishment
  Dutta, S. ; Sahoo, B. C. ; Bhanavi, S. ; Nethra, S.
• Probabilistic multiplicative unbalanced linguistic game using linguistic cloud model
  Chauhan, Parul ; Gupta, Anjana
• Dynamic probabilistic constraints under continuous random distributions
  González Grandón, Tatiana ; Henrion, R. ; Pérez-Aros, Pedro 2023 Humboldt-Universität zu Berlin
• Intelligent quantitative safety monitoring approach for ATP system by neural computing and probabilistic model checking
  Cheng, Yu ; Liu, Jinzhao ; Jiang, Xinliang ; Du, Xinyu ; Cheng, Ruijun
• Correctness proofs and probabilistic tests for constructive specifications and functional programs
  Huong, Dinh Thi Thanh
• Probabilistic bounds (via large deviations) for the solutions of stochastic programming problems
  Kaniovski, Yuri M. ; King, Alan J. ; Wets, Roger J-B
• Enhancing learning environments with IoT: a novel decision-making approach using probabilistic linguistic T-spherical fuzzy set
  Shafiq, Aqsa ; Naz, Sumera ; Butt, Shariq Aziz ; Piñeres-Espitia, Gabriel
• A successive approximation method for solving probabilistic constrained programs
  Wang, Jinde
• Control of stochastic hybrid systems based on probabilistic reachable set computation
  Asselborn, Leonhard 2018 Kassel University Press
• Performance Bounds for the Scenario Approach and an Extension to a Class of Non-convex Programs
  Mohajerin Esfahani, Peyman ; Sutter, Tobias ; Lygeros, John 2014 KOPS Universität Konstanz
• Neural-Symbolic Argumentation Mining: An Argument in Favor of Deep Learning and Reasoning
  Galassi, Andrea ; Kersting, Kristian ; Lippi, Marco ; Shao, Xiaoting ; Torroni, Paolo 2024 Universitäts- und Landesbibliothek
• Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
  Klinkenberg, Lutz ; Blumenthal, Christian ; Chen, Mingshuai ; Haase, Darion ; Katoen, Joost-Pieter 2024 Universitätsbibliothek der RWTH Aachen
• Highly parallel and ultra-low-power probabilistic reasoning with programmable gaussian-like memory transistors
  Lee, Changhyeon ; Rahimifard, Leila ; Choi, Junhwan ; Park, Jeong-ik ; Lee, Chungryeol ; Kumar, Divake ; Shukla, Priyesh ; Lee, Seung Min ; Trivedi, Amit Ranjan ; Yoo, Hocheon ; Im, Sung Gap