|
|
Creator | Title | Description | Subject | Date |
1 |
|
Furse, Cynthia M. | 3D ray-tracing for intra-vehicle environments | In 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, Kris | A note on optimal algorithms for fixed points | We 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 lemma | 2009 |
3 |
|
Christensen, Douglas A. | Acoustic droplet vaporization, cavitation, and therapeutic properties of copolymer-stabilized perfluorocarbon nanoemulsions | Acoustic 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; Perfluoropentane | 2009 |
4 |
|
Tasdizen, Tolga | Automatic markup of neural cell membranes using boosted decision stumps | To 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, Michael | Bandgap and band offsets determination of semiconductor heterostructures using three-terminal ballistic carrier spectroscopy | Among 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 arsenide | 2009 |
6 |
|
Stevens, Kenneth | Characterization of asynchronous templates for integration into clocked CAD flows | Asynchronous 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, Kenneth | Clocked and asynchronous FIFO characterization and comparison | Heterogeneous 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 circuitry | Circuitry 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-art | We 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; ACE | 2009 |
10 |
|
Riloff, Ellen M. | Corpus-based semantic lexicon induction with web-based corroboration | Various 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 algorithm | 2009 |
11 |
|
Yang, Haori | Detection of concealed special nuclear material using nuclear resonance fluorescence technique | Abstract-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 II | Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API | We 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.0 | 2009 |
13 |
|
Humphrey, Alan Parker; Derrick, Christopher Glade; Gopalakrishnan, Ganesh | GEM: graphical explorer for MPI programs | Formal 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 bugs | 2009 |
14 |
|
Khan, Faisal Habib | Hybrid electric vehicle power management solutions based on isolated and nonisolated configurations of multilevel modular capacitor-clamped converter | Abstract-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, Elaine | Innate theories as a basis for autonomous mental development | Sloman (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 development | 2009 |
16 |
|
Balasubramonian, Rajeev | Interference aware cache designs for operating system execution | Large-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-loading | 2009 |
17 |
|
Freire, Juliana | Introducing the VisTrails Provenance Explorer Plugin for ParaView | In 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; ParaView | 2009 |
18 |
|
Christensen, Douglas A. | Introduction to biomedical engineering: biomechanics and bioelectricity - part I | Intended 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; Matlab | 2009 |
19 |
|
Christensen, Douglas A. | Introduction to biomedical engineering: biomechanics and bioelectricity - part II | Intended 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; Matlab | 2009 |
20 |
|
Zhou, Xuesong | Lagrangian relaxation based approach for finding the most reliable path with and without link travel time correlation | This 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 relaxation | 2009 |
21 |
|
Riloff, Ellen M. | Learning and evaluating the content and structure of a term taxonomy | In 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 systems | 2009 |
22 |
|
Bedrov, Dmitro | Molecular dynamics simulation study of the pressure-volume-temperature behavior of polymers under high pressure | Isothermal 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, Kevin | New verification method for embedded systems | Abstract-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, Rajeev | Non-uniform power access in large caches with low-swing wires | Modern 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; NUCA | 2009 |
25 |
|
Kirby, Robert Michael II | On the use of adjoint-based sensitivity estimates to control local mesh refinement | The 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 refinement | 2009 |