Search Results for "model-builder"

Modular application for biomedical data processing.

ParMa provides several ways to define and read parameter settings for ABM ant therefore facilitates the organisation of model parameter settings.

Java library for Relationship Based Access Control (ReBAC). Provides a general framework creating ReBAC policies and model checking. Also provides tools for testing. Obtain latest version as a Maven Dependency: <dependency> <groupId>ca.ucalgary.ispia</groupId> <artifactId>rebac</artifactId> <version>0.1.7</version> </dependency>

Program based on created BPMN 2.0 Cloud extension. It reads a model *.bpmn, which was created using jBPM BPMN 2.0 modeling tool. Then user is able to define a sensitivity of data elements. After that an Ontology is created and filled in with model elements. Special logical rules process the data. User is able to additionally define the security level. The resulting model is created and can be opened in the jBPM.

We are developing MIRACH, a Statistical Online Model Checker for Biological Pathway Models, based on the PLTLs formalism for expressing the rules/properties to be checked. MIRACH can currently check pathways models written either in CSML or SBML.

GRaPe - a platform-independent software tool for building integrative gene-reaction-protein (GRP) networks. It generates the kinetic equations for each reaction and outputs a SBML document. It also implements two methods for parameter estimation.

This research project seeks to use compiler techniques to perform an attribute-based data-flow analysis on (MOF/UML)models allowing for a syntax-driven validation of a model's static semantics as well as an abstract interpretation of i dynamic behavior.

...We at Running Reality believe that we can use the power of today's computers and mobile devices to bring history to life in an accessible, immersive, and engaging way for K-12 students, history enthusiasts, and visitors to historical sites. Running Reality gives you a map that lets you go any place on any date from 3000BC to today and explore down to the street-level of history. This model has nations and cities but also ships, armies, buildings, and people. Towns grow, buildings are constructed, ships explore new seas, and armies battle. Harbors silt in, rivers change course, and cities are sacked and burned. When you are standing at a historical site and using your mobile phone, you can see all the events that happened around you at that exact spot then zoom out to see the context of what was happening more globally.