|
|
Creator | Title | Description | Subject | Date |
201 |
|
Sloan, Peter-Pike | A painterly approach to human skin | Rendering convincing human figures is one of the unsolved goals of computer graphics. Previous work has concentrated on modeling physics of human skin. We have taken a different approach. We are exploring techniques used by artists, specifically artists who paint air-brushed portraits. Our goal is t... | Human skin | 1999 |
202 |
|
Morse, Michael David | A pair potentials study of matrix-isolated atomic zinc. II. Intersystem crossing in rare-gas clusters and matrices | The mechanism of 4p 1P1?4p 3PJ intersystem crossing (ISC) following excitation of the 4p 1P1 level of matrix-isolated atomic zinc is investigated using a pair potentials approach. This is achieved by extending earlier ISC calculations on the Zn?RG2 and Zn?RG3 complexes to the square planar Zn?RG4 ... | | 1998 |
203 |
|
Parke, Frederic Ira | A parametric model for human faces | This report presents a computer model for the representation of human faces. This three-dimensional, parametric model produces shaded facial images. The face, constructed of polygonal surfaces, is manipulated through the use of parameters which control interpolation, translation, rotation and scalin... | Parametric model; Human face | 1975 |
204 |
|
Gopalakrishnan, Ganesh | A partial order reduction algorithm without the Proviso | This paper presents a partial order reduction algorithm, called Two phase, that preserves stutter free LTL properties. Two phase dramatically reduces the number of states visited compared to previous partial order reduction algorithms on most practical protocols. The reason can be traced to a step o... | Order reduction algorithm; Proviso step | 1998 |
205 |
|
Brunvand, Erik L. | A partial scan methodology for testing self-timed circuits | This paper presents a partial scan method for testing control sections of macromodule based self-timed circuits for stuck-at faults. In comparison with other proposed test methods for self-timed circuits, this technique offers better fault coverage than methods using self-checking techniques, and ... | | 1995 |
206 |
|
Brunvand, Erik L. | A partial scan methodology for testing self-timed circuits | This paper presents a partial scan method for testing control sections of macromodule based self-timed circuits for stuck-at faults. In comparison with other proposed test methods for self-timed circuits, this technique offers better fault coverage than methods using self-checking techniques, and re... | Self-timed circuits; Testing | 1995 |
207 |
|
McDirmid, Sean; Hsieh, Wilson C. | A path-precise analysis for property synthesis | Recent systems such as SLAM, Metal, and ESP help programmers by automating reasoning about the correctness of temporal program properties. This paper presents a technique called property synthesis, which can be viewed as the inverse of property checking. We show that the code for some program pro... | Property synthesis; Property codes | 2003-12-01 |
208 |
|
Thompson, Cynthia A. | A personalized system for conversational recommendations | Increased computing power and theWeb have made information widely accessible. In turn, this has encouraged the development of recommendation systems that help users find items of interest, such as books or restaurants. Such systems are more useful when they personalize themselves to each user?s p... | Adaptive Place Advisor; Recommendation systems | 2002-06-26 |
209 |
|
Mathews, V. John | A phase likelihood-based algorithm for blind identification of PSK signals | This paper presents a phase likelihood-based method for automatically identifying different phase-shift keying (PSK) modulations. This method identifies the PSK signals as the hypothesis for which the likelihood function of phase difference between nearby samples of the received signal is the maximu... | | 2014-01-01 |
210 |
|
Suchy, Yana | A picture is worth a thousand words: effects of emotional distracters on executive task performance | | | 2011-04-20 |
211 |
|
Smith, Ken R. | A population-based study of childhood cancer survivors body mass index | Population-based studies are needed to estimate the prevalence of underweight or overweight/obese childhood cancer survivors. Procedure. Adult survivors (diagnosed ≤20 years) were identified from the linked Utah Cancer Registry and Utah Population Database. We included survivors currently aged ≥... | | 2014-01-01 |
212 |
|
Regehr, John | A practical logic framework for verifying safety properties of executables | We present a novel program logic, Lf , which is designed on top of a Hoare logic, but is simpler, more flexible and more scalable. Based on Lf , we develop a framework for automatically verifying safety properties of executables. It utilizes a whole-program interprocedural abstract interpretation to... | | 2011-01-01 |
213 |
|
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 |
214 |
|
Rees, Don M. | A preliminary list of the ants of Utah | The following list of the ants of Utah was prepared from specimens and data now in the Biology Department of the University of Utah. This list is by no means complete, yet it is representative of practically all parts of the state. A few specimens in the collection date back to 1902, and all of thes... | | 1940-11-05 |
215 |
|
Gerig, Guido | A preliminary study on the effect of motion correction on HARDI reconstruction | Post-acquisition motion correction is widely performed in diffusion-weighted imaging (DWI) to guarantee voxel-wise correspondence between DWIs. Whereas this is primarily motivated to save as many scans as possible if corrupted by motion, users do not fully understand the consequences of different ty... | | 2014-01-01 |
216 |
|
Kraus, Peter L. | A primer on grant writing for foundation support for first-time grant writers in academic libraries: challenges and opportunities | In a majority of academic disciplines, grant writing is a skill that is often self-taught or acquired informally by trial and error. Few academic discip lines have grant writing as standard part of their curriculum at the graduate level. In the past, grant writing has received little or no emphasis... | | 2015-09-01 |
217 |
|
Gouraud, Henri | A programmer's guide to PDP-10 euler | This manual describes the EULER language as implemented on the DEC PDP-10 computer. EULER is a block-structured language, similar to Algol-60 but simplified by omitting type declarations and by altering the way procedures are defined and called. PDP-10 EULER includes features for list-and array-mani... | EULER language | 1970 |
218 |
|
Gardner, Reed M. | A Proposal to Improve Quality, Increase Efficiency, and Expand Access in the U.S. Health Care System | Biomedical Informatics | | 1997 |
219 |
|
Whitty, Kevin J. | A pulse-width modulation controlled wire-mesh heater apparatus for investigation of solid fuel pyrolysis | A novel wire mesh heater apparatus has been developed to study the devolatilization of solid fuels under pressurized conditions at well-controlled heating rates on the order of 1000 K/s. The apparatus combines direct current and pulse-width modulation with a fast-acting and high current-capacity re... | | 2012-01-01 |
220 |
|
Warner, Homer R. | A PVC Detection Program | Biomedical Informatics | | 1971 |
221 |
|
Moffett, James W. | A quantitative study of the bottom fauna in some Utah Streams Variously Affected by Erosion | Floods and cloudbursts in the Intermountain region of western United States cause considerable damage to watersheds and streams. Because of steep gradients these torrential waters remove vast quantities of debris, stones, gravel and soil from the stream beds. It follows that, with the removal of mat... | | 1936-06 |
222 |
|
Watkins, Gary Scott | A real time visible surface algorithm | With the increasing use of computer graphics, a need is growing for a processor capable of displaying solid objects. Environmental simulation and architectural modeling are only two areas that would benefit from such a diplay processor. This dissertation describes an algorithm designed for such a ... | Surface algorithm | 1970 |
223 |
|
Hawkes, Kristen | A reappraisal of grandmothering and natural selection | Kachel et al. [1] conclude from simulations of their agent-based model that fitness benefits from helpful grandmothers do not select for increased longevity. We studied their assumptions and model, ran further simulations and found flaws that are fatal to their test. Here, we explain four problems a... | | 2011-01-01 |
224 |
|
Brown, Francis Harold | A reappraisal of the geomagnetic polarity time scale to 4 MA using data from the turkana basin, East Africa | Recalibration of the Pliocene and early Pleistocene geomagnetic time scale using the K-Ar dated fluvial sequence of the Turkana Basin in East Africa agrees with calibrations based on astronomical calculations. Ages estimated here are: Olduvai Subchron, 1.78-1.96 Ma; Reunion Subchrons, 2.11-2.15 Ma ... | | 2012 |
225 |
|
Fogel, Alan Dale | A relational perspective on the development of self and emotion | Begin with two premises. First, psychological experience always implies a connection, a relationship: with another person, with cultural tools or language, or with the natural environment. Life is a network of relationships. Second, psychological experience is always dynamic and changing. The sim... | | 2001 |
226 |
|
Fogel, Alan Dale | A relational perspective on the development of self and emotion | This work was funded in part by a grant to the author from the United States National Institute of Mental Health (MH48680 and MH57669). I am grateful to the following individuals for their comments on this chapter: Kari Applegate, Trevor Burnsed, Jacqueline Fogel, J'lene George, Ilse de Koeijer, ... | | 2001 |
227 |
|
Myntti, Jeremy | A review of "Introduction to indexing and abstracting" by Donald B. Cleveland and Ana D. Cleveland | Introduction to Indexing and Abstracting by Donald and Ana Cleveland has been used in Library and; Information Science classrooms for many years. The latest edition of this text has been updated to; include more information about the current indexing environment where many people seem to favor; onli... | Indexing; Abstracting | 2014 |
228 |
|
Crespo, Jose Guillermo | A review of chemosensation and related behavior in aquatic insects | Insects that are secondarily adapted to aquatic environments are able to sense odors from a diverse array of sources. The antenna of these insects, as in all insects, is the main chemosensory structure and its input to the brain allows for integration of sensory information that ultimately ends in b... | | 2011-09-13 |
229 |
|
Simpson, Jamesina J. | A review of progress in FDTD Maxwell's equations modeling of impulsive subionospheric propagation below 300 kHz | Wave propagation at the bottom of the electromagnetic spectrum (below300 kHz) in the Earth-ionosphere waveguide system has been an interesting and important area of investigation for the last four decades. Such wave propagation is characterized by complex phenomena involving nonhomogeneous and aniso... | | 2007-01-01 |
230 |
|
Podlog, Leslie William | A review of return to sport concerns following injury rehabilitation: practitioner strategies for enhancing recovery outcomes | Objectives: Evidence suggests that competitive athletes returning to sport following injury rehabilitation may experience a range of psychosocial concerns. The purpose of this paper is to review some of the psychosocial stresses common among returning athletes and to provide practitioner strategies ... | | 2011-01-01 |
231 |
|
Lawton, Evert C. | A review of shear stress sign convention in interpreting Mohrs circle | The pole of planes method is a popular technique for interpreting Mohr's circle to determine the stresses (normal and shear) on planes of differing rotations in 2-D space. A survey of undergraduate textbooks on soil mechanics shows differing viewpoints on the sign convention for interpreting the she... | | 2012-01-01 |
232 |
|
Kirby, Robert Michael | A scalable, efficient scheme for evaluation of stencil computations over unstructured meshes | Stencil computations are a common class of operations that appear in many computational scientific and engineering applications. Stencil computations often benefit from compile-time analysis, exploiting data-locality, and parallelism. Post-processing of discontinuous Galerkin (dG) simulation solutio... | | 2013-01-01 |
233 |
|
George, Lal | A scheduling strategy for shared memory multiprocessors | An efficient scheduling strategy for shared memory multiprocessors is described. The rapid dissemination of tasks to available procesors and ready queues is crucial to the performance of any parallel system. Such overheads determine the attainable speedup and performance of the system. Poor techniq... | Shared memory multiprocessors | 1990 |
234 |
|
Warner, Homer R. | A Sequential Bayesean Approach to History Taking and Diagnosis | Biomedical Informatics | | 1972 |
235 |
|
Fujimoto, Richard M. | A shared memory algorithm and proof for the alternative construct in CSP | Communicating Sequential Processes (CSP) is a paradigm for communication and synchronization among distributed processes. The alternative construct is a key feature of CSP that allows nondeterministic selection of one among several possible communicants. Previous algorithms for this construct assume... | Shared memory algorithm; Communicating Sequential Processes; CSP | 1987 |
236 |
|
Furse, Cynthia M.; Gandhi, Om P. | A simple convolution procedure for calculating currents induced in the human body for exposure to electromagnetic pulses | Abstract-The finite-difference time-domain (FDTD) and frequency dependent finite difference time-domain (FD)2TD methods have been previously used to calculate internal electric (E) fields and induced currents for exposure of the anatomically based model of the human body to electromagnetic pulses (E... | | 1994 |
237 |
|
Stevens, Kenneth | A single chip low power asynchronous implementation of an FFT algorithm for space applications | A fully asynchronous _x000C_fixed point FFT processor is introduced for low power space applications. The architecture is based on an algorithm developed by Suter and Stevens specifi_x000C_cally for a low power implementation. The novelty of this architecture lies in its high localization of compo... | | 1998 |
238 |
|
Mathews, V. John | A stability condition for certain bilinear systems | Abstract-This correspondence derives a simple sufficient condition for the output of a discrete-time, time-invariant bilinear system to be bounded whenever the input signal to the system is bounded by a finite constant. | | 1994 |
239 |
|
Mathews, V. John | A stability result for RLS adaptive bilinear filters | Abstract- This letter considers recursive least squares (RLS) adaptive nonlinear filtering using bilinear system models. It is shown that the extended RLS adaptive bilinear filter, as well as the equation-error RLS adaptive bilinear filter, are guaranteed to be stable in the sense that the time aver... | | 1994 |
240 |
|
Mathews, V. John | A stable adaptive Hammerstein filter employing partial orthogonalization of the input signals | Abstract-This paper presents an algorithm that adapts the parameters of a Hammerstein system model. Hammerstein systems are nonlinear systems that contain a static nonlinearity cascaded with a linear system. In this paper, the static nonlinearity is modeled using a polynomial system, and the linear ... | | 2006 |
241 |
|
Mathews, V. John; Dubow, Joel | A stable adaptive Hammerstein filter employing partial orthogonalization of the input signals | Abstract This paper presents an algorithm that adapts the parameters of a Hammerstein system model. Hammerstein systems are nonlinear systems that contain a static nonlinearity cascaded with a linear system. In this work, the static nonlinearity is modeled using a polynomial system and the linear f... | | 2002 |
242 |
|
Baxter, Brent S. | A standard magnetic tape format for digital image exchange | This proposal describes a simple yet flexible magnetic tape format for exchanging digital image information. Multi-dimensional arrays of raster scan data are stored as sequential files, with descriptive information related to the sefiles stored in an initial directory file. Directory information is ... | Raster scan data | 1981 |
243 |
|
Myers, Chris J. | A standard-cell self-timed multiplier for energy and area critical synchronous systems | This paper describes the design of a standard-cell self-timed multiplier for use in energy and area critical synchronous systems. The area of this multiplier is bounded by N rather than N2 as seen in more traditional combinational parallel array designs, where N is the word size. Energy has a polyn... | | 2001 |
244 |
|
Warner, Homer R. | A Steady-State Transfer Function Analysis of Portions of the Circulatory System Using Indicator Dilution Techniques | Biomedical Informatics | | 1967 |
245 |
|
Furse, Cynthia M. | A stochastic FDTD method for statistically varying biological tissues | THE analysis of radio wave absorption is a continuing concern for the cell phone industry due to health effects (and associated regulations) of the person using the cell phone [1,2]. The amount of allowable power absorbed has a strong impact on the design of the phone (antenna, electromagnetic inte... | | 2011 |
246 |
|
Simpson, Jamesina J. | A stochastic FDTD model of electromagnetic wave propagation in magnetized ionospheric plasma | Communications, surveillance, and navigation capabilities rely heavily on accurate knowledge of electromagnetic (EM) signal propagation characteristics through and reflected by the Earth's ionosphere. Satellite communications, over-the-horizon radar, and target direction finding are a few example ap... | | 2013-01-01 |
247 |
|
Mathews, V. John | A stochastic gradient adaptive filter with gradient adaptive step size | Abstract-This paper presents an adaptive step-size gradient adaptive filter. The step size of the adaptive filter is changed according to a gradient descent algorithm designed to reduce the squared estimation error during each iteration. An approximate analysis of the performance of the adaptive fil... | | 1993 |
248 |
|
Reichler, Thomas J. | A stratospheric connection to Atlantic climate variability | It is well recognized that the stratosphere is connected to tropospheric weather and climate. In particular, extreme stratospheric circulation events and their dynamical feedback on the troposphere are known to play a major role1. However, what is not known to date is whether the state of the strat... | | 2012-01-01 |
249 |
|
Gerig, Guido | A structural MRI study of human brain development from birth to two years | Brain development in the first 2 years after birth is extremely dynamic and likely plays an important role in neurodevelopmental disorders, including autism and schizophrenia. Knowledge regarding this period is currently quite limited. We studied structural brain development in healthy subjects from... | | 2008-01-01 |
250 |
|
Warner, Homer R. | A Study of Dispersion of an Indicator in the Circulation | Biomedical Informatics | | 1964 |
251 |
|
Henderson, Thomas C. | A study of Pierce's group generator | Pierce describes an approach to map learning with uninterpreted sensors and effectors. As part of that, he describes a sensor grouping generator operator that attempts to arrange similar sensors into groups. Here we review that work and place it in a more strenuous statistical validation framewor... | Pierce's group; Map learning; Sensor grouping generator | 2010 |
252 |
|
Jones, David T. | A study of the Great Basin Land Snail oreohelix strigosa depressa (Cockerell) | A survey of the previous mention of this snail provides a practical background for this essentially morphological study. The literature applicable to Oreolxdix strigosa depressa (Cockerell) in Utah may be summarized by reference to the following articles in the bibliography: directions for preparing... | | 1940-10-15 |
253 |
|
Warner, Homer R. | A Study of the Mechanism of Pressure Wave Distortion by Arterial Walls Using an Electrical Analog | Biomedical Informatics | | 1957 |
254 |
|
Furse, Cynthia M. | A study on the efficiency of transparent patch antennas designed from conductive oxide films | Abstract? A study on the efficiency of transparent patch antennas designed from indium tin oxide (ITO) films is presented to provide design guidelines for patch type transparent antennas. The trade-offs between optical transparency and antenna efficiency is analyzed by considering typical materia... | | 2011 |
255 |
|
Catmull, Edwin | A subdivision algorithm for computer display of curved surfaces (CSTD-74-006) | This report presents a method for producing computer shaded pictures of curved surfaces. Three-dimensional curved patches are used, as contrasted with conventional methods using polygons. The method subdivides a patch into successively smaller subpatches until a subpatch is as small as a raster-elem... | Computer animation | 1974-12 |
256 |
|
Rockwell, Kenneth W.; Morrow, Anne | A summary of geospatial initiatives in the University of Utah's Marriott Library | Abstract: The Marriott Library's Geospatial Initiatives Committee consists of librarians and staff involved in projects designed to provide access to different library resources through geospatial interfaces. We are creating maps that link to resources in our digital collections, including the Weste... | | 2013-03 |
257 |
|
Brown, Francis Harold | A summary of the geology, geochemistry, and geophysics of the Roosevelt Hot Springs thermal area, Utah | | | 1978 |
258 |
|
Chamberlin, Ralph V. | A summary of the known North American Amaurobiidae | A recent survey o f the spiders o f the family Amaurobiidae, sens, str., in the collection o f the University o f Utah made it evident that a number o f species and also generic groups occurring more especially in the western states had heretofore escaped detection and naming. It also seemed evident... | | 1947-10-12 |
259 |
|
Ricci, Robert | A survey of computing migration | | | 2010-02-26 |
260 |
|
Henderson, Thomas C. | A survey of dextrous manipulation | The development of mechanical end effectors capable of dextrous manipulation is a rapidly growing and quite successful field of research. It has in some sense put the focus on control issues, in particular, how to control these remarkably humanlike manipulators to perform the deft movement that we t... | Dextrous manipulation | 1986 |
261 |
|
Berzins, Martin | A survey of high level frameworks in block-structured adaptive mesh refinement packages | Over the last decade block-structured adaptive mesh refinement (SAMR) has found increasing use in large, publicly available codes and frameworks. SAMR frameworks have evolved along different paths. Some have stayed focused on specific domain areas, others have pursued a more general functionality, p... | | 2014-01-01 |
262 |
|
Gopalakrishnan, Ganesh; Kirby, Robert Michael II | A survey of MPI related debuggers and tools | Message Passing Interface is a widely used standard in the High Performance and Scienti c Computing Community for writing programs that can exploit the capability of parallel platforms. However, the inherent complexity and the size of the communication standard have made it difficult for programm... | Message Passing Interface; MPI; Debuggers | 2007 |
263 |
|
Sobh, Tarek M. | A survey on sensor classifications for industrial applications | The importance of sensors in industrial applications is a result of the introduction of many robotics, automation, and intelligent control techniques into factory floors. Research and improvements need to be continuously performed to meet the challenges in automation and manufacturing applications i... | Sensor classifications; Industrial applications; Sensors | 1995 |
264 |
|
Gopalakrishnan, Ganesh | A symbolic partial order reduction algorithm for rule based transition systems | Partial order reductions are a class of methods that attempt to reduce the state space that must be explored to verify systems by explicit state enumeration. Partial order reduction algorithms have been successfully incorporated into tools such as Spin and VFSM-valid. However, current partial ord... | Partial order reductions; Partial order reduction algorithms; SAT solver; Rule based transition systems | 2003-12-01 |
265 |
|
Whitty, Kevin J. | A system for measuring bubble voidage and frequency around tubes immersed in a fluidized bed of particles | Gas-solid fluidized beds are common in chemical processing and energy production industries. These types of reactors frequently have banks of tubes immersed within the bed to provide heating or cooling, and it is important that the fluid dynamics within these bundles is efficient and uniform. This p... | | 2010 |
266 |
|
Warner, Homer R. | A System for On-Line Computer Analysis of Data During Heart Catheterization | Biomedical Informatics | | 1970 |
267 |
|
Henderson, Thomas C. | A systolic array implementation of discrete relaxation algorithm | Discrete Relaxation techniques have proven useful in solving a wide range of problems in digital signal processing, artificial intelligence, machine vision, and VLSI engineering, etc. A conventional hardware design for an 8-label 8-object Discrete Relaxation Algorithm (DRA) requires three 4K memory... | Discrete Relaxation algorithm; Systolic array | 1986 |
268 |
|
Allen, Richardson; Deo, Milind D.; Isaacson, Alan E.; Keiter, Robert B.; Kessler, Christopher; Levey, Raymond; Oh, Kyeong Seok; Smith, Philip J.; Spinti, Jennifer P.; Uchitel, Kirsten; Alleman, David | A Technical, Economic, and Legal Assessment of North American Heavy Oil, Oil Sands, and Oil Shale Resources: In Response to Energy Policy Act of 2005 Section 369(p) | The purpose of this report is to assess unconventional North American resources, summarize current technologies for extracting and processing the resources, identify the issues which will affect the economic viability of various resource development schemes, evaluate the socioeconomic costs to commu... | | 2007-09 |
269 |
|
Warner, Homer R. | A Technique for the Detection of Asynergistic Motion in the Left Ventricle | Biomedical Informatics | | 1974 |
270 |
|
Warner, Homer R. | A Technique for the Quantitative Study of Carotid Sinus Behavior | Biomedical Informatics | | 1967 |
271 |
|
Liu, Feng | A three-layer-mesh bridging domain for coupled atomistic-continuum simulations at finite temperature: formulation and testing | Although concurrent multiscale methods have been well developed for zero-temperature simulations, improvements are needed to meet challenges pertaining to finite-temperature simulations. Bridging domain method (BDM) is one of the most efficient and widely-used multiscale atomistic-continuum techniqu... | | 2014-01-01 |
272 |
|
Ameel, Timothy A; Gale, Bruce K.; Harvey, Ian R. | A three-semester interdisciplinary educational program in microsystems engineering | Motivated by an NSF IGERT grant in the general area of microfluidics, a sequence of three interdisciplinary technical courses has been developed in the emerging area of microsystems engineering. Designed to be taken in series, these courses take students, both graduate and upper-level undergraduates... | | 2004 |
273 |
|
Adler, Frederick R. | A time since recovery model with varying rates of loss of immunity | For many infectious diseases, immunity wanes over time. The majority of SIRS models assume that this loss of immunity takes place at a constant rate. We study temporary immunity within a SIRS model structure if the rate of loss of immunity can depend on the time since recovery from disease.We determ... | | 2012-01-01 |
274 |
|
Seeley, Donn | A tour of the worm | On the evening of November 2, 1988, a self-replicating program was released upon the Internet 1. This program (a worm) invaded VAX and Sun-3 computers running versions of Berkeley UNIX, and used their sources to attack still more computers2. Within the space of hours this program had spread aacross ... | Computer worm | 1989 |
275 |
|
Warner, Homer R. | A Transfer Function Analysis of Coronary and Renal Circulation Calculated from Upstream and Downstream Indicator-Dilution Curves | Biomedical Informatics | | 1966 |
276 |
|
Gopalakrishnan, Ganesh | A transformational approach to asynchronous high-level synthesis | Asynchronous high-level synthesis is aimed at transforming high level descriptions of algorithms into efficient asynchronous circuit implementations. This approach is attractive from the point of view of the flexibility it affords in performing high level program transformations on users' initial d... | High level synthesis tool; SHILPA | 1993 |
277 |
|
Cohen, Elaine | A triangulation-invariant method for anisotropic geodesic map computation on surface meshes | This paper addresses the problem of computing the geodesic distance map from a given set of source vertices to all other vertices on a surface mesh using an anisotropic distance metric. Formulating this problem as an equivalent control theoretic problem with Hamilton-Jacobi-Bellman partial different... | | 2012-01-01 |
278 |
|
Furse, Cynthia M. | A tutorial on Stochastic FDTD | The Stochastic FDTD (S-FDTD) method provides a way to determine the mean and variance of the electric and magnetic fields in a model where the electrical properties (conductivity and permittivity) vary stochastically, from a single S-FDTD simulation. This method is a realistic and more efficient alt... | | 2014-01-01 |
279 |
|
Mathews, V. John | A unified approach to nonparametric spectrum estimation algorithms | Abstract-Different approaches to spectrum estimation can be broadly classified as parametric and nonparametric methods. In the parametric techniques, an underlying model is assumed in the formulation of the spectrum estimation problem and one estimates the parameters of the model. For nonparametric... | | 1987 |
280 |
|
Sutherland, James Clayton; Kerstein, Alan R. | A unified approach to the various formulations of the one-dimensional-turbulence model | The One-Dimensional Turbulence (ODT) model has been successfully applied as a stand-alone model for predicting turbulence statistics in both nonreacting and reacting flows. There are several formulations of the model in the literature, and most of the variable-density formulations do not clearly dis... | | 2010 |
281 |
|
Hibler, Michael J. | A unified storage and deployment model for the emulab network testbed | | | 2010-02-26 |
282 |
|
Sobh, Tarek M.; Henderson, Thomas C. | A unifying framework for tolerance analysis in sensing, design, and manufacturing | In this work we address the problem of tolerance representation and analysis across the domains of industrial inspection using sensed data, CAD design, and manufacturing. Instead of using geometric primitives in CAD models to define and represent tolerances, we propose the use of stronger methods t... | Tolerance representation; Tolerance analysis; Industrial inspection; Sensed data; CAD design | 1994 |
283 |
|
Mastrangelo, Carlos H. | A very high density floating electrode flexible sensor array for high-resolution measurements of contact forces | We present the development, fabrication and testing results of a new high-density flexible sensor array (HDFA) suitable of recording three-axis stresses with high spatial resolution. The new HDFA consists of 676 (26×26) sensing cells fabricated on top of a high-density flex circuit substrate. Each ... | | 2013-01-01 |
284 |
|
Warner, Homer R. | A View of Medical Informatics as an Academic Disipline (Editorial) | Biomedical Informatics | | 1993 |
285 |
|
Huang, Ruihong; Riloff, Ellen M | A weakly-supervised learning approach to domain-specific semantic tagging | | | 2010-02-26 |
286 |
|
Seyedhosseini Tarzjani, Seyed Mojtaba | A workflow for the automatic segmentation of organelles in electron microscopy image stacks | Electron microscopy(EM) facilitates analysis of the form,distribution, and functional status of key organelle systems in various pathological processes,including those associated with neurodegenerative disease.Such EM data often provide important new in sights into the underlying disease mechanisms.... | | 2014-01-01 |
287 |
|
Beazley, David. M. | A wrapper generation tool for the creation of scriptable scientific applications | In recent years, there has been considerable interest in the use of scripting languages as a mechanism for controlling and developing scientific software. Scripting languages allow scientific applications to be encapsulated in an interpreted environment similar to that found in commercial scientific... | | 1998 |
288 |
|
Francis, Leslie | A wrongful case for parental tort liability | Malek and Daar [M&D] argue that parents have a duty to employ prenatal genetic diagnosis (PGD) if they undergo IVF knowing they are at risk of transmitting a serious genetic condition. Although M&D limit their analysis to parents already undergoing PGD, in which they say the parental obligation is s... | | 2012-01-01 |
289 |
|
Olivera, Baldomero M.; McIntosh, J. Michael; Hillyard, David R. | A-superfamily of conotoxins: structural and functional divergence | The generation of functional novelty in proteins encoded by a gene superfamily is seldom well documented. In this report, we define the A-conotoxin superfamily, which is widely expressed in venoms of the predatory cone snails (Conus), and show how gene products that diverge considerably in stru... | Conotoxins; A-superfamily conotoxin | 2004-02-03 |
290 |
|
| AAMC Award for Distinguished Research presentation for 1998 | This is a 3 minutes, 51 seconds video of the presentation of the American Association of Medical Colleges' Award for Distinguished Research to Mario Capecchi and Oliver Smithies for their independent work as pioneers in gene targeting. | Transgenic mice; Gene targeting; Genetic engineering; Mutagenesis; Capecchi, Mario R.; Science - Awards - United States; Smithies, Oliver; Awards presentations | 1998 |
291 |
|
Voth, Gregory Alan | Ab initio calculations of reactive pathways for ?-octahydro-1,3,5,7-tetranitro-1,3,5,7-tetrazocine (?-HMX) | Using the BLYP and B3LYP level of density functional theory, four possible decomposition reaction pathways of HMX in the gas phase were investigated: N?NO2 bond dissociation, HONO elimination, C?N bond scission of the ring, and the concerted ring fission. The energetics of each of these four mechan... | Ab initio calculations; Reactive pathways; HMX | 2000 |
292 |
|
Kestle, John R. W. | Abdominal binders | Sklar and colleagues2 describe their experience managing "over-shunting headaches" with an abdominal binder. Seventy children with over-shunting headaches complied with application of a binder for about 1 month. In 61 patients (87%), the headaches "greatly improved or went away." This headache relie... | | 2012-01-01 |
293 |
|
Suchy, Yana | Aberrant functional connectivity of cortico-basal ganglia circuits in major depression | There is considerable evidence of functional abnormalities of the cortico-basal ganglia circuitry in affective disorders. However, it has been unknown whether this represented primary pathology within these circuits or altered activation as a result of aberrant input from other brain regions. The ai... | | 2012-01-01 |
294 |
|
Ehleringer, James R. ; Cerling, Thure E. | Aberrant water homeostasis detected by stable isotope analysis | While isotopes are frequently used as tracers in investigations of disease physiology (i.e., 14C labeled glucose), few studies have examined the impact that disease, and disease-related alterations in metabolism, may have on stable isotope ratios at natural abundance levels. The isotopic composition... | | 2010-07-21 |
295 |
|
Gondolo, Paolo | Aberration features in directional dark matter detection | The motion of the Earth around the Sun causes an annual change in the mag-nitude and direction of the arrival velocity of dark matter particles on Earth, in a way analogous to aberration of stellar light. In directional detectors, aberration of weakly interacting massive particles (WIMPs) modulates ... | | 2012-01-01 |
296 |
|
Gerig, Guido | Abnormal brain synchrony in down syndrome | Down Syndrome is the most common genetic cause for intellectual disability, yet the pathophysiology of cognitive impairment in Down Syndrome is unknown. We compared fMRI scans of 15 individuals with Down Syndrome to 14 typically developing control subjects while they viewed 50 min of cartoon video c... | | 2013-01-01 |
297 |
|
Varner, Michael W. | Abnormal pregnancy sonogram: selective indication for fetal karyotype. | The inability to make a definitive diagnosis in the fetus with a sonographically identified abnormality often results in parental and physician uncertainty. An antenatal chromosome evaluation could resolve this uncertainty. Forty-one fetuses with an abnormal ultrasound examination were tested for ka... | Chromosome Disorders; Pregnancy; Karyotyping; Abnormalities; Amniocentesis | 1987-01 |
298 |
|
Gerig, Guido | Abnormal vessel tortuosity as a marker of treatment response of malignant gliomas: preliminary report | Despite multiple advances in medical imaging, noninvasive monitoring of therapeutic efficacy for malignant gliomas remains problematic. An underutilized observation is that malignancy induces characteristic abnormalities of vessel shape. These characteristic shape abnormalities affect both capillari... | | 2004-01-01 |
299 |
|
Awasthi, Manu; Nellans, David W.; Sudan, Kshitij; Balasubramonian, Rajeev | ABP : predictor based management of DRAM row buffers | DRAM accesses are costly, especially in multicore systems. Future CMPs will run a mixed load of workloads/threads. Destructive interference at memory controller, spatio-temporal locality lost! DRAM row-buffer hits are least expensive, row-conflicts are most. Randomized memory access patterns re... | | 2010-10-06 |
300 |
|
Wu, Yong-Shi | Absence of (1,0) supersymmetry anomaly in world-sheet gauge theories: a purely cohomological proof | A purely cohomological proof is given for the absence of the (1,0) supersymmetry anomaly in gauge theories on a world sheet. In particular, it is shown that generalized cohomological approaches to anomalies in supersymmetric gauge theory, either formulated in whole superconnection space or only in t... | World sheet; String theory; Superfields; Superspace | 1989-01 |