Deterministic Finite Automata

The Getfem++ project focuses on the development of a generic and efficient C++ library for finite element methods elementary computations. The goal is to provide a library allowing the computation of any elementary matrix (even for mixed finite element methods) on the largest class of methods and...

GetDP is a general finite element solver using mixed elements to discretize de Rham-type complexes in one, two and three dimensions. The main feature of GetDP is the closeness between the input data defining discrete problems (written by the user in ASCII data files) and the symbolic mathematical...

Dynamical systems model time-dependent phenomena in which the next state is computable from the current state. Dynamical systems may be discrete or continuous, depending on the nature of the time coordinate. Many physical systems can be modeled as dynamical systems. In this tutorial, we examine...


Platforms: Mac

LifeLab is a Mac application for exploring John Conway's Game of Life and other cellular automata. CAs were first studied in the mid-1950s by Stanislaw Ulam and John von Neumann. The subject became much more widely known in 1970 when Life was described by Martin Gardner in his Scientific American...


Platforms: Mac

A cellular automaton is a discrete model studied in computability theory, mathematics, physics, complexity science, theoretical biology and micro-structure modeling. It consists of a regular grid of cells, each in one of a finite number of states, such as "On" and "Off". The grid can be in any...


Platforms: Mac

FeMOS is a finite element method simulation of Double Gate MOSFET. The calculation uses Non-equilibrium Green's function method in fast uncoupled mode space approach.


Platforms: *nix

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


Platforms: *nix

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: *nix

The broad goal of our project is to provide deterministic-by-default semantics for an object-oriented, imperative parallel language, using primarily compile-time checking. "Deterministic" means that the program produces the same visible output for a given input, in all executions. "By default"...


Platforms: *nix

Finite element analysis of 3-dimensional structures made of bars, designed for use in civil engineering.


Platforms: *nix

Code_Aster is a finite element solver (similar to Nastran, Abaqus, Ansys, ...) and it solve different types of mechanical, thermal, acoustic, seismic, problems. It can be used for simulation in thermo - hydro - mechanics and calculation of structures. It has been validated by more than 3000 test...


Platforms: Windows, Windows 8, Windows 7, Windows Server

Open all pictures in a finite time and go onto the next level. 38 levels with different field sizes and sets of the same pictures.


Platforms: Windows

This is an OpenGL based screensaver that uses different "Artificial Life" rules to develop sometimes interesting and sometimes beautiful (and sometimes both ;-)) patterns and renders them. It knows more than 10 Cellular Automata rules from Life family and also has a variety of graphical...


Platforms: Windows

QuickField is a Finite Element Analysis package for electromagnetic, thermal, and stress design simulation with coupled multi-field analysis.Student's QuickField is a free but full-featured analysis program with limited number of mesh nodes. You can use it to simulate simple engineering...


Platforms: Windows

DXF2MOD reads DXF files saved by AutoCAD and analyses all 3Dface and 3Dmesh entities to define the unique vertexes to be interpreted as finite element nodes, and the unique 3Dfaces to be interpreted as shell elements.


Platforms: Windows

QCADesigner is a CAD tool for quantum-dot cellular automata (QCA) circuits. The powerful CAD features and simulation engines allow for rapid design, layout, and simulation of QCA circuits and systems. QCADesigner has most of the standard computer aided design features required for the advanced...


Platforms: Windows, *nix

APM Structure 3D is the light version of component for strength and dynamic analysis of parts and structures by finite element method. It is a useful utility for engineers and technical designers. APM Structure 3D is a universal system intended to perform complex analysis and design of rod,...


Platforms: Windows

Student+s QuickField is a very specific software packet to analyze finite elements and simulate electromagnetic and terminal designs.Student+s QuickField is a free tool and includes many analysis functions.You can use the program to simulate simple engineering problems, to learn the more...


Platforms: Windows

Ragel State Machine Compiler compiles finite state machines from regular languages into executable C/C++/Objective-C code. Ragel state machines can not only recognize byte sequences as regular expression machines do, but can also execute code at arbitrary points in the recognition of a regular...


Platforms: *nix

dk.brics.automaton project is a Java package that contains a DFA/NFA (finite-state automata) implementation with Unicode alphabet (UTF16) and support for the standard regular expression operations (concatenation, union, Kleene star) and a number of non-standard ones (intersection, complement,...


Platforms: *nix