<--- Back to Details
First PageDocument Content
Applied mathematics / Philosophy of science / Computational science / Computational model / Computer science / Mathematics / Scientific method / Computation / Scientific theory / Science / Epistemology / Knowledge
Date: 2010-10-12 03:32:45
Applied mathematics
Philosophy of science
Computational science
Computational model
Computer science
Mathematics
Scientific method
Computation
Scientific theory
Science
Epistemology
Knowledge

0000_V53.09_SEPTEMBER.indb

Add to Reading List

Source URL: www.win.tue.nl

Download Document from Source Website

File Size: 595,49 KB

Share Document on Facebook

Similar Documents

Cryptocurrencies / Blockchains / Computing / Concurrent computing / Alternative currencies / Data management / Cross-platform software / Ethereum / Shard / Smart contract / Proof-of-stake / Distributed ledger

MultiVAC: A High-Throughput Flexible Public Blockchain Based on Trusted Sharding Computation MultiVAC Foundation June, 2018, version 0.1 Abstract: MultiVAC is a next-generation high-performance public blockch

DocID: 1xVSb - View Document

Algebra / Mathematics / Polynomials / Computer algebra / Polynomial / General number field sieve / Resultant / Irreducible polynomial / Factorization / Polynomial greatest common divisor / Degree of a polynomial

MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000–000 SXXBETTER POLYNOMIALS FOR GNFS SHI BAI, CYRIL BOUVIER, ALEXANDER KRUPPA, AND PAUL ZIMMERMANN

DocID: 1xVRE - View Document

Cryptography / Randomized algorithms / Computational complexity theory / Mathematics / Probabilistically checkable proof / Complexity classes / Interactive proof system / IP / NP / Soundness / PCP theorem / Commitment scheme

Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W

DocID: 1xVQw - View Document

Circuit complexity / Theoretical computer science / Computational complexity theory / Cryptographic protocols / Electronic engineering / Theory of computation / Secure multi-party computation / Logic families / Digital circuits / Transistortransistor logic / NC / Circuit

Circuits Resilient to Additive Attacks with Applications to Secure Computation Daniel Genkin Yuval Ishai

DocID: 1xVN3 - View Document

Mathematics / Abstract algebra / Mathematical analysis / Algebraic number theory / Discriminant of an algebraic number field / Riemann hypothesis / Algebraic number field / Table of stars with Bayer designations / Computational complexity of mathematical operations

MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000–000 SXXAN L(1/3) ALGORITHM FOR IDEAL CLASS GROUP AND REGULATOR COMPUTATION IN CERTAIN NUMBER FIELDS

DocID: 1xVGU - View Document