2373 search results - page 157 / 475 » On the Theory of Structural Subtyping |
197
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Genome wide microarray studies have the potential to unveil novel disease entities. Clinically homogeneous groups of patients can have diverse gene expression profiles...
167
click to vote
LOGCOM
1998
15 years 6 months ago
1998
The Situation Calculus is a logic of time and change in which there is a distinguished initial situation ¡£¢ and all other situations arise from the different sequences of acti...
186
click to vote
MCS
2007
Springer
15 years 6 months ago
2007
Springer
In this project, nonlinear characteristics on the rolling interface of a linear guide were studied by the finite element analysis and experimental verification. Contact of the b...
197
click to vote
TPHOL
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
163
click to vote
APN
2007
Springer
16 years 24 days ago
2007
Springer
We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by Carl...