Advanced search
Showing result 1 - 5 of 17 swedish dissertations matching the above criteria.
-
1. Cognitive Interactive Robot Learning
Abstract : 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. READ MORE
-
2. Categorical Unification
Abstract : 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. READ MORE
-
3. HPC scheduling in a brave new world
Abstract : 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. READ MORE
-
4. Representing and Reasoning about Complex Human Activities - an Activity-Centric Argumentation-Based Approach
Abstract : 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. READ MORE
-
5. Topology optimization of antennas and waveguide transitions
Abstract : 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. READ MORE