596 search results - page 76 / 120 » Subtyping Recursive Types |
120
click to vote
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
108
click to vote
EVOW
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, we introduce a novel objective function for the hierarchical clustering of data from distance matrices, a very relevant task in Bioinformatics. To test the robustnes...
109
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: While in principle a seemingly infinite variety of combinations of mutations could result in tumor development, in practice it appears that most human cancers fall int...
117
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: With the rapid development of new genetic measurement methods, several types of genetic alterations can be quantified in a high-throughput manner. While the initial fo...
FOSSACS
2004
Springer
15 years 6 months ago
2004
Springer
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi...