Calculus - PDFSEARCH.IO - Document Search Engine

Calculus
Results: 11790

#	Item
571	SPECIAL SESSIONSpecial Session 29: Self-Organized Behavior of Nonlinear Elliptic Equations and Pattern Formation of Strongly Interacting Systems Add to Reading List Source URL: www.aimsciences.org Language: English - Date: 2012-06-23 07:34:38 Partial differential equations Mathematical analysis Calculus Mathematics Nonlinear system Singular perturbation Calculus of variations Free boundary problem Asymptotic analysis MongeAmpre equation Dirichlet problem
572	A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Mathematics Declarative programming Lambda calculus Functional programming Functions and mappings Let expression Embedding Monad Anonymous function
573	REVIEW SHEET FOR MIDTERM 1: BASIC MATH 195, SECTION 59 (VIPUL NAIK) We will not be going over this sheet, but rather, we’ll be going over the advanced review sheet in the session. Please review this sheet on your own t Add to Reading List Source URL: files.vipulnaik.com Language: English - Date: 2016-08-13 11:33:29 Algebra Mathematics Vectors Geometry Analytic geometry Vector calculus Linear algebra Euclidean vector Vector-valued function Two-dimensional space Tangent vector Cross product
574	c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-06-23 21:20:00 Software engineering Theoretical computer science Logic Logic programming Models of computation Functional languages Computability theory Lambda calculus Substitution Standard ML Higher-order abstract syntax Security type system
575	88 Wednesday, July 4, 13:30PM-15:30PM Wednesday, July 4 Add to Reading List Source URL: www.aimsciences.org Language: English - Date: 2012-06-23 07:35:08 Calculus Physics Mathematics Partial differential equations Multivariable calculus Equation NavierStokes equations Nonlinear system
576	Math 19B (Online) Calculus for Science Engineering and Mathematics University of California Santa Cruz Instructors and Course Creators Add to Reading List Source URL: www.uconline.edu Language: English - Date: 2016-02-10 12:27:01 Education Integral calculus Mathematics education Teaching Educational psychology Curricula Educational technology Calculus Antiderivative Integral Improper integral Trigonometry
577	Computation of Rotation Minimizing Frames 2 WENPING WANG University of Hong Kong ¨ Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-08-04 08:35:24 Differential geometry Mathematics Geometry Mathematical analysis Curves Curvature Connection Multivariable calculus FrenetSerret formulas Differential geometry of curves Moving frame Torsion tensor
578	Parameterized Interfaces for Open System Verification of Product Lines∗ Colin Blundell University of Pennsylvania Kathi Fisler WPI Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-10-28 09:30:27 Theoretical computer science Logic Mathematical logic Formal methods Logic in computer science Boolean algebra Hardware verification languages Model checking Temporal logic Formal verification Propositional calculus E
579	Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Lambda calculus Subroutines Functional languages Literate programming Monad Let expression Glasgow Haskell Compiler Anonymous function
580	USC GEOL557: Numerical Modeling of Earth Systems Spring 2016 Instructor Prof. Thorsten W. Becker (ZHS269; (; ), with help from Dr. Rob Porritt Add to Reading List Source URL: www-udc.ig.utexas.edu Language: English - Date: 2016-04-16 13:32:07 Calculus Mathematical analysis Partial differential equations Mathematics Computational science Numerical analysis Finite element method Structural analysis Differential equation Multigrid method Numerical partial differential equations Meshfree methods

UPDATE