Enumeration - PDFSEARCH.IO - Document Search Engine

Enumeration
Results: 726

#	Item
191	OVERSIGHT OF THE 2000 CENSUS: EXAMINING THE AMERICA COUNTS TODAY [ACT] INITIATIVES TO ENHANCE TRADITIONAL ENUMERATION METHODS HEARING BEFORE THE Add to Reading List Source URL: house.resource.org Language: English United States House Committee on Oversight and Government Reform United States Congress Indiana Eleanor Holmes Norton Government Politics of the United States Sue Myrick Dan Burton Mark Souder
192	SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants Ivan Kuraj ABSTRACT We introduce SciFe, a tool for automated generation of complex structures, suitable for tasks such as automated test Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-13 07:09:29 Higher-order functions Search algorithms Data types Type theory Enumerated type Backtracking Generator Brute-force search Combinatory logic Computing Software engineering Computer programming
193	StandardName Element School.Primary Add to Reading List Source URL: www.reso.org Language: English - Date: 2012-08-06 10:15:16 Mathematics Mathematical logic Software engineering Enumeration Quantity Enumerated type EXPRESS Dimensional analysis Kilogram Measurement Data types Computing
194	RESO DATA DICTIONARY October 2013 Workgroup GOT DOM? • 𝑇𝑡𝑜𝑡𝑎𝑙 − Add to Reading List Source URL: reso.memberclicks.net Language: English - Date: 2013-10-21 13:10:17 Mathematics Enumerated type Resource Enumeration Computing Management Data management Data modeling Database schema
195	The Enumeration of Preimages and Gardens-of-Eden in Sequential Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:17 Mathematics Automata theory De Bruijn graph Applied mathematics
196	Generating Combinatorial Objects without Isomorphs Brendan D. McKay Department of Computer Science Australian National University Canberra, ACT, 0200 Add to Reading List Source URL: www.math.sinica.edu.tw Language: English - Date: 2003-10-08 02:41:27 Combinatorics Equivalence of categories Category Enumeration Graph theory Mathematics Adjoint functors Enumerative combinatorics
197	Preface Computable analysis is a branch of computability theory studying those functions on the real numbers and related sets which can be computed by machines such as digital computers. The increasing demand for reliab Add to Reading List Source URL: www.fernuni-hagen.de Language: English - Date: 2009-09-05 02:34:00 Mathematical logic Computable function Computable number Computable analysis Computable real function Specker sequence Enumeration Computability Numbering Computability theory Theory of computation Theoretical computer science
198	CCCG 2013, Waterloo, Ontario, August 8–10, 2013 Data Structures for Incremental Extreme Ray Enumeration Algorithms Blagoy Genov∗ Abstract Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2013-08-11 21:51:58 Theoretical computer science Algorithm Mathematical logic Randomized algorithm Binary search tree K-d tree Mathematics Applied mathematics Binary trees
199	PRELIMINARY EXAMINATION GROUP IN LOGIC AND THE METHODOLOGY OF SCIENCE For the following questions we fix a standard enumeration h ϕe : e ∈ ω i of the partial recursive functions with the corresponding enumeration hWe Add to Reading List Source URL: logic.berkeley.edu Language: English Theory of computation Recursively enumerable set Enumeration Model theory Presentation of a group Ordinal number Ω-consistent theory Mathematics Mathematical logic Computability theory
200	CCCG 2010, Winnipeg MB, August 9–11, 2010 Complete enumeration of small realizable oriented matroids Hiroyuki Miyata ∗ Add to Reading List Source URL: cccg.ca Language: English - Date: 2010-07-19 10:46:17 Matroid theory Oriented matroid Real algebraic geometry Matroid Discrete geometry Convex polytope Combinatorics Arrangement of hyperplanes Polychoron Geometry Mathematics Polytopes

UPDATE