calculus - PDFSEARCH.IO - Document Search Engine

calculus
Results: 11790

#	Item
391	TRUTH FUNCTIONAL CONNECTIVES. Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Logic Philosophy Abstraction Logical connectives Atomic sentence Propositional calculus Logical truth Truth function Truth value Logical disjunction If and only if Negation
392	Abstract Features in Feature Modeling Thomas Th¨um∗ , Christian K¨astner† , Sebastian Erdweg† , and Norbert Siegmund∗ ∗ University † Philipps of Magdeburg, Germany Add to Reading List Source URL: wwwiti.cs.uni-magdeburg.de Language: English - Date: 2011-06-11 06:47:51 Logic Abstraction Propositional calculus Syntax Mathematics Logic in computer science Formal methods Feature model Semantics Product family engineering Software Product Lines Online Tools Boolean algebra
393	Monitors and Blame Assignment for Higher-Order Session Types Limin Jia Hannah Gommerstadt Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Abstract data types Computing Software engineering Process calculi Inter-process communication Message queue Monitor Economy Queueing theory Priority queue Queue -calculus
394	The Artistry of Mathematics Colin Croft, Mathematics Dept., St Hilda’s A.S.G. The introduction of the concept of the domain, perhaps in Introductory Calculus, is an ideal opportunity to use graphical calculators to exp Add to Reading List Source URL: www.hphomeview.com Language: English - Date: 2008-10-14 06:20:05 Mathematics Mathematical analysis Functions and mappings Function Domain of a function Logarithm
395	Preface This book grew out of the collaboration of the authors, which began in the Spring of 2010, and the first author’s PhD dissertation. The second author developed much of the theory in Part II during his Junior Re Add to Reading List Source URL: www.siam.org Language: English - Date: 2015-12-22 12:23:42 Mathematical analysis Calculus Mathematics Partial differential equations Ordinary differential equations Solitons Dynamical systems Complex analysis Painlev transcendents Kortewegde Vries equation Differential equation Equation
396	Projection Technique for Vortex-Free Image Registration Patrick Scheibe1 , Ulf-Dietrich Braumann1,2 , Jens-Peer Kuska2 1 Translational Center for Regenerative Medicine (TRM), University Leipzig, 04103 Add to Reading List Source URL: www.halirutan.de Language: English - Date: 2012-11-04 21:05:53 Fluid dynamics Calculus Aerodynamics Vortex Calculus of variations Physics Mathematical analysis Partial differential equations
397	ES 111 Mathematical Methods in the Earth Sciences Lecture Outline 17 - Thurs 19th Nov 2015 Higher-Order Partial Differential Equations The last differential equation topic we are going to mention is higher-order PDE’s. Add to Reading List Source URL: www.es.ucsc.edu Language: English - Date: 2015-11-16 14:32:21 Mathematical analysis Calculus Mathematics Elliptic partial differential equations Equations Fourier analysis Multivariable calculus Harmonic functions Heat equation Separation of variables Partial differential equation Equation solving
398	arXiv:0903.0340v3 [quant-ph] 6 JunPhysics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California Add to Reading List Source URL: arxiv.org Language: English - Date: 2009-06-05 20:47:48 Category theory Algebra Mathematics Monoidal categories Lambda calculus Functors Algebraic topology Cartesian closed category Topological quantum field theory Morphism Natural transformation Coproduct
399	SPECIAL SESSIONSpecial Session 22: Topological and Variational Methods for Boundary Value Problems Add to Reading List Source URL: www.aimsciences.org Language: English - Date: 2012-06-23 07:34:34 Calculus Mathematical analysis Mathematics Partial differential equations Calculus of variations Boundary value problem Nonlinear system Shooting method Boundary layer SturmLiouville theory Free boundary problem
400	Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 11:00:56 Software engineering Theoretical computer science Computing Concurrent computing Constraint programming Models of computation Model checkers Process calculus Michael Butler Model checking FDR Denotational semantics

UPDATE