291 search results - page 29 / 59 » Liveness-Preserving Atomicity Abstraction |
115
click to vote
APN
2006
Springer
2006
Springer
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis
15 years 1 months ago
Abstract. We report on the results of an investigation into the integration of Petri nets and ordinary differential equations (ODEs) for the modelling and analysis of biochemical n...
JIB
2007
14 years 11 months ago
2007
2D-Nuclear magnetic resonance (NMR) spectra are used in the (structural) analysis of small molecules. In contrast to 1D-NMR spectra, 2D-NMR spectra correlate the chemical shifts o...
127
click to vote
OOPSLA
2010
Springer
14 years 9 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
EMMCVPR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper presents a Bayesian inference algorithm for image layer representation [26], 2.1D sketch [6], with mixed Markov random field. 2.1D sketch is an very important...
89
Voted
HAPTICS
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. This paper introduces a new pedagogical tool using haptic feedback and visual analogy, to improve perception and learning of nanoscale phenomena, for people without prior...