1438 search results - page 43 / 288 » An Expressive Extension of TLC |
CALCO
2005
Springer
14 years 4 months ago
2005
Springer
We present ACPc , a process algebra with conditional expressions in which the conditions are taken from a Boolean algebra, and extensions of this process algebra with mechanisms fo...
ASIAN
1999
Springer
14 years 3 months ago
1999
Springer
This paper aims at introducing an extension of M-nets, a fully compositional class of high-level Petri nets, and of its low-level counter part, Petri Boxes Calculus (PBC). We intro...
BMCBI
2004
13 years 10 months ago
2004
Background: Modern developmental biology relies heavily on the analysis of embryonic gene expression patterns. Investigators manually inspect hundreds or thousands of expression p...
BMCBI
2008
13 years 11 months ago
2008
Background: DNA microarrays are used to investigate differences in gene expression between two or more classes of samples. Most currently used approaches compare mean expression l...
BMCBI
2010
13 years 11 months ago
2010
Background: Genome-wide expression studies have developed exponentially in recent years as a result of extensive use of microarray technology. However, expression signals are typi...