|
|
Creator | Title | Description | Subject | Date |
| 126 |
 |
Gopalakrishnan, Ganesh | MAPPED: Predictive dynamic analysis tool for MPI applications | Abstract-Formal dynamic analysis of MPI programs is critically important since conventional testing tools for message passing programs do not cover the space of possible non-deterministic communication matches, thus may miss bugs in the unexamined execution scenarios. While modern dynamic verificati... | | 2012-01-01 |
| 127 |
 |
Furse, Cynthia M. | Manufacturing considerations for implantable antennas | Design of implantable antennas poses a unique set of challenges since antennas need to be small, biocompatible, and operate in the highly lossy environment of the human body. A recent review identified miniaturization challenges and how they have been managed in a variety of designs. [1] It also not... | | 2013-01-01 |
| 128 |
 |
Scarpulla, Michael | Effects of sodium on electrical properties in Cu2ZnSnS4 single crystal | We have studied the effect of sodium on the electrical properties of Cu2ZnSnS4 (CZTS) single crystal by using temperature dependence of Hall effect measurement. The sodium substitution on the cation site in CZTS is observed from the increasing of unit-cell size by powder X-ray diffraction. Sodium in... | | 2014-01-01 |
| 129 |
 |
Simpson, Jamesina J. | Efficient modeling of impulsive ELF antipodal propagation about the earth sphere using an optimized two-dimensional geodesic FDTD grid | This letter reports the initial application of a geodesic finite-difference time-domain (FDTD) grid to model impulsive extremely low frequency electromagnetic wave propagation about the Earth sphere. The two-dimensional transverse-magnetic grid is comprised entirely of hexagonal cells, except for a ... | | 2004-01-01 |
| 130 |
 |
Liu, Feng | Effects of Li doping on H-diffusion in MgH2: A first-principles study | The effects of Li doping in MgH2 on H-diffusion process are investigated, using first-principles calculations. We have identified two key effects: (1) The concentration of H vacancy in the þ1 charge state ðVþ1 H Þ can increase by several orders of magnitude upon Li doping, which significantly in... | | 2013-01-01 |
| 131 |
 |
Kasera, Sneha K. | Exploiting altruism in social networks for friend-to-friend malware detection | We propose a novel malware detection application- SocialScan-which enables friend-to-friend (f2f) malware scanning services among social peers, with scanning resource sharing governed by levels of social altruism. We show that with f2f sharing of resources, SocialScan achieves a 65% increase in the ... | | 2014-01-01 |
| 132 |
 |
Tiwari, Ashutosh | Fabrication and characterization of Li7La3Zr 2O12 thin films for lithium ion battery | Thin films of Li7La3Zr2O12 were deposited on SrTiO3 (100) and Sapphire (0001) substrates at room-temperature using a pulsed-laser-deposition technique. Detailed structural, compositional, optical, and electrochemical characterizations of the films were performed. The films deposited at room-temperat... | | 2012-01-01 |
| 133 |
 |
Mastrangelo, Carlos H. | Fabrication of localized plasma gold-tip nanoprobes with integrated microchannels for direct-write nanomanufacturing | We present the microfabrication and characterization of an AFM-tip like device with integrated gas delivery microchannel for the generation of localized microplasmas. The device plasma is generated within a submicron region around its tip for direct-write micro and nanofabrication. The device is fab... | | 2012-01-01 |
| 134 |
 |
Kirby, Robert Michael | GPU-based volume visualization from high-order finite element fields | This paper describes a new volume rendering system for spectral/hp finite-element methods that has as its goal to be both accurate and interactive. Even though high-order finite element methods are commonly used by scientists and engineers, there are few visualization methods designed to display thi... | | 2014-01-01 |
| 135 |
 |
Simpson, Jamesina J. | Global FDTD maxwell's equations modeling of elctromagnetic propagation from currents in the lithosphere | Electromagnetic wave propagation from electric currents within the Earth's crust is investigated using a three-dimensional finite-difference time-domain (FDTD) full-vector Maxwell's equations model of the global Earth-ionosphere cavity. The FDTD model employed extends from -100 km below sea level to... | | 2008-01-01 |
| 136 |
 |
Liu, Feng | Giant room-temperature spin caloritronics in spin-semiconducting graphene nanoribbons | Spin caloritronics refers to generating spin current by thermal gradient. Here we report a theoretical study demonstrating giant spin caloritronic effects in a new class of materials, called spin semiconductors, which are characterized with a "spin gap," the energy gap between spin-up and -down chan... | | 2014-01-01 |
| 137 |
 |
