Calculus - PDFSEARCH.IO - Document Search Engine

Calculus
Results: 11790

#	Item
371	ES 111 Mathematical Methods in the Earth Sciences Lecture Outline 3 - Thurs 1st Oct 2015 Vectors and 3D geometry So far, all our calculus has been two-dimensional, involving only x and y. Nature is threedimensional, and Add to Reading List Source URL: www.es.ucsc.edu Language: English - Date: 2015-10-01 14:01:43 Algebra Mathematics Vectors Linear algebra Vector calculus Analytic geometry Abstract algebra Euclidean vector Vector notation Unit vector Vector space Three-dimensional space
372	Welcome! Virtual tutorial starts at 15:00 GMT Please leave feedback afterwards at: www.archer.ac.uk/training/feedback/online-coursefeedback.php Parallel supermeshing for Add to Reading List Source URL: www.archer.ac.uk Language: English - Date: 2016-07-14 10:21:34 Numerical analysis Finite element method Mesh generation 3D computer graphics Structural analysis Calculus Mathematical analysis
373	Ambient References: Addressing Objects in Mobile Networks Tom Van Cutsem∗ Jessie Dedecker∗ Stijn Mostinckx† Elisa Gonzalez Theo D’Hondt Wolfgang De Meuter Programming Technology Lab Vrije Universiteit Brussel – Add to Reading List Source URL: soft.vub.ac.be Language: English - Date: 2006-03-31 08:08:22 Computing Software engineering Computer programming Distributed computing architecture Ambient intelligence Ambient calculus AmbientTalk Actor model Message passing Distributed object Text messaging
374	Modelling circadian rhythms using stochastic process algebra Jane Hillston. University of Edinburgh. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-06 05:03:26 Statistical randomness PEPA Process calculi Jane Hillston Circadian rhythm Probability Process calculus Scientific modelling Stochastic Academia Statistics
375	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama Add to Reading List Source URL: www.acm.org Language: English - Date: 2016-06-08 12:49:34 Software engineering Declarative programming Computer programming Functional programming Theoretical computer science Data types Type theory Computability theory Lambda calculus Recursion Algebraic data type Anonymous function
376	Anna Alfieri Math/Science Supervisorx3241 Add to Reading List Source URL: www.sbschools.org Language: English - Date: 2016-01-26 14:50:29 Programmable calculators Graphing calculator Mathematics AP Calculus Algebra Calculus Calculator Equipment Computing SAT Subject Test in Mathematics Level 2 Mathematics education in New York
377	Error of the two-step BDF for the incompressible Navier-Stokes problem Etienne Emmrich Preprint No. 741 Add to Reading List Source URL: www.math.tu-berlin.de Language: English - Date: 2012-02-06 05:31:13 Mathematical analysis Mathematics Calculus Operator theory Functional analysis Partial differential equations Distribution Differential forms on a Riemann surface NeumannPoincar operator
378	An Aggregation Technique For Large-Scale PEPA Models With Non-Uniform Populations Alireza Pourranjbar, Jane Hillston School of Informatics, University of Edinburgh 10th December 2013 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-12-16 05:45:52 Mathematical analysis Statistics Exponentials Probability distributions Economic model Stochastic process Exponential function Process calculus PEPA Generalizations of the derivative Conceptual model Exponential distribution
379	Etienne Emmricha and Olaf Wecknerb a Technische Universit¨at Berlin, Institut f¨ ur Mathematik, Straße des 17. Juni 136, 10623 Berlin, Germany, Add to Reading List Source URL: www.math.tu-berlin.de Language: English - Date: 2012-02-06 05:31:16 Mathematical analysis Differential equations Fourier analysis Multivariable calculus Mathematical physics Wave equation Partial differential equation Rectangular function Taylor series Fourier transform Differential forms on a Riemann surface Bessel function
380	RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky Add to Reading List Source URL: rdp15.mimuw.edu.pl Language: English - Date: 2015-07-08 00:48:54 Mathematics Academia Mathematical logic Type theory Abstract algebra Logic in computer science Mathematical structures Formal methods Intuitionistic type theory Expression Lambda calculus Universal algebra

UPDATE