Search Results for "data structure"

UnBBayes is a probabilistic network framework written in Java. It has both a GUI and an API with inference, sampling, learning and evaluation. It supports Bayesian networks, influence diagrams, MSBN, OOBN, HBN, MEBN/PR-OWL, PRM, structure, parameter and incremental learning. Please, visit our wiki (https://sourceforge.net/p/unbbayes/wiki/Home/) for more information. Check out the license section (https://sourceforge.net/p/unbbayes/wiki/License/) for our licensing policy.

...It also suggests checkpoints and practice ideas so you can test comprehension and move forward with confidence. The structure is useful both for newcomers who want a starting plan and for practitioners filling specific gaps before tackling ML or deep learning. Overall, it acts as a compact study plan that turns “learn math” from a vague goal into a concrete, achievable path.

This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models...

This small library implements the Koch curve, snowflake and anti-snowflake like a Shape to be used like any other Java shape. You can test the library by compiling the test applet in Files.

A collection of compact, powerful programs and functions, written in C, for the analysis and transformation of data. No object or structure dependencies, no fancy interfaces - just good tools.

A topological data structure to handle 2D, surfaces and 3D simplicial meshes. This data structure is implemented in C++ using templates. It is based on Corner-Table and CGAL data structure.

Python library for a fast and flexible graph data structure.