Abstract: Geometric algorithms rely on predicates, among them, the 2D and 3D orientation and incircle tests are important ones. Shewchuk's adaptive floating-point predicate is a well-known C ...

Abstract: We introduce a unifying framework for proving that predicate P is hard-core for a one-way function f, and apply it to a broad family of functions and predicates, reproving old results in an ...

The AWS SDK for Java enables Java developers to easily work with Amazon Web Services and build scalable solutions with Amazon S3, Amazon DynamoDB, Amazon Glacier, and more. See the AWS SDK for Java ...

This software implements fast and guaranteed floating point geometric predicates, including novel indirect predicates as described in the following article: M. Attene. Indirect Predicates for ...

Creativity used to be the exclusive domain of humans—artists, writers, and engineers create. They receive help from sophisticated tools, which themselves were created by, and typically could be ...

We are concerned with the problem of statically certifying (verifying) whether the client of a software component conforms to the component’s constraints for correct usage. We show how conformance ...