calculus - PDFSEARCH.IO - Document Search Engine

calculus
Results: 11790

#	Item
841	Laplacians and Heat Kernels: Theory and Applications (15w5110) Denis Grebenkov (Ecole Polytechnique), Peter Jones (Yale University), Naoki Saito (University of California, Davis– Add to Reading List Source URL: www.birs.ca Language: English - Date: 2015-05-21 21:40:11 Spectral theory Partial differential equations Differential operators Multivariable calculus Fourier analysis Laplace operator Dirichlet eigenvalue Heat kernel Eigenfunction Spectral geometry Eigenvalues and eigenvectors Hearing the shape of a drum
842	Fundamenta Informaticae–19 1 IOS Press Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-08-15 15:31:55 Logic programming Type theory Dependently typed programming Programming language theory Automated theorem proving Higher-order abstract syntax Lambda calculus Substitution Standard ML Env Normalisation by evaluation
843	Computational Finance: Opportunities and challenges for AD Mike Giles Oxford University Mathematical Institute Add to Reading List Source URL: www.autodiff.org Language: English - Date: 2008-08-29 02:28:58 Mathematical finance Stochastic processes Options Stochastic calculus Equations Stochastic differential equation Stochastic volatility BlackScholes model Quantitative analyst Volatility Geometric Brownian motion Computational finance
844	9th AIMS CONFERENCE – ABSTRACTS 142 Special Session 32: Existence and Multiplicity Results in Elliptic Variational Problems Add to Reading List Source URL: www.aimsciences.org Language: English - Date: 2012-06-23 07:34:41 Partial differential equations Dirichlet problem Elliptic operator Calculus of variations P-Laplacian Elliptic curve Laplace operator Variational inequality Elliptic boundary value problem Obstacle problem
845	MATEC Web of Conferences 4 2 , ) DOI: m atecconf0 5 C Owned by the authors, published by EDP Sciences, 2016 Automatic Grasping of a Pole Climbing Robot using a Visual Camera Add to Reading List Source URL: www.matec-conferences.org Language: English Robotics Pipe Differential calculus Integral calculus
846	PDF Document Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Reasoning Arguments Logical consequence Logic Deductive reasoning Syllogism Inference Propositional calculus Validity Premise Reason Inductive reasoning
847	On interpolation in decision procedures⋆ Maria Paola Bonacina and Moa Johansson Dipartimento di Informatica, Universit` a degli Studi di Verona Strada Le Grazie 15, IVerona, Italy Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-03-21 07:54:00 Automated theorem proving Logic in computer science Boolean algebra Electronic design automation Formal methods Craig interpolation Boolean satisfiability problem Unit propagation Resolution Interpolation Propositional calculus Satisfiability modulo theories
848	A Structured Population Model of Cell Differentiation Marie Doumic ∗‡ Anna Marciniak-Czochra† Add to Reading List Source URL: www.rocq.inria.fr Language: English - Date: 2011-09-22 13:58:32 Hematopoiesis Histology Differential equations Multivariable calculus Haematopoiesis Partial differential equation Continuous function Heat equation Lymphopoiesis
849	Adv. Appl. Prob. 46, 766–Printed in Northern Ireland © Applied Probability Trust 2014 A TWO-SIDED LAPLACE INVERSION ALGORITHM WITH COMPUTABLE ERROR BOUNDS AND ITS Add to Reading List Source URL: www.rmi.nus.edu.sg Language: English - Date: 2015-07-02 05:21:34 Integral transforms Fourier analysis Mathematical physics Probability distributions Normal distribution Laplace transform Fourier transform Holomorphic functional calculus
850	Parallel Session 10 Wednesday, July 4 08:00AM-10:00AM Add to Reading List Source URL: www.aimsciences.org Language: English - Date: 2012-06-23 07:35:08 Multivariable calculus Partial differential equation Nonlinear system Equation P-Laplacian Dynamical system

UPDATE