Probabilistic verification beyond context-freeness

<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
Нөхцлүүд:

Ижил төстэй зүйлс