Scalable reaction network modeling with automatic validation of consistency in Event-B
Constructing a large biological model is a difficult, error-prone process. Small errors in
writing a part of the model cascade to the system level and their sources are difficult to trace …
writing a part of the model cascade to the system level and their sources are difficult to trace …
Stepwise construction of a metabolic network in Event-B: The heat shock response
There is a high interest in constructing large, detailed computational models for biological
processes. This is often done by putting together existing submodels and adding to them …
processes. This is often done by putting together existing submodels and adding to them …
Towards Scalable Modeling of Biology in Event-B
Biology offers many examples of large-scale, complex, concurrent systems: many processes
take place in parallel, compete on resources and influence each other's behavior. The …
take place in parallel, compete on resources and influence each other's behavior. The …
Designing resilient and secure smart micro grids
S Valipour - 2016 - dl.gi.de
The research presented in this extended abstract paper depicts a smart grid management
framework which enables a decentralized and autonomous organization of the energy …
framework which enables a decentralized and autonomous organization of the energy …
A Computational Model for The Access to Medical Service in a Basic Prototype of a Healthcare System
How robust is a healthcare system? How does a patient navigate the system and what is the
cost (eg, number of medical services required or number of times the medical provider had …
cost (eg, number of medical services required or number of times the medical provider had …