Search Results for "system tools"

Advanced Trigonometry Calculator (ATC) is an open-source mathematical computing engine written mainly in C/C++. Created in 2011 and maintained by Renato Alexandre dos Santos Freitas, ATC is designed as a practical Windows desktop application for advanced calculations, automation, and technical problem solving. ATC supports equation solving, polynomial tools, complex numbers, matrix calculations, statistics, physics, geometry, unit conversions, DSP/FFT operations, and scripting. It can...

HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.

* Introduction: - This Module is a Library based Perl code. - The library provide: - Convert INFIX expressions to POSTFIX; - Convert POSTFIX expressions to INFIX and; - Perform POSTFIX context validations. - Context validation can be implemented in item selection routines or data context validation, when it is possible to identify data to be selected or ignored in some data analysis process. * NOTE: - Before any implementation, we recommend details in WIKI...

A library of tools for doing computation in game theory.

It is an open source scientific library that is focused on multi-agent simulations on graphs. It prepares basic toolkit for agents, models, timers, graphs, nodes and edges. It is also accompanied with tools for data processing.

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

CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.

A set of tools/calculators that help CNC machinists quickly handle math associated with machine technology. Will incorporate more calculators when they are ready the final product will probably be a single combined application. Currently available is a Mill Rate calculator that is recursive, meaning it changes the corresponding values as you manipulate the data. In the works is a Can Cycle calculator that functions the same way.

Quantum walk library is set of tools for simulations of quantum walks (for chiral or achiral particles) on graphs based on Zarja library.

A set of tools for modelling dynamic physical systems using the bond-graph methodology and transforming these models into representations suitable for analysis, control and simulation. These tools use, and generate m files for, GNU Octave.

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

...EnvStats brings the major environmental statistical methods found in the literature and regulatory guidance documents into one statistical package, along with an extensive hypertext help system that explains what these methods do, how to use these methods, and where to find them in the environmental statistics literature. Also included are numerous built-in data sets from regulatory guidance documents and the environmental statistics literature. EnvStats combined with other R packages (e.g., for spatial analysis) provides the environmental scientist, statistician, researcher, and technician with tools to “get the job done!”

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.

OPALE is an Open Source project which development is done at two different levels: the OPALE library: which is a scientific library written in Java and which is composed of different modules (tools, swools, mathtools,...). Its purpose is to give

transpose is a fast and efficient command-line tool that transposes (the rows become the columns, the columns become the rows) or reshapes a matrix in plain text. Inputs and outputs can be files or streams.

ReliaFree is a Python and PyGTK based suite of tools to assist in Reliability, Availability, Maintainability, and Safety (RAMS) analyses. ReliaFree is intended to be an Open Source alternative to proprietary RAMS analyses solutions.

FElt is an open source system for finite element analysis, primarily for mechanical problems. FElt includes command line tools, an X11 interface for pre- and post-processing, and a Windows editor interface with some post-processing capabilities.

Structlab is a machine learning C++ framework for structured domains, which provides a toolbox of learning methods and tools for preprocessing and visualization. It also provides a GUI to setup elaborate experiments in a visual and intuitive way.

A collection of modeling tools for system comprehension. Includes 1) DEMOS2K - a semantically justified version of DEMOS 2) SAVANT - a tool for evaluating system availability 3) GOLDSTAR - an arbitrary reward calculation system.

IFS Tools is a set of Java applets for the interactive, graphical construction of iterated function system (IFS) fractals. Output is in the form of IFS code and graphics.

Research code for continuous 3D medial modeling targeted towards anatomical objects. Includes an OpenGL viewer and individual and population-based model fitting tools.

LaTeX Editor based on Bluefish (http://bluefish.sf.net). Main Features: (1) Autotext, Auto-Completion, Function References, Syntax highlight (2) External Tools (customizable) (3) UTF8 support. Winefish is a GTK+ application, released under GPL License.

A collection of modules and enduser tools designed to help design, test and use system models. While my research (hence, the examples) is focused on hydro-ecological systems, the program can be used on any system characterized by ODEs (and soon PDEs?)

Can calculate mathematical expression. It have a module system witch make it very easy to add own functions. Other features are a graph painter and a tiny programming language designed too make it easy too write small mathematical tools.

TIKAPP is becoming a collection of tools for simulation of neural networks. The first available part is an ANSI-C++ library with support for backpropation networks.