Cyber-physical systems will touch many aspects of life, and lives will depend on them: on the road, in the air, on rails, and in the operating room. We are concerned with the efficient construction of cyber-physical systems, and of the assurances required to place lives within their scope of control. We have been investigating a framework for an approach to safetyand securitycritical systems kn...

We analyze the impact of wiresizing on the performance of Elmore-based routing constructions. Whereas previous wiresizing schemes are static (i.e., they wiresize an existing topology), we introduce a new dynamic wiresizing technique, which uses wire-sizing considerations to drive the routing construction itself. Simulations show that dynamic wiresiz-ing aaords superior performance over static w...

An introduction to some recently developed methods for the analysis of systems of singularly perturbed ordinary differential equations is given in the context of a specific problem describing glycolytic oscillations. In suitably scaled variables the governing equations are a planar system of ordinary differential equations depending singularly on two small parameters ε and δ. In [20] it was arg...

We argue that fermion-boson mapping techniques represent a natural tool for studying manybody supersymmetry in fermionic systems with pairing. In particular, using the generalized Dyson mapping of a many-level fermion superalgebra with the SU(2) type of pairing we investigate two kinds of supersymmetry connecting excitations in the systems with even and odd particle numbers: dynamical supersymm...

We investigated the ability of the stellar models Starburst99 and MappingsIII to model starburst galaxies using infrared diagnostics and Spitzer data. The infrared diagnostics were useful for distinguishing between starforming galaxies and AGN. The theoretical starburst models indicate that the infrared emission-line ratios are largely degenerate and are extremely sensitive to the age of the st...

We extend our combinatorial approach of decomposing the partition function of the Potts model on finite two-dimensional lattices of size L × N to the case of toroidal boundary conditions. The elementary quantities in this decomposition are characters Kl,D labelled by a number of bridges l = 0, 1, . . . , L and an irreducible representation D of the symmetric group Sl. We develop an operational ...

We introduce a theory of intransitive noninterference for separation kernels with control. We show that it can be instantiated for a simple API consisting of IPC and events.

In this paper, MagicStore, a new out-of-band virtualization system designed for SAN environments is proposed. Online multiplication of the components in a striped volume can help enhance both the I/O performance and storage capacity of a system, but it requires online redistribution of the data on the volume. MagicStore employs a new mapping management solution based on a sliding window to supp...

It has been recently pointed out that atomic nuclei with tetrahedral symmetry could be encountered all over the nuclear chart. The predictions are based on a very general analysis of symmetries of the nuclear mean-field and are inspired by the group-theory considerations. The implied unique 4-fold degeneracies of the single-particle levels characteristic of tetrahedral (and/or octahedral) symme...

For a dimer with a non-degenerate orbital built from atomic wave functions of Gaussian shape we evaluate all the electron-phonon couplings derived from the one-body and two-body electronic interactions, considering both the adi-abatic and extreme non-adiabatic limit. Not only the values of the coupling parameters in the two limits, but also the expressions of the corresponding terms in the Hami...