Sökning: "sum-of-squares methods"
Hittade 3 avhandlingar innehållade orden sum-of-squares methods.
1. Stochastic Event-Based Control and Estimation
Sammanfattning : Digital controllers are traditionally implemented using periodic sampling, computation, and actuation events. As more control systems are implemented to share limited network and CPU bandwidth with other tasks, it is becoming increasingly attractive to use some form of event-based control instead, where precious events are used only when needed. LÄS MER
2. Combinatorial Methods in Complex Analysis
Sammanfattning : The theme of this thesis is combinatorics, complex analysis and algebraic geometry. The thesis consists of six articles divided into four parts.Part A: Spectral properties of the Schrödinger equationThis part consists of Papers I-II, where we study a univariate Schrödinger equation with a complex polynomial potential. LÄS MER
3. On Long Proofs of Simple Truths
Sammanfattning : Propositional proof complexity is the study of certificates of infeasibility. In this thesis we consider several proof systems with limited deductive ability and unconditionally show that they require long refutations of the feasibility of certain Boolean formulas. LÄS MER