Abstract. Josephs and Udding’s DI-Algebra offers a convenient way of specifying and verifying designs that must rely upon delay-insensitive signalling between modules (asynchrono...
The Simple Modular Architecture Research Tool 10 (SMART) is an online resource (http://smart.embl. de/) used for protein domain identification and the analysis of protein domain a...
Ivica Letunic, Richard R. Copley, Birgit Pils, Ste...
ISfinder (www-is.biotoul.fr) is a dedicated database for bacterial insertion sequences (ISs). It has superseded the Stanford reference center. One of its functions is to assign IS...
P. Siguier, J. Perochon, L. Lestrade, J. Mahillon,...
ACT dbPTM is a database that compiles information on protein post-translational modifications (PTMs), such as the catalytic sites, solvent accessibility of amino acid residues, pro...
The Biomolecular Interaction Network Database (BIND) (http://bind.ca) archives biomolecular interaction, reaction, complex and pathway information. Our aim is to curate the detail...