|
|
Creator | Title | Description | Subject | Date |
226 |
|
Venkatasubramanian, Suresh | Efficient protocols for distributed classification and optimization | A recent paper [1] proposes a general model for distributed learning that bounds the communication required for learning classifiers with e error on linearly separable data adversarially distributed across nodes. In this work, we develop key improvements and extensions to this basic model. Our first... | | 2012-01-01 |
227 |
|
Myers, Chris J. | A compositional minimization approach for large asynchronous design verification | This paper presents a compositional minimization approach with efficient state space reductions for verifying non-trivial asynchronous designs. These reductions can result in a reduced model that contains the exact same set of observably equivalent behavior in the original model, therefore no false ... | | 2012-01-01 |
228 |
|
Venkatasubramanian, Suresh | Approximate Bregman near neighbors in sublinear time: beyond the triangle inequality | Bregman divergences are important distance measures that are used extensively in data-driven applications such as computer vision, text mining, and speech processing, and are a key focus of interest in machine learning. Answering nearest neighbor (NN) queries under these measures is very important i... | | 2012-01-01 |
229 |
|
Simpson, Jamesina J. | A feasibility study of microjets applied to breast cancer detection | The feasibility of detecting small tumors of diameter 0.5mm inside a human breast is demonstrated using microjets. Microjets are photonic nanojets scaled to microwave frequencies wherein a plane-wave-illuminated dielectric sphere produces a high-intensity, narrow beam of light extending from the sha... | | 2012-01-01 |
230 |
|
Kirby, Robert Michael | Stochastic collocation for optimal control problems with stochastic pde constraints | We discuss the use of stochastic collocation for the solution of optimal control problems which are constrained by stochastic partial differential equations (SPDE). Thereby the constraining SPDE depends on data which is not deterministic but random. Assuming a deterministic control, randomness withi... | | 2012-01-01 |
231 |
|
Kirby, Robert Michael | Kirby research group | | | 2012 |
232 |
|
Gopalakrishnan, Ganesh | Formal methods for surviving the jungle of heterogeneous parallelism | The parallel programming community will soon be entering the ‘jungle' of heterogeneous hardware and software. Unfortunately, we are not adequately preparing future programmers (today's students) to cope with the many challenges of heterogeneous concurrency, especially in their ability to rigorousl... | | 2012-01-01 |
233 |
|
Sudan, Kshitij | Optimizing datacenter power with memory system levers for guaranteed quality-of-service | Co-location of applications is a proven technique to improve hardware utilization. Recent advances in virtualization have made co-location of independent applications on shared hardware a common scenario in datacenters. Colocation, while maintaining Quality-of-Service (QoS) for each application is a... | | 2012-01-01 |
234 |
|
Khan, Faisal Habib | Use of spread spectrum time domain reflectometry to estimate state of health of power converters | A new online measurement and analysis method has been presented in this paper to identify the state of health of power converter circuits. Using spread spectrum time domain reflectometry (SSTDR), impedance in the various current paths inside the converter as well as any fault can be identified witho... | | 2012-01-01 |
235 |
|
Pascucci, Valerio | Visualizing network traffic to understand the performance of massively parallel simulations | The performance of massively parallel applications is often heavily impacted by the cost of communication among compute nodes. However, determining how to best use the network is a formidable task, made challenging by the ever increasing size and complexity of modern supercomputers. This paper appli... | | 2012-01-01 |
236 |
|
Kirby, Robert Michael II | ElVis: A system for the accurate and interactive visualization of high-order finite element solutions | This paper presents the Element Visualizer (ElVis), a new, open-source scientific visualization system for use with high order finite element solutions to PDEs in three dimensions. This system is designed to minimize visualization errors of these types of fields by querying the underlying finite ele... | | 2012-01-01 |
237 |
|
Liu, Feng | Interplay between quantum size effect and strain effect on growth of nanoscale metal thin films | We develop a theoretical framework to investigate the interplay between the quantum size effect (QSE) and strain effect on the stability of metal nanofilms. The QSE and strain effect are shown to be coupled through the concept of quantum electronic stress. First-principles calculations reveal large ... | | 2012-01-01 |
238 |
|
Khan, Faisal Habib | A high-efficiency modular switched-capacitor converter with continuously variable conversion ratio | The multilevel modular capacitor clamped converter (MMCCC) topology overcomes the difficulties of the multilevel switched capacitor (SC) based dc-to-dc converters in high conversion ratio applications. MMCCC is completely modular and has many other advantageous features. Like most other SC converter... | | 2012-01-01 |
239 |
|
Blair, Steven | Characterization of a 3D optrode array for infrared neural stimulation | This paper characterizes the Utah Slant Optrode Array (USOA) as a means to deliver infrared light deep into tissue. An undoped crystalline silicon (100) substrate was used to fabricate 10×10 arrays of optrodes with rows of varying lengths from 0.5mm to 1.5mm on a 400-μm pitch. Light delivery from ... | | 2012-01-01 |
240 |
|
Myers, Chris J. | An improvement in partial order reduction using behavioral analysis | Efficacy of partial order reduction in reducing state space relies on adequate extraction of the independence relation among possible behaviors. However, traditional approaches by statically analyzing system model structures are often not able to reveal enough independence for reduction. To address ... | | 2012-01-01 |
241 |
|
Kasera, Sneha K. | Detecting receiver attacks in VRTI-based device free localization | Variance-based Radio Tomographic Imaging (VRTI) is an emerging technology that locates moving objects in areas surrounded by simple and inexpensive wireless sensor nodes. VRTI uses human motion induced variation in RSS and spatial correlation between link variations to locate and track people. An ar... | | 2012-01-01 |
242 |
|
Liu, Feng | Anisotropic strain enhanced hydrogen solubility in bcc metals: the independence on the sign of strain | When an impurity is doped in a solid, it inevitably induces a local stress, tending to expand or contract the lattice. Consequently, strain can be applied to change the solubility of impurity in a solid. Generally, the solubility responds to strain ‘‘monotonically,'' increasing (decreasing) with... | | 2012-01-01 |
243 |
|
Pascucci, Valerio | Computing morse-smale complexes with accurate geometry | Topological techniques have proven highly successful in analyzing and visualizing scientific data. As a result, significant efforts have been made to compute structures like the Morse-Smale complex as robustly and efficiently as possible. However, the resulting algorithms, while topologically consis... | | 2012-01-01 |
244 |
|
Gopalakrishnan, Ganesh | Parameterized verification of GPU kernel programs | We present an automated symbolic verifier for checking the functional correctness of GPGPU kernels parametrically, for an arbitrary number of threads. Our tool PUG checks the functional equivalence of a kernel and its optimized versions, helping debug errors introduced during memory coalescing and b... | | 2012-01-01 |
245 |
|
Pascucci, Valerio | Flow visualization with quantified spatial and temporal errors using edge maps | Robust analysis of vector fields has been established as an important tool for deriving insights from the complex systems these fields model. Traditional analysis and visualization techniques rely primarily on computing streamlines through numerical integration. The inherent numerical errors of such... | | 2012-01-01 |
246 |
|
Blair, Steven | A methodology for physical design automation for integrated optics | Advancements in silicon photonics technology are enabling large scale integration of electro-optical circuits and systems. To fully exploit this potential, automated techniques for design space exploration and physical synthesis for integrated optics must be developed. This paper investigates how co... | | 2012-01-01 |
247 |
|
Hansen, Charles D. | A practical workflow for making anatomical atlases for biological research | An anatomical atlas provides a detailed map for medical and biological studies of anatomy. These atlases are important for understanding normal anatomy and the development and function of structures, and for determining the etiology of congenital abnormalities. Unfortunately, for biologists, generat... | | 2012-01-01 |
248 |
|
Scarpulla, Michael | Pulsed laser processing of electrodeposited CuInSe2 photovoltaic absorber thin films | In this report we investigate the effects of pulsed laser annealing (PLA) on both as-electrodeposited (ED) and electrodeposited-furnace annealed (EDA) CuInSe2 (CIS) samples by varying the laser fluence (J/cm2) and number of pulses. Results for as-ED samples indicate that liquid CIS-phase formation d... | | 2011-01-01 |
249 |
|
Furse, Cynthia M. | Challenges with optically transparent patch antennas | In this paper, antennas made out of transparent conducting oxides (TCOs) are explored. The optical transparency of transparent conducting oxides is achieved through thin-film depositions on substrates. However, thin-film depositions create a new set of electrical challenges that require a full under... | | 2012-01-01 |
250 |
|
Berzins, Martin | Radiation modeling using the Uintah heterogeneous CPU/GPU runtime system | The Uintah Computational Framework was developed to provide an environment for solving fluid-structure interaction problems on structured adaptive grids on large-scale, long-running, data-intensive problems. Uintah uses a combination of fluid-flow solvers and particle-based methods for solids, toget... | | 2012-01-01 |