Regehr, John | HLS: a framework for composing soft real-time schedulers | Hierarchical CPU scheduling has emerged as a way to (1) support applications with diverse scheduling requirements in open systems, and (2) provide load isolation between applications, users, and other resource principals. Most existing work on hierarchical scheduling has focused on systems that prov... | | 2001-01-01 |
| 138 |
 |
Regehr, John | How to rapidly prototype a real-time scheduler | Implementing a new scheduling algorithm in an OS kernel is often an important step in scheduling research because it permits evaluation of the algorithm's performance on real workloads. However, developing a new scheduler is not a trivial task because it requires sophisticated programming skills and... | | 2002-01-01 |
| 139 |
 |
Bronson, Jonathan Richard | Lattice cleaving: a multimaterial tetrahedral meshing algorithm with guarantees | We introduce a new algorithm for generating tetrahedral meshes that conform to physical boundaries in volumetric domains consisting of multiple materials. The proposed method allows for an arbitrary number of materials, produces high-quality tetrahedral meshes with upper and lower bounds on dihedral... | | 2014-01-01 |
| 140 |
 |
Gopalakrishnan, Ganesh | Efficient search for inputs causing high floating-point errors | Tools for floating-point error estimation are fundamental to program understanding and optimization. In this paper, we focus on tools for determining the input settings to a floating point routine that maximizes its result error. Such tools can help support activities such as precision allocation, p... | | 2014-01-01 |
| 141 |
 |
Khan, Faisal Habib | Efficiency characterization and impedance modeling of a multilevel switched-capacitor converter using pulse dropping switching scheme | Apulse dropping switching technique (PDT) has been presented in this paper to accomplish variable conversion ratio (CR) in a multilevel modular capacitor-clamped dc-dc converter in the step-up conversion mode. The switching pattern is generated by comparing a triangular wave with a rectangular wave,... | | 2014-01-01 |
| 142 |
 |
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 |
| 143 |
 |
Mastrangelo, Carlos H. | Electrical characterization of 26 × 26 ground reaction sensor array interfaced with two parallel electronic detection channels | This paper presents the electrical characterization results of a 26 x 26 high-density ground reaction sensor array (HD-GRSA) interfaced with two parallel electronic detection channels. The system was developed for improving inertial measurement unit (IMU) positioning accuracy. The HD-GRSA is compose... | | 2013-01-01 |
| 144 |
 |
Simpson, Jamesina J. | Electrokinetic effect of the loma prieta earthquake calculated by an entire-earth FDTD solution of Maxwell's equations | We report what we believe to be the first three-dimensional computational solution of the full-vector Maxwell's equations for hypothesized pre-seismic electromagnetic phenomena propagated within the entire Earth-ionosphere cavity. Periodic boundary conditions are used in conjunction with a variable-... | | 2005-01-01 |
| 145 |
 |
Regehr, John | Efficient type and memory safety for tiny embedded systems | We report our experience in implementing type and memory safety in an efficient manner for sensor network nodes running TinyOS: tiny embedded systems running legacy, C-like code. A compiler for a safe language must often insert dynamic checks into the programs it produces; these generally make progr... | | 2006-01-01 |
| 146 |
 |
Tiwari, Ashutosh | Electrical transport in ultrathin NdNiO3 films | Electrical transport properties in ultrathin NdNiO3 films grown on single crystal LaAlO3 (001) substrate were characterized. Films with thicknesses ranging from 0.6 nm to 12 nm were grown using a pulsed laser technique. Four probe resistivity as a function of temperature measurements indicated a str... | | 2012-01-01 |
| 147 |
 |
Liu, Feng | Electrochemical measurements on cells, I: Simulation of potential distribution with an embedded probe | Measurements of electric potential in electrochemical devices such as solid oxide fuel cells (SOFC) or solid oxide electrolyzer cells (SOEC) are often made by placing a reference electrode on the surface. Measurement of electric potential with embedded electrodes (probes) has also been reported [1].... | | 2013-01-01 |
| 148 |
 |
Regehr, John | Finding and understanding bugs in C compilers | Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bugs. During this period we reported more than 325 previously unknown bugs to compiler developers. Every compiler we tested w... | | 2011-01-01 |
| 149 |
 |
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 |
| 150 |
 |
Blair, Steven | Implantable devices for optical neural interfaces | Optical neural control requires light delivery techniques dependent on the experimental goal and biological model. Several light sources and neural interfaces have been implemented featuring one or more of the fol- lowing criteria: deep illumination, specific and/or com- prehensive access, spectral ... | | 2013-01-01 |
