Integer - PDFSEARCH.IO - Document Search Engine

Integer
Results: 2878

#	Item
991	Efficient Querying of Inconsistent Databases with Binary Integer Programming ∗ Phokion G. Kolaitis Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-06-29 06:26:31 Conjunctive query Theoretical computer science Boolean conjunctive query Relational database SQL FO Stable model semantics Relational model Database theory Data management Computing
992	  Newsletter of the AUMS Add to Reading List Source URL: www.aums.org.au Language: English - Date: 2013-10-07 19:17:50 Prime number Mersenne prime Number Digital root Permutations Mathematics Integer sequences Number theory
993	@TechReport{Stansifer:1884:PAIA, author="Ryan Stansifer", title= "Presburger’s Article on Integer Airthmetic: Remarks and Translation", number="TR84-639", institution="Cornell University, Computer Science Department", Add to Reading List Source URL: cs.fit.edu Language: English - Date: 2007-01-22 14:30:32 Model theory Proof theory Metalogic Logic in computer science Computability theory Presburger arithmetic Quantifier elimination Decidability Jan Łukasiewicz Mathematical logic Logic Mathematics
994	Statistics 583, Problem Set 1 Solutions Wellner; [removed]Pn 1. Let SN = i=1 Qi be the Wilcoxon rank sum statistic derived in class on 30 Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 2015-04-09 14:50:09 Exponentials Combinatorics Integer sequences Exponentiation Order statistic Factorial Central limit theorem Exponential family Mathematics Statistics Mathematical analysis
995	Pascal Validation Suite Report Pascal processor identification The ACK-Pascal compiler produces code for an EM machine as defined in [1]. It is up to the implementor of the EM machine whether errors like integer overflo Add to Reading List Source URL: tack.sourceforge.net Language: English - Date: 2011-02-11 16:00:24 Psychometrics Procedural programming languages Software testing Tests Control flow For loop Statistical hypothesis testing Pascal ALGOL 68 Software engineering Computing Programming language theory
996	COMBINATORIAL MODELS OF CREATION–ANNIHILATION arXiv:1010.0354v1 [math.CO] 2 Oct 2010 PAWEL BLASIAK AND PHILIPPE FLAJOLET Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2010-10-06 07:05:49 Combinatorics Integer sequences Number theory Feynman diagram Partition Finite difference Formal power series Enumerative combinatorics Derivative Mathematics Mathematical analysis Diagrams
997	9 Working with formulas 1 You should know • Add to Reading List Source URL: www.smpmaths.org.uk Language: English - Date: 2007-01-31 12:25:30 Integer sequences Bivalves Gastropods Gemstones Molluscs Pearl Pi Factorial Chair Mathematical analysis Mathematics Phyla
998	A 100 MHz Floating POint/ Integer Processor A 100 MHz Floating POint/ Integer Processor Greg Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-07-27 22:44:09 Floating point P5 IEEE 754-2008 Computing Numbers Computer science Computer arithmetic Data types Primitive types
999	THE ELLIPTIC CURVE METHOD PAUL ZIMMERMANN The Elliptic Curve Method (ECM for short) was invented in 1985 by H. W. Lenstra, Jr[removed]It is suited to find small — say 9 to 30 digits — prime factors of large numbers. Am Add to Reading List Source URL: www.loria.fr Language: English - Date: 2004-09-06 05:03:02 Cryptography Lenstra elliptic curve factorization Quadratic sieve Integer factorization Elliptic curve Primality test Prime number Prime factor Algebraic-group factorisation algorithm Integer factorization algorithms Abstract algebra Mathematics
1000	WARTS (5) FreeBSD File Formats Manual WARTS (5) Add to Reading List Source URL: www.caida.org Language: English - Date: 2015-02-02 18:42:04 Network architecture Ip Traceroute IPv4 Ping Integer Transmission Control Protocol Py Measuring network throughput Computing Internet standards Internet