Probabilistic verification beyond context-freeness

Probabilistic verification beyond context-freeness

Diğer sürümleri göster (1)

<p>Probability theory and probabilistic modelling have become indispensable across a wide range of scientific disciplines, with probabilistic programs emerging as a particularly flexible means of encoding sophisticated models in executable code. These programs, which merge traditional programm...

Detaylı Bibliyografya
Yazar:	Li, G
Diğer Yazarlar:	Murawski, A
Materyal Türü:	Tez
Dil:	English
Baskı/Yayın Bilgisi:	2024
Konular:	Theoretical computer science

Benzer Materyaller

Probabilistic verification beyond context-freeness
Yazar:: Li, G, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Evidence against the context-freeness of natural language /
Yazar:: 412590 Shieber, Stuart M.

The freeness of Ish arrangements
Yazar:: Takuro Abe, ve diğerleri
Baskı/Yayın Bilgisi: (2015-01-01)

Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
Yazar:: Dino Mandrioli, ve diğerleri
Baskı/Yayın Bilgisi: (2023-11-01)

Combinatorial proofs of freeness of some P-algebras
Yazar:: Vincent Vong
Baskı/Yayın Bilgisi: (2015-01-01)

The freeness of ideal subarrangements of Weyl arrangements
Yazar:: Takuro Abe, ve diğerleri
Baskı/Yayın Bilgisi: (2014-01-01)

Locally Restricted Compositions IV. Nearly Free Large Parts and Gap-Freeness
Yazar:: Edward Bender, ve diğerleri
Baskı/Yayın Bilgisi: (2012-01-01)

Electroactive polymer gels as probabilistic reservoir automata for computation
Yazar:: Vincent Strong, ve diğerleri
Baskı/Yayın Bilgisi: (2022-12-01)

Asymptotic freeness in tracial ultraproducts
Yazar:: Cyril Houdayer, ve diğerleri
Baskı/Yayın Bilgisi: (2024-01-01)

Freeness of Signed Graphic Arrangements
Yazar:: Zhaoting Ju, ve diğerleri
Baskı/Yayın Bilgisi: (2024-03-01)

Supersolvability and Freeness for ψ-Graphical Arrangements
Yazar:: Mu, Lili, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Envy-freeness in house allocation problems
Yazar:: Gan, J, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

On (non-) freeness of some tridendriform algebras
Yazar:: Vincent Vong
Baskı/Yayın Bilgisi: (2020-04-01)

Optimistic and Pessimistic Result of Planning and Scheduling Dynamic Processes
Yazar:: Wieslaw Wajs
Baskı/Yayın Bilgisi: (1999-01-01)

Normal Functions as a New Way of Defining Computable Functions
Yazar:: Leszek Dubiel
Baskı/Yayın Bilgisi: (2004-01-01)

Generating Turing Machines by Use of Other Computation Models
Yazar:: Leszek Dubiel
Baskı/Yayın Bilgisi: (2003-01-01)

Structural results for total search complexity classes with applications to game theory and optimisation
Yazar:: Hollender, A
Baskı/Yayın Bilgisi: (2021)

The complexity of meta-computational problems
Yazar:: Rajgopal, N
Baskı/Yayın Bilgisi: (2020)

The blind watchmaker network: scale-freeness and evolution.
Yazar:: Petter Minnhagen, ve diğerleri
Baskı/Yayın Bilgisi: (2008-01-01)

Various Kinds of Freeness in the Categories of Krasner Hypermodules
Yazar:: Hossein Shojaei, ve diğerleri
Baskı/Yayın Bilgisi: (2018-11-01)

Various Kinds of Freeness in the Categories of Krasner Hypermodules
Yazar:: Hossein Shojaei, ve diğerleri
Baskı/Yayın Bilgisi: (2018-11-01)

Impossibility of Succinct Quantum Proofs for Collision-Freeness
Yazar:: Aaronson, Scott
Baskı/Yayın Bilgisi: (2012)

Almost envy-freeness in group resource allocation
Yazar:: Kyropoulou, M, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

On learning assumptions for compositional verification of probabilistic systems
Yazar:: Feng, L
Baskı/Yayın Bilgisi: (2014)

Aspects of beyond the Standard Model string phenomenology
Yazar:: Rosa, J, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Dosimetric verification of clinical radiotherapy treatment planning system
Yazar:: Kolarević Goran, ve diğerleri
Baskı/Yayın Bilgisi: (2022-01-01)

Games as mathematics of logic and computation
Yazar:: Yamada, N
Baskı/Yayın Bilgisi: (2017)

STUDI KOMPUTASI KONFORMASI DAN PENGARUH PELARUT TERHADAP ENERGI INTERAKSI PADA KOMPLEKS YTTRIUM-DOTA- DENGAN METODE C-PCM (Conductor-like Polarizable Continuum Model)
Yazar:: ROZAQ, ABDUL
Baskı/Yayın Bilgisi: (2012)

A Boolean model for conflict-freeness in argumentation frameworks
Yazar:: Jiachao Wu
Baskı/Yayın Bilgisi: (2023-01-01)

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
Yazar:: Giorgio Bacci, ve diğerleri
Baskı/Yayın Bilgisi: (2021-02-01)

A Model of Science to Base the Introduction of Aspects of Nature of Science in Teaching Contexts and to Analyse such Contexts
Yazar:: Monique Santos, ve diğerleri
Baskı/Yayın Bilgisi: (2020-07-01)

Learning from Failure: Predicting Electronic Structure Calculation Outcomes with Machine Learning Models
Yazar:: Duan, Chenru, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Solving the Trivial Crossing Problem While Preserving the Nodal Symmetry of the Wave Function
Yazar:: Lee, Elizabeth M. Y., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Refinement and Difference for Probabilistic Automata
Yazar:: Benoît Delahaye, ve diğerleri
Baskı/Yayın Bilgisi: (2014-08-01)

Towards formal verification of Bayesian inference in probabilistic programming via guaranteed bounds
Yazar:: Zaiser, F
Baskı/Yayın Bilgisi: (2024)

Some counterexamples for (strong) persistence property and (nearly) normally torsion-freeness
Yazar:: Mehrdad Nasernejad
Baskı/Yayın Bilgisi: (2023-11-01)

The Effect of Consistency and Freeness on the Yield Stress of Chemical Pulp Fibre Suspensions
Yazar:: Jiulong Sha, ve diğerleri
Baskı/Yayın Bilgisi: (2015-05-01)

Synthesis from Probabilistic Components
Yazar:: Sumit Nain, ve diğerleri
Baskı/Yayın Bilgisi: (2014-06-01)

Modelling Probabilistic Wireless Networks
Yazar:: Andrea Cerone, ve diğerleri
Baskı/Yayın Bilgisi: (2013-09-01)

On Higher-Order Probabilistic Subrecursion
Yazar:: Flavien Breuvart, ve diğerleri
Baskı/Yayın Bilgisi: (2021-12-01)