Search for dissertations about: "Inductive Synthesis"

Showing result 1 - 5 of 12 swedish dissertations containing the words Inductive Synthesis.

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. Logic program synthesis using schema instantiation in an interactive environment

   Author : Anna-Lena Johansson; Stockholms universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Abstract : The research presented herein proposes a method of program synthesis based on a recursive program schema and performed with an explicit incremental plan as the core of the synthesis. A partial prototype has been built in order to be able to actually perform syntheses according to the method. READ MORE

5. 3. Intestinal IgA synthesis: Localization and requirements for IgA class switch recombination

   Author : Peter Bergqvist; Göteborgs universitet; []
   Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; IgA; Intestine; Gut associated lymphoid tissue; class switch recombination; CD40; germ free;

   Abstract : Production of IgA at mucosal surfaces is one of the most striking features of the mucosal immune system. Despite that IgA was first discovered in the 1950’s and secretory IgA described in gut secretions and breast milk in the mid 1960’s we still have limited information about the sites and exact requirements for IgA class switch recombination. READ MORE

6. 4. Incremental and Hierarchical Deadlock-Free Control of Discrete Event Systems with Variables: A Symbolic and Inductive Approach

   Author : Mohammad Reza Shoaei; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Discrete event systems; IC3; large-scale systems; model checking; incremental control; supervisory control; hierarchical control; maximal permissiveness;

   Abstract : Today's industry trend towards agile product development cycles and the ambition to shorten the time-to-market, represents an extremely competitive marketplace. This has driven the industry to use very complex and highly flexible manufacturing systems. READ MORE

7. 5. New Strategies for Transition Metal-mediated (Hetero)arene Functionalization

   Author : Fredric Ingner; Lukasz Pilarski; Joanna Wencel-Delord; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : This thesis describes new approaches to achieve efficient and selective (hetero)arene derivatization using transition metals. The main focus falls on the use of strategies based on C–H activation and organo-main group reactivity to render the synthesis of various (hetero)arene derivatives more direct, efficient, regioselective and sustainable. READ MORE