4353 search results - page 72 / 871 » Expressiveness of Process Algebras |
CORR
2010
Springer
14 years 10 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
LICS
2008
IEEE
15 years 4 months ago
2008
IEEE
In higher-order process calculi the values exchanged in communications may contain processes. A core calculus of higher-order concurrency is studied; it has only the operators nec...
BMCBI
2007
14 years 10 months ago
2007
Background: The study of microRNAs (miRNAs) is attracting great considerations. Recent studies revealed that miRNAs play as important regulators of gene expression and some even a...
105
click to vote
ICANN
2009
Springer
14 years 7 months ago
2009
Springer
Different algorithms have been proposed in the literature to cluster gene expression data, however there is no single algorithm that can be considered the best one independently on...
ISMIS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. One of the virtues of XML is that it allows complex structures to be easily expressed. This allows XML to be used as an intermediate, neutral, and standard form for repre...