A Cryptic Non-Inducible Prophage Confers Phage-Immunity on the Streptococcus thermophilus M17PTZA496

open9openda Silva Duarte, Vinícius; Giaretta, Sabrina; Campanaro, Stefano; Treu, Laura; Armani, Andrea; Tarrah, Armin; Oliveira de Paula, Sérgio; Giacomini, Alessio; Corich, Vivianada Silva Duarte, Vinícius; Giaretta, Sabrina; Campanaro, Stefano; Treu, Laura; Armani, Andrea; Tarrah, Armin; Oliveira de Paula, Sérgio; Giacomini, Alessio; Corich, Vivian

VRT (verbal reasoning test): a new test for assessment of verbal reasoning. Test realization and Italian normative data from a multicentric study

open14noopenBasagni, Benedetta; Luzzatti, Claudio; Eduardo, Navarrete; Caputo, Marina; Scrocco, Gessica; Damora, Alessio; Giunchi, Laura; Gemignani, Paola; Caiazzo, Annarita; Gambini, Maria Grazia; Avesani, Renato; Mancuso, Mauro; Trojano, Luigi; De Tanti, AntonioBasagni, Benedetta; Luzzatti, Claudio; Navarrete, Eduardo; Caputo, Marina; Scrocco, Gessica; Damora, Alessio; Giunchi, Laura; Gemignani, Paola; Caiazzo, Annarita; Gambini, Maria Grazia; Avesani, Renato; Mancuso, Mauro; Trojano, Luigi; De Tanti, Antoni

Theoretical modeling and simulation of electron-phonon scattering processes in molecular electronic devices

Alessio GagliardiPaderborn, Univ., Diss., 200

International Urban Design Competition - Urban Redevelopment Project at Tainan Main Station Area - 2012

Description of the project realized by Lorena Alessio for the two Phases 'International Urban Design Competition - Urban Redevelopment Project at Tainan Main Station Area', 2012. Lorena Alessio was selected among the first five groups to enter the Second Phase and then she received the Honorable Mention. The project was published in Taiwan Archtiect No. 454-Oct. 2012. InArch Selected the project for the publication "Architecture: Energy for Made in Italy

Normalisation Control in Deep Inference via Atomic Flows

We introduce `atomic flows': they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomic flows that correspond to complex reductions on derivations. This allows us to prove, for propositional logic, a new and very general normalisation theorem, which contains cut elimination as a special case. We operate in deep inference, which is more general than other syntactic paradigms, and where normalisation is more difficult to control. We argue that atomic flows are a significant technical advance for normalisation theory, because 1) the technique they support is largely independent of syntax; 2) indeed, it is largely independent of logical inference rules; 3) they constitute a powerful geometric formalism, which is more intuitive than syntax

Prescribed energy connecting orbits for gradient systems

We are concerned with conservative systems $\ddot{q}=\nabla V(q), \; q\in\mathbb{R}^N$ for a general class of potentials $V\in C^1(\mathbb{R}^N)$. Assuming that a given sublevel set $\{V\leq c\}$ splits in the disjoint union of two closed subsets $\mathcal{V}^c_-$ and $\mathcal{V}^c_+$, for some $c\in\mathbb{R}$, we establish the existence of bounded solutions $q_c$ to the above system with energy equal to $-c$ whose trajectories connect $\mathcal{V}^c_-$ and $\mathcal{V}^c_+$. The solutions are obtained through an energy constrained variational method, whenever mild coerciveness properties are present in the problem. The connecting orbits are classified into brake, heteroclinic or homoclinic type, depending on the behavior of $\nabla V$ on $\partial\mathcal{V}^c_{\pm}$. Next, we illustrate applications of the existence result to double-well potentials $V$, and for potentials associated to systems of Duffing type and of multiple-pendulum type. In each of the above cases we prove some convergence results of the family of solutions $(q_c)$.Comment: 34 pages, 2 figures, submitted to a journal for publication. KEYWORDS: conservative systems, energy constraints, variational methods, brake orbits, homoclinic orbits, heteroclinic orbits, convergence of solution

On the structure and applications of the Bondi-Metzner-Sachs group

This work is a pedagogical review dedicated to a modern description of the Bondi-Metzner-Sachs group. The curved space-times that will be taken into account are the ones that suitably approach, at infinity, Minkowski space-time. In particular we will focus on asymptotically flat space-times. In this work the concept of asymptotic symmetry group of those space-times will be studied. In the first two sections we derive the asymptotic group following the classical approach which was basically developed by Bondi, van den Burg, Metzner and Sachs. This is essentially the group of transformations between coordinate systems of a certain type in asymptotically flat space-times. In the third section the conformal method and the notion of asymptotic simplicity are introduced, following mainly the works of Penrose. This section prepares us for another derivation of the Bondi-Metzner-Sachs group which will involve the conformal structure, and is thus more geometrical and fundamental. In the subsequent sections we discuss the properties of the Bondi-Metzner-Sachs group, e.g. its algebra and the possibility to obtain as its subgroup the Poincar\'e group, as we may expect. The paper ends with a review of the Bondi-Metzner-Sachs invariance properties of classical gravitational scattering discovered by Strominger, that are finding application to black hole physics and quantum gravity in the literature.Comment: 62 pages, 9 figures. Misprints have been amended and two important references have been adde

A fractional Kirchhoff problem involving a singular term and a critical nonlinearity

In this paper we consider the following critical nonlocal problem \left\{\begin{array}{ll} M\left(\displaystyle\iint_{\mathbb{R}^{2N}}\frac{|u(x)-u(y)|^2}{|x-y|^{N+2s}}dxdy\right)(-\Delta)^s u = \displaystyle\frac{\lambda}{u^\gamma}+u^{2^*_s-1}&\quad\mbox{in } \Omega,\\ u>0&\quad\mbox{in } \Omega,\\ u=0&\quad\mbox{in } \mathbb{R}^N\setminus\Omega, \end{array}\right. where $\Omega$ is an open bounded subset of $\mathbb R^N$ with continuous boundary, dimension $N>2s$ with parameter $s\in (0,1)$, $2^*_s=2N/(N-2s)$ is the fractional critical Sobolev exponent, $\lambda>0$ is a real parameter, exponent $\gamma\in(0,1)$, $M$ models a Kirchhoff type coefficient, while $(-\Delta)^s$ is the fractional Laplace operator. In particular, we cover the delicate degenerate case, that is when the Kirchhoff function $M$ is zero at zero. By combining variational methods with an appropriate truncation argument, we provide the existence of two solutions