|
|
Creator | Title | Description | Subject | Date |
401 |
|
Lindstrom, Gary E. | Combinator evaluation of functional programs with logical variables | A technique is presented that brings logical variables into the scope of the well known Turner method for evaluating normal order functioned programs by S, K, I combinator graph reduction. This extension is illustrated by SASL+LV, an extension of Turner's language SASL in which general expressions s... | Functional programs; Logical variables; SASL+LV; Turner's language | 1987 |
402 |
|
Ostafin, Agnes | Combined deletion of mouse dematin-headpiece and ß-adducin exerts a novel effect on the spectrin-actin junctions leading to erythrocyte fragility and hemolytic Anemia | Dematin and adducin are actin-binding proteins of the erythrocyte "junctional complex." Individually, they exert modest effects on erythrocyte shape and membrane stability, and their homologues are expressed widely in non-erythroid cells. Here we report generation and characterization of double knoc... | | 2007 |
403 |
|
Hansen, Charles D. | Combined surface and volumetric occlusion shading | In this paper, a method for interactive direct volume rendering is proposed that computes ambient occlusion effects for visualizations that combine both volumetric and geometric primitives, specifically tube shaped geometric objects representing streamlines, magnetic field lines or DTI fiber tracts.... | | 2012-01-01 |
404 |
|
Pascucci, Valerio | Combining in-situ and in-transit processing to enable extreme-scale scientific analysis | With the onset of extreme-scale computing, I/O constraints make it increasingly difficult for scientists to save a sufficient amount of raw simulation data to persistent storage. One potential solution is to change the data analysis pipeline from a post-process centric to a concurrent approach based... | | 2012-01-01 |
405 |
|
Freire, Juliana | Combining scheduling strategies in tabled evaluations | Tabled evaluations ensure termination for Datalog programs by distinguishing calls to tabled subgoals. Given several variant subgoals in an evaluation, only the first (the generator) will use program clause resolution, the rest (consumers) must perform answer resolution using answers computed by th... | SLG; SLG-WAM; Tabling; Local scheduling; Batched scheduling | 1997 |
406 |
|
Henderson, Thomas C. | Combining symbolic and numeric computation on the CRAY | It is now widely accepted that the CRAY supercomputers are very useful for large numeric applications, e.g., Finite Element Analysis, Fluid Dynamics, Image Processing, etc. Much work has been done to make them run efficiently on the CRAY. There has also been some effort to do symbolic computing (Al ... | CRAY supercomputers; Symbolic computation; Numeric computation | 1986 |
407 |
|
Khan, Faisal Habib | Commercial and industrial applications getting ready for direct-current power distribution | This paper describes design trends in several classes of power-electronic appliances that will increase the appeal for distributing dc power in buildings. In the commercial sector information technology (IT) power conversion architectures are moving from multi- to single-voltage supplies, initially... | Direct current power distribution; Commercial applications | 2004-01-01 |
408 |
|
Furse, Cynthia M. | Commission B (fields and waves) international survey about EM education | Commission B has the terms of reference "Fields and waves", which have been well established on the basis of electromagnetism and Maxwell's equations. Experts in this area need a firm basis in mathematics and physics as well as their historical background; though the subjects are sometimes too heav... | | 2005 |
409 |
|
Balasubramonian, Rajeev | Commit algorithms for scalable hardware transactional memory | In a hardware transactional memory system with lazy versioning and lazy conflict detection, the process of transaction commit can emerge as a bottleneck. For a large-scale distributed memory system, we propose novel algorithms to implement commit that are deadlock- and livelock-free and do not empl... | Commit algorithms; Scalable; Hardware; Transactional memory | 2007 |
410 |
|
Gopalakrishnan, Ganesh; Kirby, Robert Michael II | The communication semantics of the message passing interface | The Message Passing Interface (MPI) standard is a natural language document that describes a software library for interprocess communication. Automatic reasoning about the reactive nature of programs communicating via MPI libraries is not possible without also analizing the library being used. Ma... | communication semantics; Message Passing Interface; MPI; natural language | 2006-10-31 |
411 |
|
Stevens, Kenneth | Comparing energy and latency of asynchronous and synchronous NoCs for embedded SoCs | Power consumption of on-chip interconnects is a primary concern for many embedded system-on-chip (SoC) applications. In this paper, we compare energy and performance characteristics of asynchronous (clockless) and synchronous network on-chip implementations, optimized for a number of SoC designs. We... | | 2010 |
412 |
|
Furse, Cynthia M.; Lazzi, Gianluca; Gandhi, Om P. | Comparison of FDTD computed and measured radiation patterns of commercial mobile telephones in presence of the human head | In this letter, finite-difference time-domain (FDTD) computed radiation patterns of mobile telephones are carefully compared with those measured in our laboratory. The question on the capability of the FDTD method to correctly predict the radiated electromagnetic fields of today's structurally comp... | FDTD; Finite-difference time-domain; Mobile antennas | 1998-01-01 |
413 |
|
Christensen, Douglas A.; Herron, James N. | Comparison of robust coupling techniques for planar waveguide immunosensors | We have analyzed and fabricated two different coupling schemes to meet the requirements for a convenient means of coupling into a planar waveguide immunosensor that is relatively insensitive to beam alignment. These are the "launch" coupler and the grating coupler. Each possesses advantages and dis... | Planar waveguide immunosensors; Fluorescence; Launch coupler; Grating coupler | 1993 |
414 |
|
Bedrov, Dmitro; Smith, Grant D. | Comparison of self-assembly in lattice and off-lattice model amphiphile solutions | Lattice Monte Carlo and off-lattice molecular dynamics simulations of h1t4 and h4t1 (head/tail) amphiphile solutions have been performed as a function of surfactant concentration and temperature. The lattice and off-lattice systems exhibit quite different self-assembly behavior at equivalent ther... | Amphiphile solutions; Micellization; Surfactants | 2002 |
415 |
|
Scarpulla, Michael | Compensation-dependent in-plane magnetization reversal processes in Ga1-xMnxP1-ySy | We report the effect of dilute alloying of the anion sublattice with S on the in-plane uniaxial magnetic anisotropy and magnetization reversal process in Ga1−xMnxP as measured by both ferromagnetic resonance (FMR) spectroscopy and superconducting quantum interference device (SQUID) magnetometry. ... | Ferromagnetic semiconductors; Nonmagnetic compensation | 2008-12 |
416 |
|
Kessler, Robert R. | Compiling distributed C++ | Distributed C++ (DC++) is a language for writing parallel applications on loosely coupled distributed systems in C++. Its key idea is to extend the C++ class into 3 categories: gateway classes which act as communication and synchronization entry points between abstract processors, classes whose... | Distributed C++; DC++; Parallel applications | 1994 |
417 |
|
Sikorski, Kris | Complexity of computing topological degree of Lipschitz functions in n dimensions | We find lower and upper bounds on the complexity, comp(deg), of computing t h e topological degree of functions defined on the n-dimensional unit cube Cn, f : ?Cn Rn,n ? 2, which satisfy a Lipschitz condition with constant K and whose infinity norm at each point on t h e boundary of Cn is at least d... | Lipschitz functions | 1986 |
418 |
|
Susarla, Sai R.; Carter, John | Composable consistency for large-scale peer replication | The lack of a flexible consistency management solution hinders P2P implementation of applications involving updates, such as directory services, online auctions and collaboration. Managing shared data in a P2P setting requires a consistency solution that can operate in a heterogenous network, sup... | P2P | 2003-11-14 |
419 |
|
Stringfellow, Gerald B. | Compositional modulation and ordering in semiconductors | The science of materials as a specific discipline is a relatively modern development. Within this rather modern field, the study of semiconductor materials is an even more recent development. Modern textbooks on materials science focus primarily on the properties of metals and second on the properti... | Materials scientists; Controlled ordering | 1997 |
420 |
|
Stringfellow, Gerald B. | Compositional ordering in semiconductor alloys | Compositional ordering has been observed in a wide variety of III/V semiconductor alloys as well as in SiGe alloys. The thermodynamic driving force is now understood in terms of minimization of the microscopic strain energy of the bonds in the solid. However, the mechanism leading to the specific o... | Semiconductor alloys; Transmission-electron-diffraction pattern; Organometallic Vaper-phase epitaxy; Cathodoluminescence | 1993 |
421 |
|
Scarpulla, Michael | Compositional tuning of ferromagnetism in Ga1-xMnxP | We report the magnetic and transport properties of Ga1-xMnxP synthesized via ion implantation followed by pulsed laser melting over a range of x, namely 0.018 to 0.042. Like Ga1-xMnxAs, Ga1-xMnxP displays a monotonic increase of the ferromagnetic Curie temperature with x associated with the hole-me... | Gallium arsenide; Ferromagnetic semiconductors | 2006-12 |
422 |
|
Lindstrom, Gary E. | Compositionally modular Scheme | We present a new module system for Scheme that supports a high degree of implementation reuse via module composition. The module system encourages breaking down a program into the smallest possible individually meaningful modules, and recomposing them using a powerful set of adaptation and combinat... | Module system | 1995 |
423 |
|
Simpson, Jamesina J. | Computational and experimental study of a microwave electromagnetic bandgap structure with waveguiding defect for potential use as a bandpass wireless interconnect | As clock rates continue to rise, problems with signal integrity, cross-coupling, and radiation may render impractical the baseband metallic interconnects presently used in computers. A potential means to address this problem is to use bandpass wireless interconnects operating at millimeter-wave cent... | | 2004-01-01 |
424 |
|
Liu, Feng | Computational designing of carbon nanotube electromechanical pressure sensors | We investigate electronic transport properties of single-walled carbon nanotubes (SWNT's) under hydrostatic pressure, using first-principles quantum transport calculations aided by molecular-dynamics simulation and continuum mechanics analysis. We demonstrate a pressure-induced metal-to-semiconduc... | Carbon nanotubes; Computational designing; Pressure sensors; Electronic transport | 2004-04 |
425 |
|
Johnson, Christopher R.; Parker, Steven G.; Whitaker, Ross T.; Hansen, Charles D. | Computational field visualization | Today, scientists, engineers, and medical researchers routinely use computers to simulate complex physical phenomena. Such simulations present new challenges for computational scientists, including the need to effectively analyze and visualize complex three-dimensional data. As simulations become mo... | Volume rendering; Isosurface extraction; Ray tracing; Multi-field visualizations | 2001 |