Computation - PDFSEARCH.IO - Document Search Engine

Computation
Results: 6765

#	Item
631	! An Agent-Based Approach to Modeling Membrane Formation Bryan Head, Kai Orton, Uri Wilensky Center for Connected Learning and Computer-Based Modeling Add to Reading List Source URL: ccl.northwestern.edu Language: English - Date: 2016-05-03 12:24:06 Academia Systems science Membrane biology Biology Systems theory Scientific modeling Models of computation Organelles Cell membrane Agent-based model Biological membrane Scientific modelling
632	A Brief Tour of Theoretical Tile Self-Assembly Andrew Winslow Universit´e Libre de Bruxelles, Brussels, Belgium Abstract The author gives a brief historical tour of theoretical tile selfassembly via c Add to Reading List Source URL: www.eecs.tufts.edu Language: English - Date: 2016-06-08 17:28:44 Models of computation Theoretical computer science Theory of computation Academia DNA Molecular biology Formal methods Natural computing DNA computing Turing machine
633	An Eﬃcient Parallel Repetition Theorem Johan H˚ astad1 , Rafael Pass2, Douglas Wikstr¨ om3 , and Krzysztof Pietrzak4 1 KTH, Stockholm, supported by ERC grant Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 08:53:38 Computational complexity theory Cryptography Theory of computation Probabilistic complexity theory IP Zero-knowledge proof Soundness PP Entropy NP Randomized algorithm Interactive proof system
634	Approximating the Size of a Radio Network in Beeping Model Philipp Brandes1 , Marcin Kardas2 , Marek Klonowski2 , Dominik Pająk2 , and Roger Wattenhofer1 ? 1 2 Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2016-07-19 07:32:17 Computational complexity theory Analysis of algorithms Theory of computation Mathematics Probability theory Mathematical notation Leader election Randomized algorithm Big O in probability notation Time complexity -net
635	RANDOMIZATION AND COMPUTATION IN STRATEGIC SETTINGS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: www-bcf.usc.edu Language: English - Date: 2011-08-30 21:00:54 Game theory Mechanism design Decision theory Gaming Auction theory Mathematics Auctions Operations research Incentive compatibility Combinatorial auction VickreyClarkeGroves auction Algorithm
636	577 Documenta Math. Computation of p-Adic Heights and Log Convergence In celebration of John Coates’ 60th birthday Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2006-11-24 17:49:13 Mathematics Abstract algebra Algebra Field theory Modular forms Algebraic geometry Valuation P-adic modular form Constructible universe P-adic number P-adic L-function Elliptic curve
637	The Geneline January 2016 AIGS General Meeting Tuesday, January 19, 2016, at 7:00 PM The Community Meeting Room, Fernandina Beach Library Add to Reading List Source URL: aigensoc.org Language: English - Date: 2015-12-31 16:41:23 Geography of Florida Florida Kinship and descent Crowdsourcing FamilySearch Indexing Human-based computation FamilySearch Genealogy Nassau County Florida Fernandina Beach Florida
638	Microsoft PowerPointTunis Brauer.pptx Add to Reading List Source URL: petrinets2014.cnam.fr Language: English - Date: 2014-06-30 10:08:35 Surname Petri nets Theoretical computer science Formal methods Concurrency Diagrams Models of computation Wilfried Brauer Carl Adam Petri Brauer Petri Rdiger Valk
639	Microsoft Word - IJIMA03-02.docx Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:39:30 LL parser Characteristic function Models of computation Software engineering Petri nets Analysis Concurrency Computer programming
640	Linear recurrences with polynomial coefficients and computation of the Cartier-Manin operator on hyperelliptic curves ´ Alin Bostan1 , Pierrick Gaudry2 , Eric Schost3 Add to Reading List Source URL: www.csd.uwo.ca Language: English - Date: 2003-09-22 06:40:39 Algebra Mathematics Polynomials Multiplication Matrix theory Linear algebra Polynomial Matrix NC Characteristic polynomial Multiplication algorithm Polynomial greatest common divisor

UPDATE