Search for dissertations about: "Sequential integer programming"
Found 4 swedish dissertations containing the words Sequential integer programming.
-
1. On Methods for Discrete Topology Optimization of Continuum Structures
Abstract : This thesis consists of an introduction and seven appended papers. The purpose of the introduction is to give an overview of the field of topology optimization of discretized load carrying continuum structures. READ MORE
-
2. Computationally efficient exact remodeling of optimization programs with applications to autonomous driving
Abstract : The future of autonomous vehicles is rapidly approaching and the published and available research, both from vehicle manufacturers and universities, is abundant. This new technology promises less pollution, lower accident rates, decreased congestion and the possibility to relax or work while a vehicle takes you where you need to go. READ MORE
-
3. Calculi for Program Incorrectness and Arithmetic
Abstract : This thesis is about the development and usage of deductive methods in two main areas: (i) the deductive dis-verification of programs, i.e., how techniques for deductive verification of programs can be used to detect program defects, and (ii) reasoning modulo integer arithmetic, i.e. READ MORE
-
4. Optimization-based coordination strategies for connected and autonomous vehicles
Abstract : Automated vehicles (AV) are expected to reach the consumer market within the next decade. Once AVs become ubiquitous, they could resolve difficult traffic situations through communication-based cooperation. READ MORE