calculus - PDFSEARCH.IO - Document Search Engine

calculus
Results: 11790

#	Item
311	Uniqueness Typing Simplified Edsko de Vries1⋆ , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Software engineering Computer programming Computing Type theory Data types Functional programming Subroutines Lambda calculus Subtyping Const Unification Type system
312	70 Tuesday, July 3, 16:00PM-18:30PM Tuesday, July 3 Special Add to Reading List Source URL: www.aimsciences.org Language: English - Date: 2012-06-23 07:35:12 Calculus Physics Mathematics Multivariable calculus Partial differential equation Nonlinear system Dynamical system NavierStokes equations Equation
313	Register Date Title Regularity of fractional maximal functions and extremal timpa Acfunctions of exponential type Add to Reading List Source URL: www.impa.br Language: English - Date: 2016-05-19 11:10:17 Mathematics Calculus Algebra Dynamical systems Multivariable calculus Partial differential equation Algebraic geometry Complex number Integrable system Abstract algebra Nonlinear system Representation theory
314	U:MDLPDE•5-ISSUESLPDE-40(5)LPDE992533FORONLINE.DVI Add to Reading List Source URL: www.siltanen-research.net Language: English - Date: 2016-04-09 05:05:13 Mathematical analysis Calculus Mathematics Differential equations Generalized functions Functional analysis Spectral theory Heat equation Heat transfer Distribution Partial differential equation Heat kernel
315	Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries Computer Science Dept. Trinity College Dublin College Green, Dublin 2 Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Process calculi Theoretical computer science -calculus State-space representation Mathematics Academia Abstraction
316	Rigorous Development of Ambient Campus Applications that can Recover from Errors Budi Arief, Alexei Iliasov, and Alexander Romanovsky School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne NE Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-07-13 11:23:26 Computing Systems science Engineering Multi-agent systems Artificial intelligence Complex systems theory Simulation Ambient calculus Process calculi Agent-based model Ambient intelligence Software agent
317	original article http://www.kidney-international.org & 2006 International Society of Nephrology A novel approach for accurate prediction of Add to Reading List Source URL: eceweb.ucsd.edu Language: English - Date: 2015-07-31 19:00:24 Medicine Clinical medicine Statistical classification Support vector machine Kernel method Renal colic Kidney stone disease Machine learning Extracorporeal shock wave lithotripsy Calculus Artificial neural network Urology
318	PML : A new proof assistant and deduction system Christophe Raffalli LAMA Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2007-07-02 08:10:34 Type theory Theoretical computer science Mathematical logic Programming language theory Lambda calculus Formal methods Logic in computer science CurryHoward correspondence HindleyMilner type system Simply typed lambda calculus Type system Proof assistant
319	14. Calculus and Linear Algebra Po-Shen Loh CMU Putnam Seminar, Fall Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2012-12-05 20:42:31 Mathematical analysis Mathematics Analysis Functions and mappings Derivative Differential calculus Rates Root of unity

UPDATE