Search Results for "archiving programs windows" - Page 2

A library encapsulating bilinear pairing computation and group computation in the cyclic groups G_1, G_2, G_T. The bilinear pairing is a bilinear, non-degenerate map between G_1 and G_2 to an element in G_T. The users can build complex pairing-based software by the Pairing library without much knowledge of elliptic curves or pairing or number theory. The library is smaller than 57 Kbytes, suitable for hand held devices. The size is only 3.7% of the size of the BPC...

The Java Astrodynamics Toolkit is a library of components to help users create their own application programs to solve problems in astrodynamics, mission design, spacecraft navigation, guidance and control using Java or Matlab.

A C++ library for Quadratic Programming which implements the Goldfarb-Idnani active-set dual method. At present it is limited to the solution of strictly convex quadratic programs. The project has moved to GitHub (https://github.com/liuq/QuadProgpp).

EToS (Efficient Technology of Spike sorting; Extracellular recording To Spike trains) is an open-source system for spike sorting. EToS contains the programs of spike detection, feature extraction and clustering.

PTools is a set of useful tools written in Pascal. It includes: scientific calculator, archiver, text editor, remote adminitration and more. It is designed to be portable across operating systems, specially Java-based mobiles, Windows and Unixes.

The C++-programs simulate : Nondeterministic/Deterministic Multitape Turing & Post Machines, Universal Turing Machine, Turing Machine with faults, failures and recovery.

VMMLib is a vector and matrix math library implemented using C++ templates, thus making it very easy to integrate into other libraries and programs. It is developed at the VMML, University of Zürich.

Zero Sum Game Solver Java Library is open source java library to solve 2-player finite zero-sum games. This programs solve zero-sum games with linear programming.

My personal computing suite provides some programs I developed as a hobbyist and currently include a lambda calculus interpreter and a calculator which solves arithmetic expressions; both are written in C++.

A collection of compact, powerful programs and functions, written in C, for the analysis and transformation of data. No object or structure dependencies, no fancy interfaces - just good tools.

A collection of pre- and post-processors for mathematical software (such as AUTO) to investigate bifurcation problems in non-linear dynamical systems. A self contained subset is RAuto, a collection of scripts and programs for running AUTO on a comman

This project hosts tools used for analysis of Gaussian Mixture Distributions (GMDs) which are used for statistical signal processing. The tools are libraries for implementing GMD operations and programs used to analyze properties of GMDs.

NetWorkSpaces, developed by Scientific Computing Associates Inc., provides a framework to coordinate programs written in R. It allows users to write parallel programs in R easily.

A project to help students calculate symbolic derivatives and integrals. Plus, a Java expression tree library for developers who may need to do such things in their programs. The project has moved to github: https://github.com/generalpenguin89/calchelper

JStatCom is a software framework that facilitates the creation of JAVA programs for data based analysis tasks in various domains. It provides ways to call routines from specialized software packages, like Matlab, Gauss, Ox, and possibly others.

This is a recopilation of programs programmed by Eliot Hijano using either Java or Ruby. All the programs have something in common with both physics and Maths and are explained mathematically and physically in its own pdf.

Oscilib (Open Science Library) aims to be a comprehensive suite of programs that provide a simple useful way to solve common scientific and mathematical problems.

A platform which hosts battles between Fruit War robots - special java programs. The platform accepts source code as robot, and ranks all robots according to battle result. This project has been totally refined and is now hosted at http://robotypo.appspot.com

Small Python programs for the structural designer / Pequeños programas para el diseñador de estructuras hechas en Python

Agda is a system for incrementally developing proofs and programs. This is the sourceforge project for the PREVIOUS Agda (Agda 1). A newer version of Agda (Agda 2) in beta testing is available from: http://wiki.portal.chalmers.se/agda/

A module for Python which provides interface to the PARI/GP computing library. We propose to write programs for PARI using Python scripting language. Python makes code much more clean, readable and manageable than the old-style PARI scripts.

The SurfaceBuilder turns a collection of programs for implicity surface triangulation. It is usefull for any high school math student.

Lightweight backpropagation neural network in C. Intended for programs that need a simple neural network and do not want needlessly complex neural network libraries. Includes example application that trains a network to recognize handwritten digits.

Pluggable library for fast computation of mathematical expressions in C++ programs with x86 JIT compiler.

Numerically estimate an efficiency of code construction algorithms. Randomly generate n binary words of length m with minimum Hamming distance d and create a prefix code (= retrieval tree) from them. Based on PhD work.