11797 search results - page 293 / 2360 » Recent Developments in the Experimental |
150
click to vote
DM
2002
15 years 6 months ago
2002
A fibration of graphs is a morphism that is a local isomorphism of in-neighbourhoods, much in the same way a covering projection is a local isomorphism of neighbourhoods. This pap...
135
click to vote
EATCS
2002
15 years 6 months ago
2002
Abstract. This paper provides a comprehensive summary of equivalence checking results for infinite-state systems. References to the relevant papers will be updated continuously acc...
165
click to vote
NAR
2000
15 years 6 months ago
2000
The ENZYME database is a repository of information related to the nomenclature of enzymes. In recent years it has became an indispensable resource for the development of metabolic...
141
click to vote
JAMDS
2002
15 years 6 months ago
2002
Abstract. Recently the authors have proposed tests for the one-sample and the ksample problem, and a test for independence. All three tests are based on sample space partitions, bu...
177
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
This paper provides a succinct proof of a 1973 theorem of Lieb that establishes the concavity of a certain trace function. The development relies on a deep result from quantum info...