894 search results - page 50 / 179 » Universal Relations and |
SIGUCCS
2003
ACM
14 years 1 months ago
2003
ACM
Louisiana State University’s Biomedical Research Center is going through a major expansion in reaching its 5 year strategic plan. With expansion comes an opportunity to “get t...
ORDER
2010
13 years 6 months ago
2010
Let P be the ordered set of isomorphism types of finite ordered sets (posets), where the ordering is by embeddability. We study first-order definability in this ordered set. We ...
NAR
2011
12 years 11 months ago
2011
We present the relational database EDULISS (EDinburgh University Ligand Selection System), which stores structural, physicochemical and pharmacophoric properties of small molecule...
CHI
2006
ACM
14 years 8 months ago
2006
ACM
Within the CHI community there is growing interest in moving beyond cognition and expanding into the social, emotional, and bodily aspects of the human-computer experience. Sex li...
CSL
2010
Springer
13 years 9 months ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...