Search
Now showing items 1-10 of 889
Shape Operator Metric for Surface Normal Approximation
(Springer Verlag, 2009)
This work deals with the problem of practical mesh generation for surface normal approximation. Part of its contribution is in presenting previous work in a unified framework. A new algorithm for surface normal approximation ...
Betting on the Real Line
(Springer-Verlag, 2009)
We study the problem of designing prediction markets for random variables with continuous or countably infinite outcomes on the real line. Our interval betting languages allow traders to bet on any interval of their choice. ...
Slow Slip Predictions Based on Granit and Gabbro Friction Data Compared to GPS Measurements in Northern Cascadia
(American Geophysical Union, 2009)
For episodic slow slip transients in subduction zones, a large uncertainty in comparing surface deformations predicted by forward modeling based on rate and state friction to GPS measurements lies in our limited knowledge ...
Modeling Slope Instability as Shear Rupture Propagation in a Saturated Porous Medium
(Springer Verlag, 2009)
When a region of intense shear in a slope is much thinner than other relevant geometric lengths, this shear failure may be approximated as localized slip, as in faulting, with strength determined by frictional properties ...
Synchronous Vector TAG for Syntax and Semantics: Control Verbs, Relative Clauses, and Inverse Linking
(2008)
Recent work has used the synchronous tree-adjoining grammar (STAG) formalism to demonstrate that many of the cases in which syntactic and semantic derivations appeared to be divergent could be handled elegantly through ...
Base Dependent DNA-carbon Nanotube Interactions: Activation Enthalpies and Assembly-disassembly Control
(Institute of Physics, 2009)
We quantify the base dependent interactions between single stranded DNA and single walled carbon nanotubes (SWNTs) in solution. DNA/SWNT hybrids hold the promise of applications ranging from nanoscale electronics and ...
Provenance: A Future History
(Associate for Computing Machinery, 2009)
Science, industry, and society are being revolutionized by radical new capabilities for information sharing, distributed computation, and collaboration offered by the World Wide Web. This revolution promises dramatic ...
Recognition of Users' Activities using Constraint Satisfaction
(Springer, 2009)
Ideally designed software allow users to explore and pursue interleaving plans, making it challenging to automatically recognize user interactions. The recognition algorithms presented use constraint satisfaction techniques ...
Synthesis and Biological Activity of α-Galactosyl Ceramide KRN7000 and Galactosyl (α1→2) Galactosyl Ceramide
(Elsevier Science Ltd, 2009)
We herein report a faster and less cumbersome synthesis of the biologically attractive, α-galactosyl ceramide (α-GalCer), known as KRN7000, and its analogues. More importantly, the use of a silicon tethered intramolecular ...
Are PCPs Inherent in Efficient Arguments?
(Hasso-Plattner-Institut fuer Softwaresystemtechnik GmbH, 2009)
Starting with Kilian (STOC ‘92), several works have shown how to use probabilistically checkable proofs (PCPs) and cryptographic primitives such as collision-resistant hashing to construct very efficient argument systems ...