The protein folding problem - how to predict the three-dimensional structure of a protein from its linear sequence of amino acids - has been adequately solved by traditional statistical analysis.
Queuing theory has become a standard tool for analyzing the performance of complex systems such as communications networks, computers and manufacturing facilities.
We study and further develop two language-based techniques for analyzing security protocols. One is based on a typed process calculus; the other, on untyped logic programs.
Harmonic balance and traditional time-domain simulation techniques are limited in their applicability when strong nonlinearities and multi-tone signals are both present.
Various technologies for optimizing video delivery in cellular networks have been presented in the past.
In distributed storage systems, a special sub-class of locally repairable codes, referred to as availability codes, has been proposed to enable recovery of each data block from one of its repair gr
This paper studies the performance of deferred resource reservation in data networks.
Full-duplex technology has become an attractive solution for future 5th generation (5G) systems for accommodating the exponentially growing mobile traffic demand.
© 2017 International World Wide Web Conference Committee (IW3C2), published under Creative Commons CC BY 4.0 License.
Previous work in goldfish has suggested that the oculomotor velocity-to-position neural integrator for horizontal eye movements may be confined bilaterally to a distinct group of medullary neurons
