|
|
Creator | Title | Description | Subject | Date |
1 |
|
Panangaden, Prakash | A category theoretic formalism for abstract interpretation | We present a formal theory of abstract interpretation based on a new category theoretic formalism. This formalism allows one to derive a collecting semantics which preserves continuity of lifted functions and for which the lifting functon is itself continuous. The theory of abstract interpretation i... | Formal theory; Theoretic formalism; Lifted functions | 1984 |
2 |
|
Panangaden, Prakash | Abstract interpretation and indeterminacy | We present a semantic theory that allows us to discuss the semantics of indeterminate operators in a dataflow network. The assumption is made that the language in which the indeterminate operators are written has a construct that allows for the testing of availability of data on input lines. We then... | Semantics; Indeterminate operators | 1984 |
3 |
|
Gardner, Reed M. | Accuracy of Pulmonary Artery and Wedge Pressure Measurements (Letter) | Biomedical Informatics | | 1984 |
4 |
|
Mathews, V. John | Adaptive nonlinear digital filter with sequential regression algorithm | The purpose of this paper is to introduce an adaptive nonlinear digital filtering algorithm which use the sequential regression (SER) method to update the second order Volterra filter coefficients in a recursive way. Conventionally, the SER method has been used to invert large matrices which result ... | | 1984 |
5 |
|
Mathews, V. John | Adaptive realizations of the maximum likelihood processor for time delay estimation | Abstract-This correspondence introduces an adaptive realization of the maximum likelihood (ML) processor for time delay estimation (TDE). Also presented is a modified ML processor, which requires less computations but still performs better than the other when implemented in an adaptive way. Widrow'... | | 1984 |
6 |
|
Mathews, V. John | Adaptive realizations of the phase transform for time delay estimation | ABSTRACT This paper introduces two recursive realizations of the Phase Transforn (PHAT) processor for tine delay estimation (TOE), using a simple one-pole lowpass filter and the least mean square (LMS) adaptive filter, respectively. It is shown that these adaptive methods are very effective in redu... | | 1984 |
7 |
|
McDaniel, Susan | Adoption policy in Great Britain and North America | This paper has two purposes. First, to explore what existing adoption legislation may indicate about the meaning and function of adoption practices in North America and Great Britain. Second, to consider some possible policy implications revealed by clearer understanding of the social meaning of exi... | Adoption law; Family; North America | 1984 |
8 |
|
Riesenfeld, Richard F.; Smith, Kent F. | An experimental system for computer aided geometric design | The main goal of this proposed level-of-effort project is to extend present capabilities in the area of Computer Aided Geometric Design (CAGD) and to develop custom VLSI support for some special geometric functions. | Computer aided geometric design; CAGD; VLSI; Very large scale integration | 1984 |
9 |
|
Battin, Margaret P. | Applied professional ethics and institutional religion: the methodological issues | In the last several years, philosophical enthusiasm for applied professional ethics has spread from medicine to law, education, government, engineering, business, and to other professional and semiprofessional fields. Each involves an institutional structure within which professional practitioners p... | Professional ethics; Religion; Applied ethics | 1984 |
10 |
|
Francis, Leslie | Artificial and transplanted organs: movable parts and the unmoving law | In the seventeenth century, John Locke asked whether we would end up with the same person if we replaced bodily parts one by one. He concluded t h a t the person would remain the same, despite continued replacement of material parts, because the identity of a human being consists of continued partic... | Organ replacement; Artificial organs; Liability | 1984 |
11 |
|
Miller, Jan D. | Comparison of process alternatives for gold recovery from cyanide leach solutions | Both conventional and nonconventional process alternatives for gold recovery from cyanide heap leach solutions are discussed in terms of possible flowsheets. Conventional process alternatives include carbon adsorption and zinc dust precipitation, while nonconventional process alternatives include re... | Conventional; Exchange; Flowsheet | 1984 |
12 |
|
Riesenfeld, Richard F. | Computer aided design | The report is based on the proposal submitted to the National Science Foundation in September 1981, as part of the Coordinated Experimental Computer Science Research Program. The sections covering the budget and biographical data on the senior research personnel have not been included. Also, the sec... | | 1984 |
13 |
|
Gardner, Reed M. | Computer Guidelines for Pulmonary Laboratories | Biomedical Informatics | | 1984 |
14 |
|
Pryor, T. Allan | Computerized Arrhythmia Management of Patients in a Coronary Care Unit | Biomedical Informatics | | 1984 |
15 |
|
Gardner, Reed M. | Computers in the ICU | Biomedical Informatics | | 1984 |
16 |
|
Brown, Francis Harold | Dating | There are basically three lines of investigation that are involved in geochronology ? the dating of rocks and other earth materials. First, there are the physical and chemical dating methods which give us numerical estimates of age. Second, there is the reconstruction of the order of events in sec... | | 1984 |
17 |
|
Warner, Homer R. | Decision-Driven Acquisition of Qualitative Data | Biomedical Informatics | | 1984 |
18 |
|
Davidson, Diane W. | Dispersal adaptations of some acacia species in the Australian arid zone | Most Australian representatives of the genus Acacia have diaspores with arillate appendages indicative of adaptation for active dispersal by animals. Based on physical and chemical characteristics of these arils and mechanisms of diaspore presentation, a number of arid zone acacias can be distingu... | Acacia; Australian arid zone; Dispersal ecology; Fruit quality; Myrmecochory; Ornithochory; Seed parasitoids; Soil nutrients | 1984 |
19 |
|
Gardner, Reed M. | Distributed Data Base and Network for ICU Monitoring | Biomedical Informatics | | 1984 |
20 |
|
Blair, David F. | Electron spin relaxation of CuA and cytochrome a in cytochrome c oxidase: comparison to heme, copper, and sulfur radical complexes | The method of continuous saturation has been used to measure the electron spin relaxation parameter T1T2 at temperatures between 10 and 50 K for a variety of S = % species including: CuA and cytochrome a of cytochrome c oxidase, the type1 copper in several blue copper proteins, the type 2 coppe... | Electron spin relaxation; EPR signals; Sulfur radical complexes | 1984 |
21 |
|
Miller, Jan D.; Wan, Rong Yu | Enhanced ferric sulphate leaching of copper from CuFeS2 and C particulate aggregates | Significantly faster leaching kinetics for ferric sulphate are achieved for particulate aggregates of CuFeS2 and C than for CuFeS2 itself. The effect of carbon particles upon the rate of dissolution of chalcopyrite has been increased by a factor of 4 (after 10 hours' leaching), depending upon the ... | Reaction; Chalcopyrite; Electrochemical | 1984 |
22 |
|
Gardner, Reed M. | Evaluating Dynamic Response Characteristics of Pressure Monitoring Systems | Biomedical Informatics | | 1984 |
23 |
|
McDaniel, Susan | Explaining Canadian fertility: some remaining challenges | Canada is in an advantageous position to study the social context of human reproduction and childbearing. Canadian contributions to the fertility literature have thus far been impressive. In spite of the obvious solid base of fertility research in Canada, some challenges remain. Among these are cap... | Economic; Canada; Research | 1984 |
24 |
|
Potts, Wayne K. | Fall migration of Golden Eagles in the Wellsville Mountains, Northern Utah, 1976-1979 | Migratory movements of Golden Eagles were investigated in detail as part of a 4-year autumn raptor migration study atop an 8,600-foot ridge in the Wellsville Mountains. In 856 observation hours (161 days) between 6 August and 28 November, 898 Golden Eagles (10% of the oral raptor flight) were counte... | Wellsville Mountains; Golden eagles; Fall migration | 1984 |
25 |
|
Miller, Jan D. | Fast flotation with an air-sparged hydrocyclone | The status of the research programme on air-sparged hydrocyclones at the University of Utah is presented. Fast flotation of coal, oil shale, and copper porphyry ore has been demonstrated with capacities far exceeding those of conventional flotation cells. In addition to the performance characteris... | Cells; Capacity; Froth | 1984 |