calculus - PDFSEARCH.IO - Document Search Engine

calculus
Results: 11790

#	Item
971	Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.edu Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:03 Logic programming Filter theory Logic in computer science Knowledge representation Formal languages Situation calculus Fluent Well-formed formula FO Filter Frame problem Linear temporal logic
972	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:46:27 Logic programming Automated theorem proving Logic in computer science Formal methods Theoretical computer science Unification Lambda calculus Boolean satisfiability problem Conjunctive normal form
973	Computation of Slope Prepared by David R. Maidment and David Tarboton GIS in Water Resources Class University of Texas at Austin September 2011, Revised December 2011 There are various ways in which slope can be computed Add to Reading List Source URL: www.caee.utexas.edu Language: English - Date: 2014-09-18 09:08:39 Analytic geometry Vector calculus Trigonometry Ratios Coordinate systems Azimuth Spherical coordinate system Argument Atan2 Line Derivative Slope
974	Scaling MPE Inference for Constrained Continuous Markov Random Fields with Consensus Optimization Stephen H. Bach University of Maryland, College Park College Park, MD 20742 Add to Reading List Source URL: psl.umiacs.umd.edu Language: English - Date: 2013-06-14 19:26:47 Operations research Mathematical optimization Convex optimization Multivariable calculus Linear programming Lagrange multiplier Finite element method Algorithm Interior point method
975	GRADUATE SCHOOL APPROVAL RECORD NORTHEASTERN UNIVERSITY Graduate College of Computer and Information Science Dissertation Title: Author: Department: Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2016-07-01 10:16:31 Lambda calculus Scheme Lambda Calculus Type theory
976	Revised7 Report on the Algorithmic Language Scheme ALEX SHINN AND JOHN COWAN (Editors) AARON W. HSU ALARIC SNELL-PYM ARTHUR A. GLECKLER Add to Reading List Source URL: trac.sacrideo.us Language: English - Date: 2014-04-22 00:19:59 Object-oriented programming languages Functional languages Subroutines Data types Procedural programming languages Scheme Lisp Anonymous function Scope Lambda calculus Free variables and bound variables Expression
977	Motivation Context Encoding Add to Reading List Source URL: places08.di.fc.ul.pt Language: English - Date: 2011-01-31 06:33:44 Type theory Data types Procedural programming languages Polymorphism Cross-platform software Subtyping Type system Go -calculus System F ALGOL 68 Cons
978	Approximate Network Loading and Dual-Time-Scale Dynamic User Equilibrium Terry L. Friesza Taeil Kimay Add to Reading List Source URL: www.chkwon.net Language: English - Date: 2016-08-04 11:55:32 Calculus of variations Mathematical optimization Variational inequality Dynamical systems
979	Using stochastic process algebra to model biochemical pathways Using stochastic process algebra to model biochemical pathways Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-03-02 10:57:28 PEPA Process calculi Jane Hillston Process calculus Stochastic Scientific modelling Economic model Algebra over a field TAPAs model checker
980	Title of Paper The author(s)’s name(s)∗ Abstract. This is to explain how to prepare a contribution for publication in an edited volume for the EMS Publishing HouseMathematics Subject Classification. Primary 11 Add to Reading List Source URL: www.7ecm.de Language: English - Date: 2015-10-19 04:30:58 Integral calculus Mean value theorem Universal coefficient theorem

UPDATE