Security communication systems composed of highly reliable components may have few if any failures while undergoing heavy testing or field-usage. This paper combines (i) analysis ...
Biomedical systems involve complex interactions between diverse components. Problem solving in such systems requires insight, i.e. the capability to make non-obvious connections. I...
Yang Cai 0002, Ingo Snel, B. Suman Bharathi, Cleme...
In this paper we present the current state of our research on simulation of temporal bone surgical procedures. We describe the results of tests performed on a virtual surgical trai...
Marco Agus, Andrea Giachetti, Enrico Gobbetti, Gia...
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
The configuration of a computational intelligence (CI) method is responsible for its intelligence (e.g. tolerance, flexibility) as well as its accuracy. In this paper, we investiga...