Bridging the Gap: Towards Optimization Across Linear and Relational Algebra Andreas Kunft Alexander Alexandrov

Source URL: www.user.tu-berlin.de

123 Documenta Math. Discrete Optimization Stories

Source URL: documenta.sagemath.org

TechnologyInformationBrief GRE Optimization Automatic Optimization of GRE Encapsulated Traffic GRE Optimization is a feature of XipLink XA appliances that provide optimization of TCP/IP, encapsulated in Generic Routing E

Source URL: www.xiplink.com

Timed-Elastic-Bands for Time-Optimal Point-To-Point Nonlinear Model Predictive Control

Source URL: www.rst.e-technik.tu-dortmund.de

• Mathematical optimization
• Control theory
• Systems science
• Academia
• Cybernetics
• Systems theory
• Operations research
• Model predictive control
• Dynamic programming
• Optimal control
• Trajectory optimization
• Sequential quadratic programming

DOC Document

Source URL: people.hss.caltech.edu

• Economy
• Economics
• Equations
• Mathematical optimization
• Consumer behaviour
• Consumer theory
• Income
• Intertemporal choice
• Permanent income hypothesis
• Bellman equation
• Behavioral economics
• Precautionary savings

RATE-DISTORTION BASED MODE SELECTION FOR VIDEO CODING OVER WIRELESS NETWORKS WITH BURST LOSSES Yiting Liao and Jerry D. Gibson Department of Electrical and Computer Engineering University of California, Santa Barbara, CA

Source URL: vivonets.ece.ucsb.edu

• Video
• Video compression
• Digital media
• Digital television
• Data compression
• Videotelephony
• Noise
• ISO standards
• Video quality
• Peak signal-to-noise ratio
• H.264/MPEG-4 AVC
• Ratedistortion optimization

Buffer Pool Aware Query Optimization Ravishankar Ramamurthy David J. DeWitt Department of Computer Sciences, University of Wisconsin-Madison Madison, USA

Source URL: www-db.cs.wisc.edu

• Data management
• Computing
• Software
• Database management systems
• SQL
• Database theory
• Query optimization
• Join
• Query plan
• Extensible Storage Engine
• Full table scan
• Database index

On Solving Boolean Multilevel Optimization Problems∗ Josep Argelich INESC-ID Lisbon

Source URL: www.mancoosi.org

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Operations research
• Logic in computer science
• Mathematical optimization
• NP-complete problems
• Boolean algebra
• Maximum satisfiability problem
• Boolean satisfiability problem
• Constraint satisfaction
• Solver

The Ellipsoid Method: A Survey

Source URL: bioinfo.ict.ac.cn

• Mathematics
• Mathematical optimization
• Operations research
• Computational complexity theory
• Linear programming
• Convex optimization
• Complexity classes
• Combinatorial optimization
• Ellipsoid method
• Leonid Khachiyan
• Simplex algorithm
• Ellipsoid

Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA

Source URL: peek.uwplse.org

• Computing
• Software engineering
• Software
• Compiler optimizations
• Programming language implementation
• Compiler construction
• Formal methods
• Logic in computer science
• CompCert
• Low-level programming language
• Peephole optimization
• Formal verification