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 ...

Being written in C/C++, SVF is not easily accessible to developers who wish to utilize the native library in other languages (such as Java). This project aims to make it simple for Java developers to ...

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 ...

Predicate pushdown is a widely adopted query optimization. Existing systems and prior work mostly use pattern-matching rules to decide when a predicate can be pushed through certain operators like ...

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 ...

The iconic Homo erectus fossil was welcomed home with a repatriation ceremony and a new museum exhibit in Jakarta.