UScholar Works
 
Filters: Format: "application/pdf" Collection: "ir_uspace"
501 - 525 of 7,207
Number of results to display per page
CreatorTitleDescriptionSubjectDate
501 Bruderlin, BeatAn interactive N-Dimensional constraint systemIn this paper, we present a graph-based approach to geometric constraint solving. Geometric primitives (points, lines, circles, planes, etc.) possess intrinsic degrees of freedom in their embedding space. Constraints reduce the degrees of freedom of a set of objects. A constraint graph is created wi...Geometric constraint solving1994
502 Gopalakrishnan, GaneshAn interface aware guided search method for error-trace justification in large protocolsMany complex concurrent protocols that cannot be formally verified due to state explosion can often be formally verified by initially creating a collection of abstractions (overapproximations), and subsequently refining the overapproximated protocol in response to spurious counterexample traces. ...Concurrent protocols; Verification; Error-trace justification2008
503 Sikorski, KrisAn interior ellipsoid algorithm for fixed pointsWe consider the problem of approximating fixed points of non-smooth contractive functions with using of the absolute error criterion. In [12] we proved that the upper bound on the number of function evaluations to compute ?-approximations is 0(n3(In 1/? + In 1/1-q +In n)) in the worst case, where ...Ellipsoid algorithm; Contractive functions; Fixed points1998
504 Warner, Homer R.An Interlingua for Electronic Interchange of Medical Information: Using Fames to Map between Clinical VocabulariesBiomedical Informatics1991
505 Berg, Cynthia A.An interpersonal analysis of subjective social status and psychosocial riskSubjective social status (SSS) predicts health independently of traditional measures of socio-economic status (SES; Adler et al., 2008; Cohen et al., 2008). Although interpersonal variables are known to be related to both SES and health (Gallo, Smith, & Cox, 2006) and might contribute to their assoc...2011-01-01
506 Davis, AlAn introduction to asynchronous circuit designThe purpose of this monograph is to provide both an introduction to field of asynchronous digital circuit design and an overview of the practical state of the art in 1997. In the early days of digital circuit design, little distinction was made between synchronous and asynchronous circuits. However,...Asynchronous circuit design1997
507 Morrison, David L.An introduction to patent searchingPresentation by David Morrison at the Marriott Library Spring Semester Training Workshop, 2013.2013-08
508 Riloff, Ellen M.An introduction to the Sundance and AutoSlog systemsThis document describes the Sundance natural language processing system that has been developed at the University of Utah, as well as the AutoSlog and AutoSlog-TS extraction pattern learners that have been implemented on top of Sundance. Sundance is a shallow parser that also includes clause hand...Sundance system; AutoSlog system; Extraction pattern learners2004-11-08
509 Regehr, JohnAn isotach implementation for myrinetAn isotach network provides strong guarantees about message delivery order. We show that an isotach network can be implemented efficiently entirely in software, using commercial o-the-shelf hardware. This report describes that effort. Parts of this implementation could be performed much more efficie...1997-01-01
510 Carter, John B.An O(1) time complexity software barrierAs network latency rapidly approaches thousands of processor cycles and multiprocessors systems become larger and larger, the primary factor in determining a barrier algorithm?s performance is the number of serialized network latencies it requires. All existing barrier algorithms require at least ...Network latency; Barrier algorithm; Time complexity software barrier2004
511 Henderson, Thomas C.An O(n) time discrete relaxation architecture for real-time processing of the consistent labeling problemDiscrete relaxation techniques have proven useful in solving a wide range of problems in digital signal and digital image processing, artificial intelligence, operations research, and machine vision. Much work has been devoted to finding efficient hardware architectures. This paper shows that a conv...Discrete relaxation techniques1986
512 Mathews, V. JohnAn optimal design procedure for intraband vector quantized subband codingAbstTact- Subband coding with vector quantization is addressed in this paper. Forming the data vectors from both between and within the subbands is considered. The former of these two schemes is referred to as interband coding and the latter as intraband coding. Interband coder design is relatively ...1995
513 Gu, JunAn optimal, parallel discrete relaxation algorithm and architecture (Revised January 1988 and August 1989)A variety of problems in artificial intelligence, operations research, symbolic logic, pattern recognition and computer vision, and robot manipulation are special cases of the Consistent Labeling Problem (CLP). The Discrete Relaxation Algorithm (DRA) is an efficient computational technique to enfor...Consistent Labeling Problem; CLP; Discrete Relaxation Algorithm; DRA1988
514 Parkinson, John StansfieldAn unorthodox sensory adaptation site in the E. coli serine chemoreceptorThe serine chemoreceptor of E. coli contains four canonical methylation sites for sensory adaptation that lie near inter-subunit helix interfaces of the Tsr homodimer. An unexplored fifth methylation site, E502, lies at an intra-subunit helix interface, closest to the HAMP domain that controls input...2014-01-01
515 Warner, Homer R.Analog Computer Analysis of Dispersion of Indicator in the CirculationBiomedical Informatics1966
516 Gardner, Reed M.Analog Computer Simulates Heart Response to Nerve StimulationBiomedical Informatics1961
517 Gardner, Reed M.Analog Computer Simulation of Heart ResponseBiomedical Informatics1961
518 Harrison, Reid R.; Myers, Chris J.; Schlegel, ChristianAnalog decoding of product codesA design approach is presented for soft-decision decoding of block product codes ("block turbo codes") using analog computation with MOS devices. Application of analog decoding to large code sizes is also considered with the introduction of serial analog interfaces and pipeline schedules.2001-01-11
519 Myers, Chris J.Analog decoding of product codesA design approach is presented for soft-decision decoding of block product codes ("block turbo codes") using analog computation with MOS devices. Application of analog decoding to large code sizes is also considered with the introduction of serial analog interfaces and pipeline schedules.2001
520 Myers, Chris J.; Harrison, Reid R.; Schlegel, ChristianAnalog decoding of product codesAbstract - A method is presented for analog softdecision decoding of block product codes (block turbo codes). Extrinsic information is exchanged as analog signals between component row and column decoders. The component MAP decoders use low-power analog computation in subthreshold CMOS circuits t...2002
521 Harrison, Reid R.; Myers, Chris J.; Schlegel, ChristianAnalog decoding of product codesA method is presented for analog softdecision decoding of block product codes (block turbo codes). Extrinsic information is exchanged as analog signals between component row and column decoders. The component MAP decoders use low-power analog computation in subthreshold CMOS circuits to implement th...2002
522 Myers, Chris J.; Schlegel, ChristianAnalog MAP decoder for (8, 4) hamming code in subthreshold CMOSAn all-MOS analog implementation of a MAP decoder is presented for the (8, 4) extended Hamming code. This paper describes the design and analysis of a tail-biting trellis decoder implementation using subthreshold CMOS devices. A VLSI test chip has recently returned from fabrication, and preliminary ...2001
523 Myers, Chris J.; Schlegel, ChristianAnalog MAP decoder for (8, 4) hamming code in subthreshold CMOSAbstract - An all-MOS analog tail-biting MAP decoder is presented for an (8,4) Hamming code. The decoder implements a probability propagation algorithm using subthreshold CMOS networks. Physical results verify the expected behavior of the decoderand demonstrate robustness of analog decoding circuit...2001
524 Harrison, Reid R.Analog MAP decoder for (8,4) hamming code in subthreshold CMOSAn all-MOS analog tail-biting MAP decoder is presented for an (8,4) Hamming code. The decoder implements a probability propagation algorithm using subthreshold CMOS networks. Physical results verify the expected behavior of the decoder and demonstrate robustness of analog decoding circuits.MAP decoder; Hamming code; VLSI2004-01-01
525 Harrison, Reid R.Analog VLSI implementation of a visual interneuron: enhanced sensory processing through biophysical modelingFlies are capable of rapid, coordinated flight through unstructured environments. This flight is guided by visual motion information that is extracted from photoreceptors in a robust manner. One feature of the fly's visual processing that adds to this robustness is the saturation of wide-fi_x000...1999-01-01
501 - 525 of 7,207