Sökning: "linear program"
Visar resultat 1 - 5 av 174 avhandlingar innehållade orden linear program.
1. Learning Dynamics of Workplace Development Programmes : Studies in Swedish national programmes
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. Control of Constrained Dynamical Systems with Performance Guarantees: With Application to Vehicle motion Control
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. Dynamic Matrix Algorithms and Applications in Convex and Combinatorial Optimization
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. Automated Theorem Proving in a First-Order Logic with First class Boolean Sort
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. Derivation and application of response functions for nonlinear absorption and dichroisms
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