Sökning: "administrativ databehandling"

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

  1. 1. Cognitive Interactive Robot Learning

    Författare :Benjamin Fonooni; Hellström Thomas; Lars Erik Janlert; Christian Balkenius; Umeå universitet; []
    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; business data processing; 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. 2. Categorical Unification

    Författare :María Ángeles Galán García; Patrik Eklund; José Meseguer; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Monad compositions; generalised terms; many-valued logic; Datalogi; Computer science; Datalogi; business data processing; 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. 3. HPC scheduling in a brave new world

    Författare :Rodrigo Gonzalo P.; Erik Elmroth; Lavanya Ramakrishnan; Per-Olov Östberg; Ewa Deelman; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; High Performance Computing; HPC; supercomputing; scheduling; workflows; workloads; exascale; business data processing; administrativ databehandling;

    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. 4. Representing and Reasoning about Complex Human Activities - an Activity-Centric Argumentation-Based Approach

    Författare :Esteban Guerrero Rosero; Helena Lindgren; Juan Carlos Nieves; Chris Reed; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Complex activity; Argumentation Theory; Activity Theory; Logic programming; Knowledge representation; Common-sense reasoning; Artificial Intelligence; business data processing; administrativ databehandling;

    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

  7. 5. Topology optimization of antennas and waveguide transitions

    Författare :Emadeldeen Hassan; Martin Berggren; Daniel Noreland; Eddie Wadbro; Mats Gustafsson; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Maxwell s equations; topology optimization; antennas; waveguide transition; finite-difference time-domain; gradient-based optimization; adjoint-field problem; microwave devices.; business data processing; administrativ databehandling;

    Sammanfattning : This thesis introduces a topology optimization approach to design, from scratch, efficient microwave devices, such as antennas and waveguide transitions. The design of these devices is formulated as a general optimization problem that aims to build the whole layout of the device in order to extremize a chosen objective function. LÄS MER