1280 search results - page 62 / 256 » Soft Typing with Conditional Types |
ACS
2010
13 years 9 months ago
2010
We characterize the hereditary torsion pairs of finite type in the functor category of a ring R associated to tilting torsion pairs in the category of R-modules. Moreover, we deter...
NBIS
2009
Springer
14 years 1 months ago
2009
Springer
act— Web alerts are user-defined monitor conditions for public Internet information in which notification messages are sent to users whenever their alert conditions are met. The ...
BMCBI
2007
13 years 9 months ago
2007
Background: Cells dynamically adapt their gene expression patterns in response to various stimuli. This response is orchestrated into a number of gene expression modules consistin...
VMCAI
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
JKM
2010
13 years 7 months ago
2010
Purpose – Looking at the practical experience of organizations pursuing knowledge management, it is found that their efforts are primarily focused on creating the conditions and...