Search for dissertations about: "turing"

Showing result 1 - 5 of 16 swedish dissertations containing the word turing.

2. 1. Impartial Games and Recursive Functions

   Author : Urban Larsson; Göteborgs universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Algorithmically undecidable; Beatty sequences; Blocking maneuver; Cellular automaton; Comply maneuver; Complementary sequences; Dictionary process; Dual game; Game complexity; Game convergence; Game reflexivity; Heap game; Impartial game; Invariant subtraction game; Move-size dynamic; Nim; P-equivalence; Rule 110; Splitting sequences; *-operator; Subtraction game; Take-away game; Turing complete; Wythoff Nim; Turing complete;

   Abstract : Interest in 2-player impartial games often concerns the famous theory of Sprague-Grundy. In this thesis we study other aspects, bridging some gaps between combinatorial number theory, computer science and combinatorial games. READ MORE

4. 2. Games and Probabilistic Infinite-State Systems

   Author : Sven Sandberg; Parosh Abdulla; Luca de Alfaro; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; program verification; model checking; determinacy; strategy improvement; infinite games; parity games; mean payoff games; stochastic games; Büchi games; reachability games; limiting average; limiting behavior; Markov chains; infinite-state systems; lossy channel systems; vector addition systems; noisy Turing machines; Computer science; Datavetenskap;

   Abstract : Computer programs keep finding their ways into new safety-critical applications, while at the same time growing more complex. This calls for new and better methods to verify the correctness of software. We focus on one approach to verifying systems, namely that of model checking. READ MORE

5. 3. Autonomous Systems in Society and War : Philosophical Inquiries

   Author : Linda Johansson; Sven Ove Hansson; Philip Brey; KTH; []
   Keywords : HUMANIORA; HUMANITIES; UAVs; drones; military robots; laws of war; justification for killing; ethics of care; care robots; functional morality; moral responsibility; Moral Turing Test; robot morality; artificial agent; artificial agency; autonomy; norms; disruptive technology; co-evolution; scenarios; autonomous systems; security; decision guidance; technology assessment;

   Abstract : The overall aim of this thesis is to look at some philosophical issues surrounding autonomous systems in society and war. These issues can be divided into three main categories. The first, discussed in papers I and II, concerns ethical issues surrounding the use of autonomous systems – where the focus in this thesis is on military robots. READ MORE

6. 4. Effective Distribution Theory

   Author : Fredrik Dahlgren; Viggo Stoltenberg-Hansen; Dag Normann; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computable mathematics; computable analysis; domain theory; domain representations; distribution theory.; Mathematical logic; Matematisk logik;

   Abstract : In this thesis we introduce and study a notion of effectivity (or computability) for test functions and for distributions. This is done using the theory of effective (Scott-Ershov) domains and effective domain representations. READ MORE

7. 5. A Random Walk in Statistical Physics

   Author : Pontus Svensson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : This thesis deals with some aspects of the physics of disordered systems. It consists of four papers and an introductory part. An introduction, suitable for physicists, to theoretical computer science and computational complexity is contained in chapter 2. READ MORE