This paper presents binders and operators, in the process calculi tradition, to reason about biological interactions. Special binders are added to wrap a process just as membranes ...
We introduce a Control Flow Analysis, that statically approximates the dynamic behaviour of processes, expressed in the Beta-Binders calculus. Our analysis of a system is able to ...
A method is presented that uses b-strand interactions to predict the parallel right-handed b-helix super-secondary structural motif in protein sequences. A program called BetaWrap...
Phil Bradley, Lenore Cowen, Matthew Menke, Jonatha...
We present multi-scale tracking features for the In Silico Liver (ISL) and their simulation results. The features were developed to support tracking of dynamic pharmacokinetic/pha...
Sunwoo Park, Sean H. J. Kim, Glen E. P. Ropella, C...
Background: PDZ domains mediate protein-protein interactions involved in important biological processes through the recognition of short linear motifs in their target proteins. Tw...