7,500 research outputs found
Name-passing calculi and crypto-primitives: A survey
The paper surveys the literature on high-level name-passing process calculi, and their extensions with cryptographic primitives. The survey is by no means exhaustive, for essentially two reasons. First, in trying to provide a coherent presentation of different ideas and techniques, one inevitably ends up leaving out the approaches that do not fit the intended roadmap. Secondly, the literature on the subject has been growing at very high rate over the years. As a consequence, we decided to concentrate on few papers that introduce the main ideas, in the hope that discussing them in some detail will provide sufficient insight for further reading
Arsenic precipitation by an anaerobic arsenic-respiring bacterial strain isolated from the polluted sediments of Orbetello Lagoon, Italy
AIMS: To isolate and characterize an anaerobic bacterial strain from the deeper polluted lagoon sediment able to use as electron acceptors [As(V)] and sulfate (SO4(2-)), using lactate as an electron donor. METHODS AND RESULTS: Methods for isolation from polluted lagoon sediments included anaerobic enrichment cultures in the presence of As(V) and SO4(2-). Reduction of As(V) to As(III) was observed during the growth of the bacterial strain, and the final concentration of As(III) was lower than the initial As(V) one, suggesting the immobilization of As(III) in the yellow precipitate. The precipitate was identified by energy dispersive spectroscopy X-ray as arsenic sulfide. Scanning electron microscopy (SEM) revealed rod-shaped bacterial cells embedded in the precipitate, where net-like formations strictly related to the bacterial cells were visible. The surface of the precipitate showed the adhesion of bacterial cells, forming clusters. Transmission electron microscopy (TEM) also highlighted precipitates inside the bacterial cells and on their surface. Following 16S rRNA sequencing, the bacterial strain 063 was assigned to the genus Desulfosporosinus. CONCLUSIONS: This study reports, for the first time, the isolation from the polluted lagoon sediments of a strain capable of respiring and using As(V) and SO4(2-) as electron acceptors with lactate as the sole carbon and energy source with the formation of an arsenic sulfide precipitate. SIGNIFICANCE AND IMPACT OF THE STUDY: The identification of these properties provides novel insight into the possible use of the anaerobic strain in bioremediation processes and also adds to the knowledge on the biogeochemical cycling of arsenic
Channel Abstractions for Network Security
Process algebraic techniques for distributed systems are increasingly being targeted at identifying abstractions adequate both for high-level programming and specification, and for security analysis and verification.
Drawing on our earlier work in
[Bugliesi & Focardi 2008] F08}, we investigate the expressive power of a core set of security and network abstractions that provide high-level primitives for the specifications of the honest principals in a network, while at the same time enabling an analysis of the network-level adversarial attacks that may be mounted by an intruder.
We analyze various bisimulation equivalences for security, arising from endowing the intruder with (i) different adversarial capabilities and (ii) increasingly powerful control on the interaction among the distributed principals of a network. By comparing the relative strength of the bisimulation equivalences, we obtain a direct measure of the discriminating power of the intruder, hence of the expressiveness of the corresponding intruder model
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 m, to 11.0 m. The baseline
design includes the goal wavelength extension to 0.4 m while an optional
LWIR module extends the range to the goal wavelength of 16.0 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
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 regularity of
the singular set, thus improving previous results of Caffarelli and Monneau
Monotonicity formulas for obstacle problems with Lipschitz coefficients
We prove quasi-monotonicity formulas for classical obstacle-type problems with energies being the sum of a quadratic form with Lipschitz coefficients, and a Hƶlder continuous
linear term.With the help of those formulas we are able to carry out the full analysis of the regularity of free-boundary points following the approaches by Caffarelli (J Fourier Anal
Appl 4(4ā5), 383ā402, 1998), Monneau (J Geom Anal 13(2), 359ā389, 2003), and Weiss (Invent Math 138(1), 23ā50, 1999)
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
- ā¦