4762 search results - page 654 / 953 » About the use of protein models |
110
click to vote
CIE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
CONTEXT
2007
Springer
15 years 8 months ago
2007
Springer
In this article we present the architecture of an m-learning (mobile-learning) environment using Bluetooth as communications technology. We also describe its practical implementati...
134
click to vote
IFIP
2007
Springer
15 years 8 months ago
2007
Springer
Many large-scale Internet applications optimize their overlay network to reduce latencies. Embedding coordinate systems like Vivaldi are valuable tools for this new range of applic...
107
click to vote
ISI
2007
Springer
15 years 8 months ago
2007
Springer
— In this paper we define a new metric for quantifying the degree of anonymity collectively afforded to users of an anonymous communication system. We show how our metric, based...
80
Voted
SAMT
2007
Springer
15 years 8 months ago
2007
Springer
Presentation of content is an important aspect of today’s virtual reality applications, especially in domains such as virtual exhibitions. The large amount and variety of exhibit...