calculus - PDFSEARCH.IO - Document Search Engine

calculus
Results: 11790

#	Item
751	Geographic Event Conceptualization: Where Spatial and Cognitive Sciences Meet Rui Li, Alexander Klippel, Jinlong Yang {rui.li, klippel, jinlong}@psu.edu GeoVISTA Center, Department of Geography 302 Walker Building, The P Add to Reading List Source URL: cognitivegiscience.psu.edu Language: English - Date: 2011-05-01 16:39:57 Topology Knowledge representation Mathematics Cognition Computational topology Constraint programming Reasoning Region connection calculus Topological space Spatial relation Framing Topological conjugacy
752	ASYMPTOTIC BEHAVIOR OF CERTAIN DUCCI SEQUENCES GREG BROCKMAN () Abstract: The Ducci map is considered applied to vectors in Rn . It is shown that for certain starting vectors of odd length, the correspo Add to Reading List Source URL: gregbrockman.com Language: English - Date: 2016-06-27 00:18:09 Algebra Mathematics Linear algebra Abstract algebra Vector calculus Vectors Analytic geometry Ducci sequence Vector space Scalar Euclidean vector Norm
753	Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 167–194 http://www.cssp.cnrs.fr/eiss8 Reambiguating: on the non-monotonicity Add to Reading List Source URL: www.cssp.cnrs.fr Language: English - Date: 2011-02-21 12:14:22 Syntax Logic Linguistics Semantics Logic in computer science Predicate logic Grammar Event calculus Logic programming Predicate Anaphora First-order logic
754	15w5110: Laplacians and Heat Kernels: Theory and Applications Mar 22 - Mar 27, 2015 MEALS Breakfast (Bu↵et): 7:00–9:30 am, Sally Borden Building, Monday–Friday Lunch (Bu↵et): 11:30 am–1:30 pm, Sally Borden Bu Add to Reading List Source URL: www.birs.ca Language: English - Date: 2015-03-17 18:00:06 Mathematical analysis Mathematics Calculus Spectral theory Differential operators Partial differential equations Multivariable calculus Fourier analysis Eigenfunction Laplace operator Hearing the shape of a drum Eigenvalues and eigenvectors
755	Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2014, Article ID, 2 pages http://dx.doi.orgEditorial Add to Reading List Source URL: ria.ua.pt Language: English - Date: 2016-07-25 12:36:33 Dynamical systems Fractional calculus Mathematics Publishing Academic publishing Fractional dynamics Abstract and Applied Analysis Differential equation Hindawi Publishing Corporation Hindawi Nonlinear system Ordinary differential equation
756	logical verificationexercises 2 Exercise 1. This exercise is concerned with dependent types. We use the following definition in Coq: Inductive natlist_dep : nat -> Set := \| nil_dep : natlist_dep 0 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-02 08:06:23 Logic Mathematical logic Mathematics Type theory Propositional calculus Syntax Predicate logic CurryHoward correspondence Dependent type Lambda calculus First-order logic Proposition
757	Online Appendix to: Discrete Derivatives of Vector Fields on Surfaces – An Operator Approach OMRI AZENCOT Technion – Israel Institute of Technology MAKS OVSJANIKOV Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2015-04-28 15:20:42 Mathematics Mathematical analysis Algebra Differential geometry Riemannian geometry Vector calculus Linear algebra Vectors Covariant derivative Vector field Curl LaplaceBeltrami operator
758	Lagrangian mechanics and special relativity Harold Erbin Notes de cours de Magistère L3 donné par Mme Steer. Ce texte est publié sous la licence libre Add to Reading List Source URL: www.melsophia.org Language: English - Date: 2013-01-30 10:29:16 Physics Theoretical physics Dynamical systems Mathematical physics Calculus of variations Classical mechanics Lagrangian mechanics Equations of motion Lagrangian Quantum field theory Rigid body dynamics Special relativity
759	AD2016 - Instructions for Poster Presentations Shaun A Forth∗ and Anne Other† June Add to Reading List Source URL: www.autodiff.org Language: English - Date: 2016-07-12 09:40:28 Academia Publishing Public sphere Academic conferences Academic publishing Automatic differentiation Computer algebra Differential calculus Algorithm Poster session Abstract Poster
760	Pattern Analysis and Applications manuscript No. (will be inserted by the editor) Motion synthesis through 1D affine matching Perfilino E. Ferreira Jr1,2 , Jos´ e R.A. Torre˜ Add to Reading List Source URL: www.gcg.ufjf.br Language: English - Date: 2016-07-25 19:26:08 Mathematical analysis Mathematics Analysis Affine geometry Multivariable calculus Partial differential equation Affine transformation Differential equation Singularity Dirac delta function Dynamical system

UPDATE