Users of a digital book library system typically interact with the system to search for books by querying on the metadata describing the books or to search for information in the p...
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...
Creating, maintaining, or using a digital library requires the manipulation of digital documents. Information workspaces provide a visual representation allowing users to collect,...
Frank M. Shipman III, Hao-wei Hsieh, J. Michael Mo...
Environmental research and knowledge discovery both require extensive use of data stored in various sources and created in different ways for diverse purposes. We describe a new m...
Zhiyuan Chen, Aryya Gangopadhyay, George Karabatis...
We provide an epistemic analysis of arbitrary strategic games based on possibility correspondences. Such an analysis calls for the use of transfinite iterations of the correspond...