Search for dissertations about: "graph reduction"
Showing result 11 - 15 of 24 swedish dissertations containing the words graph reduction.
-
11. Skew-symmetric matrix pencils : stratification theory and tools
Abstract : Investigating the properties, explaining, and predicting the behaviour of a physical system described by a system (matrix) pencil often require the understanding of how canonical structure information of the system pencil may change, e.g., how eigenvalues coalesce or split apart, due to perturbations in the matrix pencil elements. READ MORE
-
12. Lower Bounds and Trade-offs in Proof Complexity
Abstract : Propositional proof complexity is a field in theoretical computer science that analyses the resources needed to prove statements. In this thesis, we are concerned about the length of proofs and trade-offs between different resources, such as length and space. READ MORE
-
13. Designing a Functional Programming Architecture for the Internet of Things
Abstract : As the Internet of Things (IoT) grows, so too do security concerns: as well as typically having access to sensors and actuators, IoT devices are often programmed using bug-prone, low-level languages. Such a combination results in vulnerabilities that pose risks to privacy and safety. READ MORE
-
14. Covariate selection and propensity score specification in causal inference
Abstract : This thesis makes contributions to the statistical research field of causal inference in observational studies. The results obtained are directly applicable in many scientific fields where effects of treatments are investigated and yet controlled experiments are difficult or impossible to implement. READ MORE
-
15. Formal Languages and Automata in Computational Algebra
Abstract : This thesis is a collection of six papers in computational algebra. In particular, we study noncommutative Gröb- ner bases, SAGBI bases and similar algebraic objects which can be represented as a graph or an automaton. READ MORE