Search Results for "computer system optimization"

LTI-Lib is an object oriented computer vision library written in C++ for Windows/MS-VC++ and Linux/gcc. It provides lots of functionality to solve mathematical problems, many image processing algorithms, some classification tools and much more...

STARTING WITH VERSION 2.0, CGSUITE HAS MOVED TO GITHUB. The latest version can be found at the CGSuite homepage: https://www.cgsuite.org/ This page is preserved for archival purposes only and is no longer being maintained.

...The mailing list has been moved over to https://groups.google.com/forum/#!forum/yacas . The downloads section at sourceforge will be kept up to date for the foreseable future. Yacas is an easy to use, general purpose computer algebra system. It uses its own programming language designed for symbolic as well as arbitrary-precision numerical computations. The system comes with a library of scripts and extensive documentation. Yagy (http://sourceforge.net/p/yagy) provides full yacas experience wrapped in a simple and intuitive graphical interface.

JMCAD is an program for the modeling and simulation of complex dynamic systems. This includes the ability to construct and simulate block diagrams. The visual block diagram interface offers a simple method for constructing, modifying and maintaining complex system models. The simulation engine provides fast and accurate solutions for linear, nonlinear, continuous time, discrete time, time varying and hybrid system designs. With JMCAD, users can quickly develop software or "virtual"...

JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. ...

Semantic query optimization (SQO) is the process of finding equivalent rewritings of an input query given constraints that hold in a database instance. We present a Chase & Backchase (C&B) algorithm strategy that generalizes and improves on well-known methods in the field. The implementation of our approach, the pegasus system, outperforms existing C&B systems an average by two orders of magnitude.

The purpose of developing Gait Monitoring+ software system is to calculate the average acceleration cycle of all cycles of an experiment, and also to calculate the positive peak acceleration (PPA) and the negative peak acceleration (NPA). The experiment is performed by attaching triaxial accelerometer device to the tibia bone of a person who is walking on a Treadmill. Raw data obtained by the experiment is input data for Gait Monitoring+ system.

...It also offers already translated versions of Lapack and quadprog to Java, .Net and VBA, to give access to SVD, LU, QR, Cholesky, eigenvalue decomposition, linear system solving and QP optimization in those three languages.

...However, when the scientist Kepler discovered special principles about planetary motion, he also reconsidered the music. 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 Micro Benchmark - control tasks required to determine the comparative performance characteristics of the computer system on different platforms. Can be used to determine the effect of different software on the performance of a computer system.

Appomatox is a novel computer algebra system.

Franklin Math is an open source Java symbolic computer algebra system (CAS), with similarities to commercial math packages such as MATLAB or Mathematica. It allows numeric and symbolic calculations, with built-in functions including plotting commands.

FrAid(FRactal AID) is an interface to Java, allowing it to proc. math. data(functions/equations). A compl. standalone system utilizing the FrAid prog. lang. is available(no need to be Java programmer to use it!). Use instead of Matlab. High res. graphics

Network Based Optimization Project is a network transparent system for global optimization problems using client-server model.

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.

JFD is an educational Java tool for computing the formal derivative of an expression. It recognizes the regular operators, parentheses and functions. It can also be extended with custom functions and/or operators.

Web Assisted Teaching Environment. Software system for creating, updating, distributing, and reusing Electronic Teaching Resources, (particularly Multiple Choices Quizzes).

The MathForge Application Environment provides users a broad range of Java-based math tools (calculation, visualization, presentation and communication via MathML) and allows developers to leverage existing code while extending MathForge.

EcoLab is a collection of java libraries to run statistical and financial analysis, mathematical optimization, etc...

A computer algebra system for homological angebra computations using chain complexes, including of course a function parser, some support for different datatypes, maybe some group theoretical applications and so on.

Personal research achievements from the authors presented here in the form of symbolic Algebra and non-numerical analysis algorithms implemented in C/C++, Java, and/or Pascal. As part of a more wide, simple, powerful and robust CAS enviroment under development, new code will be continuously added up to this repository. The authors give their welcome and encouragement to everyone interested in bring some kind of collaboration.