calculus - PDFSEARCH.IO - Document Search Engine

calculus
Results: 11790

#	Item
481	Parabolic1Dresubmitted5.dvi Add to Reading List Source URL: www.siltanen-research.net Language: English - Date: 2016-04-12 07:26:27 Mathematical analysis Mathematics Calculus Spectral theory Ordinary differential equations Operator theory Heat equation Heat transfer Linear algebra Differential forms on a Riemann surface Spectral theory of ordinary differential equations
482	Expressive Logical Combinators for Free Pierre Genevès (CNRS) Joint work with Alan Schmitt (Inria) IJCAI, July 30th 2015, Buenos Aires Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-07-29 15:55:34 Logic Theoretical computer science Logic in computer science Mathematics Lambda calculus Formal languages Mathematical logic Syntax Combinatory logic FO Well-formed formula Logic programming
483	J Algebr Comb DOIs10801On the third secant variety ´ Jarosław Buczynski Add to Reading List Source URL: www.math.tamu.edu Language: English - Date: 2014-06-10 18:47:28 Geometry Mathematics Algebra Projective geometry Algebraic varieties Normal Surfaces Vector calculus Projective variety Morphism of algebraic varieties Oval
484	Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1 Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:50 Software engineering Computing Programming language theory Type theory Data types Procedural programming languages C++ Lambda calculus Type system Type safety Gradual typing ALGOL 68
485	LINEAR ALGEBRA: BEWARE! MATH 196, SECTION 57 (VIPUL NAIK) You might be expecting linear algebra to be a lot like your calculus classes at the University. This is probably true in terms of the course structure and format. Add to Reading List Source URL: files.vipulnaik.com Language: English - Date: 2016-08-13 11:33:29 Calculus Generalizations of the derivative Algebra Linear algebra Logic Mereology Mathematics Philosophy of mathematics
486	Problem Solving, Programming, and Calculation Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/ Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2015-04-12 17:46:16 Software engineering Computer programming Computing Recursion Lambda calculus Computability theory Theoretical computer science Programming idioms Functional programming Function Subroutine Fixed-point combinator
487	Scientific Report 2005 Control Theory Group (cotg) http://ceoc.mat.ua.pt March 2006 Members of the Control Theory Group • Senior Researchers Add to Reading List Source URL: ceoc.mat.ua.pt Language: English - Date: 2008-07-17 10:24:26 Mathematical optimization Operations research Calculus Optimal control Mathematics
488	New PDE-based methods for image enhancement using SOM and Bayesian inference Add to Reading List Source URL: community.dur.ac.uk Language: English - Date: 2010-02-04 13:02:32 Calculus Mathematical analysis Image processing Partial differential equations Mathematics Anisotropic diffusion Diffusion equation Finite element method Image segmentation Differential equation Heat equation Diffusion
489	Static Analysis of Event-Driven Node.js JavaScript Applications Magnus Madsen Frank Tip Ondˇrej Lhot´ak Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 2016-05-16 09:01:50 Software engineering Software Computing Models of computation Cross-platform software Scripting languages Joyent Node.js Lambda calculus Event Call graph JavaScript

UPDATE