Search Results for "java scientific calculator source"

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

A suite of Matlab functions that calculate the tail probability / cdf / pdf / quantile of linear combination of random variables in one of the following classes: (1) symmetric random variables with support on the real axis (normal, Student's t, uniform and triangular); (2) random variables with support on the positive real axis (chi-squared and log-Lambert W x chi-squared distributions; inverse gamma distribution is temporarily disabled due to numerical issues).

Octave development environment built upon Eclipse's Dynamic Languages Toolkit (http://www.eclipse.org/dltk/). Distributed as an Update site for Eclipse 3.7 Indigo and Indigo-based package for several platforms. Supports search, autocompletion, launching scripts, interactive console, debug and integrated plotting on Octave versions 3.2.x, 3.4.x and 3.6.x. The current goal is to make it running out-of-box on multiple platforms. Currently only Linux and Windows are supported. Mac...

A NEW GUI VERSION WILL BE RELEASED SOON! Thank you for visiting the Physics Calculator, provided by PIezoSystems Inc., please visit their company website at https://piezosystems.org. For other downloads, please visit our github page, https://github.com/PiezoSystems. We hope that you find this program useful and easy to use, for troubleshooting, please email us, contact@piezosystems.org. If any bugs were found, please email us at bugs@piezosystems.org.

gfit creates an interface between computational models and experimental data and provides tools for their analysis

A Matlab toolbox for interfacing with the pure JAVA numerical library Snifflib. This toolbox provides convenience m-files for interoperability with Snifflib from within an active Matlab session running a JAVA virtual machine.

MATLAB Engine for Java is a library that uses the C API of the MATLAB Engine to: put variables from Java to Matlab, evaluate Matlab commands, get results from Matlab to Java.

A library of data objects that simulate mathematical neurons, including classic Hodgkin-Huxley neurons and theta neurons.

jMATLAB is a eclipse based workbench for scientific computing

This project collect several data mining methods, such as: 1) clustering methods; 2) biclustering methods; 3) FCA methods and etc.

VectTens is an object-oriented numerical library designed to manipulate vectors, tensors, and other mathematical quantities in a simple and efficient manner.