Sökning: "Inductive Synthesis"

Visar resultat 1 - 5 av 7 avhandlingar innehållade orden Inductive Synthesis.

  1. 1. Representation of Compositional Relational Programs

    Detta är en avhandling från Uppsala : Department of Informatics and Media, Uppsala University

    Författare :Görkem Paçacı; Uppsala universitet.; [2017]
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  2. 2. Logic program synthesis using schema instantiation in an interactive environment

    Detta är en avhandling från Stockholm : Department of Computer & Systems Sciences, Stockholm University

    Författare :Anna-Lena Johansson; Stockholms universitet.; [1995]
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : 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. LÄS MER

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

    Detta är en avhandling från Stockholm : Department of Computer & Systems Sciences, Stockholm University

    Författare :Peter Bergqvist; Göteborgs universitet.; Gothenburg University.; [2009]
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; IgA; Intestine; Gut associated lymphoid tissue; class switch recombination; CD40; germ free;

    Sammanfattning : 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. LÄS MER

  4. 4. Unravelling the duality of Caregivinghood - How informal caregivers describe their situation when salutogenically approached

    Detta är en avhandling från Stockholm : Department of Computer & Systems Sciences, Stockholm University

    Författare :Mia M T Wennerberg; Göteborgs universitet.; Gothenburg University.; [2017]
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Caregivinghood; Community care; Dyad; Environment context; GRD-definition; Health promotion; Homecare; Informal caregiver and carerecipient; Policy; Specific and Generalized Resistance Resources and Deficits; Salutogenesis; Support; Theory-driven qualitative design;

    Sammanfattning : Demographic changes and an emphasis on community care, increase the number of informal caregivers to older adults in most societies. Their willingness to provide care and that they are healthy enough to manage, is essential. LÄS MER

  5. 5. Differential maturation of Na+, K+ -ATPase in the rat : Transcriptional regulation by glucocorticoids

    Detta är en avhandling från Stockholm : Karolinska Institutet, false

    Författare :Zheng-Ming Wang; Karolinska Institutet.; Karolinska Institutet.; [1996]
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; glucocorticoids; ontogeny; Na ; K -ATPase; H ; K -ATPase; iontransporter; kidney; lung; heart; stomach; colon.;

    Sammanfattning : Na+,K+-ATPase is a ubiquitous transmembrane enzyme that creates theelectrochemical gradient across the cell membrane. Na+,K+-ATPase activity is lowin many immature tissues. LÄS MER