Learn More
Many flowering plants have adopted self-incompatibility mechanisms to prevent inbreeding and promote out-crosses. In the Solanaceae, Rosaceae and Scrophulariaceae, two separate genes at the highly polymorphic S-locus control self-incompatibility interactions: the S-RNase gene encodes the pistil determinant and the previously unidentified S-gene encodes the(More)
We present a structured lighting system for creating highresolution stereo datasets of static indoor scenes with highly accurate ground-truth disparities. The system includes novel techniques for efficient 2D subpixel correspondence search and self-calibration of cameras and projectors with modeling of lens distortion. Combining disparity estimates from(More)
Resin is a new language runtime that helps prevent security vulnerabilities, by allowing programmers to specify application-level data flow assertions. Resin provides policy objects, which programmers use to specify assertion code and metadata; data tracking, which allows programmers to associate assertions with application data, and to keep track of(More)
The bidirectional texture function (BTF) is a 6D function that can describe textures arising from both spatially-variant surface reflectance and surface mesostructures. In this paper, we present an algorithm for synthesizing the BTF on an arbitrary surface from a sample BTF. A main challenge in surface BTF synthesis is the requirement of a consistent(More)
In this paper, we introduce a real-time algorithm to render the rich visual effects of general non-height-field geometric details, known as mesostructure. Our method is based on a five-dimensional generalized displacement map (GDM) that represents the distance of solid mesostructure along any ray cast from any point within a volumetric sample. With this GDM(More)
Integer errors have emerged as an important threat to systems security, because they allow exploits such as buffer overflow and privilege escalation. This paper presents KINT, a tool that uses scalable static analysis to detect integer errors in C programs. KINT generates constraints from source code and user annotations, and feeds them into a constraint(More)
Epigenetic alterations have been increasingly implicated in oncogenesis. Analysis of Drosophila mutants suggests that Polycomb and SWI/SNF complexes can serve antagonistic developmental roles. However, the relevance of this relationship to human disease is unclear. Here, we have investigated functional relationships between these epigenetic regulators in(More)
Library-based record and replay tools aim to reproduce an application’s execution by recording the results of selected functions in a log and during replay returning the results from the log rather than executing the functions. These tools must ensure that a replay run is identical to the record run. The challenge in doing so is that only invocations of a(More)
Classifying videos according to content semantics is an important problem with a wide range of applications. In this paper, we propose a hybrid deep learning framework for video classification, which is able to model static spatial information, short-term motion, as well as long-term temporal clues in the videos. Specifically, the spatial and the short-term(More)
The enhanced production of nitric oxide (NO) via inducible nitric oxide synthase (iNOS) has been implicated in the pathogenesis of neuronal apoptosis after acute traumatic spinal cord injury (SCI). In the present study, to further characterize the pathways mediating the synthesis and release of NO, we examined activation of extracellular signal regulated(More)