Program Analysis Using Mixed Term and Set Constraints Manuel Fahndrich? and Alexander Aiken? EECS Department University of California, Berkeley?? Abstract. There is a tension in program analysis between precision and e

Source URL: theory.stanford.edu

Solving Systems of Set Constraints (Extended Abstract) Alexander Aiken Edward L. Wimmers

Source URL: theory.stanford.edu

Efficient Reasoning with Range and Domain Constraints Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|horrocks}@cs.man.ac.uk

Source URL: www.cs.man.ac.uk

• Mathematics
• Logic
• Mathematical logic
• Algebraic structures
• Model theory
• Z notation
• Topology
• S
• Set theory
• Lattice
• Ring
• Axiom

Optimality of sequential screening with multiple units and ex post participation constraints Daniel Krähmer∗and Roland Strausz† First version: September 10, 2015 This version: March 1, 2016

Source URL: www.wiwi.uni-bonn.de

• Estimation theory
• Statistical theory

TOWARDS A METHOD FOR IDENTIFYING COMPLEX SYSTEM CONSTRAINTS IMPACTING PERFORMANCE OF NASA AERONAUTICS MISSIONS Student: Polinpapilinho F. Katina., M.Eng. Advisor: Charles B. Keating., Ph.D. Department of Engineering Man

Source URL: www.vsgc.odu.edu

• Systems science
• Cybernetics
• Systems
• Occupations
• Systems engineering
• Metaphysics
• Complex systems
• Systems theory
• Philosophy

VOILAND COLLEGE OF ENGINEERING AND ARCHITECTURE Engineering and Technology Management   COURSE SYLLABUS

Source URL: etm.wsu.edu

• Theory of constraints
• Process management
• Business
• Professional studies
• Management
• Leadership
• Marketing
• Thinking processes
• Lean
• Business process management
• Index of articles related to the theory of constraints
• Eliyahu M. Goldratt

Under consideration for publication in Theory and Practice of Logic Programming 1 SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers∗

Source URL: www.dcs.bbk.ac.uk

• Mathematics
• Multiset
• Set
• Path ordering
• Theoretical computer science
• Computing

Dynamic equilibrium with heterogeneous agents and risk constraints Rodolfo Prieto∗ November 2009 Abstract We examine the impact of risk-based portfolio constraints on asset prices in a standard exchange economy model w

Source URL: www.hec.unil.ch

• Economy
• Mathematical finance
• Finance
• Money
• Economic equilibrium
• Portfolio optimization
• General equilibrium theory
• Mathematical optimization
• Risk premium
• Financial risk
• Incomplete markets
• Stochastic volatility

Minimization of Symmetric Submodular Functions under Hereditary Constraints J.A. Soto (joint work with M. Goemans) DIM, Univ. de Chile

Source URL: www.dim.uchile.cl

• Graph theory
• Mathematics
• Submodular set function
• Graph coloring
• Spanning tree
• Combinatorial optimization

A Note on Boundary Constraints for Linear Variational Surface Design Andrew Nealen TU Berlin Abstract This note presents a proof for the subspace property of linear variational methods for fair surface design. Specifical

Source URL: igl.ethz.ch

• Algebra
• Mathematics
• Matrices
• Linear algebra
• Algebraic graph theory
• Operator theory
• Functional analysis
• Laplacian matrix
• Matrix
• Linear subspace
• Collinearity