Search for dissertations about: "Toolbox"
Showing result 1 - 5 of 204 swedish dissertations containing the word Toolbox.
-
1. Creation of a Nanometer-Scale Toolbox for Molecular Motor Transport-Circuits
Abstract : This thesis presents studies of molecular motors in interaction with nm-scale structures, as well as the development of a set of tools that can be used for the construction of custom-designed nano-transportation systems. In our studies, we have used the latest nanoscale technology and combined this with advanced results from chemistry and biomedical sciences. READ MORE
-
2. A toolbox for idea generation and evaluation : Machine learning, data-driven, and contest-driven approaches to support idea generation
Abstract : Ideas are sources of creativity and innovation, and there is an increasing demand for innovation. For example, the start-up ecosystem has grown in both number and global spread. As a result, established companies need to monitor more start-ups than before and therefore need to find new ways to identify, screen, and collaborate with start-ups. READ MORE
-
3. Extending the Automated Reasoning Toolbox
Abstract : Due to the semi-decidable nature of first-order logic, it can be desirable to address a wider range of problems than the standard ones of satisfiability and derivability. We extend the automated reasoning toolbox by intro- ducing two new tools for analysing problems in first-order logic. Infinox is aimed at showing finite unsatisfiability, i.e. READ MORE
-
4. Modeling Complex Engines as Dynamic Powertrain Members
Abstract : Engine modeling and simulation have been necessary tools for efficient product development in the automotive industry for some time. The scope of this work is novel engine models, tools, and methods for powertrain research and development. READ MORE
-
5. Extending the Automated Reasoning Toolbox
Abstract : Due to the semi-decidable nature of first-order logic, it can be desirable to address a wider range of problems than the standard ones of satisfiability and derivability. We extend the automated reasoning toolbox by introducing three new tools for analysing problems in first-order logic. Infinox aims to show finite unsatisfiability, i.e. READ MORE