PROPT - PDFSEARCH.IO - Document Search Engine

PROPT
Results: 116

#	Item
31	Automatically Generating Problems and Solutions for Natural Deduction Umair Z. Ahmed IIT Kanpur Sumit Gulwani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-04-24 00:34:28 Propositional calculus Mathematical logic Logical truth Rule of inference Natural deduction Algorithm Maths24 PROPT Logic Deduction Proof theory
32	contributed articles DOI:Example-based reasoning techniques developed for programming languages also help automate repetitive tasks in education. Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-07-25 01:07:44 Software Application software Digital media Maths24 Mega Man X4 Numerical software PROPT
33	PDF Document Add to Reading List Source URL: www.statslab.cam.ac.uk Language: English - Date: 2014-09-15 08:19:42 Optimal control Cybernetics Equations Operations research Bellman equation Hamiltonian Dynamic programming Sheaf PROPT Control theory Mathematical optimization Systems theory
34	A maximisation problem Advanced Algorithms – COMS31900Lecture 14 Linear programming Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-03-11 09:18:21 Operations research Duality Numerical software PROPT Mathematical optimization Convex optimization Linear programming
35	Advanced Algorithms – COMS31900Lecture 14 Linear programming Markus Jalsenius Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-03-11 09:18:21 Linear programming Operations research Theoretical computer science Numerical software Trade study PROPT Applied mathematics Mathematics Convex optimization
36	Quantum Computing: NMR and Otherwise • The NMR paradigm • Add to Reading List Source URL: hrl.harvard.edu Language: English - Date: 2003-07-10 17:54:17 Nuclear magnetic resonance PROPT
37	INSTITUTE OF PHYSICS PUBLISHING Inverse Problems–991 INVERSE PROBLEMS PII: S0266 Add to Reading List Source URL: links.uwaterloo.ca Language: English - Date: 2007-07-18 17:57:35 Differential equations Derivative Linear differential equation Analysis Optimal control Radial basis function network PROPT Mathematical analysis Mathematics Differential calculus
38	1 Optimal Control Concepts for Systems K. Renee Fister Add to Reading List Source URL: www.math.utk.edu Language: English - Date: 2003-11-14 12:50:36 Optimal control Mathematical optimization State space PROPT Control theory Systems theory Cybernetics
39	PDF Document Add to Reading List Source URL: iscsb2015.lboro.ac.uk Language: English - Date: 2015-03-26 10:31:38 Mathematical optimization Optimal control Numerical software Operations research MATLAB Collocation method Control theory Gauss pseudospectral method PROPT Numerical analysis Applied mathematics Science
40	Optimization Algorithms, Implementations Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2009-09-15 12:00:50 Operations research Gradient descent Gradient method Penalty method Conjugate gradient method Constraint optimization PROPT Multidisciplinary design optimization Numerical analysis Numerical linear algebra Mathematical optimization