Avancerad sökning
Visar resultat 1 - 5 av 17 avhandlingar som matchar ovanstående sökkriterier.
1. Cognitive Interactive Robot Learning
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
2. Categorical Unification
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
3. HPC scheduling in a brave new world
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
4. Representing and Reasoning about Complex Human Activities - an Activity-Centric Argumentation-Based Approach
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
5. Topology optimization of antennas and waveguide transitions
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