Sökning: "administrativ databehandling"

Visar resultat 1 - 5 av 19 avhandlingar innehållade orden administrativ databehandling.

  1. 1. Design of abstract programs in an interactive environment

    Detta är en avhandling från Stockholm : Inst. för administrativ databehandling, Stockholms univ. och Tekn. högsk

    Författare :Lars Kahn; Stockholms universitet.; [1978]
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Databehandling;

    Sammanfattning : .... LÄS MER

  2. 2. Cognitive Interactive Robot Learning

    Detta är en avhandling från Umeå : Umeå University

    Författare :Benjamin Fonooni; Umeå universitet.; [2014]
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Learning from Demonstration; Imitation Learning; Human Robot Interaction; High-Level Behavior Learning; Shared Control; Cognitive Architectures; Cognitive Robotics; Priming; Computing Science; administrativ databehandling;

    Sammanfattning : Building general purpose autonomous robots that suit a wide range of user-specified applications, requires a leap from today's task-specific machines to more flexible and general ones. To achieve this goal, one should move from traditional preprogrammed robots to learning robots that easily can acquire new skills. LÄS MER

  3. 3. Categorical Unification

    Detta är en avhandling från Umeå : Umeå University

    Författare :María Ángeles Galán García; Umeå universitet.; [2004]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Monad compositions; generalised terms; many-valued logic; Datalogi; TECHNOLOGY Information technology Computer science Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap Datalogi; Computing Science; administrativ databehandling;

    Sammanfattning : This thesis deals with different aspects towards many-valued unification which have been studied in the scope of category theory. The main motivation of this investigation comes from the fact that in logic programming, classical unification has been identified as the provision of coequalizers in Kleisli categories of term monads. LÄS MER

  4. 4. HPC scheduling in a brave new world

    Detta är en avhandling från Umeå : Umeå universitet

    Författare :Rodrigo Gonzalo P.; Umeå universitet.; [2017]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; High Performance Computing; HPC; supercomputing; scheduling; workflows; workloads; exascale; administrativ databehandling; Computing Science;

    Sammanfattning : Many breakthroughs in scientific and industrial research are supported by simulations and calculations performed on high performance computing (HPC) systems. These systems typically consist of uniform, largely parallel compute resources and high bandwidth concurrent file systems interconnected by low latency synchronous networks. LÄS MER

  5. 5. Representing and Reasoning about Complex Human Activities - an Activity-Centric Argumentation-Based Approach

    Detta är en avhandling från Umeå : Umeå University

    Författare :Esteban Guerrero Rosero; Umeå universitet.; [2016]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Complex activity; Argumentation Theory; Activity Theory; Logic programming; Knowledge representation; Common-sense reasoning; Artificial Intelligence; administrativ databehandling; Computing Science;

    Sammanfattning : The aim of this thesis is to develop theories and formal methods to endow a computing machinery with capabilities to identify, represent, reason and evaluate complex activities that are directed by an individual’s needs, goals, motives, preferences and environment, information which can be inconsistent and incomplete.Current methods for formalising and reasoning about human activity are typically limited to basic actions, e. LÄS MER