We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...
: Crystal lattices are discrete models of the three-dimensional space that have been effectively employed to facilitate the task of determining proteins' natural conformation....
There are many technical challenges in designing the architecture of globally-distributed, federated digital libraries. This paper focuses on the problem of global resource discov...
We describe a new method to predict the tertiary structure of new-fold proteins. Our two-phase approach combines the knowledge-based fragmentpacking with the minimization of a phy...
Jinhui Ding, Elizabeth Eskow, Nelson L. Max, Silvi...
We present two complementary methods for automatically improving mesh parameterizations and demonstrate that they provide a very desirable combination of efficiency and quality. ...