A logarithmic epiperimetric inequality for the obstacle problem

For the general obstacle problem, we prove by direct methods an epiperimetric inequality at regular and singular points, thus answering a question of Weiss (Invent. Math., 138 (1999), 23--50). In particular at singular points we introduce a new tool, which we call logarithmic epiperimetric inequality, which yields an explicit logarithmic modulus of continuity on the $C^1$ regularity of the singular set, thus improving previous results of Caffarelli and Monneau

The Visible and Near Infrared module of EChO

The Visible and Near Infrared (VNIR) is one of the modules of EChO, the Exoplanets Characterization Observatory proposed to ESA for an M-class mission. EChO is aimed to observe planets while transiting by their suns. Then the instrument had to be designed to assure a high efficiency over the whole spectral range. In fact, it has to be able to observe stars with an apparent magnitude Mv= 9-12 and to see contrasts of the order of 10-4 - 10-5 necessary to reveal the characteristics of the atmospheres of the exoplanets under investigation. VNIR is a spectrometer in a cross-dispersed configuration, covering the 0.4-2.5 micron spectral range with a resolving power of about 330 and a field of view of 2 arcsec. It is functionally split into two channels respectively working in the 0.4-1 and 1.0-2.5 micron spectral ranges. Such a solution is imposed by the fact the light at short wavelengths has to be shared with the EChO Fine Guiding System (FGS) devoted to the pointing of the stars under observation. The spectrometer makes use of a HgCdTe detector of 512 by 512 pixels, 18 micron pitch and working at a temperature of 45K as the entire VNIR optical bench. The instrument has been interfaced to the telescope optics by two optical fibers, one per channel, to assure an easier coupling and an easier colocation of the instrument inside the EChO optical bench.Comment: 26 page

A rapid spectroscopic method to detect the fraudulent treatment of tuna fish with carbon monoxide

Carbon monoxide (CO) can be used to treat fresh meat and fish in order to retain its 'fresh' red colour appearance for a longer period of time. In fact, upon aging, myoglobin is oxidized to met-myoglobin with the concomitant blue-shift and broadening of the Soret maximum, which brings about a change in the colour of the fish, revealing that it is no longer fresh. The use of carbon monoxide, which reacts with the oxy-myoglobin to form a fairly stable cherry red carboxy-myoglobin complex may mask spoilage, because the CO-complex can be stable beyond the microbiological shelf life of the meat. The presence of CO in tuna fish has been investigated by optical spectroscopy as the formation of the CO adduct can be easily detected by the combined analysis of electronic absorption spectra in their normal and second derivative modes, monitoring the intense Soret band at 420 nm. The presence of met- and oxy-myoglobin can obscure the presence of small amounts of the CO adduct; however, it can be revealed by chemically reducing the met- and oxy-forms to the deoxy-form in an anaerobic environment. This spectroscopic method provides a qualitatively rapid laboratory screening procedure for food control to unmask the presence of CO in frozen or fresh fish. (c) 2006 Elsevier Ltd. All rights reserved

EChO Payload electronics architecture and SW design

EChO is a three-modules (VNIR, SWIR, MWIR), highly integrated spectrometer, covering the wavelength range from 0.55 $\mu$m, to 11.0 $\mu$m. The baseline design includes the goal wavelength extension to 0.4 $\mu$m while an optional LWIR module extends the range to the goal wavelength of 16.0 $\mu$m. An Instrument Control Unit (ICU) is foreseen as the main electronic subsystem interfacing the spacecraft and collecting data from all the payload spectrometers modules. ICU is in charge of two main tasks: the overall payload control (Instrument Control Function) and the housekeepings and scientific data digital processing (Data Processing Function), including the lossless compression prior to store the science data to the Solid State Mass Memory of the Spacecraft. These two main tasks are accomplished thanks to the Payload On Board Software (P-OBSW) running on the ICU CPUs.Comment: Experimental Astronomy - EChO Special Issue 201

