Sciweavers

1823 search results - page 318 / 365
» Generating Multiple New Designs From a Sketch
Sort
View
BMCBI
2010
72views more  BMCBI 2010»
13 years 7 months ago
Potentials 'R'Us web-server for protein energy estimations with coarse-grained knowledge-based potentials
Background: Knowledge-based potentials have been widely used in the last 20 years for fold recognition, protein structure prediction from amino acid sequence, ligand binding, prot...
Yaping Feng, Andrzej Kloczkowski, Robert L. Jernig...
FOCM
2002
140views more  FOCM 2002»
13 years 7 months ago
Adaptive Wavelet Methods II - Beyond the Elliptic Case
This paper is concerned with the design and analysis of adaptive wavelet methods for systems of operator equations. Its main accomplishment is to extend the range of applicability...
Albert Cohen, Wolfgang Dahmen, Ronald A. DeVore
HT
2009
ACM
14 years 2 months ago
2LIPGarden: 3D hypermedia for everyone
The early Web was hailed for being easy to use, and what is more important, giving people a chance to participate in its growth. The Web3D was believed to have potential to be the...
Jacek Jankowski, Izabela Irzynska, Bill McDaniel, ...
PLDI
2003
ACM
14 years 26 days ago
A provably sound TAL for back-end optimization
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang
FECS
2006
125views Education» more  FECS 2006»
13 years 9 months ago
An Automated Template Based Interactive Multimedia Solution for Handheld Devices in the Educational Field or Other Domains
The recent enormous increase in the availability of mobile devices such as phones, PDAs, webpads, tablet PCs etc. and with it the corresponding demand for interactive multimedia a...
Oszkar Nagy, Allen Long