Journal ArticleDOI
The sieve of eratosthenes.
TLDR
Use Eratosthenes' algorithm (described below) on the chart on the opposite side of this sheet to find all the prime numbers between 1 and 100.Abstract:
A prime number is a number other than 1 which has exactly two factors itself and 1. Eratosthenes discovered a method of finding prime numbers called the Sieve of Eratosthenes. Use Eratosthenes' algorithm (described below) on the chart on the opposite side of this sheet to find all the prime numbers between 1 and 100. Eratosthenes used a metal plate, and presented the plate to Ptolemy III, King of Egypt. Eratosthenes' algorithm: One is not a prime. Punch a small hole. Two is a prime number. Circle it. Two is prime. Since all multiples of 2 have themselves, 2, and 1 as factors, they are not prime. Punch a small hole for each. Three is the next number that is not crossed out. Circle it. Three is prime. Since all multiples of three are not prime, punch a small hole for each.read more
Citations
More filters
Methods and Logics for Proving Programs.
TL;DR: The local verification conditions from induction principle are derived in an equivalent form using program steps and are of theoretical interest only since each local invariant is simpler than the global one.
Journal ArticleDOI
Eratosthenes sieve based key-frame extraction technique for event summarization in videos
TL;DR: An Eratosthenes Sieve based key-frame extraction approach for video summarization (VS) which can work better for real-time applications and outperform the state-of-the-art models on F-measure.
Journal ArticleDOI
Splitting the difference: the historical necessity of synthesis in software engineering
TL;DR: Examination of the discourse of software technologists in a number of key professional and trade journals over the last 25 years illuminates various disputes central to the development of software engineering and highlights the necessity of a more pluralistic mind set revolving around synthesis and trade-offs.
Proceedings ArticleDOI
A concurrent ML library in concurrent Haskell
TL;DR: This paper implements a library that makes Concurrent ML-style programming possible in Concurrent Haskell, and establishes that implementing selective communication on distributed machines is no harder than implementing first-order message passing on such machines.
Proceedings ArticleDOI
Thinking Fast: Patterns of Cognitive Error in Software Engineering Education and Practice
TL;DR: In this paper, the author utilizes typical mistakes of third year undergraduate Computer Science and Software Engineering students in advanced software engineering courses to categorize and anticipates errors in engineering practice.
References
More filters
Journal ArticleDOI
Note on the Radial Magnetic Gradient of the Sun
TL;DR: A study of the radial distribution showed that the field decreased radially several thousand times as fast as would be expected if the Sun were uniformly magnetized as discussed by the authors, which has made it very difficult to obtain a consistent view of the general magnetic fields of the Sun and Earth.