1438 search results - page 43 / 288 » An Expressive Extension of TLC |
102
Voted
CALCO
2005
Springer
15 years 6 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...
94
Voted
ASIAN
1999
Springer
15 years 5 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...
136
click to vote
BMCBI
2004
15 years 15 days 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...
95
Voted
BMCBI
2008
15 years 23 days 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...
128
Voted
BMCBI
2010
15 years 23 days 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...