Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
191	Path Constraints on Semistructured and Structured Data Peter Buneman University of Pennsylvania Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:14 Constraint programming Mathematical optimization Constraint satisfaction Theoretical physics First class constraint
192	Generating tractable CSPs by means of adjoint functors Jan Foniok joint work with Claude Tardif Fête of Combinatorics and Computer Science Add to Reading List Source URL: www.ifor.math.ethz.ch Language: English - Date: 2008-11-18 08:48:31 Graph theory Mathematics Constraint programming Discrete mathematics Morphisms Constraint satisfaction problem Graph homomorphism Constraint satisfaction Complexity of constraint satisfaction Graph minor
193	THE JOURNAL OF CHEMICAL PHYSICS 126, 046101 共2007兲 A common, avoidable source of error in molecular dynamics integrators Ross A. Lippert, Kevin J. Bowers, Ron O. Dror, Michael P. Eastwood, Brent A. Gregersen, John L Add to Reading List Source URL: www.deshawresearch.com Language: English - Date: 2010-09-27 16:06:44 Chemistry Computational chemistry Computational science Constraint algorithm Molecular dynamics
194	Rules – Models - Data OCL Workshop, September 2012 Experiences using OCL for Business Rules on Financial Data Author: David Garry Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-11-05 03:52:07 Economy Glashtte Nomos Glashtte OCL Nomos FpML Computing Object Constraint Language
195	Boolean Lexicographic Optimization Joao Marques-Silva1 , Josep Argelich2 , Ana Grac¸a3 , and Inˆes Lynce3 1 2 CSI/CASL, University College Dublin, Ireland Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-18 11:55:34 Theoretical computer science Mathematics Mathematical optimization Numerical analysis Combinatorial optimization Operations research Constraint programming Logic in computer science Maximum satisfiability problem Linear programming Constrained optimization Solver
196	Application Form, free of charge, for Share Warrants Cell Constraint & Cancer SA SA capital of € 181,RCS TarasconHeadquarters : Le Mas L’Hermite, 331 chemin de la Poterie, F13280 Raphèle-les-Arl Add to Reading List Source URL: www.cellconstraintcancer.com Language: English - Date: 2015-07-01 11:55:31 Economy Money Finance Corporate finance Equity securities Options Warrant Subscription business model Cell C Tarascon
197	Rectangular Decomposition of Binary Images Tom´ aˇs Suk, Cyril H¨oschl IV, and Jan Flusser Institute of Information Theory and Automation of the ASCR, Pod vod´ arenskou vˇeˇz´ı 4, Praha 8, Czech Republic Add to Reading List Source URL: library.utia.cas.cz Language: English - Date: 2012-08-15 08:16:50 Graph theory Mathematics Matroid theory Constraint programming Decomposition method Quadtree Tree decomposition Ear decomposition Decomposition
198	Rules – Models - Data Case Study Financial Reporting for the Regulatory Authorities - A Strategic Approach Challenge Add to Reading List Source URL: nomos-software.com Language: English - Date: 2012-08-30 10:52:04 Unified Modeling Language Data modeling Data model Object Constraint Language Business process modeling ACT Conceptual model Object Management Group Nomos Glashtte Computing Operations research Abstraction
199	A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh1 , Katsumi Inoue12 , Naoyuki Tamura3 , Mutsunori Banbara3 , and Hidetomo Nabeshima4 1 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 03:03:05 Theoretical computer science Computational complexity theory Mathematics Constraint programming Numerical software Automated theorem proving DPLL algorithm Packing problems Solver Constraint satisfaction Reduction Algorithm
200	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:45:21 Theoretical computer science Mathematical logic Mathematics Logic programming Logic in computer science Automated theorem proving Formal methods Unification Lambda calculus Constraint logic programming Conjunctive normal form

UPDATE