Search Results for "waydroid-linux" - Page 27

Generator of verification conditions for C language

Nuclear Fission Project is java API that suppose to be used in dynamical calculations of the nuclear fission process.

JCharacterMatcher is an application for matching characters represented as graphs. It computes the distance between two characters. The smaller it is, the bigger is the probability that both graphs represent the same character.

A set of tools for population level and agent based modeling in evolutionary game theory.

Java numerical analysis codes based on Didier Besset's "Object-Oriented Implementation of Numerical Methods: An Introduction with Java & Smalltalk", 2000, Morgan Kaufmann Publishers.

A java command-line application where the main goal is to solve any simplex problem. It's a team-work school project. It can be usefull for other students who needs to understand the simplex algorithm.

This library provides expression parsing functionality to Java applications, and includes support for all standard mathematical constants and functions, as well as providing functionality for user defined variables and functions.

easy-to-use statistical package

This project is a maht API based on Java

It will be an Eclipse RCP application for stock price analysis.

A numerical library designed for n-dimensional image-processing written in Java.

A straight-forward Java implementation of a mixture model with pluggable mixture functions, e.g. a mixture of Gaussian functions. The number and dimensionality of the mixture functions is not limited. All critical calculations are performed in log-space.

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

Paean is a tool to demonstrate in real-time the effect of various error-correcting codes on data transmitted via several channel models.

Two Markov-Chain-Monte-Carlo-algorithms ("Glauber Dynamics" and "Flip Dynamics") used for randomly sampling k-colorings of a graph.

Given a String , returns the next logically sequential string defined by a rule. The basic rule is, given a sequence of alphabets, it checks the string and returns a new string with one or more alteration. javadocs and source codes available inside.

MultiTM is a n-Tape Turing-Machine simulator. It executes self-written Turing machines with up to 100 tapes as well as preconfigured TMs.

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

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

Numerikus is an attempt to build a set of numerical libraries written in C/C++, Fortran, Java and C# for single processor and multi-core processors. It wil have from basic functions to Linear Algebra solvers and ODE's and PDE's methods.

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

RunAsApproximator es un programa java multilenguaje que implementa algoritmos numéricos. Los datos de entrada son aquellos requeridos por cada algoritmo y los de salida son resultado final y los datos intermedios necesarios para alcanzar su resolución.