Search for dissertations about: "program theory"

Showing result 11 - 15 of 286 swedish dissertations containing the words program theory.

2. 11. Theory Exploration for Programs and Proofs

   Author : Sólrún Einarsdóttir; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Theorem Proving; Automated Reasoning; Theory Exploration; Property-Based Testing; Functional Programming; Conjecture Generation; Artificial Intelligence; Coinduction;

   Abstract : We have built two theory exploration systems, Cohipster and RoughSpec . Theory exploration is a method of automatically conjecturing properties about the functions and structures that appear in a computer program or a formalization of a mathematical theory. READ MORE

4. 12. Computational Issues in Calculi of Partial Inductive Definitions

   Author : Per Kreuger; RISE; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Theory of computation; algorithms; logic; proof-theory; partial inductive defi-nitions; definitional reflection; disunification; closure; completion; negation; constructive negation; quantification; logic programming; meta programming; quantification; skolemization; self-reference; program semantics; declarative control; proof-search; theorem-proving.;

   Abstract : We study the properties of a number of algorithms proposed to explore the computational space generated by a very simple and general idea: the notion of a mathematical definition and a number of suggested formal interpretations ofthis idea. Theories of partial inductive definitions (PID) constitute a class of logics based on the notion of an inductive definition. READ MORE

5. 13. Interpretation of diagnostic information given patient characteristics

   Author : Martin Gellerstedt; Hans Åhlfeldt; Göteborgs universitet; []
   Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; reference values; diagnostic theory; diagnostic tests; partitioning; prevalence function; reference values; diagnostic theory; diagnostic tests; partitioning; prevalence function;

   Abstract :  The aim with this thesis was to describe, exemplify and develop theory for reference values and diagnostic tests, especially focusing on the variability between individuals. To facilitate interpretation of medical information it is common to establish some kind of limit. There are several different rationales for the choice of such a limit. READ MORE

6. 14. Data Analysis in High-Energy Physics as a Differentiable Program

   Author : Nathan Simpson; Partikel- och kärnfysik; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; differentiable programming; machine learning; particle physics;

   Abstract : Machine learning methods are now ubiquitous in physics, but often target objectives that are one or two steps removed from our physics goals. A prominent example of this is the discrimination between signal and background processes, which doesn’t account for the presence of systematic uncertainties – something crucial for the calculation of quantities such as the discovery significance and upper limits. READ MORE

7. 15. Evaluation of Swedish Ice Cleat Distribution Programs : From Program Design to Ice Cleat Use

   Author : Robin Holmberg; Carl Bonander; Johanna Gustavsson; Mikael Svensson; Agneta Larsson; Karlstads universitet; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; program evaluation; ice cleats; anti-slip devices; usage rates; older adults; Risk and Environmental Studies; Risk- och miljöstudier;

   Abstract : Winter conditions, characterized by snow and lowered temperatures, can make travel by foot difficult. Older adults aged 65 and above are especially at risk of slipping and falling on icy or snowy surfaces. Minor falls can result in severe injuries due to their frailty. READ MORE