9 search results - page 1 / 2 » The Tropical Double Description Method |
STACS
2010
Springer
13 years 12 months ago
2010
Springer
MOC
2010
12 years 11 months ago
2010
Abstract. Many key algorithms in 3-manifold topology involve the enumeration of normal surfaces, which is based upon the double description method for finding the vertices of a con...
JAPLL
2010
13 years 3 months ago
2010
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or ...
BMCBI
2010
13 years 5 months ago
2010
Background: Protein kinases play crucial roles in cell growth, differentiation, and apoptosis. Abnormal function of protein kinases can lead to many serious diseases, such as canc...
PVM
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. The MPI standard provides a way to send and receive complex combinations of datatypes (e.g., integers and doubles) with a single communication operation. The MPI standard...