This work develops an approach to efficient reasoning in first-order knowledge bases with incomplete information. We build on Levesque’s proper knowledge bases approach, which supports limited incomplete knowledge in the form of a possibly infinite set of positive or negative ground facts. We propose a generalization which allows these facts to involve unknown individuals, as in the work on lab...

This paper proposes an efficient joint secret key encryption-channel coding cryptosystem, based on regular Extended Difference Family Quasi-Cyclic Low-Density Parity-Check codes. The key length of the proposed cryptosystem decreases up to 85 percent using a new efficient compression algorithm. Cryptanalytic methods show that the improved cryptosystem has a significant security advantage over Ra...

We describe a surveillance method that identifies excessive rates of positive cultures based on patient location, culture site, and organism identification. During a 6-month period, this surveillance method, coupled with epidemiological investigations, identified 19 small clusters of cross-infections and three small outbreaks of intravenous catheter-related bacteremias. These infections were as...