We present a flow analysis technique for detecting unreachable states and actions in concurrent systems. It is an enhancement of the approach by Cheung and Kramer. Each process of a concurrent system is modeled as a finite state machine, whose states represent process execution states and whose transitions are labeled by actions. We construct dependency sets incrementally and eliminate spurious...

Recently many studies on evolutionary algorithms using real encoding have been done. They include ant colony optimization (Socha & Dorigo, 2008), artificial bee colony algorithm (Akay & Karaboga, 2010; Kang et al., 2011), evolution strategies (ES) (Beyer, 2001), differential evolution (Das & Suganthan, 2011; Dasgupta et al., 2009; Kukkonen & Lampinen, 2004; 2005; Mezura-Montes et al., 2010; Nom...

Consider the following question: Does there exist a three-manifold M for which, given any riemannian metric on M there is an area bound for embedded minimal spheres? We answer this question negatively, and, in fact, find an open set of metrics for which this question is false. This generalizes similar results for surfaces of positive genus shown by W. Minicozzi, T. Colding and B. Dean. In addit...

In this paper, conservative simultaneous confidence intervals for multiple comparisons among mean vectors in multivariate normal distributions are considered. Some properties of the multivariate Tukey-Kramer type procedures for pairwise comparisons and for comparisons with a control are presented. The upper bounds for the conservativeness of the procedures are discussed. Finally, numerical resu...

Given a signal space of functions on the real line, a time-warped signal space consists of all signals that can be formed by composition of signals in the original space with an invertible real-valued function. Clark's theorem shows that signals formed by warping ban-dlimited signals admit formulae for reconstruction from samples. This paper considers time warping of more general signal spaces ...

Bicontinuous Block Copolymer Morphologies Produced by Interfacially Active, Thermally Stable Nanoparticles Se Gyu Jang, Bumjoon J. Kim, Craig J. Hawker,* and Edward J. Kramer* Materials Research Laboratory, Department ofMaterials, Department of Chemistry and Biochemistry, and Department of Chemical Engineering, University of California, Santa Barbara, Santa Barbara, California 93106, United Sta...

Quasiperiodic patterns described by polyhedral “atomic surfaces” and admitting matching rules are considered. It is shown that the cohomology ring of the continuous hull of such patterns is isomorphic to that of the complement of a torus T to an arrangement A of thickened affine tori of codimension two. Explicit computation of Betti numbers for several two-dimensional tilings and for the icosah...

We apply algebraic and vertex operator techniques to solve two dimensional reduced vacuum Einstein's equations. This leads to explicit expressions for the coefficients of metrics solutions of the vacuum equations as ratios of determinants. No quadratures are left. These formulas rely on the identification of dual pairs of vertex operators corresponding to dual metrics related by the Kramer-Neug...

DEETJEN, P. & KRAMER, K. (1961) Die Abhangigkeit des 0,-Verbrauchs der Niere von der Na-Ruckresorption. Pflugers Arch. Physiol. 273, 636. DUNN, J.S., GILLESPIE, M. & NIVEN, J.S.F. (1941) Renal lesions in two cases of crush syndrome. Lancet, ii, 549. HAMBURGER, J. & MATHE, G. (1952) Metabolisme de 1'Eau. Flammarion, Paris. JOEKES, A.M., MOWBRAY, J.F. & DORMANDY, K. (1957) Oliguria with urine of ...

Currently, the major issue in glycemic control in neurocritical care patients is that tight glycemic control (target range of 80 to 110 mg/dL) using intensive insulin therapy is associated with higher rates of hypoglycemia without an improvement in survival rate. The review by Kramer and colleagues in this issue of Critical Care confirms these data but provides solid evidence about the relation...