Search Results for "event"

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

OpenSIMPLY is an open source project for simulation modeling in Delphi, Lazarus, Free Pascal. Download OpenSIMPLY at opensimply.org The project is free computer simulation software based on discrete-event approach. OpenSIMPLY is a science software with very high simulation performance. So, the simulation results can be obtained much faster. The project is suitable for people with any modeling experience, and can be used for both science and education. Some application of this modeling software are: - traffic simulation - network simulation, - emergency and evacuation ways simulation and much more. ...

The purpose of this program is to provide the user with a convenient algorithm for automatic Independent Component (IC) selection with respect to the contributions of the ICs to a certain event-related brain potential (ERP). www.jan-wessel.de

as3delaunay is an ActionScript 3 library that provides an implementation of Delaunay triangulation and Voronoi diagram generation. It is based on the well-known work of Raymond Hill and offers developers an efficient way to create and manipulate geometric structures for use in Flash and other AS3-based environments. The library enables users to generate Voronoi diagrams from a set of input points, allowing applications such as procedural map generation, image segmentation, and spatial...

This is a sophisticated & integrated simulation and analysis environment for dynamical systems models of physical systems (ODEs, DAEs, maps, and hybrid systems). It supports symbolic math, optimization, continuation, data analysis, biological apps...

Taylor series Integrator for Differential EquationS. This software is developed by Profs. A. Abad, R. Barrio, F. Blesa and M. Rodriguez, (GME, University of Zaragoza, Spain). It consists on a C (Fortran) library, libTIDES, and a Mathematica package, MathTIDES. (MathTIDES requires Mathematica version >= 7.0) . Basic references: * A. Abad, R. Barrio, F. Blesa, M. Rodriguez, 2012. Algorithm 924: TIDES, a Taylor series Integrator for Differential EquationS, ACM TOMS. 39, no. 1, art. 5....

DSOL is a full featured multi-formalism, distributed simulation environment developed at Delft University of Technology (The Netherlands). DSOL has support for discrete event and for continuous modeling. Formalisms supported are event scheduling, DEVS, flow-based simulation, and continuous modeling through sets of differential equations. The first release was introduced at IEEE's Winter Simulation Conference in 2002. Since then, numerous papers and PhD dissertations have been developed, with applications in the fields of transportation and traffic, logistics, supply chain management, gaming and training, health care, and many others.

...Mixed models partition mortality into exogenous and endogenous components, so that the intrinsic survivorship can be estimated without the interference from extrinsic noise. DeDAY supports both interval-censored data and exact event-time data. Using MLE (Maximum Likelihood Estimate), DeDAY fits statistic model to the data. DeDAY also calculates the variances and the multi-dimensional confidence limits of model parameters. DeDAY is free for academic users.

Stochastic discrete event system analysis and verification are essential in order to ensure reliability in such systems. However, models that cannot be constructed with an hand-made process need to be learned. Thus, the SDES toolbox proposes an automated solution that is embedded in Matlab to learning and analisis generalized semi-Markov processes.

libQuest is a quest management library. In libQuest, a quest is defined as an event or a combination of other quests such that high level statements can be easily represented in a quest tree. libQuest is being designed with respect to Quest/Mission based