Avancerad sökning

Visar resultat 1 - 5 av 33 avhandlingar som matchar ovanstående sökkriterier.

  1. 1. Representation of Compositional Relational Programs

    Författare :Görkem Paçacı; Andreas Hamfelt; Alberto Pettorossi; Uppsala universitet; []
    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. Visuella vändningar : Bild och estetik i Kerstin Ekmans romankonst

    Författare :Cecilia Lindhé; Anna Williams; Peter Forsgren; Anders Ohlsson; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Literature; Kerstin Ekman; image; ekphrasis; intermediality; iconic; filmic and virtual projection; narratology; dialogicity; intertextuality; W. J. T. Mitchell; Mikhail Bakhtin; Eyvind Johnson; Rune Hagberg; Litteraturvetenskap; Literature; Litteraturvetenskap;

    Sammanfattning : This is a dissertation on how an aesthetics of fiction is formulated at the intersection of, and oscillation between, image-construction and image-criticism in three novels by Kerstin Ekman: En stad av ljus (1983), Händelser vid vatten (1993), and Gör mig levande igen (1996). The purpose of the dissertation is to analyze the movement of this oscillation and demonstrate how it is intertwined, not only with the aesthetic practice characterizing these novels, but also with their interpretation of the past and the contemporary. LÄS MER

  3. 3. Graphic Representation and Visualisation as Modelling Support for the Knowledge Acquisition Process

    Författare :Anne Håkansson; Andreas Hamfelt; Harald Kjellin; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Artficial Intelligence; Knowledge-Based Systems; Knowledge Acquisition; Graphic Representation; Visualisation; Unified Modelling Language; Modelling Rule-based Systems; Visual programming; Declarative Programming; Information Networks; User-Centered Design; Knowledge Interface; Datavetenskap; Computer science; Datavetenskap; datalogi; Computer Science;

    Sammanfattning : The thesis describes steps taken towards using graphic representation and visual modelling support for the knowledge acquisition process in knowledge-based systems – a process commonly regarded as difficult. The performance of the systems depends on the quality of the embedded knowledge, which makes the knowledge acquisition phase particularly significant. LÄS MER

  4. 4. Integrating Visual Data Flow Programming with Data Stream Management

    Författare :Lars Melander; Tore Risch; Sharma Chakravarthy; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; data stream management; data stream visualization; visual data flow programming; LabVIEW; Datavetenskap med inriktning mot databasteknik; Computer Science with specialization in Database Technology;

    Sammanfattning : Data stream management and data flow programming have many things in common. In both cases one wants to transfer possibly infinite sequences of data items from one place to another, while performing transformations to the data. LÄS MER

  5. 5. Topics in Soft Computing

    Författare :J. H. D. Keukelaar; KTH; []
    Nyckelord :visual programming language; dataflow; grammar formalism; rough sets; fuzzy sets; uncertainty; spatial data; genetic programming; optimization;

    Sammanfattning : .... LÄS MER