1213 search results - page 125 / 243 » Traceability for System Families |
98
Voted
IGPL
1998
15 years 12 days ago
1998
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
101
Voted
NAR
1998
15 years 11 days ago
1998
PRINTS is a database of protein family ‘fingerprints’ offering a diagnostic resource for newly-determined sequences. By contrast with PROSITE, which uses single consensus expr...
94
Voted
ISCI
2010
14 years 11 months ago
2010
This paper presents a simple but effective tuning strategy for robust static output feedback (SOF) controllers with minimal quadratic cost in the context of multiple parametric un...
88
Voted
ACL
2009
14 years 10 months ago
2009
Negative life events, such as death of a family member, argument with a spouse and loss of a job, play an important role in triggering depressive episodes. Therefore, it is worth ...
129
Voted
NAR
2011
14 years 3 months ago
2011
We present the relational database EDULISS (EDinburgh University Ligand Selection System), which stores structural, physicochemical and pharmacophoric properties of small molecule...