We show that for long-baseline experiments using a Mt water Čerenkov detector atmospheric neutrino data provide a powerful method to resolve parameter degeneracies. In particular, the combination of long-baseline and atmospheric data increases significantly the sensitivity to the neutrino mass hierarchy and the octant of θ23. Furthermore, we discuss the possibility to use μlike atmospheric neut...

We present a simple approach to combining scene and auto-calibration constraints for the calibration of cameras from single views and stereo pairs. Calibration constraints are provided by imaged scene structure, such as vanishing points of orthogonal directions, or rectified planes. In addition, constraints are available from the nature of the cameras and the motion between views. We formulate ...

In this paper we consider the following problems: (1) computing projections with distinct x-coordinates, (2) computing non-collinear projections, (3) computing non-cocircular projections, and (4) computing projections with non-parallel line segments. Here the word projection means perspective projection, a kind of projection that has received little attention in computational geometry. These pr...

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 ...