Maternity Formal Dresses

Omnigraphs are a formal extension of hypergraphs with the ability of edges to connect to multiple nodes and edges. This project hosts the Ogre compilers. Platforms: Windows, Mac, Linux

The Overture project is developing a set of open source Eclipse plug-ins to support the integration of various VDM modelling tools (Vienna Development Method). The aim is to provide support for all existing VDM tools and language dialects. Platforms: Windows, Mac, Linux

Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement... Platforms: Windows, Mac, *nix, Java, BSD Solaris

Agent based model of organizations considering the interplay between the formal hierarchical structure and the process network emerging while the organization performs a task-set. Platforms: Windows, Mac, Linux

Web application for management formal representations of knowledge, thesauri, taxonomies and multilingual vocabularies / Aplicacion para la gestion de representaciones formales del conocimiento, tesauros, taxonomi­as, vocabularios multilingues Platforms: Windows, Mac, Linux

Tockit tries to build a framework for Conceptual Knowledge Processing (CKP) and Formal Concept Analysis (FCA) in Java, using a component-based approach, XML formats and a three-tier architecture. Platforms: Windows, Mac, Linux

A Java collections framework based on set theory, specifically, from Spivey's work on the Z notation (a formal specification language). Platforms: Windows, Mac, Linux

GNU Cim is a compiler for the programming language Simula (except unspecified parameters to formal or virtual procedures). It offers a class concept, separate compilation with full type checking, interface to external C routines, an application package for process simulation and a coroutine concept. Platforms: *nix, C/C++, BSD

CPG is an application for specifying formal language grammars and computing, generating, and simulating the corresponding automatons. It has features which significantly extend those of the lex/yacc and flex/bison tools available on UNIX and Linux operating systems. Requirements: - Qt Library Platforms: *nix, C/C++, BSD

The goal of DAST is to provide a formal, repeatable, reusable process for 'building' a Drupal site using a formal build tool and build language. DAST applies the concept of the software build to creating Drupal sites...Phing build files are syntactically identical to Ant build files and provide... Platforms: Windows, Mac, *nix, PHP, BSD Solaris

This is useful for making posts look more formal.InstallationUnpack and upload it to the /wp-content/plugins/ directory.Activate the plugin through the 'Plugins' menu in WordPress. Requirements: - WordPress 1.5 up to 2.3.1 Platforms: Windows, Mac, *nix, PHP, BSD Solaris

These files are obsolete. If you wish a more recent version download its from http://forja.rediris.es/frs/?group_id=644The methodology used for programing this utilities are described in the articles: * J.M. And?jar, A.J. Barrag?n, "A methodology to design stable nonlinear fuzzy control systems",... Platforms: Matlab

This simulation allows students to compare the motion of free falling objects with and without the influence of air resistance. Air resistance is the result of collisions of the object's leading surface with air molecules. On Earth, objects falling through the air usually encounter some sort of... Platforms: Mac

This interactive simulation shows a stone block lying at rest on an inclined plane. Initially, the component of gravity along the plane surface is exceeded by the force of static friction. The slope of the ramp can be increased or decreased, allowing students to see the exact point when the... Platforms: Mac

This is a standards-based simulation for grade level 6-9, developed to help students visualize how total energy is conserved in a simple pendulum. It depicts a child swinging on a swing suspended from a stationary point. Students can drag the swing to different heights, then activate the motion.... Platforms: Mac

The Point Charge Forces in One-Dimension model investigates the electric force that one charged particle exerts on another. It is a very simple representation that promotes understanding of Coulomb's Law in three ways: First, students can set the amount of charge on each particle and view vector... Platforms: Mac

This interactive simulation allows students to explore the concept of electric field in a 2-dimensional situation. Users can place one to five charged particles on the field and move a test charge around the plane. A grid of field vectors can also be activated to show the direction of the... Platforms: Mac

The Car Race model is a Java-based simulation that will help students visualize the difference between constant velocity and constant acceleration. It features the classic physics scenario in kinematics: a lead car travels at constant velocity on a straight track, while a second car moves from... Platforms: Mac

This simulation gives students a chance to practice two-dimensional vector addition in an interactive format with immediate feedback. The magnitude and direction of two vectors are given; the students' task is to determine x and y components, length of the two vectors, and the resultant sum.... Platforms: Mac

Muku dresses up every webpage that you open a very natural and warm color. Muku provides you a combination of tones that will remind you of wood and metal or of a unfinished handmade furniture. Platforms: Mac