11949 search results - page 78 / 2390 » Some results on (a:b)-choosability |
144
click to vote
RV
2009
Springer
15 years 5 months ago
2009
Springer
Monitoring of software’s execution is crucial in numerous software development tasks. Current monitoring efforts generally require extensive instrumentation of the software or d...
106
click to vote
MCU
1998
15 years 2 months ago
1998
The paper extends some of the most recently obtained results on the computational universality of speci c variants of H systems (e.g. with regular sets of rules) and proves that we...
111
click to vote
BMCBI
2006
15 years 25 days ago
2006
Background: The identification of differentially expressed genes (DEGs) from Affymetrix GeneChips arrays is currently done by first computing expression levels from the low-level ...
111
click to vote
DT
2000
15 years 18 days ago
2000
Effective high-level ATPG tools are increasingly needed, as an essential element in the quest for reducing as much as possible the designer work on gate-level descriptions. We pro...
116
Voted
APN
2009
Springer
15 years 7 months ago
2009
Springer
In previous works we defined ν-APNs, an extension of P/T nets with the capability of creating and managing pure names. We proved that, though reachability is undecidable, coverab...