Probabilistic verification beyond context-freeness

Probabilistic verification beyond context-freeness

अन्य संस्करण दिखाएं (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...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखक:	Li, G
अन्य लेखक:	Murawski, A
स्वरूप:	थीसिस
भाषा:	English
प्रकाशित:	2024
विषय:	Theoretical computer science

समान संसाधन

Probabilistic verification beyond context-freeness
द्वारा: Li, G, और अन्य
प्रकाशित: (2022)

Evidence against the context-freeness of natural language /
द्वारा: 412590 Shieber, Stuart M.

The freeness of Ish arrangements
द्वारा: Takuro Abe, और अन्य
प्रकाशित: (2015-01-01)

Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
द्वारा: Dino Mandrioli, और अन्य
प्रकाशित: (2023-11-01)

Combinatorial proofs of freeness of some P-algebras
द्वारा: Vincent Vong
प्रकाशित: (2015-01-01)

The freeness of ideal subarrangements of Weyl arrangements
द्वारा: Takuro Abe, और अन्य
प्रकाशित: (2014-01-01)

Locally Restricted Compositions IV. Nearly Free Large Parts and Gap-Freeness
द्वारा: Edward Bender, और अन्य
प्रकाशित: (2012-01-01)

Electroactive polymer gels as probabilistic reservoir automata for computation
द्वारा: Vincent Strong, और अन्य
प्रकाशित: (2022-12-01)

Asymptotic freeness in tracial ultraproducts
द्वारा: Cyril Houdayer, और अन्य
प्रकाशित: (2024-01-01)

Freeness of Signed Graphic Arrangements
द्वारा: Zhaoting Ju, और अन्य
प्रकाशित: (2024-03-01)

Supersolvability and Freeness for ψ-Graphical Arrangements
द्वारा: Mu, Lili, और अन्य
प्रकाशित: (2016)

Envy-freeness in house allocation problems
द्वारा: Gan, J, और अन्य
प्रकाशित: (2019)

On (non-) freeness of some tridendriform algebras
द्वारा: Vincent Vong
प्रकाशित: (2020-04-01)

Structural results for total search complexity classes with applications to game theory and optimisation
द्वारा: Hollender, A
प्रकाशित: (2021)

The complexity of meta-computational problems
द्वारा: Rajgopal, N
प्रकाशित: (2020)

The blind watchmaker network: scale-freeness and evolution.
द्वारा: Petter Minnhagen, और अन्य
प्रकाशित: (2008-01-01)

Various Kinds of Freeness in the Categories of Krasner Hypermodules
द्वारा: Hossein Shojaei, और अन्य
प्रकाशित: (2018-11-01)

Impossibility of Succinct Quantum Proofs for Collision-Freeness
द्वारा: Aaronson, Scott
प्रकाशित: (2012)

Almost envy-freeness in group resource allocation
द्वारा: Kyropoulou, M, और अन्य
प्रकाशित: (2019)

On learning assumptions for compositional verification of probabilistic systems
द्वारा: Feng, L
प्रकाशित: (2014)

Aspects of beyond the Standard Model string phenomenology
द्वारा: Rosa, J, और अन्य
प्रकाशित: (2010)

A Boolean model for conflict-freeness in argumentation frameworks
द्वारा: Jiachao Wu
प्रकाशित: (2023-01-01)

Games as mathematics of logic and computation
द्वारा: Yamada, N
प्रकाशित: (2017)

STUDI KOMPUTASI KONFORMASI DAN PENGARUH PELARUT TERHADAP ENERGI INTERAKSI PADA KOMPLEKS YTTRIUM-DOTA- DENGAN METODE C-PCM (Conductor-like Polarizable Continuum Model)
द्वारा: ROZAQ, ABDUL
प्रकाशित: (2012)

A Model of Science to Base the Introduction of Aspects of Nature of Science in Teaching Contexts and to Analyse such Contexts
द्वारा: Monique Santos, और अन्य
प्रकाशित: (2020-07-01)

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
द्वारा: Giorgio Bacci, और अन्य
प्रकाशित: (2021-02-01)

Learning from Failure: Predicting Electronic Structure Calculation Outcomes with Machine Learning Models
द्वारा: Duan, Chenru, और अन्य
प्रकाशित: (2020)

Solving the Trivial Crossing Problem While Preserving the Nodal Symmetry of the Wave Function
द्वारा: Lee, Elizabeth M. Y., और अन्य
प्रकाशित: (2020)

Towards formal verification of Bayesian inference in probabilistic programming via guaranteed bounds
द्वारा: Zaiser, F
प्रकाशित: (2024)

Refinement and Difference for Probabilistic Automata
द्वारा: Benoît Delahaye, और अन्य
प्रकाशित: (2014-08-01)

Some counterexamples for (strong) persistence property and (nearly) normally torsion-freeness
द्वारा: Mehrdad Nasernejad
प्रकाशित: (2023-11-01)

The Effect of Consistency and Freeness on the Yield Stress of Chemical Pulp Fibre Suspensions
द्वारा: Jiulong Sha, और अन्य
प्रकाशित: (2015-05-01)

Spin relaxation effects in photochemically induced dynamic nuclear polarization spectroscopy of nuclei with strongly anisotropic hyperfine couplings.
द्वारा: Kuprov, I, और अन्य
प्रकाशित: (2007)

Logarithmic distributions prove that intrinsic learning is Hebbian [version 2; referees: 2 approved]
द्वारा: Gabriele Scheler
प्रकाशित: (2017-10-01)

Synthesis from Probabilistic Components
द्वारा: Sumit Nain, और अन्य
प्रकाशित: (2014-06-01)

Modelling Probabilistic Wireless Networks
द्वारा: Andrea Cerone, और अन्य
प्रकाशित: (2013-09-01)

On Higher-Order Probabilistic Subrecursion
द्वारा: Flavien Breuvart, और अन्य
प्रकाशित: (2021-12-01)

Moving beyond Type I and Type II neuron types [v1; ref status: indexed, http://f1000r.es/w7]
द्वारा: Frances K Skinner
प्रकाशित: (2013-01-01)

Probabilistic data analysis with probabilistic programming
द्वारा: Saad, Feras Ahmad Khaled
प्रकाशित: (2018)

Randomised algorithms for low temperature spin systems
द्वारा: Stewart, J
प्रकाशित: (2022)