1 - 25 of 69
Number of results to display per page
CreatorTitleDescriptionSubjectDate
1 Panangaden, PrakashA category theoretic formalism for abstract interpretationWe 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 functions1984
2 Panangaden, PrakashAbstract interpretation and indeterminacyWe 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 operators1984
3 Gardner, Reed M.Accuracy of Pulmonary Artery and Wedge Pressure Measurements (Letter)Biomedical Informatics1984
4 Mathews, V. JohnAdaptive nonlinear digital filter with sequential regression algorithmThe 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. JohnAdaptive realizations of the maximum likelihood processor for time delay estimationAbstract-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. JohnAdaptive realizations of the phase transform for time delay estimationABSTRACT 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, SusanAdoption policy in Great Britain and North AmericaThis 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 America1984
8 Riesenfeld, Richard F.; Smith, Kent F.An experimental system for computer aided geometric designThe 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 integration1984
9 Battin, Margaret P.Applied professional ethics and institutional religion: the methodological issuesIn 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 ethics1984
10 Francis, LeslieArtificial and transplanted organs: movable parts and the unmoving lawIn 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; Liability1984
11 Miller, Jan D.Comparison of process alternatives for gold recovery from cyanide leach solutionsBoth 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; Flowsheet1984
12 Riesenfeld, Richard F.Computer aided designThe 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 LaboratoriesBiomedical Informatics1984
14 Pryor, T. AllanComputerized Arrhythmia Management of Patients in a Coronary Care UnitBiomedical Informatics1984
15 Gardner, Reed M.Computers in the ICUBiomedical Informatics1984
16 Brown, Francis HaroldDatingThere 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 DataBiomedical Informatics1984
18 Davidson, Diane W.Dispersal adaptations of some acacia species in the Australian arid zoneMost 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 nutrients1984
19 Gardner, Reed M.Distributed Data Base and Network for ICU MonitoringBiomedical Informatics1984
20 Blair, David F.Electron spin relaxation of CuA and cytochrome a in cytochrome c oxidase: comparison to heme, copper, and sulfur radical complexesThe 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 complexes1984
21 Miller, Jan D.; Wan, Rong YuEnhanced ferric sulphate leaching of copper from CuFeS2 and C particulate aggregatesSignificantly 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; Electrochemical1984
22 Gardner, Reed M.Evaluating Dynamic Response Characteristics of Pressure Monitoring SystemsBiomedical Informatics1984
23 McDaniel, SusanExplaining Canadian fertility: some remaining challengesCanada 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; Research1984
24 Potts, Wayne K.Fall migration of Golden Eagles in the Wellsville Mountains, Northern Utah, 1976-1979Migratory 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 migration1984
25 Miller, Jan D.Fast flotation with an air-sparged hydrocycloneThe 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; Froth1984
1 - 25 of 69