Toward Full-Stack In Silico Synthetic Biology: Integrating Model Specification, Simulation, Verification, and Biological Compilation

S Konur, L Mierla, H Fellermann, C Ladroue… - ACS Synthetic …, 2021 - ACS Publications
We present the Infobiotics Workbench (IBW), a user-friendly, scalable, and integrated
computational environment for the computer-aided design of synthetic biological systems. It …

Improving communication in crisis management by evaluating the relevance of messages

N Netten, M van Someren - Journal of contingencies and crisis …, 2011 - Wiley Online Library
Efficient communication is a major challenge for emergency responders during crisis
management. Reports show that missing information and information overload are important …

Verifiable biology

S Konur, M Gheorghe… - Journal of the Royal …, 2023 - royalsocietypublishing.org
The formalization of biological systems using computational modelling approaches as an
alternative to mathematical-based methods has recently received much interest because …

Spiking neural P systems: matrix representation and formal verification

M Gheorghe, R Lefticaru, S Konur, IM Niculescu… - Journal of Membrane …, 2021 - Springer
Structural and behavioural properties of models are very important in development of
complex systems and applications. In this paper, we investigate such properties for some …

[图书][B] Risk and hazard management for festivals and events

P Wynn-Moylan - 2017 - taylorfrancis.com
Events of all types are produced every day for all manner of purposes, attracting all sorts of
people. To provide a safe and secure setting in which people gather is imperative. Event risk …

[HTML][HTML] kPWorkbench: A software suit for membrane systems

S Konur, L Mierlă, F Ipate, M Gheorghe - SoftwareX, 2020 - Elsevier
Membrane computing is a new natural computing paradigm inspired by the functioning and
structure of biological cells, and has been successfully applied to many different areas, from …

Formal modelling and comparing of disaster plans

M Hoogedoorn, C Jonker, V Popova, A Sharpanskykh… - 2005 - eprints.bournemouth.ac.uk
Every municipality in The Netherlands has its own disaster plan. A disaster plan contains the
blueprint of how to handle incidents in the municipality with the aim of preventing incidents …

[图书][B] 企业危机管理的信息机制研究

罗贤春 - 2009 - ecsponline.com
企业危机管理的信息机制是企业应对危机的必备要素. 本书以企业危机管理理论为基础,
宏观上构建以企业危机应急和管理过程为中心的二维信息保障体系, 微观上以企业危机管理活动 …

A big data approach to support information distribution in crisis response

N Netten, S van den Braak, S Choenni… - Proceedings of the 9th …, 2016 - dl.acm.org
Crisis response organizations operate in very dynamic environments, in which it is essential
for responders to acquire all information critical to their task execution in time. In reality, the …

[PDF][PDF] Exploring protocols for multidisciplinary disaster response using adaptive workflow simulation

G Bruinsma, R de Hoog - 3rd International ISCRAM Conference, 2006 - Citeseer
The unique and dynamic changing nature in which a disaster unfolds forces emergency
personnel involved with the mitigation process to be greatly flexible in their implementation …