2470 search results - page 411 / 494 » Liveness-Preserving Simulation Relations |
105
click to vote
EMO
2005
Springer
15 years 6 months ago
2005
Springer
With the invention of microarray technology, researchers are able to measure the expression levels of ten thousands of genes in parallel at various time points of a biological proc...
88
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
The C-value Paradox is the name given in biology to the wide variance in and often very large amount of DNA in eukaryotic genomes and the poor correlation between DNA length and p...
125
Voted
GFKL
2005
Springer
15 years 6 months ago
2005
Springer
Mixture models represent results of gene expression cluster analysis in a more natural way than ’hard’ partitions. This is also true for the representation of gene labels, such...
104
click to vote
HYBRID
2005
Springer
15 years 6 months ago
2005
Springer
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
106
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...