calculus - PDFSEARCH.IO - Document Search Engine

calculus
Results: 11790

#	Item
381	arXiv:0712.2401v1 [math.PR] 14 DecLarge Deviations for Riesz Potentials of Additive Processes Richard Bass∗ Xia Chen† Jay Rosen‡ February 18, 2013 Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-02-22 14:37:37 Mathematics Mathematical analysis Algebra Spectral theory Holomorphic functional calculus Table of stars with Bayer designations
382	PHYSICS MINOR Total credits required for the minor in physics = 17 credit hours Required courses (11 credits) PHY 2048/2048L (Calculus-based Physics I w/ Lab) - 4 cr. PHY 2049/2049L (Calculus-based Physics II w/ Lab) - 4 Add to Reading List Source URL: physics.usf.edu Language: English - Date: 2016-01-29 20:43:06 PHY Physics
383	SummerCalculus II (Math 227) Mon 06/21: Introduction, syllabus, Riemann sums. Tu 06/22: Limits of Riemann sums, definite integral, FTC. Add to Reading List Source URL: userwww.sfsu.edu Language: English - Date: 2010-08-09 18:58:59 Mathematical analysis Integral calculus Mathematics Mathematical series Integral Improper integral Comparison test Absolute convergence Pi
384	An Introduction to Logical Relations Proving Program Properties Using Logical Relations Lau Skorstengaard Contents Add to Reading List Source URL: www.cs.uoregon.edu Language: English - Date: 2016-06-30 02:06:10 Theoretical computer science Mathematical logic Computer science Logic in computer science Lambda calculus Models of computation Proof theory Computability theory Simply typed lambda calculus Natural deduction CurryHoward correspondence
385	Final test: Type Theory and Coqjanuary 2011, 10:30–12:30, HG00.308 The mark for this test is the total number of points divided by ten, where the first 10 points are free. 1. Give a term of the simply typed la Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-18 05:58:42 Mathematical logic Logic Type theory Theoretical computer science Lambda calculus Dependently typed programming Proof theory Logic in computer science CurryHoward correspondence Dependent type System F Simply typed lambda calculus
386	AAAI Proceedings Template Add to Reading List Source URL: qr15.sift.net Language: English - Date: 2015-08-11 09:14:44 Knowledge representation Reasoning Constraint programming Cognition Computational topology Region connection calculus Mathematics Cognitive science Logic
387	How Euler Did It by Ed Sandifer Euler and the Pirates April 2009 We sometimes celebrate the first of April with a column on the lighter side of Euler scholarship. We continue that occasional tradition with some stories i Add to Reading List Source URL: eulerarchive.maa.org Language: English - Date: 2013-11-04 12:20:24 Number theorists Academia Mathematics Swiss people Calculus of variations Leonhard Euler Number theory Principle of least action Euler Society Euler Powder of sympathy Pierre de Fermat
388	Evolution of Partial Evaluators: Removing Inherited Limits Torben . Mogensen DIKU, University of Copenhagen, Denmark Abstract. We show the evolution of partial evaluators over the past ten Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Functional programming Lambda calculus Computing Computer programming Control flow Eval Anonymous function Apply
389	199 Doc. Math. J. DMV Remarks on Quenching Bernd Kawohl Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-07-13 07:29:14 Calculus Heat equation Heat transfer Parabolic partial differential equation Mathematical analysis Differential equations Partial differential equation Hyperbolic partial differential equation
390	To appear in Express’99. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Lucian J. Wischik and Philippa Gardner, May 1999 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:53:14 Process calculi Theoretical computer science Mathematical logic Mathematics Lambda calculus -calculus Calculus Combinatory logic Sequent Process calculus

UPDATE