Search Results for "re-tool" - Page 2

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 Alain Sigayret In you're in need of other GSH algorithms or their realizations in C++, you might want to investigate a project called Galicia on sourceforge. ...

...Apparently his observance of a harmonic law of planetary motion was reason for him to propose a computable system of pitch and harmony deriving from angular velocity. The purpose of the programming project is as a tool to examine his system. With Java 2, it provides an open-source solution for listening to harmonies so generated by planetary motion. This program can run on any computer provided with a Java Virtual Machine (Rev 1.5 or greater). JAVA 2, system independent. Purpose:to encourage research in harmony in astronomy, math and music. ...

visualFSA is a small tool which lets you construct NFAs/DFAs [(non)deterministic finite automata]. It offers some common algorithms which can be applied to that automatons, like converting NFA -> DFA, word problem, accepted language etc.

Lattices and ordered sets visualization tool

Mark Six Analyst is a database of Hong Kong Lottery or so-called Mark Six. It provides a tool of various statistics method to show relationships between data and forecasts.

Numerical math is tool that demonstrates numerical math methods. It includes following areas: interpolation, numerical differentiation, numerical integration, root finding, linear systems, non-linear systems, differential equations.

Mathlete is a easy but powerful mathematical tool in which you can calculate algebraic functions, with variable support. You can use it for converting different measurements within the areas: Temperature, Weight and Height. It also comes with a built

Optimization tool that mimics the darwinian reproduction, selection, mutation process. It has 2 components: the optimization algorithm and an interpretar to define function to optimize and constraints. It is all written in java (netbeans).

A language modeling tool kit written in Java for natural language processing applications. It can handle character-by-character modeling of unknown words, language model combination, comparison, and evaluation, as well as a number of smoothing techniques

This tool, described in the July 2006 issue of IEEE Computer, determines how many servers to install such that average request response time is 'x' number of seconds. The tool is a Java application that is used for server sizing efforts.

FNA is a command line tool for creating and analyzing financial networks with concepts developed in social network analysis and network science. NOTE: the project has been moved to http://code.google.com/p/financial-network-analyzer/

Automata Based Programming Tool for implementing logic for J2SE, J2EE and Sybmian applications. Consists of Java FSM Framework and Eclipse Plugin parts. Plugin implements UML model editor, visual debugger, validator, compiler and interpreter for Eclipse

G.A.V. (Graph Algorithm Visualizer) is a tool that visualizes algorithms from graph theory. A step-by-step visualization from each different algorithm allows the user to understand the particular algorithm very easily.

The NA_WorkSheet is a set of algorithms coded in Java that implements various Numerical Analysis techniques. The tool may be used for graphing, root finding, differentiation, integration, interpolation, linear systems solving, and matrix operations.

Draw 2D: function chart, data points chart, statistical bar chart. It's possible to combine all 3 types of chart into one. This is powerfull and easy tool, as it gives ability to manage many charts parameters. This may often compete with Gnuplot and oth

GrALoG is a tool for editing and visualising graph-like-structures and the results of algorithms running on them. Through it's plugins GrALoG is hugely extendable, i.e. plugin-developers can define their own graph-like structures and algorithms.

RAGE (Random Variate Generator) is a graphical tool for unidimensional discrete distributions. RAGE generates random values and simulates various discrete distributions by using different algorithms.

Tuatara Turing Machine Simulator is a graphical tool for designing and executing Turing Machines. Designed primarily for teaching purposes, it features a simple point-and-click interface.

An interactive tool to study Fourier Series and related physics phenomenons, using open source/free sorftware.

A tool for people interested in Special Relativity. Can introduce you to some basics, as the transformations and the 4-vectors. Examples, illustrations and some exercises will be included. With some time, effort, and space on the desk, you can master it.

Narvik is a tool for conducting numerical and visual analysis in cartography.

SurveyForge is a survey definition and execution tool oriented to statisticians running on JEE platform with special emphasis on data entry made easy, use of existing standards (Triple-S, Metanet, DDI) and reuse of standard (or not) classifications

Linear Al is a research, design and teaching tool for quantum computing and quantum information. A quantum development environment.

A java tool used for row reducing matrices of varying sizes to row echelon/row reduced echelon forms. It is intended to support basic row reduction over different fields, then expand to support other linear algebra operations and html output of working.

A tool for proof theorists to study deduction systems and to develop proof search strategies for them. GraPE should eventually support step-by-step proof construction, automatic proof search with various strategies, proof transformations and analysis.