Search Results for "properties"

jAgg is a Java 5.0 API that supports “group by” operations on Lists of Java objects: aggregate operations such as count, sum, max, min, avg, and many more. It supports Super Aggregation: Rollups, Cube, and Grouping Sets. It supports analytic operations such as lag/lead and row number and more. It also allows custom aggregate and analytic operations.

Executable program that measures sizes and other properties of colonies arrayed in a grid format (intended for 768, 384, or 96 colonies on agar plates) from jpeg images

This Java project intends to implement a set of functions allowing a user to manipulate classical propositional logic statements and reason about their properties and connections.

Baldr, aka Balder, is a plagiarism prevention software. Inspired by late researches in computer sciences, it’s able to compare documents using only properties linked to data compression.

KF Checker infers information flow rules from source code. The rules obtained in this way are used to create a theory which it then exploited to prove that information flow policies are respected.