calculus - PDFSEARCH.IO - Document Search Engine

calculus
Results: 11790

#	Item
671	Adaptive Multi-Agent Programming in GTGolog Alberto Finzi1, 2 and Thomas Lukasiewicz2, 1 1 2 Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2006-05-24 10:11:01 Mathematical analysis Mathematical logic Logic Dynamic programming Markov decision process Stochastic control Constructible universe Situation calculus First-order logic Distribution
672	Elements of Geometric Stability Theory MayCompleteness and quantifier elimination for Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2008-10-13 06:19:06 Algebra Mathematics Symbol Abstract algebra Closure operator Constructible universe Spectral theory Ring theory Representation theory of Lie groups Lambda calculus Spectral theory of ordinary differential equations
673	Central States Section Meeting \| April 11–12, 2015 Society for Industrial and Applied Mathematics 1st Annual Meeting of SIAM Central States Section Add to Reading List Source URL: siamcentral.mst.edu Language: English - Date: 2015-04-07 12:08:27 Numerical analysis Calculus Mathematical analysis Partial differential equations Finite element method Computational fluid dynamics Discontinuous Galerkin method Spectral method Meshfree methods Galerkin method Differential equation Boris Galerkin
674	Discussion Paper NoLicensing Innovations: The Case of the Inside Patent Holder Cuihong Fan* Byoung Heon Jun Add to Reading List Source URL: www.sfbtr15.de Language: English - Date: 2015-06-22 05:02:51** Mathematical analysis Mathematics Geometry Calculus of variations Envelope theorem Inverse trigonometric functions Envelope Mechanism design
675	A(nother) characterization of Intuitionistic Propositional Logic Rosalie Iemho ILLC/Faculty of Science Universiteit van Amsterdam Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2010-08-24 07:12:03 Logic Mathematical logic Modal logic Non-classical logic Model theory Propositional calculus Admissible rule Intermediate logic Kripke semantics Substitution FO Modal companion
676	7 Documenta Math. Stories about the Old Masters of Optimization Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2012-07-25 10:24:22 Philosophy Theoretical computer science Mathematical optimization Mathematics Operations research Algorithm Combinatorial optimization Calculus Program optimization Gottfried Wilhelm Leibniz Graph theory Trajectory optimization
677	Lab Exercise: Group speed and phase speed from real seismograms GEOS 626: Applied Seismology, Carl Tape Last compiled: April 4, 2016 Overview • This lab explores dispersion from two seismograms from the same earthquake Add to Reading List Source URL: www.giseis.alaska.edu Language: English - Date: 2016-04-04 12:08:18 Wave mechanics Physical quantities Physics Differential calculus Phase velocity Wave Seismogram Mechanics Phase Group velocity Harmonics
678	Microsoft PowerPoint - Lect10symbols_quotev2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-10-13 09:33:07 Computing Software engineering Computer programming Data types Functional programming Control flow Anonymous function Lambda calculus Subroutines Eval ?: Expr
679	Verifying Cross-Cutting Features as Open Systems Harry Li† Shriram Krishnamurthi Kathi Fisler Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2002-11-30 10:29:52 Mathematical logic Theoretical computer science Formal methods Logic Logic in computer science Hardware verification languages Model checking Formal verification E Gmail Aspect-oriented software development Propositional calculus
680	How Euler Did It by Ed Sandifer Mixed Partial Derivatives May, 2004 One of the first things we learn in Calculus III, multivariable calculus, is that mixed partial derivatives are equal. That is, for most familiar functi Add to Reading List Source URL: eulerarchive.maa.org Language: English - Date: 2013-11-04 12:20:24 Mathematical analysis Mathematics Calculus Functions and mappings Partial differential equations Differential calculus Multivariable calculus Differential equation Derivative Differential geometry of surfaces Integral Differential geometry of curves

UPDATE