Open Access. Powered by Scholars. Published by Universities.®

Social and Behavioral Sciences Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 4 of 4

Full-Text Articles in Social and Behavioral Sciences

Systems Of Illative Combinatory Logic Complete For First Order Propositional And Predicate Calculus, Henk Barendregt, Martin Bunder, Wil Dekkers Jan 1993

Systems Of Illative Combinatory Logic Complete For First Order Propositional And Predicate Calculus, Henk Barendregt, Martin Bunder, Wil Dekkers

Faculty of Engineering and Information Sciences - Papers: Part A

Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers systems of illative combinatory logic that are sound for first-order propositional and predicate calculus. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators or, in a more direct way, in which derivations are not translated. Both translations are closely related in a canonical way. The two direct translations turn out to be complete. The paper fulfills the ...


Molecular Epidemiology Of Escherichia Coli 0157:H7 Strains By Bacteriophage A Restriction Fragment Length Polymorphism Analysis: Application To A Multistate Foodborne Outbreak And A Day-Care Center Cluster, Mansour Samadpour, Linda M. Grimm, B Desai, Dalia Alfi, Jerry E. Ongerth, Phillip I. Tarr Jan 1993

Molecular Epidemiology Of Escherichia Coli 0157:H7 Strains By Bacteriophage A Restriction Fragment Length Polymorphism Analysis: Application To A Multistate Foodborne Outbreak And A Day-Care Center Cluster, Mansour Samadpour, Linda M. Grimm, B Desai, Dalia Alfi, Jerry E. Ongerth, Phillip I. Tarr

Faculty of Engineering and Information Sciences - Papers: Part A

Genomic DNAs prepared from 168 isolates of Escherichia coli 0157:H7 were analyzed for restriction fragment length polymorphisms on Southern blots probed with bacteriophage A DNA. The isolates analyzed included strains from a recent large multistate outbreak of E. coli 0157:H7 infection associated with consumption of poorly cooked beef in restaurants, a day-care center cluster, and temporally and geographically unrelated isolates. E. coli 0157:H7 isolates recovered from the incriminated meat and from 61 (96.8%) of 63 patients from Washington and Nevada possessed identical A restriction fragment length patterns. The A restriction fragment length polymorphisms observed in 11 ...


Stochastic Recognition Of Closed Object Boundaries In Images, J Helterbrand, Noel A. Cressie Jan 1993

Stochastic Recognition Of Closed Object Boundaries In Images, J Helterbrand, Noel A. Cressie

Faculty of Engineering and Information Sciences - Papers: Part A

Engineering-based edge detection techniques generally use local intensity information to identify whether a pixel location is part of a boundary. Boundaries are presumed present where sharp transitions in the observed intensities occur. Unfortunately, these approaches are sensitive to error and hidden partial boundaries, which hinders the determination of closed object boundaries. In this research, a method to obtain statistically optimal closed object boundaries is presented.


Markov Pyramid Models In Image Analysis, Jennifer L. Davidson, Noel A. Cressie Jan 1993

Markov Pyramid Models In Image Analysis, Jennifer L. Davidson, Noel A. Cressie

Faculty of Engineering and Information Sciences - Papers: Part A

The use of statistical pattern recognition techniques in image processing has led to simplifying assumptions on the statistical interdependence of the pixel value of an image, which allow theoretical analysis and/or computational implementation to be achieved. For instance, the assumption of statistical independence of the values or that their joint distributions are multivariate normal, simplifies the analysis enormously. However, these results are very limiting in representing models for data, and do not allow for analysis of arbitrary spatial dependencies, in the data. One method for modeling two-dimensional data on a lattice array has been developed by Abend et al ...