calculus

Results: 11790



#Item
911Computability theory / Theoretical computer science / Formal methods / Models of computation / Lambda calculus / Eval / Scheme / Env / Interpreter / Anonymous function / Halting problem / Turing machine

Microsoft PowerPoint - universal_machinesv2.ppt

Add to Reading List

Source URL: sicp.csail.mit.edu

Language: English - Date: 2005-12-08 08:45:06
912Integral calculus / Integral / Calculus / Antiderivative / MML / Improper integral / Integration by substitution

SummerCalculus II (Math 227) Week 1: 06/24 : Introduction. Definite integrals and the fundamental theorem.

Add to Reading List

Source URL: userwww.sfsu.edu

Language: English - Date: 2013-08-07 18:19:34
913Constraint programming / Constraint satisfaction problem / Lambda calculus / Constraint / Constraint logic programming / Constraint satisfaction

Binding-Time Analysis for Standard ML Lars Birkedal & Morten Welinder DIKU, Department of Computer Science University of Copenhagen DK–2100 Copenhagen Ø, Denmark Email: &

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:04:46
914Mathematical optimization / Operations research / Multivariable calculus / Mathematical analysis / Differential calculus / Global optimization / Maxima and minima / Image segmentation / Critical point / Stationary point / Linear programming

Fast and Memory-Efficient Topological Denoising of 2D and 3D Scalar Fields David Günther, Alec Jacobson, Jan Reininghaus, Hans-Peter Seidel, Olga Sorkine-Hornung, Tino Weinkauf (a) Noisy input scalar field.

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2016-05-19 11:59:40
915Physical quantities / Conservation laws / Classical mechanics / Vector calculus / VPython / Euclidean vector / Momentum / Equations of motion / Physics / Angular momentum / Field / Computational science

Computational physics in the introductory calculus-based course Ruth Chabaya兲 and Bruce Sherwoodb兲 Department of Physics, North Carolina State University, Raleigh, North Carolina 27695 共Received 28 September 2007;

Add to Reading List

Source URL: matterandinteractions.org

Language: English
916Lambda calculus / Anonymous function / Lambda lifting / Lambda calculus definition

Microsoft PowerPoint - Lect14lecture_env3.ppt

Add to Reading List

Source URL: sicp.csail.mit.edu

Language: English - Date: 2005-11-01 06:30:49
917Control theory / Systems theory / Mathematical optimization / Optimal control / Model predictive control / State-space representation / Lyapunov stability / Dynamical system / Linear system / Kalman filter / Holomorphic functional calculus

MITSUBISHI ELECTRIC RESEARCH LABORATORIES http://www.merl.com Stability and feasibility of MPC for switched linear systems with dwell-time constraints Bridgeman, L.; Danielson, C.; Di Cairano, S.

Add to Reading List

Source URL: www.merl.com

Language: English - Date: 2016-07-07 10:52:35
918Functions and mappings / Integral calculus / Integral / Lebesgue integration / Limit of a function / Differential calculus / Casio graphic calculators / Derivative

Integration This resource sheet is designed for use with the Casio fx-CG20. However it can be used with the Casio fx-9860GII or the Casio fx-9750GII although there may be some differences in the key sequences needed and

Add to Reading List

Source URL: www.casiomedia.co.uk

Language: English - Date: 2011-12-19 08:57:42
919Ontology / Proof theory / Methods of proof / Automated theorem proving / Abox / Tbox / Sequent / Method of analytic tableaux / Description logic / Calculus / Blocking

Optimized Description Logic Reasoning via Core Blocking Birte Glimm, Ian Horrocks, and Boris Motik Oxford University Computing Laboratory, UK Abstract. State of the art reasoners for expressive description logics, such

Add to Reading List

Source URL: www.hermit-reasoner.com

Language: English - Date: 2012-02-03 12:06:02
920Kennesaw State University / Kennesaw /  Georgia / Marietta /  Georgia / Calculus

7P Kennesaw State University and Georgia Highlands College TRANSFER ARTICULATION AGREEMENT Associate of Science in Business Administration

Add to Reading List

Source URL: transfer.kennesaw.edu

Language: English - Date: 2016-06-21 16:28:29
UPDATE