The control structures that test Boolean values only test for whether or not the value is nil, which is considered to be false. Any other value is considered to be true. Often a predicate will return ...

Abstract: Network calculus is a min-plus system theory for performance evaluation of queuing networks. Its elegance steins from intuitive convolution formulas for concatenation of deterministic ...

Abstract: Results are reported here of a rather successful attempt of proving all theorems, totalling near 400, of Principia Mathematica which are strictly in the realm of logic, viz., the restricted ...

Crackle is a collection of useful JavaScript functions for both the browser and server. Specifically it focuses on collection predicate operations, such as "all or nothing" verification, and also ...

An illustration of a magnifying glass. An illustration of a magnifying glass.

Improving SAT; FPGA Predicate Calculus October 15, 2024: Conjunctive Normal Form (CNF); Unification Example Skolemization Example UnificationExamples Resolution Example, Resolution Step October 17, ...

Customer stories Events & webinars Ebooks & reports Business insights GitHub Skills ...

These are most of my research papers, grouped by rough subject classifications.

With respect to broader ideas of function, shape-based meanings consist of a one-to-one association between a function name and a memorized shape. For instance, Figure 6 is strictly the sine function ...