Calculus

Results: 11790



#Item
971Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.edu

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
972¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning”

¨ 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
973Computation 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

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
974Scaling MPE Inference for Constrained Continuous Markov Random Fields with Consensus Optimization Stephen H. Bach University of Maryland, College Park College Park, MD 20742

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
975GRADUATE SCHOOL APPROVAL RECORD NORTHEASTERN UNIVERSITY Graduate College of Computer and Information Science Dissertation Title: Author: Department:

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
976Revised7 Report on the Algorithmic Language Scheme ALEX SHINN AND JOHN COWAN (Editors) AARON W. HSU ALARIC SNELL-PYM ARTHUR A. GLECKLER

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
977Motivation Context Encoding

Motivation Context Encoding

Add to Reading List

Source URL: places08.di.fc.ul.pt

Language: English - Date: 2011-01-31 06:33:44
978Approximate Network Loading and Dual-Time-Scale Dynamic User Equilibrium Terry L. Friesza Taeil Kimay

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
979Using stochastic process algebra to model biochemical pathways Using stochastic process algebra to model biochemical pathways

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
980Title 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

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