Understanding the relationship between protein structure and its sequence is one of the most important tasks of current bioinformatics research. In this work, recurring protein se...
Wei Zhong, Gulsah Altun, Robert W. Harrison, Phang...
The ability of logic transformations to enhance safety property checking has been well-established, and many industrial-strength verification solutions accordingly rely ariety of...
Historically, the dominant paradigm in HCI, when it appeared as a field in early 80s, was information processing ("cognitivist") psychology. In recent decades, as the fo...
Bonnie A. Nardi, Edwin Hutchins, James D. Hollan, ...
In this paper, we proposed the learning resource ontology(LRO) models to formally describe learning content and learning context, respectively. In addition to utilizing the models...
Zongkai Yang, Tao Huang, Qingtang Liu, Xia Li, Bei...
A new approach for faithful relevance rating of attributes is proposed, enabling class-specific discriminatory data space transformations. The method is based on the adaptation of ...
Marc Strickert, Frank-Michael Schleif, Thomas Vill...