Computation - PDFSEARCH.IO - Document Search Engine

Computation
Results: 6765

#	Item
161	BigActors - A Model for Structure-aware Computation ∗ Eloi Pereira Christoph M. Kirsch Raja Sengupta Add to Reading List Source URL: cs.uni-salzburg.at Language: English - Date: 2018-07-24 07:01:05
162	The 3rd ERATO-SORST Quantum Computation and Information Workshop Sanjo Conference Hall B001, The University of Tokyo, 2/28～（Mon） 14:00-14:10 Opening Add to Reading List Source URL: qci.is.s.u-tokyo.ac.jp Language: English - Date: 2011-02-25 02:18:42
163	A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries Alessandro Artale1 , Enrico Franconi2 , Frank Wolter3 , Michael Zakharyaschev4 1 Dept. of Computation, UMIST, Manchester, UK; t Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2017-01-27 04:48:10
164	Testing a Class of Methods for Solving Minimization Problems with Simple Bounds on the Variables Author(s): Andrew R. Conn, Nicholas I. M. Gould, Philippe L. Toint Source: Mathematics of Computation, Vol. 50, NoAp Add to Reading List Source URL: www.numerical.rl.ac.uk Language: English - Date: 2013-12-02 06:48:03
165	Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs J. Michael Ashley Indiana University and Charles Consel Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:39
166	Controlling probabilistic systems under partial observation an automata and verification perspective Nathalie Bertrand, Inria Rennes, France Uncertainty in Computation Workshop October 4th 2016, Simons Institute, Berkele Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2016-10-10 15:16:23
167	Dept. of Psychological Sciences M.A. / M.Sc. Cognition & Computation Add to Reading List Source URL: 193.61.4.225 Language: English - Date: 2016-10-03 06:58:47
168	RANDOMThe 21st International Workshop on Randomization and Computation and Add to Reading List Source URL: cui.unige.ch Language: English - Date: 2017-01-30 15:56:52
169	University of London Imperial College of Science, Technology and Medicine Department of Computing Parallel Computation of Response Time Densities and Quantiles in Large Markov and Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2004-11-29 07:45:28

UPDATE