Showing 1 - 20 results of 85 for search '"programming"', query time: 0.09s Refine Results
  1. 1
    Convex Optimization Approaches for NMR Assignment
    Subjects: “...Linear programming...”
    Get full text
    Academic dissertations (Ph.D.)
    Save to List
    Saved in:
  2. 2
    Algorithms for Vector Optimization Problems
    by Ulus, Firdevs
    Published 2015
    Subjects: “...Convex Programming...”
    Get full text
    Academic dissertations (Ph.D.)
    Save to List
    Saved in:
  3. 3
    Synthesizing Lenses
    by Miltner, Anders
    Published 2020
    Subjects: “...Bidirectional Programming...”
    Get full text
    Academic dissertations (Ph.D.)
    Save to List
    Saved in:
  4. 4
    Operational Refinement for Compiler Correctness
    by Dockins, Robert William
    Published 2012
    Subjects: “...programming languages...”
    Get full text
    Academic dissertations (Ph.D.)
    Save to List
    Saved in:
  5. 5
    Non-Unique Games Over Compact Groups and Applications
    by Chen, Yutong
    Published 2018
    Subjects: “...semidefinite programming...”
    Get full text
    Academic dissertations (Ph.D.)
    Save to List
    Saved in:
  6. 6
    Static Dependence Analysis in an Infrastructure for Automatic Parallelization
    by Johnson, Nick P.
    Published 2015
    Subjects: “...Programming Language...”
    Get full text
    Academic dissertations (Ph.D.)
    Save to List
    Saved in:
  7. 7
    Abstractions for Software-defined Networks
    by Schlesinger, Cole
    Published 2015
    Subjects: “...programming languages...”
    Get full text
    Academic dissertations (Ph.D.)
    Save to List
    Saved in:
  8. 8
    A Proof Theory for Loop-Parallelizing Transformations
    by Bell, Christian James
    Published 2014
    Subjects: “...programming languages...”
    Get full text
    Academic dissertations (Ph.D.)
    Save to List
    Saved in:
  9. 9
    Stochastic Dual Dynamic Programming and Backward Approximate Dynamic Programming with Integrated Crossing State Stochastic Models for Wind Power in Energy Storage Optimization
    by Durante, Joseph Lawrence
    Published 2020
    Subjects: “...Backward Approximate Dynamic Programming...”
    Get full text
    Academic dissertations (Ph.D.)
    Save to List
    Saved in:
  10. 10
    Multistage Stochastic Programming with Parametric Cost Function Approximations
    by Perkins, Raymond Theodore
    Published 2018
    Subjects: “...Stochastic Programming...”
    Get full text
    Academic dissertations (Ph.D.)
    Save to List
    Saved in:
  11. 11
    Risk-Neutral and Risk-Averse Approximate Dynamic Programming Methods
    by Jiang, Daniel Ruoling
    Published 2016
    Subjects: “...approximate dynamic programming...”
    Get full text
    Academic dissertations (Ph.D.)
    Save to List
    Saved in:
  12. 12
    Computation Improves Interactive Symbolic Execution
    by Dodds, Joey
    Published 2015
    Subjects: “...Programming Languages...”
    Get full text
    Academic dissertations (Ph.D.)
    Save to List
    Saved in:
  13. 13
    Optimization over Nonnegative and Convex Polynomials with and without Semidefinite Programming
    by Hall, Georgina
    Published 2018
    Subjects: “...Semidefinite programming...”
    Get full text
    Academic dissertations (Ph.D.)
    Save to List
    Saved in:
  14. 14
    Quantile Optimization in the Presence of Heavy-Tailed Stochastic Processes, and an application to Electricity Markets
    by Kim, Jae Ho
    Published 2011
    Subjects: “...dynamic programming...”
    Get full text
    Academic dissertations (Ph.D.)
    Save to List
    Saved in:
  15. 15
    Assertions for Debugging Parallel Programs
    by Schwartz-Narbonne, Daniel
    Published 2013
    Subjects: “...Parallel Programming...”
    Get full text
    Academic dissertations (Ph.D.)
    Save to List
    Saved in:
  16. 16
    Semidefinite Representations in Semialgebraic Optimization and Dynamics-Oriented Learning
    by El Khadir, Bachir
    Published 2020
    Subjects: “...Semidefinite programming...”
    Get full text
    Academic dissertations (Ph.D.)
    Save to List
    Saved in:
  17. 17
    On the Geometric Structure of Problems in Statistics and Optimization
    by Pumir, Thomas
    Published 2020
    Subjects: “...Semidefinite Programming...”
    Get full text
    Academic dissertations (Ph.D.)
    Save to List
    Saved in:
  18. 18
    Novel Global Optimization Methods: Theoretical and Computational Studies on Pooling Problems with Environmental Constraints
    by Misener, Ruth
    Published 2012
    Subjects: “...quadratically-constrained quadratic programming...”
    Get full text
    Academic dissertations (Ph.D.)
    Save to List
    Saved in:
  19. 19
    Verified Optimizations for Functional Languages
    by Paraskevopoulou, Zoe
    Published 2021
    Subjects: “...functional programming languagegs...”
    Get full text
    Academic dissertations (Ph.D.)
    Save to List
    Saved in:
  20. 20
    Concurrent Permission Machine for modular proofs of optimizing compilers with shared memory concurrency.
    by Cuellar, Santiago
    Published 2020
    Subjects: “...Programming Languages...”
    Get full text
    Academic dissertations (Ph.D.)
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search