Search Results for "xp windows linux" - Page 48

PetriKit is a modular toolkit for Petri Net analysis. It allows the extraction of basic properties, extraction of invariants, and generation of reachability graph. Results can be formatted in plain text, HTML or XML files.

Vision: To create a city simulation using a all volunteer organization that reaches across the entire world. The project will be created in a virtual workspace utilizing the communication devices that are attainable for a wide volunteer base.

A GPU GLSL implementation of a Uniform-Grid accelerated Ray Tracer. Basic test boxes and Stanford bunny are currently renderable. Tested on ATI X1600 mobile, FireGL V3400, and 8800gt.

This is a computer model to study Evo-devo. It is the software of a project described in PLoS Computational Biology.

This project aims to provide libraries in a few languages which allow for NORAD general perturbation element sets to be used in calculating the position and velocity of space objects.

This project going to develop a thermodinamical server for chemical simulation, equip design, scientific module for other aplication or chemical education. Also the thermo server is developed to complete the project of chemical simulation Sim42.Spanish

Little b is a Lisp-based language which allows scientists to build shareable, reusable mathematical models of complex systems based on shared parts. The initial focus is molecular and multicellular networks. Project web page: http://www.littleb.org

The objective of SPUC is to provide the Digital Communications Systems Designer or DSP Algorithm designer with simple, efficient and reusable DSP building block objects written in C++.

Cell Electrophysiology Simulation Environment (CESE)

This program simulates the performance of the supersonic continuous wave chemical laser by solving 2D-system of Navier-Stokes equations in slender-jet approximation that includes multi-component diffusion, non-equilibrium chemical reactions and radiation

"Java Artificial Intelligence Markup Language PAD" is a tool that manages ProgramD AI (on local or remote machines) and AIML files with real-time previews and it provides a network support to test AI capabilities over many network protocols.

Ordinary Differential Equation (ODE) solver for Tcl. Handles both stiff and non-stiff sets of equations; does time-evolved initial value problems and root finding. Based on the popular Lawrence Livermore solver LSODE.

Step is an interactive physical simulation program for education. StepCore is a physical simulation library on which Step is based. Please refer to http://edu.kde.org/step for more details.

A collection of cross-platform C++ modules used to build aerostat simulation and analysis programs.

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.

Matho is a OS Independant Application and API for mathematical operations, features include curve sketching, calculus, iterative formulae, algebra solver, 2d/3d geometry and mechanical and statistical functionality.

Mito-MAS-m is a simulator of the mitochondrial inner membrane and the enzymatic complexes embedded in it, implementing a coarse-grained (CG) model of the molecules using rigid structures and Dissipative Particules Dynamics (DPD) as motion equation.

RDV is a visualization environment for scientific and engineering data. Built on top of the RBNB dynamic data server, it supports local and remote data sources and can visualize numeric, video, image, and audio data in a number of different ways.

A MATLAB package to simulate sample paths of the solution of a Itô or Stratonovich stochastic differential equation (SDE), compute statistics and estimate the parameters from data. A note of caution: SDE Toolbox is no more developed but it's still downloadable. Its inferential capabilities can be considered surpassed (at best). Actually the parameter estimation methods were already far from the state-of-art when the project began in 2007 (!). The considered implemented parametric and...

ComLinC (a COMmunications Library IN C programming language), a C library for communications research and simulation. It's based on GSL. ComLinC aims at providing elegent, fast functionality to the frequently encountered problems in communications area.

The Automatic Model Optimization Reference Implementation, AMORI, is a framework that integrates the modelling and the optimization processes by providing a plug-in interface for both. A genetic algorithm and Markov simulations are currently implemented.

OpenDiscreteDynamicProgrammingTemplate : founds optimal constrainted parameters of a discrete controls with second order optimization template replacing Hessian with directional derivatives and backpropagation for digital filter(as neural network)

This project about providing run-time support for developing Decentralized Autonomic Computing systems (Eclipse Innovation Grand). Currently the project contains a automatic guided vehicle (AGV) simulator and an editor and visualisation as eclipse plugin

SpiNet is a neural simulation tool for large spiking networks with highly heterogeneous synapses. Neurons are modelled as I&F units with dual exponential synaptic conductances. Complex network models can be easily built using the included tool NetBuilder

A Java-written MIPS simulator developed to stimulate people learning the Assembly language. It adds graphics, sounds and user interation to make writing assembly programs more interesting.