Ryan school papers

Defaults and revision in structured theories: Starting from a logic which specifies how to make deductions from a set of sentences (a flat theory), a way to generalize this to a partially ordered bag of sentences (a structured theory) is given. The partial order is used to resolve conflicts. If phi occurs below psi , then psi is accepted only insofar as it does not conflict with phi . The stud....; Authors:Ryan;M.Publisher:Logic in Computer Science;1991. LICS '91.;Proceedings of Sixth Annual IEEE Symposium onConference Date:15-18 July 1991ISSN:0-8186-2230-XTotal Page:xvii+417

Techniques for heating brain tumors with implanted microwave antennas: A technique is described in which microwave antennas are inserted into an array of nylon catheters implanted in brain tumors and a localized heat treatment is applied to raise the tumor to 43 degrees C. Flexible antennas of various designs have been used, such as dipole, choke dipole, modified dipole, and helical designs. Phase shifting and phase r....; Authors:Ryan;T.P.Publisher:Microwave Symposium Digest;1991.;IEEE MTT-S InternationalConference Date:10-14 June 1991ISSN:0-87942-591-1Total Page:3 vol. (v+xxxvii+xxx

Software application and management issues for AIN: With the evolution of the advanced intelligent network (AIN), the telecommunications industry has been thrust into a most complex transitional project. The author addresses certain steps that, if employed, would provide a framework on which the AIN could be based. He socializes the relationship between service logic and service data as they relate ....; Authors:Ryan;M.G.Publisher:Communications;1991. ICC '91;Conference Record. IEEE International Conference onConference Date:23-26 June 1991ISSN:0-7803-0006-8Total Page:3 vol. xxix + 1755

Comparative performance between drop-out detection and viterbi reliability metric erasure flagging: Authors:Ryan;W.E.Publisher:Magnetics Conference;1992. Digests of Intermag '92.;InternationalConference Date:13-16 April 1992ISSN:0-7803-0637-6Total Page:

Baseband implementation of fast acquisition symbol synchronizer: Symbol synchronization in less than 10 symbol times has been achieved with a miss probability of >10/sup -8/. This fast acquisition time was achieved by using a phase rotator instead of the conventional voltage-controlled oscillator in the feedback loop. The baseband phase error correction technique is such that the quasistable lock state of con....; Authors:Ryan;C.Publisher:Military Communications Conference;1988. MILCOM 88;Conference record. 21st Century Military Communications - What's Possible? 1988 IEEEConference Date:23-26 Oct. 1988ISSN:Total Page:3 vol. xvii+1073

Human performance measurement: issues and challenges: The author outlines several theoretical and practical issues that must be resolved if credible human performance assessment systems for nuclear generating stations are to be achieved. Theoretical issues involve mechanisms of human behavior, performance indicators, performance measures and logic models. Practical issues involve objective safety crit....; Authors:Ryan;T.G.Publisher:Human Factors and Power Plants;1988.;Conference Record for 1988 IEEE Fourth Conference onConference Date:5-9 June 1988ISSN:Total Page:xii+596

The resonance correlation network: The resonance correlation network (RCN) is a parallel continuous-time unsupervised pattern categorization machine than can operate on binary or continuous-valued data. The architecture is motivated by adaptive resonance theory (ART). Simple modifications, however, eliminate the problems associated with learning patterns presented for arbitrary time....; Authors:Ryan;T.W.Publisher:Neural Networks;1988.;IEEE International Conference onConference Date:24-27 July 1988ISSN:Total Page:2 vol. (699+651)

The role of natural language in requirements engineering: The potential role of natural language processing in the requirements engineering process has been overstated in the past, possibly due to fundamental misunderstandings of the requirements engineering process itself. Since more realistic ambitions are likely to lead to less disappointment in the future, an effort is made to identify some phases and....; Authors:Ryan;K.Publisher:Requirements Engineering;1993.;Proceedings of IEEE International Symposium onConference Date:4-6 Jan. 1993ISSN:0-8186-3120-1Total Page:xii+285

Defaults in specifications: A formalism is motivated and described for representing defaults in specifications. The formalism is called ordered theory presentations. The ability to represent defaults narrows the gap between a customer's initial requirements and a formal specification, and supports reuse on both a small and a large scale. Issues are illustrated throughout refe....; Authors:Ryan;M.Publisher:Requirements Engineering;1993.;Proceedings of IEEE International Symposium onConference Date:4-6 Jan. 1993ISSN:0-8186-3120-1Total Page:xii+285

Getting the attention of American organizations on human factors-a personal experience: Ten absolutes for successfully establishing and sustaining a human factors program in contemporary American organizations, and especially in Federal government agencies, are proposed. These absolutes include: knowledge of what human factors is and what it is capable of achieving as a discipline; communicable goals and a vision for achieving those g....; Authors:Ryan;T.G.Publisher:Human Factors and Power Plants;1992.;Conference Record for 1992 IEEE Fifth Conference onConference Date:7-11 June 1992ISSN:0-7803-0888-3Total Page:xiv+590

合计622个 | 页次:1/63页 1 [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] 下一页