For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...
A new method for the analysis of 3D medical images is introduced. The algorithm is based on Biological Models of ants known as Artificial Life models. Test images (lung Computed To...
This paper aims to demonstrate the potential for using the system dynamics computer simulation methodology to gain insight into the evolution of insurgencies. In particular, it ex...
In this article we present a new method for automatic landmark extraction from the contours of biological specimens. Our ultimate goal is to enable automatic identification of bio...
Yulia Hicks, A. David Marshall, Ralph R. Martin, P...
: The use of technology to assist human decision making is not a novel idea. However, we argue that there is a need for a unified model which synthesizes and extends existing model...
Lars Niklasson, Maria Riveiro, Fredrik Johansson, ...