|
|
Creator | Title | Description | Subject | Date |
326 |
![](/dl_thumbs/28/fc/28fc088ebe9cbb5f723c5b99973a4181d12ca8a3.jpg) | Freire, Juliana | Beyond depth-first strategies: improving tabled logic programs through alternative scheduling | Tabled evaluation ensures termination for programs with finite models by keeping track of which subgoals have been called. Given several variant subgoals in an evaluation, only the fi rst one encountered will use program-clause resolution; the rest will resolve with the answers generated by the f... | Alternate scheduling; SLG-WAM; Tabled logic programs | 1998 |
327 |
![](/dl_thumbs/42/4c/424c3e54607857c5d0e9ac555d8692aed18327f6.jpg) | Freire, Juliana | Beyond depth-first: improving tabled logic programs through alternative scheduling strategies | Tabled evaluations ensure termination of logic programs with fi nite models by keeping track of which subgoals have been called Given several variant subgoals in an evaluation, only the fi rst one encountered will use program clause resolution the rest uses answer resolution This use of answer r... | Alternate scheduling; SLG-WAM; Tabled logic programs | 1996 |
328 |
![](/dl_thumbs/7d/00/7d00724ab601835e8976f025039217451ec8e5e3.jpg) | Stringfellow, Gerald B. | Bi surfactant control of ordering and surface structure in GaInP grown by organometallic vapor phase epitaxy | Studies the effect of the surfactant bismuth on the ordering and surface structure in GaInP layers grown by organometallic vapor phase epitaxy. Disordering caused by the addition of bismuth during growth; Changes in surface structure occurring with the disordering. | Thin films, Multilayered; Bismuth | 2000 |
329 |
![](/dl_thumbs/6e/d0/6ed08c9a67f43f2a0a3c35252050d8a3aeb44a5b.jpg) | Stringfellow, Gerald B.; Shurtleff, James Kevin | Bi surfactant effects on ordering in GaInP grown by organometallic vapor-phase epitaxy | The effect of the isoelectronic surfactant Bi on surface structure and ordering has been studied for GaInP semiconductor alloys grown by organometallic vapor-phase epitaxy. A small amount of Bi trimethylbismuth added during growth is found to result in disordering for layers grown using conditions t... | Surfactant; Semiconductors; Trimethylbismuth | 2000 |
330 |
![](/dl_thumbs/26/16/2616e53d89c259e37b122a1a58448b5abc805ce6.jpg) | Rieth, Loren W | Bi-layer encapsulation of Utah array based nerual interfaces by atomic layer deposited Al2O3 and parylene C | We present a novel coating method that combines atomic layer deposited Al2O3 and Parylene C for encapsulation of biomedical implantable devices, focusing on its application on Utah electrode array based neural interfaces. The alumina and Parylene C bi-layer encapsulated wired Utah electrode array sh... | | 2013-01-01 |
331 |
![](/dl_thumbs/e0/be/e0beec1b75abd8aa4aa5ea9ab1189f48cb6c2f25.jpg) | Hansen, Charles D. | Binary-swap and shear-warp volume renderer on the T3D | Large parallel machines give today's scientists the ability to compute very large simulations which may generate equally large data. Not only does having visualization tools on the parallel system allow the scientist to take advantage of the large memory to visualize the data, the processing power a... | Volume rendering; Binary-swap | 1995 |
332 |
![](/dl_thumbs/8f/9b/8f9b66268312d4608592439f2754955eb698b73b.jpg) | Hansen, Charles D. | Binary-swap volumetric rendering on the T3D | This paper presents a data distributed parallel raytraced volume rendering algorithm and its implementation on the CRI T3D. This algorithm distributes the data and the computational load to individual processing units to achieve fast and high-quality rendering of high-resolution data. The volume dat... | Volume rendering; Binary-swap; Ray tracing; Parallel rendering | 1995 |
333 |
![](/dl_thumbs/a7/3a/a73a7588374da53e290a8b9fb52138127e220e82.jpg) | Harrison, Reid R. | Biologically inspired analog IC for visual collision detection | We have designed and tested a single-chip analog VLSI sensor that detects imminent collisions by measuring radially expanding optic flow. The design of the chip is based on a model proposed to explain leg-extension behavior in flies during landing approaches. We evaluated a detailed version of thi... | Visual collision detection; VLSI | 2005-11 |
334 |
![](/dl_thumbs/95/a1/95a1f926b2a5c118d8ea34ebf97978b63890b8f4.jpg) | Pershing, David W. | Biomass combustion: relationship between pollutant formation and fuel composition | A 65-kW refractory-walled reactor was used to study biomass combustion under conditions typical of the suspension-burning phase in a spreader-stoker-fired boiler. Isothermal combustion data and nitric oxide (NO) emission rates were obtained as a function of temperature, local oxygen concentration, ... | Combustion; Emissions; Energy; Environmental control; Fuels; Pyrolysis; Biomass fuel; Particulates | 1989 |
335 |
![](/dl_thumbs/27/9f/279f63a85cf499129fd2357c873b535162e906fd.jpg) | Furse, Cynthia M. | Biomedical telemetry: today's opportunities and challenges | Biomedical telemetry is used today to communication with cardiac devices, insulin pumps, and a few other implantable devices that are on the order of 1-2" in diameter. Future systems promise advanced communication with cardiac, optical, neurological and auditory devices that are on the order of a ce... | | 2009-03 |
336 |
![](/dl_thumbs/8a/93/8a9308402006b330a959f37799386938b2205071.jpg) | Johnson, Christopher R. | Biomedical visual computing: case studies and challenges | Advances in computational geometric modeling, imaging, and simulation let researchers build and test models of increasing complexity, generating unprecedented amounts of data. As recent research in biomedical applications illustrates, visualization will be critical in making this vast amount of data... | | 2012-01-01 |
337 |
![](/dl_thumbs/ed/ff/edffc86ec127708586d890b202fc065520b6434b.jpg) | Christensen, Douglas A. | Biosensor development at the University of Utah | Interest in biosensors has increased rapidly in the past few years due to the many potential advantages of these devices, such as small size, speed of response, and specificity 111. The term "biosensor" in the broad sense describes any device or apparatus which detects biological signals for the pu... | Silicon retina; Photosensing array; CHEMFET; Fluorescence lmmunosensor; Planar waveguide | 1994-07 |
338 |
![](/dl_thumbs/cf/d7/cfd7928b3c8c6cec2a7a6118b13fe73ffa45a23b.jpg) | Miller, Jan D. | Bismuth dissolution from smelter flue dust residues | Effective bismuth removal from flue dust residues has been accomplished for flue dusts from both zinc and copper smelters. Selective dissolution of bismuth, with respect to silver and lead, can be achieved by the proper manipulation of temperature, sulfuric acid addition and sodium chloride addition... | technique; distribution; chloride | 1976 |
339 |
![](/dl_thumbs/11/5b/115b303da096ba58132b1c799ecacc8cbccff9c2.jpg) | Gerpheide, George E. | Bit-driven logic: a style of digital logic for VLSI design | This memo describes a new style of low-level digital logic design called Bit-Driven Logic (BDL) which may prove attractive for the design of VLSI chips. BDL is an application of speed-independent, data-flow ideas to a very low level. It has the advantages of good locality, clockless operation, and... | Bit-Driven Logic; BDL; Digital logic design; VLSI chips | 1980 |
340 |
![](/dl_thumbs/eb/9d/eb9d062c1fb7ece7b5b792a48a82a4d04335368a.jpg) | Mathews, V. John | Blind identification of bilinear systems | Abstract-This paper is concerned with the blind identification of a class of bilinear systems excited by non-Gaussian higher order white noise. The matrix of coefficients of mixed input-output terms of the bilinear system model is assumed to be triangular in this work. Under the additional assumptio... | | 2003 |
341 |
![](/dl_thumbs/2c/f8/2cf873f7f9738b66be36e14c8fb6cbeed3f77007.jpg) | Mathews, V. John | Blind identification of bilinear systems | Abstract This paper is concerned with the blind identification of bilinear systems excited by higher-order white noise. Unlike prior work that restricted the bilinear system model to simple forms and required the excitation to be Gaussian distributed, the results of this paper are applicable to a m... | | 2001 |
342 |
![](/dl_thumbs/4e/c0/4ec02747c88721b42f5a456f42328e3e25a3c100.jpg) | Mathews, V. John | Blind identification of QAM signals using a likelihood-based algorithm | This paper presents a method for automatically identifying different QAM modulations. This method identifies the modulation type as the hypothesis for which the likelihood function of the amplitudes of the received signal is the maximum. The derivation of the likelihood functions assumes additive wh... | | 2013-01-01 |
343 |
![](/dl_thumbs/36/d9/36d933e1f421b27df1e5d7e7bc0c08362fe091ec.jpg) | Lenart, Joshua Bela | The Blue Castle project: a feasibility study of the proposed nuclear power plant in Emery County, Utah along the Green River | With an increasing population in Utah, specifically in the Salt Lake Valley, the demand for energy is rapidly growing each year. Currently, Utah's electric grid is largely produced by burning coal, natural gas, and other fossil fuels. In the past, supplying Utahns with electricity from these forms h... | Blue Castle; Utah; Nuclear power plant; Emery County | 2015-08 |
344 |
![](/dl_thumbs/91/75/9175406cf0e2b64ca09807d186159bd2712c3371.jpg) | Riloff, Ellen M. | Bootstrapping for text learning tasks | When applying text learning algorithms to complex tasks, it is tedious and expensive to hand-label the large amounts of training data necessary for good performance. This paper presents bootstrapping as an alternative approach to learning from large sets of labeled data. Instead of a large quantity ... | Bootstrapping; Text learning algorithms; Seed information | 1999 |
345 |
![](/dl_thumbs/75/60/7560332c9143ca374e11cf3e9a53ac850c890326.jpg) | Riloff, Ellen M. | Bootstrapping method for learning semantic lexicons using extraction pattern contexts | This paper describes a bootstrapping algorithm called Basilisk that learns high-quality semantic lexicons for multiple categories. Basilisk begins with an unannotated corpus and seed words for each semantic category, which are then bootstrapped to learn new words for each category. Basilisk hypothe... | Basilisk; Bootstrapping method; Semantic lexicons | 2002 |
346 |
![](/dl_thumbs/fa/7e/fa7efdf2c3556ba41d96c759afdc31a102106a72.jpg) | Hansen, Charles D. | Boundary aware reconstruction of scalar fields | In visualization, the combined role of data reconstruction and its classification plays a crucial role. In this paper we propose a novel approach that improves classification of different materials and their boundaries by combining information from the classifiers at the reconstruction stage. Our ap... | | 2014-01-01 |
347 |
![](/dl_thumbs/f5/35/f5359cb7ede251ce4fc439dc15c687d42f8093f0.jpg) | Tasdizen, Tolga | Boundary estimation from intensity/color images with algebraic curve models | A new concept and algorithm are presented for noniterative robust estimation of piecewise smooth curves of maximal edge strength in small image windows - typically 8 x 8 to 32 x 32. This boundary-estimation algorithm has the nice properties that it uses all the data in the window and thus can find l... | | 2000 |
348 |
![](/dl_thumbs/ad/f2/adf29f8d1c999d04dc2c0433e6e699411b11c120.jpg) | Gopalakrishnan, Ganesh | Bounded transaction model checking | Industrial cache coherence protocol models often have too many reachable states, preventing full reachability analysis even for small model instances (number of processors, addresses, etc.). Several partial search debugging methods are, therefore, employed, including lossy state compression using... | Model checking; Reachability analysis | 2006-02-27 |
349 |
![](/dl_thumbs/66/2c/662c84b40842a69aaf1b63ca8177eb9fd64da0f1.jpg) | Harrison, Reid R. | Brain-machine interface, unplugged | In experiments and even limited human clinical trials, electrode arrays implanted on the brain's surface have given monkeys and humans the ability to move objects with their thoughts. The experiments are proof that brain-computer interfaces could improve the lives of severely paralyzed people. But... | Wireless neural implants; Brain-computer interface | 2009-01-01 |
350 |
![](/dl_thumbs/8a/21/8a210127905b91890f406266735bf94b45182835.jpg) | Freire, Juliana | Bridging the XML-relational divide with LegoDB: a demonstration | We present LegoDB, a cost-based XML storage mapping engine that automatically explores a space of possible XML-to-relational mappings and selects an efficient mapping for a given application. | LegoDB; Storage mappings | 2003 |