Sciweavers

387 search results - page 62 / 78
» Expressive programs through presentation extension
Sort
View
SAS
2005
Springer
134views Formal Methods» more  SAS 2005»
14 years 1 months ago
Using Dependent Types to Certify the Safety of Assembly Code
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
Matthew Harren, George C. Necula
DNA
2007
Springer
107views Bioinformatics» more  DNA 2007»
14 years 1 months ago
Autonomous Programmable Nanorobotic Devices Using DNAzymes
Abstract. A major challenge in nanoscience is the design of synthetic molecular devices that run autonomously and are programmable. DNA-based synthetic molecular devices have the a...
John H. Reif, Sudheer Sahu
SIGGRAPH
1994
ACM
13 years 11 months ago
Drawing and animation using skeletal strokes
strokes makes it particularly attractive in terms of storage size and transmission efficiency. Its efficient implementation is favourable for incorporation into windowing systems a...
Siu Chi Hsu, Irene H. H. Lee
WSCG
2004
173views more  WSCG 2004»
13 years 9 months ago
Production Interface for WEB-deliverable Realistic Interactive 3D Facial Animation
We present a new interface for producing high quality web deliverable interactive 3D facial animation. We aim at providing visual artists with established 3D character animation t...
Nicoletta Adamo-Villani, Amit Chourasia, Clark A. ...
BMCBI
2005
137views more  BMCBI 2005»
13 years 7 months ago
ArrayQuest: a web resource for the analysis of DNA microarray data
Background: Numerous microarray analysis programs have been created through the efforts of Open Source software development projects. Providing browser-based interfaces that allow...
Gary L. Argraves, Saurin D. Jani, Jeremy L. Barth,...