Intro AEIHarmonic Harmonic SBP CP Results Conclusions Constraint Preserving Boundary Treatment for the Einstein Equations in 2nd Order Form Jennifer Seiler Collaborators:

Source URL: jennseiler.com

Event-Semantics Packaging and the Manner/Means Constraint on Algonquian Verbal Stem Structure Conor McDonough Quinn ELDP/MIT* 81st Annual Meeting of the Linguistic Society of America, Hilton Anaheim Hotel

Source URL: www.conormquinn.com

Reusing OCL in a Programming Language Fabian B¨ uttnera,∗, Martin Gogollab a AtlanMod, ´

Source URL: www.db.informatik.uni-bremen.de

• Software
• Computing
• Unified Modeling Language
• ISO standards
• Object Constraint Language
• ECO
• Query language
• Executable UML
• Denotational semantics
• Eclipse
• OCL
• GReAT

Constraint-Based Allocation of Cloud Resources to Maximize Mission Effectiveness Mark Boddy∗ Adventium Labs 111 Third Avenue South, Suite 100 Minneapolis, MNUSA

Source URL: www.adventiumlabs.com

• Mathematical optimization
• Economy
• Business
• Operations research
• Computer algebra systems
• Mathematical modeling
• Mathematics
• Information technology management
• Constraint satisfaction
• AMPL
• Linear programming
• Constraint

Evolutionary constraint facilitates interpretation of genetic variation in resequenced human genomes

Source URL: mendel.stanford.edu

Uncertainty Feature Optimization: an Implicit Paradigm for Problems with Noisy Data Niklaus Eggenberg, Transport and Mobility Laboratory, EPFL Matteo Salani, Transport and Mobility Laboratory, EPFL Michel Bierlaire, Tran

Source URL: www.strc.ch

• Mathematical optimization
• Operations research
• Mathematical analysis
• Analysis
• Applied mathematics
• Stochastic programming
• Robust optimization
• Multi-objective optimization
• Constraint
• Linear programming
• Optimization problem
• Scenario optimization

1 Under consideration for publication in Theory and Practice of Logic Programming As Time Goes By: Constraint Handling Rules A Survey of CHR Research from 1998 to 2007

Source URL: people.cs.kuleuven.be

Evaluating and Debugging OCL Expressions in UML Models Jens Br¨ uning1 , Martin Gogolla2, Lars Hamann2 , and Mirco Kuhlmann2 1 2

Source URL: www.db.informatik.uni-bremen.de

• ECO
• Unified Modeling Language
• Data management
• Where
• OCL
• Class diagram
• Ename
• Software
• Object Constraint Language

Oil & Gas Science and Technology – Rev. IFP, Vol), No. 1, ppc 2009, Institut français du pétrole Copyright  DOI: ogstIFP International Conference

Source URL: ogst.ifpenergiesnouvelles.fr

• Mathematical optimization
• Operations research
• Systems science
• Equations
• Systems theory
• Numerical analysis
• Optimal control
• Dynamic programming
• Constraint
• Bellman equation

doi: Constraint Satisfaction Problems and Global Cardinality Constraints By Andrei A. Bulatov and Dániel Marx

Source URL: www.cs.bme.hu