Surviving on Mars: test with LISA simulator

We present the biological results of some experiments performed in the Padua simulators of planetary environments, named LISA, used to study the limit of bacterial life on the planet Mars. The survival of Bacillus strains for some hours in Martian environment is shortly discussed.Comment: To be published on Highlights of Astronomy, Volume 15 XXVIIth IAU General Assembly, August 2009 Ian F Corbett, ed. 2 pages, 1 figur

A brief tour of formally secure compilation

Modern programming languages provide helpful high-level abstractions and mechanisms (e.g. types, module, automatic memory management) that enforce good programming practices and are crucial when writing correct and secure code. However, the security guarantees provided by such abstractions are not preserved when a compiler translates a source program into object code. Formally secure compilation is an emerging research field concerned with the design and the implementation of compilers that preserve source-level security properties at the object level. This paper presents a short guided tour of the relevant literature on secure compilation. Our goal is to help newcomers to grasp the basic concepts of this field and, for this reason, we rephrase and present the most relevant results in the literature in a common setting

Are truncated stellar disks linked to the molecular gas density?

We know that the slope of the radial, stellar light distribution in galaxies is well described by an exponential decline and this distribution is often truncated at a break radius ($R_{br}$). We don't have a clear understanding for the origin of these outer truncations and several hypotheses have been proposed to explain them. We want to test the various theories with direct observations of the cold molecular gas for a few truncated galaxies in comparison with the non-truncated ones. The answer to the existence of a possible link between truncated stellar disks and the molecular gas density cannot be obtained from CO maps in the literature, because so far there are no galaxies with a clear truncation observed in CO at high resolution.Comment: 3 pages, 6 figures, to appear in Astrophysics and Space Science (Apss), special issue of "Science with ALMA: a new era for Astrophysics" conference, ed. Dr. Bachille

Rotation curves and metallicity gradients from HII regions in spiral galaxies

In this paper we study long slit spectra in the region of H$\alpha$ emission line of a sample of 111 spiral galaxies with recognizable and well defined spiral morphology and with a well determined environmental status, ranging from isolation to non-disruptive interaction with satellites or companions. The form and properties of the rotation curves are considered as a function of the isolation degree, morphological type and luminosity. The line ratios are used to estimate the metallicity of all the detected HII regions, thus producing a composite metallicity profile for different types of spirals. We have found that isolated galaxies tend to be of later types and lower luminosity than the interacting galaxies. The outer parts of the rotation curves of isolated galaxies tend to be flatter than in interacting galaxies, but they show similar relations between global parameters. The scatter of the Tully-Fisher relation defined by isolated galaxies is significantly lower than that of interacting galaxies. The [NII]/H$\alpha$ ratios, used as metallicity indicator, show a clear trend between Z and morphological type, t, with earlier spirals showing larger ratios; this trend is tighter when instead of t the gradient of the inner rotation curve, G, is used; no trend is found with the interaction status. The Z-gradient of the disks depends on the type, being almost flat for early spirals, and increasing for later types. The [NII]/H$\alpha$ ratios measured for disk HII regions of interacting galaxies are higher than for normal/isolated objects, even if all the galaxy families present similar distributions of H$\alpha$ Equivalent Width.Comment: accepted for publication in A&A (tables for HII region parameters incomplete, contact [email protected] for the whole set of tables

A theory of transaction parallelism in blockchains

Decentralized blockchain platforms have enabled the secure exchange of crypto-assets without the intermediation of trusted authorities. To this purpose, these platforms rely on a peer-to-peer network of byzantine nodes, which collaboratively maintain an append-only ledger of transactions, called blockchain. Transactions represent the actions required by users, e.g. the transfer of some units of crypto-currency to another user, or the execution of a smart contract which distributes crypto-assets according to its internal logic. Part of the nodes of the peer-to-peer network compete to append transactions to the blockchain. To do so, they group the transactions sent by users into blocks, and update their view of the blockchain state by executing these transactions in the chosen order. Once a block of transactions is appended to the blockchain, the other nodes validate it, re-executing the transactions in the same order. The serial execution of transactions does not take advantage of the multi-core architecture of modern processors, so contributing to limit the throughput. In this paper we develop a theory of transaction parallelism for blockchains, which is based on static analysis of transactions and smart contracts. We illustrate how blockchain nodes can use our theory to parallelize the execution of transactions. Initial experiments on Ethereum show that our technique can improve the performance of nodes

The UV window on counter rotating ETGs: insight from SPH simulations with chemo-photometric implementation

The Galaxy Evolution Explorer (GALEX) detected ultraviolet emission in about 50% of multi-spin early-type galaxies (ETGs), suggesting the occurrence of a recent rejuvenation episode connected to the formation of these kinematical features. With the aim at investigating the complex evolutionary scenario leading to the formation of counter rotating ETGs (CR-ETGs) we use our Smooth Particle Hydrodynamic (SPH) code with chemo-photometric implementation. We discuss here the UV evolutionary path of two CR-ETGs, NGC 3593 and NGC 5173, concurrently best fitting their global observed properties, i.e., morphology, dynamics, as well as their total B-band absolute magnitude and spectral energy distribution (SED) extended over three orders of magnitude in wavelength. These simulations correspond to our predictions about the target evolution which we follow in the color-magnitude diagram (CMD), near-UV (NUV) versus r-band absolute magnitude, as a powerful diagnostic tool to emphasize rejuvenation episodes.Comment: 7 pages, 3 figures, accepted for publication in ApS

Control-flow flattening preserves the constant-time policy

Obfuscating compilers protect a software by obscuring its meaning and impeding the reconstruction of its original source code. The typical concern when defining such compilers is their robustness against reverse engineering and the performance of the produced code. Little work has been done in studying whether the security properties of a program are preserved under obfuscation. In this paper we start addressing this problem: we consider control-flow flattening, a popular obfuscation technique used in industrial compilers, and a specific security policy, namely constant-time. We prove that this obfuscation preserves the policy, i.e., that every program satisfying the policy still does after the transformation

Development of Sense of Coherence Stability in the AGORA Healthy Ageing Study

Sense of coherence (SOC) is a psycho-social trait formed in childhood or adolescence, allowing individuals to be more resilient to daily life stressors, stay well, and improve their personal health. Although SOC remains stable after the age of thirty, only a few studies investigated its stability in adulthood. The aim was to investigate the development of SOC over time in 489 participants and its association with age, gender, educational level, or negative life events. The study was performed as part of the Healthy Ageing project of the Academic Collaborative Centre AGORA, a longitudinal study involving four municipalities of Eastern Netherlands. A self-administrated questionnaire was used to monitor the SOC of the elderly in 2008, 2010, and 2013, using the Orientation to Life Questionnaire (SOC-13). The analysis included repeated-measures ANOVA analysis and bivariate analysis using Pearson’s chi square test. We found no statistically significant variation in SOC over time (F (2, 282) = 2.99, p = 0.052) and no significant association with age (F (2, 282) = 2.851, p = 0.06), gender (F (2, 282) = 0.845, p = 0.43), or educational level (F (2, 282) = 0.708, p = 0.49). SOC remained stable in the elderly population, even if they experienced negative events over their lifespan