UScholar Works
 
Filters: Collection: "ir_uspace"
1 - 25 of 6,165
Number of results to display per page
CreatorTitleDescriptionSubjectDate
1 Herzog, OttheinLiveness of extended control structure netsA new subclass of Petri nets is defined allowing the control structure representation of parallel programs including arbitrary semaphore operations. Structural properties of the "Extended Control Structure Nets" are discussed and seven necessary and sufficient conditions for their liveness are prove...1977
2 Joshi, Sarang; Venkatasubramanian, SureshMatching shapes using the current distanceCurrent Distance: It was introduced by Vaillant and Glaunès as a way of comparing shapes (point sets, curves, surfaces). This distance measure is defined by viewing a shape as a linear operator on a k-form field, and constructing a (dual) norm on the space of shapes. Shape Matching: Given two s...
3 Chuaqui, Miguel BasimDream SwimScore for work for 2 violins, viola, and 2 cellos.music, score, strings, quintet2011
4 Gardner, Reed M.Y2K: Need for Health Care Professionals to be Responsible and PreparedBiomedical Informatics1999
5 Cloud, Joann L.; Dunn, Jim; Hoggan, Karen; Wilson, Deborah; Iwen, Peter; Lasala, Paul; Hall, Geri; Woods, Gail L.Sequence-based identification of gram negative nonfermenters using commercial 16S rDNA databasesThis poster presents a study assessing the validity of the databases from two commercial systems were compared for the identification of NF. Background: Identification of gram negative nonfermenters (NF) from cultured human specimens is often difficult using traditional phenotypic methods. Partial 1...MicroSeq500; Virodec2005-08-29
6 Mattis, Daniel C.Exact solution of a many-fermion system and its associated boson fieldLuttinger's exactly soluble model of a one-dimensional many-fermion system is discussed. We show that he did not solve his model properly because of the paradoxical fact that the density operator commutators [p(p), p(-p')], which always vanish for any finite number of particles, no longer vanish in ...Many-electron problem; Fermi surface; Boson field; Dirac sea1965
7 Chuaqui, Miguel BasimMareasIn Mareas (Tides), the dark timbre of the alto flute is immersed in a dark, watery, electronic sea. The bell sounds in the work evoke for me the bells of fishing boats as they toss around in choppy waters. These are sounds I first heard in the port of Valparaíso, Chile as a boy, their rhythm being ...Tides; Carlton Vickers; Chilean music; Bell sounds2005
8 Stoller, Leigh B.PPE interface and functional specificationThis document describes the interface and functional specification of a Protocol Processing Engine (PPE) for workstation clusters. The PPE is intended to provide the support necessary to implement low latency protocols requiring only low resource (cpu and bus bandwidth) consumption.Protocol Processing Engine; PPE; Workstation clusters1995
9 Golden, Kenneth M.Convexity in random resistor networksThe bulk conductivity o*(p) of the bond lattice in Zd is considered, where the conductivity of the bonds is either 1 with probability p or e > 0 with probability 1 - p. Rigorous and non-rigorous results demonstrating convexity of o*(p) near the percolation threshold pc are presented.Conductivity; Bond lattice; Critical exponent t1989
10 Allen, Edgar S.Sensory information processing (1 January 1976 - 30 June 1976)The removal of the effects of atmospheric turbulence from optical images is a significant problem of long standing. Recent investigations by Knox and Thompson have led to the development of a restoration procedure which shows considerable promise. This procedure has not been successfully applied to ...Removal; Atmospheric turbulence; Interference; Restoration procedure1977
11 Mattis, Daniel C.New wave-operator identity applied to the study of persistent currents in 1DWe show that a large class of backward-scattering matrix elements involving Δk ~ + 2k F vanish for fermions interacting with two-body attractive forces in one dimension. (These same matrix elements are finite for noninteracting particles and infinite for particles interacting with two-body repulsiv...Persistent current; Supercurrents1974
12 Archuleta, MichaelHidden surface line drawing algorithmThis paper describes a fast procedure in processing hidden surface pictures with the output in vector form. The program has been written expressly for a Decsystem 10 and has performed successfully on three different installations. The algorithm which is being used is a modification to the Watkins' A...Watkins algorithm; Hidden surface1972
13 Golden, Kenneth M.The lsing model and critical behavior of transport in binary composite mediaWe present a general theory for critical behavior of transport in binary composite media. The theory holds for lattice and continuum percolation models in both the static case with real parameters and the quasi-static case (frequency dependent) with complex parameters. Through a direct, analytic cor...2012-01-01
14 Boll, Steven F.Suppression of acoustic noise in speech using two microphone adaptive noise cancellationAcoustic noise with energy greater or equal to the speech is suppressed by filtering a separately recorded correlated noise signal and subtracting it from the speech waveform. This approach was investigated to determine the degree of noise suppression possible using an external correlated input. The...Suppression; acoustic noise; adaptive noise cancellation1979
15 Chuaqui, Miguel BasimBlues en el CorazónBlues en el Corazón is a set of three piano pieces connected by the use of a simple blues scale. The scale is used as the basis for all the material in the pieces and it is used both as a generator of surface motives, as in the second piece, and as source material for the harmonic background of al...3 Pieces for Piano; Music2009
16 Boll, Steven F.Noise suppression methods for robust speech processing (1 April 1979- 30 Sept. 1979)Robust speech processing in practical operating environments requires effective environmental and processor noise suppression. This report describes the technical findings and accomplishments during this reporting period for the research program funded to develop real-time, compressed speech analysi...Noise suppression; Signal contamination; Compressed speech analysis-synthesis algorithms1979
17 Allen, Edgar S.Sensory information processing (1 July 1976 - 31 March 1977)The student of human visual perception is often overwhelmed by the vast amount of data that has been accumulated from experiments performed within the last century or so. It is often difficult to understand why a certain experiment has been performed.Results from similar experiments sometimes seem t...Sensory information processing1977
18 Chuaqui, Miguel BasimCuarteto ClaroscuroI grew up in Chile during the 70's, and early 80's, a time of political upheaval and economic distress in Chile, and this has probably exerted as strong an influence on my musical outlook as any other aspect of Chilean culture. While I distrust "political art" I do have an abiding desire for my musi...1997
19 Golden, Kenneth M.Statistical mechanics of conducting phase transitionsThe critical behavior of the effective conductivity o* of the random resistor network in Zd, near its percolation threshold, is considered. The network has bonds assigned the conductivities 1 and E >_0 in the volume fractions p and 1 -p. Motivated by the statistical mechanics of an Ising ferromagn...Resistor; Ising; Ferromagnet1995
20 Carey, Thomas A.Empirical modeling of occurrence of severe weather events1971
21 Golden, Kenneth M.Exact result for the effective conductivity of a continuum percolation modelA random two-dimensional checkerboard of squares of conductivities 1 and 8 in proportions p and 1 - p is considered. Classical duality implies that the effective conductivity obeys o* = V8 at p = 1/2. It is rigorously found here that to leading order as 8--0, this exact result holds for all p in the...Particles; Matrix; Checkerboard1994
22 Boll, Steven F.; Timothy, LaMar K.Noise suppression methods for robust speech processing (1 Oct. 1978- 31 Mar. 1979)Robust speech processing in practical operating environments requires effective environmental and processor noise suppression. This report describes the technical findings and accomplishments during this reporting period for the research program funded to develop real time, compressed speech analysi...Noise suppression; Signal contamination; Compressed speech analysis-synthesis algorithms1979
23 Gopalakrishnan, GaneshTransaction ordering verification of the PCI 2.1 protocol using trace inclusion refinementWe define an abstract model of PCI, called PCIA, and show that PCI is a refinement of PCIA based on tract inclusion. We then show that no traces of PCIA violate the Producer/Consumer property using the mur? explicit state ennumeration model checker. Given that PCIA does not violate the Producer/Cons...PCI; PCIA; tract inclusion2000
24 Golden, Kenneth M.Convexity and exponent inequalities for conduction near percolationThe bulk conductivity o*(p) of the bond lattice in Zd with a fraction p of conducting bonds is analyzed. Assuming a hierarchical node-link-blob (NLB) model of the conducting backbone, it is shown that o*(p) (for this model) is convex in p near the percolation threshold pc, and that its critical expo...Lattice; Conductivity; Model1990
25 Frost, Richard L.High resolution astronomical imaging through the turbulent atmosphereThis research is principally concerned with the digital reconstruction of star images observed with large ground-based telescopes, although the techniques developed here will have application to a broad class of reconstruction problems. Since the work of Labeyrie, the difficulty in producing accurat...Astronomical imaging; Turbulent atmosphere; Digital reconstruction; Star images1979
1 - 25 of 6,165