Contract Soundness for object-oriented languages Pragmatics and Word Meaning RCV1: A New Benchmark Collection for Text Categorization Research TRBAC: a temporal role-based access control model Feast and famine: critical role of glucocorticoids with insulin in daily energy flow...