Sökning: "linear program"

Visar resultat 1 - 5 av 160 avhandlingar innehållade orden linear program.

  1. 1. Learning Dynamics of Workplace Development Programmes : Studies in Swedish national programmes

    Författare :Agneta Halvarsson Lundkvist; Maria Gustavsson; Henrik Kock; Jon Ohlsson; Linköpings universitet; []
    Nyckelord :SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Workplace development programme; workplace learning; social learning system; Arbetsplatslärande; nationella program; sociala lärandesystem;

    Sammanfattning : The thesis focuses on workplace development programmes (WPDPs) that operationalize national policies on workplace development. WPDPs are time-limited and they provide support to organizations that aim to improve their operational performance or employees’ work conditions. LÄS MER

  2. 2. Control of Constrained Dynamical Systems with Performance Guarantees: With Application to Vehicle motion Control

    Författare :Ankit Gupta; Chalmers University of Technology; []
    Nyckelord :Linear fractional transformation; Robust control; Linear parameter varying system; Invariant set; Semi-definite program; Linear matrix inequalities;

    Sammanfattning : In control engineering, models of the system are commonly used for controller design. A standard control design problem consists of steering the given system output (or states) towards a predefined reference. Such a problem can be solved by employing feedback control strategies. LÄS MER

  3. 3. Dynamic Matrix Algorithms and Applications in Convex and Combinatorial Optimization

    Författare :Jan van den Brand; Danupon Na Nongkai; Santosh Vempala; KTH; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; NATURAL SCIENCES; Dynamic Algorithm; Data Structure; Optimization; Linear Program; Bipartite Matching; Shortest Path; Maximum Flow; Minimum Cost Flow; Diameter; Computer Science; Datalogi;

    Sammanfattning : Dynamic algorithms are used to efficiently maintain solutions to problems where the input undergoes some changes.This thesis studies dynamic algorithms that maintain solutions to linear algebra problems and we explore their applications and implications for dynamic graphs and optimization problems. LÄS MER

  4. 4. Automated Theorem Proving in a First-Order Logic with First class Boolean Sort

    Författare :Evgenii Kotelnikov; Chalmers University of Technology; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; first-order logic; program analysis; program verification; TPTP; automated theorem proving; Vampire;

    Sammanfattning : Automated theorem proving is one of the central areas of computer mathematics. It studies methods and techniques for establishing validity of mathematical problems using a computer. The problems are expressed in a variety of formal logics, including first-order logic. LÄS MER

  5. 5. Derivation and application of response functions for nonlinear absorption and dichroisms

    Författare :Tobias Fahleson; Patrick Norman; Daniel Crawford; KTH; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Theoretical spectroscopy; cubic response theory; damped response theory; magnetic circular dichroism; linear birefringence; two-photon absorption; TPA; resonant-inelastic x-ray scattering; RIXS; DALTON program; Teoretisk kemi och biologi; Theoretical Chemistry and Biology;

    Sammanfattning : This thesis is titled ’Derivation and application of response functions for nonlinear absorption and dichroisms’ and was written by Tobias Fahleson at the Division of Theoretical Chemistry & Biology at KTH Royal Institute of Technology in Sweden. It explores and expands upon theoretical means of quantifying a number of nonlinear spectroscopies, including two-photon absorption, resonant inelastic x-ray scattering, Jones birefringence, and magnetic circular dichroism. LÄS MER