We propose String MultiSet Rewriting (SMSR) as an intermediate language for simulation of biomolecular systems. Higher level formalisms for biological systems description can be t...
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo...
This paper presents an approach to generate structured explanations of system behaviour based on qualitative simulations. This has been implemented in WiziGarp, a domain-independen...
Scalability and input domain explosion make it impossible to exhaustively test simulation systems. Improved methods such as statistical usage testing are needed to provide quantit...
Gwendolyn H. Walton, Robert M. Patton, Douglas J. ...
ESIGN. THE STEAM SIMULATOR LETS USERS ABSTRACT THE DETAILS OF LOW-LEVEL RECORDING PHYSICS AND HEAT TRANSFER PHENOMENA AND FACILITATES EXPLORATION OF A LARGE DESIGN SPACE OF STORAGE...
Sudhanva Gurumurthi, Youngjae Kim, Anand Sivasubra...
In this paper we present a detailed analysis of the performance of the Decision Theoretic Read Delay (DTRD) optimistic synchronisation algorithm for simulations of Multistems. We ...
Michael Lees, Brian Logan, Dan Chen, Ton Oguara, G...