Calculus - PDFSEARCH.IO - Document Search Engine

Calculus
Results: 11790

#	Item
921	Crafting a Repository of Knowledge Based on Transformation Rules A.D. Rich (1) and D.J. JeffreyLoli’i Way, Kamuela, Hawaii, USA. Add to Reading List Source URL: www.apmaths.uwo.ca Language: English - Date: 2009-04-06 23:30:16 Elementary algebra Computer algebra Symbolic computation Expression Identity Computer algebra system Algebraic expression Integral Trigonometric functions Draft:Formulae Lambda calculus definition
922	Kat - the language of calculations Mikus Vanags Parameter declaration explicitly Add to Reading List Source URL: www.issac-symposium.org Language: English - Date: 2015-07-08 07:22:21 Lambda calculus Subroutines Functional programming Data types Anonymous function Parameter Implicit function Church encoding
923	CONCURThe Benefits of Sometimes Not Being Discrete Jane Hillston LFCS, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-09-02 12:04:09 Process calculus Model checking Stochastic processes Models of computation Markov models
924	Linear Equations Stephen Boyd EE103 Stanford University October 7, 2015 Add to Reading List Source URL: stanford.edu Language: English - Date: 2015-10-07 23:56:46 Differential calculus Mathematical analysis Group theory Vector space Vectors Derivative Linear equation Affine transformation Linear function Linear algebra Linear regression
925	The Topics Type Inference, Higher Order Algebra, and Lambda Calculus Type Inference: how to find the possible type(s) of expressions, without Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-12-11 16:14:47 Lambda calculus Type theory Higher-order functions Programming language comparisons Logic in computer science Anonymous function Type inference Propositional calculus Map Unification Fold Calculus
926	Universit¨at Wien SS 2016 Fakult¨at f¨ ur Mathematik Christa Cuchiero Ludovic Tangpi Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2016-05-09 02:56:08 Stochastic processes Martingale theory Martingale Local martingale Brownian motion It diffusion It calculus
927	Internal draft. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Philippa Gardner and Lucian J. Wischik Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:53:16 Theoretical computer science Computability theory Logic in computer science Lambda calculus Process calculi Combinatory logic -calculus Substitution Group action Binary relation Equivalence relation FO
928	Lab 10: Modeler Introduction In this lab you will implement 3D interaction controls for a simple 3D modeling program. This lab relies on concepts from Camtrans, Sceneview and Intersect. Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-11-22 16:34:23 Matrices Transformation Vector calculus Computer graphics Rotational symmetry Rotation matrix Transformation matrix Rotation Euclidean vector Axisangle representation Cross product Rotation group SO
929	The SmPL Grammar (versionResearch group on Coccinelle June 3, 2016 This document presents the grammar of the SmPL language used by the Coccinelle tool. For the most part, the grammar is written using standard no Add to Reading List Source URL: coccinelle.lip6.fr Language: English Syntax Metalogic Metavariable Functional languages Logical truth Propositional calculus Rule of inference Identifier OCaml Coccinelle Cascading Style Sheets Reserved word
930	Yiannis Koutis University of Puerto Rico, Rio Piedras joint with Gary Miller, Richard Peng Carnegie Mellon University Add to Reading List Source URL: mmds-data.org Language: English - Date: 2016-03-09 01:29:59 Fourier analysis Laplace operator Multivariable calculus Shang-Hua Teng Discrete Laplace operator

UPDATE