Search Results for "java interface" - Page 3

Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.

JMathTeX - typesetting mathematics in Java. Provides Java classes for typesetting mathematical formulas as part of your applications user interface.

The Simple Interface for Global Optimization Algorithms allows the specification of arbitrary search/optimization problems, solving of these problems, and the specification and implementation of optimization algorithms like evolutionary algorithms.

Multired is middleware for automatic dynamic generation of multi-resolution representations for large spatio-temporal databases. It also provides an API which uses the middleware to support user-guided navigation of spatiotemporal data.

A full math Java class library containing complex functions and algorithms such as cubic-spline interpolation, least squares, matrix computations. Eventually to make a web based interface to the library using JSP.

Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, with interactive representation of generated models. Molle is maintained by Politecnico di Milano.

Java-based standard calculator with GUI or command-line interface.

This project provides a JAVA library and a graphical user interface which implement the "FastICA" algorithm based on the paper "Fast and Robust Fixed-Point Algorithms for Independent Component Analysis (ICA)" by Aapo Hyvärinen.

D-Cog (Declarative-Cognition) is a Java based framework for training software components (reusable, object-oriented, interface-driven components). Instead of programmed, software components are trained by example to get the expected results.

Digital graph 1.3 is an advanced JAVA SWING component for modelling, displaying, saving and loading graphs(using XML and XMLSchema). It is fully documented and requires jdk 1.5.x.Version 1.3 adds 9 bug fixs, 3 rengineering and 4 new features.

GiANT is a graphical interface for computer algebra systems (OS X/UNIX/Win). Currently GiANT lets the user work with number fields via KASH, but we aim to develop it into a GUI Library to run on top of any CAS and expose any of its functions.

A thoughtfully designed Java library for dealing with Matrices ( Matrix Theory ). Simple, Intuitive and Flexible. The library revolves around a Matrix interface. Operations are thoughtfully distributed. Not guilty of exposing all-in-one Matrix class.

The GSL Java Interface allows Java applications to access the GNU Scientific Library. The interface is built using the Java Native Interface (JNI).

The intentions of this project are as follows: 1; Determine the potential interest level in developing a basic interface for creating models in GAMS (General Algebraic Modeling System). 2; To create a sounding board for what should be added to the exist

An RPN calculator in Java with a minimalistic interface, designed to be stylish, complete and useful.

Statastizard(c)2012 Nick Emblow is a program designed to guide its user into the right statistical test, perform the test, and report the results in a meaningful way. The idea of this is that the user won't actually need to know that they are using a mann-whitney U over a t-test, for example - it just tests for normality and homoscedastic of variance, and decides which test to use, then reports the results. Why? Because time after time, people come to me with some test that they've...