C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...

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

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

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

Neurons are cells that transmit electrical signals through the nervous system. Motor neurons control muscle activity and movement by carrying impulses from the brain and spinal cord. Sensory neurons ...

FlowQuery is a declarative query language for defining and executing data processing pipelines involving (but not limited to) API calls over http. The language is very well suited for prototyping of ...