Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 6 of 6 for “"Automatic inference"”.
-
Typesafety for explicitly-coded probabilistic inference procedures
… the process of developing Bayesian probabilistic inference algorithms. These include systems for automatic inference algorithm synthesis as well as stronger abstractions for manual algorithm development. However, existing systems whose performance relies on the developer manually constructing a …
-
Strategies of British-Pakistani Muslim women : 'subject' and 'agency' reconsidered through (an) analysis of marriage, divorce and everyday life
… are increasingly being seen as 'Muslim' with an automatic inference of their being oppressed victims. When these women exhibit agency dispelling the victim image, it is read within the sole perspective of religiosity framing them only as 'Muslim women' and ignoring other facets of their being. …
-
Inferring social structure and dominance relationships between rhesus macaques using RFID tracking data
… implications for an individual’s health. Automatic inference of the social structure in an animal group enables a number of important capabilities, including: 1. A verifiable measure of how the social structure is affected by an intervention such as a change in the environment, or the …
-
Formalizing Clifford algebras and related constructions in the Lean theorem prover
… covering: the use of typeclasses to manage automatic inference of scalar actions, the use of the extensionality “tactic” to provide leverage when proving results about complicated algebraic objects, a novel formalization of graded monoids, rings and algebras, and a deeper dive into intricate …
-
Imaginative reasoning in probabilistic programs
… foundation introduces practical algorithms of automatic inference. Concretely, we introduce probabilistic programming languages - which encode causal probabilistic models as programs - with two new forms of inference. The first is distributional inference, which means to reason with statistical …