Search Results for "linux operating system"

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

Sample code demonstrating how to use OmniDriver to drive Ocean Optics full range of spectrometers from C, C++, C#, Java, LabVIEW, Delphi, MATLAB and more.

Java-based scientific graphics with support for Java, Groovy, MATLAB, Python, the R statistical environment, Scala and SciLab.

This site contains four packages of Mass and mass-based density estimation. 1. The first package is about the basic mass estimation (including one-dimensional mass estimation and Half-Space Tree based multi-dimensional mass estimation). This packages contains the necessary codes to run on MATLAB. 2. The second package includes source and object files of DEMass-DBSCAN to be used with the WEKA system. 3. The third package DEMassBayes includes the source and object files of a Bayesian...

A community repository to develop Commodity Grid (CoG) Software for the access of Grids, through high level interfaces. The main repository is maintained at http://www.cogkit.org

FAMOUSO is an event-based publish/subscribe middleware written in C++ for systems ranging from 8Bit micro-controllers up to 32Bit PC/Workstations.

JOELib/JOELib2 is a cheminformatics library which supports SMARTS substructure search, descriptor calculation, processing/filtering pipes, conversion of file formats, 100% pure Java, and interfaces to external programs (e.g. Ghemical) are available.

URBI: Universal Robotic Body Interface. URBI is a scripted command language used to control robots (AIBO, pioneer,...). It is a robot-independant API based on a client/server architecture. Liburbi C++/Java/Matlab are available here. Forum available at ht

The class libraries here provide infrastructure for creating simulations of low energy nuclear physics experiments, as well as some useful working programs that do simple simulations and analysis of experiments performed with magnetic spectrographs.

MEX/JNI is a set of bindings between MATLAB and Java using Mathworks' External Interface API and Java Native Interface (JNI).