A real time inference engine for temporal logic specifications
Java programmer's aid in useful methods and classes
libPGF is an implementation of the Progressive Graphics File (PGF)
Concise spatial query and representation system (c-squares)
An FMI-based co-simulation framework.
Data reduction and imaging for select astronomical cameras
Bachelor of Science (Informatik)
PAK is a collection of library code to handle the overhead of coding
Approximate Subgraph Matching Algorithm for Dependency Graphs
Exact Subgraph Matching Algorithm for Dependency Graphs
Data types and utility classes for use with evolutionary algorithms.