Search for dissertations about: "Point-free"

Showing result 1 - 5 of 7 swedish dissertations containing the word Point-free.

2. 1. Representation of Compositional Relational Programs

   Author : Görkem Paçacı; Andreas Hamfelt; Alberto Pettorossi; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Programming; Syntax; Logic Programming; Combilog; CombInduce; Prolog; Variable-free; Point-free; Tacit; Compositional Relational Programming; Combinatory Logic; Predicate-Functor Logic; Program Synthesis; Meta-interpreters; Meta-interpretative Synthesis; Decompositional Synthesis; Inductive Synthesis; Inductive Logic Programming; Usability; Cognitive Dimensions of Notations; Visual Variables; Usability testing; Programming Language usability; Empirical evidence; Informationssystem; Information Systems;

   Abstract : Usability aspects of programming languages are often overlooked, yet have a substantial effect on programmer productivity. These issues are even more acute in the field of Inductive Synthesis, where programs are automatically generated from sample expected input and output data, and the programmer needs to be able to comprehend, and confirm or reject the suggested programs. READ MORE

4. 2. Contributions to Pointfree Topology and Apartness Spaces

   Author : Anton Hedin; Erik Palmgren; Viggo Stoltenberg-Hansen; Peter Schuster; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Constructive mathematics; General topology; Pointfree topology; Domain theory; Interval analysis; Apartness spaces; Mathematical logic; Matematisk logik; Mathematical Logic; Matematisk logik;

   Abstract : The work in this thesis contains some contributions to constructive point-free topology and the theory of apartness spaces. The first two papers deal with constructive domain theory using formal topology. READ MORE

5. 3. Generalised Ramsey numbers and Bruhat order on involutions

   Author : Mikael Hansson; Axel Hultman; Jan Snellman; Jonas Sjöstrand; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : This thesis consists of two papers within two different areas of  combinatorics.Ramsey theory is a classic topic in graph theory, and Paper A deals with two of its most fundamental problems: to compute Ramsey numbers and to characterise critical graphs. More precisely, we study generalised Ramsey numbers for two sets Γ1 and Γ2 of cycles. READ MORE

6. 4. Formalizing Univalent Set-Level Structures in Cubical Agda

   Author : Max Zeuner; Anders Mörtberg; Martin Escardo; Stockholms universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : This licentiate thesis consists of two papers on formalization projects using Cubical Agda, a rather new extension of the Agda proof assistant with constructive support for univalence and higher inductive types. The common denominator of the two papers is that they are concerned with structures on types that are sets in the sense of Homotopy Type Theory or Univalent Foundations (HoTT/UF). READ MORE

7. 5. Analysis of risk factors in patients with severe chronic kidney disease. The role of atorvastatin

   Author : Benny Holmberg; Bernd G Stegmayr; Christer Andersson; Peter M Nilsson; Umeå universitet; []
   Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Atorvastatin; cholesterol; chronic kidney disease; haemodialysis; cholesterol; lipids; peritoneal dialysis; risk factors; statins; inter dialysis weight gain;

   Abstract : Background and aim: There had been no randomized end-point studies with statins for patients with severe renal failure. The purpose of this prospective, open, randomized, controlled study was to investigate whether atorvastatin (10 mg/day) would alter cardiovascular end-points and the overall mortality rate of patients with chronic kidney disease stage 4 or 5 (creatinine clearanceMaterial & Methods: This was an open, prospective, randomized study. READ MORE