Sökning: "toolbox"

Visar resultat 1 - 5 av 210 avhandlingar innehållade ordet toolbox.

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

    Författare :Richard Bunk; Fasta tillståndets fysik; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  3. 2. A toolbox for idea generation and evaluation : Machine learning, data-driven, and contest-driven approaches to support idea generation

    Författare :Workneh Yilma Ayele; Gustaf Juell-Skielse; Paul Johannesson; Ahmed Elragal; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; 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;

    Sammanfattning : 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. LÄS MER

  4. 3. Extending the Automated Reasoning Toolbox

    Författare :Ann Lillieström; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; First-Order Logic; Sorted Logic; Automated Reasoning;

    Sammanfattning : 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. LÄS MER

  5. 4. Modeling Complex Engines as Dynamic Powertrain Members

    Författare :Sixten Berglund; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; vehicle; diesel engine; simulation; supercharging; drivability; toolbox; fuel economy; transient; modeling; turbocharging; control system; powertrain; emissions; performance; dynamic; system;

    Sammanfattning : 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. LÄS MER

  7. 5. Extending the Automated Reasoning Toolbox

    Författare :Ann Lillieström; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; transitivity; integer linear programming; first-order logic; many-sorted logic; automated reasoning; morpheme segmentation;

    Sammanfattning : 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. LÄS MER