Originally received: April 24, 2016. Final revision: July 18, 2016. Accepted: July 20, 2016. Available online: September 2, 2016. Manuscript no. 2016-858. 1 Department of Ophthalmology, Ramathibodi Hospital, Mahidol University, Bangkok, Thailand. 2 Department of Ophthalmology, Faculty of Medicine, Chulalongkorn University, Bangkok, Thailand. 3 Einhorn Clinical Research Center, New York Eye and ...

In the context of the EU project Mobius on Proof Carrying Code for Java programs (midlets) on mobile devices, we present a way to express midlet navigation graphs in JML. Such navigation graphs express certain security policies for a midlet. The resulting JML specifications can be automatically checked with the static checker ESC/Java2. Our work was guided by a realistically sized case study de...

This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. Our focus is to harness the power of concurrency and asynchrony in one of the major forms of multicore CPUs based on distributed, non-coherent memory, through the use of type-directed compilation. The key idea is to re...

Through their global, uniform provision of services and their distributed nature, global computers have the potential to profoundly enhance our daily life. However, they will not realize their full potential, unless the necessary levels of trust and security can be guaranteed. The goal of the MOBIUS project is to develop a Proof Carrying Code architecture to secure global computers that consist...

An infinitesimal theory for bending and earthquaking in onedimensional dynamics is developed. It is shown that any tangent vector to Teichmuller space is the initial data for a bending and for an earthquaking ordinary differential equation. The discussion involves an analysis of infinitesimal bendings and earthquakes, the Hilbert transform, natural bounded linear operators from a Banach space o...

In Fourier spectroscopy a tilting of the wavefront while the interferogram is being recorded gives rise to false structure in the computed spectrum. It is desirable to automatically tilt compensate the interferometer. One of the compensation schemes is to form a Mobius band through the interferometer. This paper discusses details of the construction of a Mcibius interferometer and test results ...

In topological data analysis, two-parameter persistence can be studied using the representation theory of 2d commutative grid, tensor product two Dynkin quivers type A. a previous work, we defined interval approximations restrictions to essential vertices intervals together with Mobius inversion. this consider homological resolutions, and show that resolution global dimension is finite for pose...

The Möbius function for a group G was introduced in 1936 by Hall in order to count ordered generating sets of G. In this paper we determine the Möbius function of the simple small Ree groups, R(q) = G2(q) where q = 3 for m > 0, using their 2-transitive permutation representation of degree q + 1. We also describe their maximal subgroups in terms of this representation. We use this to enumerate s...

Let 〈P〉 ⊂ N be a multiplicative subsemigroup of the natural numbers N= {1, 2, 3, . . .} generated by an arbitrary set P of primes (finite or infinite). We give an elementary proof that the partial sums ∑ n∈〈P〉:n≤x (μ(n))/n are bounded in magnitude by 1. With the aid of the prime number theorem, we also show that these sums converge to ∏ p∈P (1− (1/p)) (the case where P is all the primes is a we...

We study a poset of compositions restricted by part size under a partial ordering introduced by Björner and Stanley. We show that our composition poset Cd+1 is isomorphic to the poset of words A ∗ d. This allows us to use techniques developed by Björner to study the Möbius function of Cd+1. We use counting arguments and shellability as avenues for proving that the Möbius function is μ(u,w) = (−...