Many-to-Many Information Flow Policies

Information flow techniques typically classify information according to suitable security levels and enforce policies that are based on binary relations between individual levels, e.g., stating that information is allowed to flow from one level to another. We argue that some information flow properties of interest naturally require coordination patterns that involve sets of security levels rather than individual levels: some secret information could be safely disclosed to a set of confidential channels of incomparable security levels, with individual leaks considered instead illegal; a group of competing agencies might agree to disclose their secrets, with individual disclosures being undesired, etc. Motivated by this we propose a simple language for expressing information flow policies where the usual admitted flow relation between individual security levels is replaced by a relation between sets of security levels, thus allowing to capture coordinated flows of information. The flow of information is expressed in terms of causal dependencies and the satisfaction of a policy is defined with respect to an event structure that is assumed to capture the causal structure of system computations. We suggest applications to secret exchange protocols, program security and security architectures, and discuss the relation to classic notions of information flow control

Encrypted Shared Data Spaces

The deployment of Share Data Spaces in open, possibly hostile, environments arises the need of protecting the confidentiality of the data space content. Existing approaches focus on access control mechanisms that protect the data space from untrusted agents. The basic assumption is that the hosts (and their administrators) where the data space is deployed have to be trusted. Encryption schemes can be used to protect the data space content from malicious hosts. However, these schemes do not allow searching on encrypted data. In this paper we present a novel encryption scheme that allows tuple matching on completely encrypted tuples. Since the data space does not need to decrypt tuples to perform the search, tuple confidentiality can be guaranteed even when the data space is deployed on malicious hosts (or an adversary gains access to the host). Our scheme does not require authorised agents to share keys for inserting and retrieving tuples. Each authorised agent can encrypt, decrypt, and search encrypted tuples without having to know other agents’ keys. This is beneficial inasmuch as it simplifies the task of key management. An implementation of an encrypted data space based on this scheme is described and some preliminary performance results are given

Model-driven Information Flow Security for Component-Based Systems

International audienceThis paper proposes a formal framework for studying information flow security in component-based systems. The security policy is defined and verified from the early steps of the system design. Two kinds of non-interference properties are formally introduced and for both of them, sufficient conditions that ensures and simplifies the automated verification are proposed. The verification is compositional, first locally, by checking the behavior of every atomic component and then globally, by checking the inter-components communication and coordination. The potential benefits are illustrated on a concrete case study about constructing secure heterogeneous distributed systems

Nearby Optical Galaxies: Selection of the Sample and Identification of Groups

In this paper we describe the Nearby Optical Galaxy (NOG) sample, which is a complete, distance-limited ($cz\leq$6000 km/s) and magnitude-limited (B$\leq$14) sample of $\sim$7000 optical galaxies. The sample covers 2/3 (8.27 sr) of the sky ($|b|>20^{\circ}$) and appears to have a good completeness in redshift (98%). We select the sample on the basis of homogenized corrected total blue magnitudes in order to minimize systematic effects in galaxy sampling. We identify the groups in this sample by means of both the hierarchical and the percolation {\it friends of friends} methods. The resulting catalogs of loose groups appear to be similar and are among the largest catalogs of groups presently available. Most of the NOG galaxies ($\sim$60%) are found to be members of galaxy pairs ($\sim$580 pairs for a total of $\sim$15% of objects) or groups with at least three members ($\sim$500 groups for a total of $\sim$45% of objects). About 40% of galaxies are left ungrouped (field galaxies). We illustrate the main features of the NOG galaxy distribution. Compared to previous optical and IRAS galaxy samples, the NOG provides a denser sampling of the galaxy distribution in the nearby universe. Given its large sky coverage, the identification of groups, and its high-density sampling, the NOG is suited for the analysis of the galaxy density field of the nearby universe, especially on small scales.Comment: 47 pages including 6 figures. Accepted for publication in Ap