A general theory for the study of degenerate Hopf bifurcation in the presence of symmetry has been carried out only in situations where the normal form equations decoupte into phase/amplitude equations. In this paper we prove a theorem showing that in general we expect such degeneracies to lead to secondary torus bifurcations. We then apply this theorem to the case of degenerate Hopf bifurcatio...

I outline the principal ideas of the Distributed Secure System (DSS) on which Brian Randell and I collaborated in the early 1980s, its modern manifestation as MILS, and continuing research challenges posed by these architectures.

High-assurance systems require a level of rigor, in both design and analysis, not typical of conventional systems. This paper provides an overview of the Multiple Independent Levels of Security and Safety (MILS) approach to high-assurance system design for security and safety critical embedded systems. MILS enables the development of a system using manageable units, each of which can be analyze...

First, mathematical formulae faithfully describing the distributions of amino acids and codons and reproducing the degeneracies in the various known genetic codes, including the standard genetic code, are constructed, by hand. Second, we summarize another mathematical approach relying on the use of q-deformations to describe these same genetic codes, and add a new application not considered bef...

A mobile information and communication technology, namely the Mobile Interactive Learning System (MILS), was used to enhance large group learning in a university setting. Expectations concerning learning outcomes, based on the social construction perspective of media richness and constructivist pedagogical principles, were supported. Under similar study conditions, learners with the MILS system...

A new topological representation of surfaces in higher dimensions, “cell-chains” is developed. The representation is a generalization of Brisson’s cell-tuple data structure. Cell-chains are identical to cell-tuples when there are no degeneracies: cells or simplices with identified vertices. The proof of correctness is based on axioms true for maps, such as those in Brisson’s cell-tuple represen...

3D object search and retrieval has become a very challenging research field over the last years with application in many areas like computer vision, car industry, medicine, etc. All approaches that have been proposed so far are based on the analysis of the shape of the 3D object, either concerning its surface or its volume. In this paper, a completely different approach is followed: Instead of ...

The site occupation in the Cr-Ru and Cr-Os phases is computed as a function of temperature. Generally, in phases the larger atoms occupy the sites with larger coordinations numbers, as can be explained on the basis of atomic-size and electronic structure. However, for Cr2Ru and Cr2Os the atomic-size argument predicts that Ru and Os occupy the sites with larger coordination numbers, whereas the ...

Products and coproducts may be recognized as morphisms in a monoidal tensor category of vector spaces. To gain invariant data of these morphisms, we can use singular value decomposition which attaches singular values, ie generalized eigenvalues, to these maps. We show, for the case of Grassmann and Clifford products, that twist maps significantly alter these data reducing degeneracies. Since no...

There are three parameter degeneracies inherent in the three–neutrino analysis of long–baseline neutrino experiments. We develop a systematic method for determining whether or not a set of measurements in neutrino oscillation appearance experiments with approximately monoenergetic beams can completely resolve these ambiguities. We then use this method to identify experimental scenarios in which...