Now showing items 2803-2822 of 2905

    • VALID: Custom ASIC Verification and FPGA Education Platform 

      Murphy, Patrick; Welsh, Erik; Frantz, Patrick; Hardy, Ricky; Mohsenin, Tinoosh; Cavallaro, Joseph R. (2003-06-01)
      This paper describes VALID, a platform for testing student designed ASICs and for teaching the basics of FPGA design. VALID is designed to maximize ease of use from a student?s perspective while maintaining enough flexibility ...
    • Valley trion dynamics in monolayerᅠMoSe2 

      Gao, Feng; Gong, Yongji; Titze, Michael; Almeida, Raybel; Ajayan, Pulickel M.; Li, Hebin (2016)
      Charged excitons called trions play an important role in the fundamental valley dynamics in newly emerging two-dimensional semiconductor materials. We use ultrafast pump-probe spectroscopy to study the valley trion dynamics ...
    • Value-Driven Redundancy Elimination 

      Simpson, Loren Taylor (1996-04)
      Value-driven redundancy elimination is a combination of value numbering and code motion. Value numbering is an optimization that assigns numbers to values in such a way that two values are assigned the same number if the ...
    • Valuing the Air Quality Effects of Biochar Reductions on Soil NO Emissions 

      Pourhashem, Ghasideh; Rasool, Quazi Z.; Zhang, Rui; Medlock, Kenneth B.; Cohan, Daniel S.; Masiello, Caroline A. (2017)
      While it is clear that biochar can alter soil N2O emissions, data on NO impacts are scarce. Reports range from 0 to 67% soil NO emission reductions postbiochar amendment. We use regional air quality and health cost models ...
    • Variable-Rate Universal Slepian-Wolf Coding with Feedback 

      Sarvotham, Shriram; Baron, Dror; Baraniuk, Richard G. (2005-11-01)
      Traditional Slepian-Wolf coding assumes known statistics and relies on asymptotically long sequences. However, in practice the statistics are unknown, and the input sequences are of finite length. In this finite regime, ...
    • Variance Spectroscopy 

      Streit, Jason K.; Bachilo, Sergei M.; Sanchez, Stephen R.; Lin, Ching-Wei; Weisman, R. Bruce (2015)
      Spectroscopic analysis and study of nanoparticle samples is often hampered by structural diversity that presents a complex superposition of spectral signatures. By probing the spectra of small volumes within dilute samples, ...
    • Variant interpretation through Bayesian fusion of frequency and genomic knowledge 

      Shaw, Chad A.; Campbell, Ian M. (2015)
      Variant interpretation is a central challenge in genomic medicine. A recent study demonstrates the power of Bayesian statistical approaches to improve interpretation of variants in the context of specific genes and syndromes. ...
    • Variational Subdivision for Laplacian Splines 

      Warren, Joe; Weimer, Henrik (1997-10-03)
      The fundamental problem of geometric design is the representation of curved shapes. Traditionally such shapes are represented by parametric spline curves, e.g. NURBS, which are defined as the minimizers of variational ...
    • Variations in optical coherence tomography resolution and uniformity: a multi-system performance comparison 

      Fouad, Anthony; Pfefer, T. Joshua; Chen, Chao-Wei; Gong, Wei; Agrawal, Anant; Tomlins, Peter H.; Woolliams, Peter D.; Drezek, Rebekah A.; Chen, Yu (2014)
      Point spread function (PSF) phantoms based on unstructured distributions of sub-resolution particles in a transparent matrix have been demonstrated as a useful tool for evaluating resolution and its spatial variation across ...
    • Vector bin-and-cancel for MIMO distributed full-duplex 

      Bai, Jingwen; Sabharwal, Ashutosh (2017-08-04)
      Abstract In a multi-input multi-output (MIMO) full-duplex network, where an in-band full-duplex infrastructure node communicates with two half-duplex mobiles supporting simultaneous up- and downlink flows, ...
    • Ventricular coupling in single ventricle patients: a MRI study of cardiac biomechanics 

      Krishnamurthy, Ramkumar; Noel, Cory V.; Pan, Wei; Jacot, Jeffrey; Lantin-Hermoso, Regina; Krishnamurthy, Rajesh (2016)
    • Verification of Fair Transition Systems 

      Kupferman, Orna; Vardi, Moshe Y. (1997-08-27)
      In program verification we check that an implementation meets its specification. Both the specification and the implementation describe the possible behaviors of the program, though at different levels of abstraction. We ...
    • Verification of Open Systems 

      Vardi, Moshe Y. (1998-04-04)
      In computer system design, we distinguish between closed and open systems. A closed system is a system whose behavior is completely determined by the state of the system. An open system is a system that interacts with its ...
    • Vertical and in-plane heterostructures from WS2/MoS2 monolayers 

      Gong, Yongji; Lin, Junhao; Wang, Xingli; Shi, Gang; Lei, Sidong; Lin, Zhong; Zou, Xiaolong; Ye, Gonglan; Vajtai, Robert; Yakobson, Boris I.; Terrones, Humberto; Terrones, Mauricio; Tay, Beng Kang; Lou, Jun; Pantelides, Sokrates T.; Liu, Zheng; Zhou, Wu; Ajayan, Pulickel M. (2014)
      Layer-by-layer stacking or lateral interfacing of atomic monolayers has opened up unprecedented opportunities to engineer two-dimensional heteromaterials. Fabrication of such artificial heterostructures with atomically ...
    • Video Compressive Sensing for Spatial Multiplexing Cameras Using Motion-Flow Models 

      Sankaranarayanan, Aswin C.; Xu, Lina; Studer, Christoph; Li, Yun; Kelly, Kevin F.; Baraniuk, Richard G. (2015)
      Spatial multiplexing cameras (SMCs) acquire a (typically static) scene through a series of coded projections using a spatial light modulator (e.g., a digital micromirror device) and a few optical sensors. This approach ...
    • Virtual Ring Buffer for Camera Application Concurrency 

      Reyes, Jose Eduardo (2015-01-26)
      Smartphones with integrated cameras have inspired a growing number of real- time, computer vision applications. Existing camera software architectures, however, do not support concurrency: only one application accesses the ...
    • A visual and curatorial approach to clinical variant prioritization and disease gene discovery in genome-wide diagnostics 

      James, Regis A.; Campbell, Ian M.; Chen, Edward S.; Boone, Philip M.; Rao, Mitchell A.; Bainbridge, Matthew N.; Lupski, James R.; Yang, Yaping; Eng, Christine M.; Posey, Jennifer E.; Shaw, Chad A. (2016)
      Background: Genome-wide data are increasingly important in the clinical evaluation of human disease. However, the large number of variants observed in individual patients challenges the efficiency and accuracy of diagnostic ...
    • Visualizing oil displacement with foam in a microfluidic device with permeability contrast 

      Conn, Charles A.; Ma, Kun; Hirasaki, George J.; Biswal, Sibani Lisa (2014)
      Foam mobility control and novel oil displacement mechanisms were observed in a microfluidic device representing a porous media system with layered permeability. Foam was pre-generated using a flow focusing microfluidic ...
    • Vital-dye-enhanced multimodal imaging of neoplastic progression in a mouse model of oral carcinogenesis 

      Hellebust, Anne; Rosbach, Kelsey; Wu, Jessica Keren; Nguyen, Jennifer; Gillenwater, Ann; Vigneswaran, Nadarajah; Richards-Kortum, Rebecca (2013)
      In this longitudinal study, a mouse model of 4-nitroquinoline 1-oxide chemically induced tongue carcinogenesis was used to assess the ability of optical imaging with exogenous and endogenous contrast to detect neoplastic ...
    • VITURBO: A reconfigurable architecture for ubiquitous wireless networks 

      Vaya, Mani Bhadra (2003)
      A run-time reconfigurable architecture for ubiquitous wireless networks has been designed and implemented. Reconfigurable architectures have the ability to change themselves dynamically thus presenting a viable proposition ...