Sciweavers

1526 search results - page 169 / 306
» Computer algebra in systems biology
Sort
View
AC
2003
Springer
16 years 10 days ago
A Mathematical Semantics for Architectural Connectors
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
José Luiz Fiadeiro, Antónia Lopes, M...
SAS
1991
Springer
102views Formal Methods» more  SAS 1991»
15 years 10 months ago
Equational Logics
d Abstract) Marcelo Fiore1 Chung-Kil Hur2,3 Computer Laboratory University of Cambridge Cambridge, UK We introduce an abstract general notion of system of equations between terms,...
Yong Sun
220
Voted
BMCBI
2005
212views more  BMCBI 2005»
15 years 7 months ago
PAGE: Parametric Analysis of Gene Set Enrichment
Background: Gene set enrichment analysis (GSEA) is a microarray data analysis method that uses predefined gene sets and ranks of genes to identify significant biological changes i...
Seon-Young Kim, David J. Volsky
COCO
2009
Springer
98views Algorithms» more  COCO 2009»
16 years 1 months ago
Extractors for Varieties
We study the task of randomness extraction from sources which are distributed uniformly on an unknown algebraic variety. In other words, we are interested in constructing a functi...
Zeev Dvir
194
Voted
FM
2001
Springer
130views Formal Methods» more  FM 2001»
15 years 11 months ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh