Deterministic Finite Automata

Fornux C++ Superset is a source-to-source compiler that injects an innovative deterministic memory manager into existing C/C++ code thus making the resulting application crash proof and free from any memory leaks implicitly. The resulting application remains real-time and works on all embedded...

jFAST is a simple finite automata (FA) graphical simulation utility; it is designed to feature simple mechanisms for creating, editing, and simulating FA. jFAST is ideal for use by students, instructors, and self-guided explorers alike.

FEVal, the Finite Element Evaluator written in Python, provides easy conversion for many Finite Element data formats (both binary and ascii). Mesh modification is very easy. Values of model results can be accessed given coordinates in physical space.


Platforms: Windows, Mac, Linux

The attachment contains:1. Related matlab files.2. Picture files of possible outputs.3. A read me text file.4. A report containing detailed explanations about the basics and about coding algorithm used herein.Finite difference (central) method is applied and solution is obtained for the stream...


Platforms: Matlab

CALFEM is an interactive computer program for teaching the finite element method (FEM). The name CALFEM is an abbreviation of 'Computer Aided Learning of the Finite Element Method'.


Platforms: Windows, Mac, Linux

ASTL Automata Standard Template Library (Vincent Le Maout - Dominique Revuz) is a set of generic and efficient C++ components for automata manipulation.


Platforms: Windows, Mac, Linux

It's a deterministic iterative zero order algorithm that can be used to solve unconstrained optimization problem. It finds the relative minimum of a two variables function with a deterministic iterative zero order algorithm. Pattern search method It finds the relative minimum of a two variables...


Platforms: Matlab

What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of...


Platforms: Windows

NTL is a high-performance, portable C++ library providing data structures and algorithms for manipulating signed, arbitrary length integers, and for vectors, matrices, and polynomials over the integers and over finite fields. NTL provides high quality implementations of state-of-the-art...


Platforms: Linux

ALL-IN-ONE MULTI-PHYSICS FINITE ELEMENT MODELING Ever wish there was a flexible system for solving all the partial differential equation problems that come up in science and engineering, so you didn't have to buy and learn a new software tool for each problem? Well, now your wish has come...


Platforms: Windows, Mac, Linux

Fractals are infinite complex images defined by a finite definition. We find in fractals a model to understand many different sciences such as economy, health and weather. Scientists love fractals. The images are usefull when they are applied as textures and backgrounds. Double Fractal is a...


Platforms: Windows

OOFEM is free finite element code with object oriented architecture for solving mechanical, transport and fluid mechanics problems that operates on various platforms.The aim of this project is to develop efficient and robust tool for FEM computations as well as to provide modular and extensible...


Platforms: C and C plus plus

C-Library & Matlab Toolbox implement a numerical solution of Poisson equationdiv(e*grad(u))=ffor Cartesian 1D, Cartesian 2D and axis-symmetrical cylindrical coordinates with respect to steeply varying dielectrical permittivity e.Library uses regular rectangular grid with mixed boundary...


Platforms: Matlab

A stack-based sequential priority first decoder that returns Maximum-Likelihood solutions to M-QAM modulated MIMO system-type problems, i.e., a lattice decoder with optional justified rectangular boundary control. In such problems, the depth of the search tree is known and the number of children...


Platforms: Matlab

Given the conditions (Temperature, Pressure, etc.) of the combustion chamber as well as the ambient conditions and the diameter/area of the throat, the program will:a) Solve for the nozzle exit area that produces the max amount of thrust.b) Use the method of characteristics to solve for the shape...


Platforms: Matlab

Matlab files include Gaussian numerical quadrature, Newton's method for finding roots, finite element method for 1D wave equation, and pattern formation (KPP anda system of two coupled PDEs).


Platforms: Matlab

Deterministic unconstrained optimization method using Powell.


Platforms: Matlab

Celeste is a tiny and simple Cellular Automata simulator written in Java. It is a command line application that writes an image of each simulation step. Celeste was designed to run Conway's Game of Life but other rulesets can be implemented as well. It is released under the extremely permissive...


Platforms: Windows, Mac, Linux

3D cellular automata modelling software for large general purpose simulations. Uses custom scripts for rules and can distribute processing over several machines.


Platforms: Windows, Mac, Linux

iGREAT is an open-source, statistical machine translation software toolkit based on finite-state models.


Platforms: Mac, Linux