Search for dissertations about: "abstraction mathematics"
Showing result 1 - 5 of 8 swedish dissertations containing the words abstraction mathematics.
-
1. INCREMENTAL FAULT DIAGNOSABILITY AND SECURITY/PRIVACY VERIFICATION
Abstract : Dynamical systems can be classified into two groups. One group is continuoustime systems that describe the physical system behavior, and therefore are typically modeled by differential equations. The other group is discrete event systems (DES)s that represent the sequential and logical behavior of a system. READ MORE
-
2. The quantum approximate optimization algorithm: optimization problems and implementations
Abstract : This thesis explores the Quantum Approximate Optimization Algorithm (QAOA), a hybrid classical-quantum algorithm designed to solve combinatorial optimization problems. The goal of this algorithm is to iteratively optimize a variational state to approximate the ground state of a cost Hamiltonian that encodes a combinatorial optimization problem. READ MORE
-
3. Energy efficient multi-robot coordination
Abstract : When multiple systems work in the same physical environment, it is important to ensure that no collisions occur. This thesis is focused on the centralized offline coordination of such collaborating systems, with the condition that the spatial path each system travels along is known before hand. READ MORE
-
4. Frame of reference in Iwaidja : Towards a culturally responsive early years mathematics program
Abstract : Most Indigenous Australian language speaking students in remote Northern Territory locations are taught in English by non-Indigenous teachers. Their first languages are inadequately accounted for in mathematics curricula and assessments. READ MORE
-
5. Relations in Dependent Type Theory
Abstract : This thesis investigates how to express and reason about relational concepts and methods inside the constructive logical framework of Martin-Löf's monomorphic type theory. We cover several areas where the notion of relation is central, and show how to formalize the basic concepts of each area. READ MORE