3238 search results - page 444 / 648 » Not Enough Points Is Enough |
EJIS
2008
13 years 11 months ago
2008
Can research quality be measured meaningfully? Whether it can or not does not interfere with the desire to do so if the motivation is strong enough. This paper discusses the Unite...
ENTCS
2008
13 years 11 months ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
APAL
2006
13 years 11 months ago
2006
: It follows directly from Shelah's structure theory that if T is a classifiable theory, then the isomorphism type of any model of T is determined by the theory of that model ...
BIB
2006
13 years 10 months ago
2006
Flux balance analysis (FBA) has emerged as an effective means to analyse biological networks in a quantitative manner. Much progress has been made on the extension of FBA to incor...
BIB
2006
13 years 10 months ago
2006
One of the major goals of computational sequence analysis is to find sequence similarities, which could serve as evidence of structural and functional conservation, as well as of ...