Search for dissertations about: "toolbox"

Showing result 1 - 5 of 178 swedish dissertations containing the word toolbox.

  1. 1. Creation of a Nanometer-Scale Toolbox for Molecular Motor Transport-Circuits

    Author : Richard Bunk; Fasta tillståndets fysik; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Coating and surface treatment; materialteknik; Materiallära; Material technology; Produktionsteknik; Production technology; Semiconductory physics; Halvledarfysik; Proteins; enzymology; Proteiner; enzymologi; reumatologi; Physics; Fysik; muskelsystem; Skelett; rheumatology locomotion; muscle system; Skeleton; Biofysik; Biophysics; Biomedicinska vetenskaper; Biomedical sciences; fluorescence microscopy; EBL; T-profile channel; nano-imprinting; cargo; quantum dot; silane; myosin; actin; motor protein; factory-on-a-chip; toolbox; lab-on-a-chip; molecular motor; nanotechnology; Biokemisk teknik; Biotechnology; Bioteknik; Skikt och ytbehandling; Biochemical technology;

    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. 2. A toolbox for idea generation and evaluation : Machine learning, data-driven, and contest-driven approaches to support idea generation

    Author : Workneh Yilma Ayele; Gustaf Juell-Skielse; Paul Johannesson; Ahmed Elragal; Stockholms universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Idea generation; idea mining; data-driven idea generation; data-driven idea evaluation; toolbox for idea generation; toolbox for idea evaluation; contest-driven idea generation; machine learning for idea generation; text mining for idea generation; analytics for idea generation; human-centred AI for creativity; data- och systemvetenskap; Computer and Systems Sciences;

    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. 3. Extending the Automated Reasoning Toolbox

    Author : Ann Lillieström; Chalmers University of Technology; []
    Keywords : First-Order Logic; Sorted Logic; Automated Reasoning;

    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. 4. Modeling Complex Engines as Dynamic Powertrain Members

    Author : Sixten Berglund; Chalmers University of Technology; []
    Keywords : vehicle; diesel engine; simulation; supercharging; drivability; toolbox; fuel economy; transient; modeling; turbocharging; control system; powertrain; emissions; performance; dynamic; system;

    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. 5. Extending the Automated Reasoning Toolbox

    Author : Ann Lillieström; Chalmers University of Technology; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; transitivity; integer linear programming; first-order logic; many-sorted logic; automated reasoning; morpheme segmentation;

    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