Search for dissertations about: "flexible algebra"
Showing result 1 - 5 of 8 swedish dissertations containing the words flexible algebra.
-
1. Problems in the Classification Theory of Non-Associative Simple Algebras
Abstract : In spite of its 150 years history, the problem of classifying all finite-dimensional division algebras over a field k is still unsolved whenever k is not algebraically closed. The present thesis concerns some different aspects of this problem, and the related problems of classifying all composition and absolute valued algebras. READ MORE
-
2. Contributions to the Metamathematics of Arithmetic: Fixed Points, Independence, and Flexibility
Abstract : This thesis concerns the incompleteness phenomenon of first-order arithmetic: no consistent, r.e. theory T can prove every true arithmetical sentence. The first incompleteness result is due to Gödel; classic generalisations are due to Rosser, Feferman, Mostowski, and Kripke. READ MORE
-
3. On Induction, Coinduction and Equality in Martin-Löf and Homotopy Type Theory
Abstract : Martin Löf Type Theory, having put computation at the center of logical reasoning, has been shown to be an effective foundation for proof assistants, with applications both in computer science and constructive mathematics. One ambition though is for MLTT to also double as a practical general purpose programming language. READ MORE
-
4. Hierarchical Control and Restart of Flexible Manufacturing Systems
Abstract : Product life-cycles are constantly shortening, and the amount of new product types increases, for example in the automotive industry. Growing demands on flexibility and ability to decrease time to market has made it increasingly important to find methods for fast and accurate development of control programs for flexible manufacturing cells. READ MORE
-
5. Structural Reformulations in System Identification
Abstract : In system identification, the choice of model structure is important and it is sometimes desirable to use a flexible model structure that is able to approximate a wide range of systems. One such model structure is the Wiener class of systems, that is, systems where the input enters a linear time-invariant subsystem followed by a time-invariant nonlinearity. READ MORE