UScholar Works
 
Filters: School Or College: "College of Engineering" Collection: "ir_uspace"
1 - 25 of 61
Number of results to display per page
CreatorTitleDescriptionSubjectDate
1 Furse, Cynthia M.3D ray-tracing for intra-vehicle environmentsIn order to develop a wireless communication system that could be used for all types of aircraft sensor networks, the severe multipath channel found inside aircrafts must be well defined. This multipath channel is much more complex than usual outdoor/indoor channels and thus far, research has been l...2009
2 Sikorski, KrisA note on optimal algorithms for fixed pointsWe present a constructive lemma that we believe will make possible the design of nearly optimal 0(dlog | ) cost algorithms for computing eresidual approximations to the fixed points of d-dimensional nonexpansive mappings with respect to the infinity norm. This lemma is a generalization of a two-...Fixed points; Constructive lemma2009
3 Christensen, Douglas A.Acoustic droplet vaporization, cavitation, and therapeutic properties of copolymer-stabilized perfluorocarbon nanoemulsionsAcoustic and therapeutic properties of Doxorubicin (DOX) and paclitaxel (PTX)-loaded perfluorocarbon nanoemulsions have been investigated in a mouse model of ovarian cancer. The nanoemulsions were stabilized by two biodegradable amphiphilic block copolymers that differed in the structure of the hydr...Cancer therapy; Targeted drug delivery; Nanobubbles; Ultrasound; Perfluoropentane2009
4 Tasdizen, TolgaAutomatic markup of neural cell membranes using boosted decision stumpsTo better understand the central nervous system, neurobiologists need to reconstruct the underlying neural circuitry from electron microscopy images. One of the necessary tasks is to segment the individual neurons. For this purpose, we propose a supervised learning approach to detect the cell membra...2009
5 Scarpulla, MichaelBandgap and band offsets determination of semiconductor heterostructures using three-terminal ballistic carrier spectroscopyAmong the most important properties of semiconductors are their bandgaps and how the total bandgap difference distributes between the conduction band offset ΔEC and the valence band offset ΔEV at the heterojunction (HJ) interface between two semiconductors. Understanding such properties is crucial...Bandgaps; Band offsets; Gallium arsenide2009
6 Stevens, KennethCharacterization of asynchronous templates for integration into clocked CAD flowsAsynchronous circuit design can result in substantial benefits of reduced power, improved performance, and high modularity. However, asynchronous design styles are largely incompatible with clocked CAD, which has prevented wide-scale adoption. The key incompatibility is timing. Thus most commercial...2009
7 Stevens, KennethClocked and asynchronous FIFO characterization and comparisonHeterogeneous blocks, IP reuse, network-on-chip interconnect, and multi-frequency design are becoming more prevalent in integrated circuit design. Communication amongst these blocks typically employs first-in-first-out (FIFO) buffering for flow control. This paper characterizes and evaluates severa...2009
8 Tasdizen, Tolga; Jones, Bryan W.; Whitaker, Ross T.Computational framework for ultrastructural mapping of neural circuitryCircuitry mapping of metazoan neural systems is difficult because canonical neural regions (regions containing one or more copies of all components) are large, regional borders are uncertain, neuronal diversity is high, and potential network topologies so numerous that only anatomical ground truth c...2009
9 Riloff, Ellen M.Conundrums in noun phrase coreference resolution: making sense of the state-of-the-artWe aim to shed light on the state-of-the-art in NP coreference resolution by teasing apart the differences in the MUC and ACE task definitions, the assumptions made in evaluation methodologies, and inherent differences in text corpora. First, we examine three subproblems that play a role in coref...Noun phrase; Coreference resolution; MUC; ACE2009
10 Riloff, Ellen M.Corpus-based semantic lexicon induction with web-based corroborationVarious techniques have been developed to automatically induce semantic dictionaries from text corpora and from the Web. Our research combines corpus-based semantic lexicon induction with statistics acquired from the Web to improve the accuracy of automatically acquired domain-specific dictionari...Corpus-based; Text corpora; Domain-specific dictionaries; Bootstrapping algorithm2009
11 Yang, HaoriDetection of concealed special nuclear material using nuclear resonance fluorescence techniqueAbstract-Detection method based on Nuclear Resonance Fluorescence (NRF) technique targeting concealed Special Nuclear Material (SNM) has been discussed. Customized DAQ system has been developed to handle high rate events in NRF measurements by implementing real-time DSP on fast ADC and FPGA chip. ...2009
12 Li, Guodong; Gopalakrishnan, Ganesh; Kirby, Robert Michael IIFormal specification of MPI 2.0: case study in specifying a practical concurrent programming APIWe describe the rst formal speci cation of a non-trivial subset of MPI, the dominant communication API in high performance computing. Engineering a formal speci cation for a non-trivial concurrency API requires the right combination of rigor, executability, and traceability, while also serving a...MPI 2.02009
13 Humphrey, Alan Parker; Derrick, Christopher Glade; Gopalakrishnan, GaneshGEM: graphical explorer for MPI programsFormal dynamic verification can complement MPI program testing by detecting hard-to-find concurrency bugs. In previous work, we described our dynamic verifier called ISP that can parsimoniously search the execution space of an MPI program while detecting important classes of bugs. One major limit...GEM; Graphical explorer; MPI programs; Dynamic verification; Concurrency bugs2009
14 Khan, Faisal HabibHybrid electric vehicle power management solutions based on isolated and nonisolated configurations of multilevel modular capacitor-clamped converterAbstract-This paper presents the various configurations of a multilevel modular capacitor-clamped converter (MMCCC), and it reveals many useful and new formations of the original MMCCC for transferring power in either an isolated or nonisolated manner. The various features of the original MMCCC circ...2009
15 Henderson, Thomas C.; Cohen, ElaineInnate theories as a basis for autonomous mental developmentSloman (in robotics), Chomsky and Pinker (in natural language), and others, e.g., Rosenberg (in human cooperative behavior) have proposed that some abstract theories relevant to cognitive activity are encoded genetically in humans. The biological advantages of this are (1) to reduce the learning ...Autonomous mental development2009
16 Balasubramonian, RajeevInterference aware cache designs for operating system executionLarge-scale chip multiprocessors will likely be heterogeneous. It has been suggested by several groups that it may be worthwhile to implement some cores that are specially tuned to execute common code patterns. One such common application that will execute on all future processors is of course the ...Interference aware; Cache designs; Off-loading2009
17 Freire, JulianaIntroducing the VisTrails Provenance Explorer Plugin for ParaViewIn order to analyze and validate various hypotheses, it is necessary to create insightful visualizations of both the simulated processes and observed phenomena, using powerful data analysis and visualization tools like ParaView. But to explore data through visualization, scientists need to go thro...VisTrails; Provenance; ParaView2009
18 Christensen, Douglas A.Introduction to biomedical engineering: biomechanics and bioelectricity - part IIntended as an introduction to the field of biomedical engineering, this book covers the topics of biomechanics (Part I) and bioelectricity (Part II). Each chapter emphasizes a fundamental principle or law, such as Darcy's Law, Poiseuille's Law, Hooke's Law, Starling's law, levers and work in the a...Biological membranes; Poiseuille's law; Hooke's law; Starling's law of the heart; Matlab2009
19 Christensen, Douglas A.Introduction to biomedical engineering: biomechanics and bioelectricity - part IIIntended as an introduction to the field of biomedical engineering, this book covers the topics of biomechanics (Part I) and bioelectricity (Part II). Each chapter emphasizes a fundamental principle or law, such as Darcy's Law, Poiseuille's Law, Hooke's Law, Starling's Law, levers and work in the...Bioelectricity; Kirchhoff's voltage law; Kirchhoff's current law; Coulomb's law; Thevenin equivalent circuits; Nernst potential; Matlab2009
20 Zhou, XuesongLagrangian relaxation based approach for finding the most reliable path with and without link travel time correlationThis presentation proposes a new method for finding the most reliable path with and without link travel time correlation.Shortest path; Travel time reliability; Link travel time correlation; Lagrangian relaxation2009
21 Riloff, Ellen M.Learning and evaluating the content and structure of a term taxonomyIn this paper, we describe a weakly supervised bootstrapping algorithm that reads Web texts and learns taxonomy terms. The bootstrapping algorithm starts with two seed words (a seed hypernym (Root concept) and a seed hyponym) that are inserted into a doubly anchored hyponym pattern. In alternatin...Weakly supervised; Bootstrapping algorithm; Seed hypernym; Seed hyponym; Root concept; Term taxonomy; Learning by reading systems2009
22 Bedrov, DmitroMolecular dynamics simulation study of the pressure-volume-temperature behavior of polymers under high pressureIsothermal compression of poly (dimethylsiloxane), 1,4-poly(butadiene), and a model Estane® (in both pure form and a nitroplasticized composition similar to PBX-9501 binder) at pressures up to 100 kbars has been studied using atomistic molecular dynamics (MD) simulations. Comparison of predicted co...2009
23 Myers, Chris J.; Jones, KevinNew verification method for embedded systemsAbstract-Verification of embedded systems is complicated by the fact that they are composed of digital hardware, analog sensors and actuators, and low level software. In order to verify the interaction of these heterogeneous components, it would be beneficial to have a single modeling formalism that...2009
24 Balasubramonian, RajeevNon-uniform power access in large caches with low-swing wiresModern processors dedicate more than half their chip area to large L2 and L3 caches and these caches contribute significantly to the total processor power. A large cache is typically split into multiple banks and these banks are either connected through a bus (uniform cache access - UCA) or an on-c...Large caches; Low-swing wires; Non Uniform Cache Access; NUCA2009
25 Kirby, Robert Michael IIOn the use of adjoint-based sensitivity estimates to control local mesh refinementThe goal of efficient and robust error control, through local mesh adaptation in the computational solution of partial differential equations, is predicated on the ability to identify in an a posteriori way those localized regions whose refinement will lead to the most significant reductions in the ...Sensitivity; Adaptivity; Error estimation; hp-finite elements; Discrete adjoint; Mesh refinement2009
1 - 25 of 61