This paper studies malicious behavioral obfuscation through the use of a new abstract model for process and kernel interactions based on monoidal categories. In this model, program observations are considered to be finite lists of system call invocations. In a first step, we show how malicious behaviors can be obfuscated by simulating the observations of benign programs. In a second step, we sh...

We prove two results about generically stable types p in arbitrary theories. The first, on existence of strong germs, generalizes results from [3] on stably dominated types. The second is an equivalence of forking and dividing, assuming generic stability of p for all m. We use the latter result to answer in full generality a question posed by Hasson and Onshuus: If p(x) ∈ S(B) is stable and doe...

This paper describes a technique to superconductively splice multifilament wires. To date the technique has achieved joints capable of carrying a superconducting current of 200 A at 10 K in self field. Joints details, as well as testing methods and results are presented here.

Let λ ≥ 0 and n ∈ N \ {0} and consider the partition of (0,∞) into the halfopen intervals I1, I2, . . . where Ii = ((i − 1)/n, i/n]. Take a sequence X1, X2, · · · of independent random variables with Xi ∼ Bernoulli(λ/n), i.e., P (Xi = 1) = λ/n and P (Xi = 0) = 1− λ/n. We can interpret Xi = 1 to mean that a certain event was observed in the time period Ii. As n becomes large these time periods b...

One of the key applications of operational research in health systems management is to improve the mechanism of resource allocation and program planning in order to increase the system efficiency. This study seeks to offer an innovative method for the planning and scheduling of health service units with the aim of reducing the patients' Length of Stay (LOS) in the Cardiac Surgery Ward of Razavi...

Word Count: 189 Text Word Count: 4,046 Table of