Search Results for "visualize"

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

TOPS provides the benchtop scientist with a free toolset to analyze, filter and visualize data from functional genomic gene-gene and gene-drug interaction screens with a flexible interface to accommodate various different technologies and analysis algorithms in addition to those already provided here.

GSH builder is a free Galois Sub-Hierarchy visualization tool. The algorithm for calculating GSH is called Pluton and the present Java realization is based on two articles. "Efficiently computing a linear extension of the sub-hierarchy of a Concept Lattice" by Anne Berry, Marianne Huchard, Ross M. McConnell, Alain Sigayret and Jeremy P. Spinrad. "Performances of Galois Sub-hierarchy-building algorithms" by Gabriela Arevalo, Anne Berry, Marianne Huchard, Guillaume Perrot and...

With this applet you'll be able to visualize formulas by building a tree with your mouse.

A Java library that works with Java3D to simulate and visualize, in real-time, dynamics of multiple rigid bodies that are restricted by implicit and explicit constraints (e.g., robotics); designed for efficiency, ease-of-use, and extensibility.

To help math students visualize the prufer code and/or discover anything new about the prufer code not already present. Examples and live applet on webiste.

Java application which allows users to visualize permutations of graphs in two or three dimensions

A Java application to visualize fuzzy rules written in ARL (ABLE Rule Language).