A model for the analysis of security policies in service function chains

Two emerging architectural paradigms, i.e., Software Defined Networking (SDN) and Network Function Virtualization (NFV), enable the deployment and management of Service Function Chains (SFCs). A SFC is an ordered sequence of abstract Service Functions (SFs), e.g., firewalls, VPN-gateways,traffic monitors, that packets have to traverse in the route from source to destination. While this appealing solution offers significant advantages in terms of flexibility, it also introduces new challenges such as the correct configuration and ordering of SFs in the chain to satisfy overall security requirements. This paper presents a formal model conceived to enable the verification of correct policy enforcements in SFCs. Software tools based on the model can then be designed to cope with unwanted network behaviors (e.g., security flaws) deriving from incorrect interactions of SFs in the same SFC

Cell cycle dynamics during diapause entry and exit in an annual killifish revealed by FUCCI technology

Background: Annual killifishes are adapted to surviving and reproducing over alternating dry and wet seasons. During the dry season, all adults die and desiccation-resistant embryos remain encased in dry mud for months or years in a state of diapause where their development is halted in anticipation of the months that have to elapse before their habitats are flooded again. Embryonic development of annual killifishes deviates from canonical teleost development. Epiblast cells disperse during epiboly, and a "dispersed phase" precedes gastrulation. In addition, annual fish have the ability to enter diapause and block embryonic development at the dispersed phase (diapause I), mid-somitogenesis (diapause II) and the final phase of development (diapause III). Developmental transitions associated with diapause entry and exit can be linked with cell cycle events. Here we set to image this transition in living embryos. Results: To visibly explore cell cycle dynamics during killifish development in depth, we created a stable transgenic line in Nothobranchius furzeri that expresses two fluorescent reporters, one for the G1 phase and one for the S/G2 phases of the cell cycle, respectively (Fluorescent Ubiquitination-based Cell Cycle Indicator, FUCCI). Using this tool, we observed that, during epiboly, epiblast cells progressively become quiescent and exit the cell cycle. All embryos transit through a phase where dispersed cells migrate, without showing any mitotic activity, possibly blocked in the G1 phase (diapause I). Thereafter, exit from diapause I is synchronous and cells enter directly into the S phase without transiting through G1. The developmental trajectories of embryos entering diapause and of those that continue to develop are different. In particular, embryos entering diapause have reduced growth along the medio-lateral axis. Finally, exit from diapause II is synchronous for all cells and is characterized by a burst of mitotic activity and growth along the medio-lateral axis such that, by the end of this phase, the morphology of the embryos is identical to that of direct-developing embryos. Conclusions: Our study reveals surprising levels of coordination of cellular dynamics during diapause and provides a reference framework for further developmental analyses of this remarkable developmental quiescent state

On Buchsbaum bundles on quadric hypersurfaces

Let $E$ be an indecomposable rank two vector bundle on the projective space \PP^n, n \ge 3, over an algebraically closed field of characteristic zero. It is well known that $E$ is arithmetically Buchsbaum if and only if $n=3$ and $E$ is a null-correlation bundle. In the present paper we establish an analogous result for rank two indecomposable arithmetically Buchsbaum vector bundles on the smooth quadric hypersurface Q_n\subset\PP^{n+1}, $n\ge 3$. We give in fact a full classification and prove that $n$ must be at most 5. As to $k$-Buchsbaum rank two vector bundles on $Q_3$, $k\ge2$, we prove two boundedness results.Comment: 22 pages, no figur

A brief review about anxiety and aggressive behavior in pediatric age

Anxiety can be considered a normal experience of the human being and as such also of the child. It manifests itself in different ways according to the level of development: in the smaller the child, the more anxiety is expressed with manifestations that involve the whole organism, becoming evident either with motor excitement or with physical discomfort. As the psychic apparatus is structured, anxiety is experienced as an inner phenomenon and is experienced as an unpleasant state. Fortunately, we are all a bit anxious, even if there are some people who are more, others less

Transcranial magnetic stimulation (TMS) application in sport medicine: A brief review

Since 1985, transcranial magnetic stimulation (TMS) has been used for non-invasive exploration of motor control in humans and for a wide range of applications in all ages of life. This brief review examined briefly the potential interest in sport medicine

Primary motor cortex excitability in karate athletes: A transcranial magnetic stimulation study

Purpose: The mechanisms involved in the coordination of muscle activity are not completely known: to investigate adaptive changes in human motor cortex Transcranial magnetic stimulation (TMS) was often used. The sport models are frequently used to study how the training may affect the corticospinal system excitability: Karate represents a valuable sport model for this kind of investigations for its high levels of coordination required to athletes. This study was aimed at examining possible changes in the resting motor threshold (rMT) and in the corticospinal response in karate athletes, and at determining whether athletes are characterized by a specific value of rMT. Methods: We recruited 25 right-handed young karate athletes and 25 matched non-athletes. TMS was applied to primary motor cortex (M1). Motor evoked potential (MEP) were recorded by two electrodes placed above the first dorsal interosseous (FDI) muscle. We considered MEP latencies and amplitudes at rMT, 110% of rMT, and 120% of rMT. Results: The two groups were similar for age (p > 0.05), height (p > 0.05) and body mass (p > 0.05). The TMS had a 70-mm figure-of-eight coil and a maximum output of 2.2 T, placed over the left motor cortex. During the stimulation, a mechanical arm kept the coil tangential to the scalp, with the handle at 45° respect to the midline. The SofTaxic navigator system (E.M.S. Italy, www.emsmedical.net) was used in order to correctly identifying and repeating the stimulation for every subject. Compared to non-athletes, athletes showed a lower resting motor threshold (p < 0.001). Furthermore, athletes had a lower MEP latency (p < 0.001) and a higher MEP amplitude (p < 0.001) compared to non-athletes. Moreover, a ROC curve for rMT was found significant (area: 0.907; sensitivity 84%, specificity 76%). Conclusions: As the main finding, the present study showed significant differences in cortical excitability between athletes and non-athletes. The training can improve cortical excitability inducing athletes' modifications, as demonstrated in rMT and MEP values. These finding support the hypothesis that the sport practice determines specific brain organizations in relationship with the sport challenges

Gender Separation Increases Somatic Growth in Females but Does Not Affect Lifespan in Nothobranchius furzeri

According to life history theory, physiological and ecological traits and parameters influence an individual's life history and thus, ultimately, its lifespan. Mating and reproduction are costly activities, and in a variety of model organisms, a negative correlation of longevity and reproductive effort has been demonstrated. We are employing the annual killifish Nothobranchius furzeri as a vertebrate model for ageing. N. furzeri is the vertebrate displaying the shortest known lifespan in captivity with particular strains living only three to four months under optimal laboratory conditions. The animals show explosive growth, early sexual maturation and age-dependent physiological and behavioural decline. Here, we have used N. furzeri to investigate a potential reproduction-longevity trade-off in both sexes by means of gender separation. Though female reproductive effort and offspring investment were significantly reduced after separation, as investigated by analysis of clutch size, eggs in the ovaries and ovary mass, the energetic surplus was not reallocated towards somatic maintenance. In fact, a significant extension of lifespan could not be observed in either sex. This is despite the fact that separated females, but not males, grew significantly larger and heavier than the respective controls. Therefore, it remains elusive whether lifespan of an annual species evolved in periodically vanishing habitats can be prolonged on the cost of reproduction at all

Prenatal diagnosis of Caudal Regression Syndrome : a case report

BACKGROUND: Caudal regression is a rare syndrome which has a spectrum of congenital malformations ranging from simple anal atresia to absence of sacral, lumbar and possibly lower thoracic vertebrae, to the most severe form which is known as sirenomelia. Maternal diabetes, genetic predisposition and vascular hypoperfusion have been suggested as possible causative factors. CASE PRESENTATION: We report a case of caudal regression syndrome diagnosed in utero at 22 weeks' of gestation. Prenatal ultrasound examination revealed a sudden interruption of the spine and "frog-like" position of lower limbs. Termination of pregnancy and autopsy findings confirmed the diagnosis. CONCLUSION: Prenatal ultrasonographic diagnosis of caudal regression syndrome is possible at 22 weeks' of gestation by ultrasound examination

Exceptionally low shear modulus in a prototypical imidazole-based metal-organic framework.

Using Brillouin scattering, we measured the single-crystal elastic constants (C(ij)'s) of a prototypical metal-organic framework (MOF): zeolitic imidazolate framework (ZIF)-8 [Zn(2-methylimidazolate)(2)], which adopts a zeolitic sodalite topology and exhibits large porosity. Its C(ij)'s under ambient conditions are (in GPa) C(11)=9.522(7), C(12)=6.865(14), and C(44)=0.967(4). Tensorial analysis of the C(ij)'s reveals the complete picture of the anisotropic elasticity in cubic ZIF-8. We show that ZIF-8 has a remarkably low shear modulus G(min) < or approximately 1 GPa, which is the lowest yet reported for a single-crystalline extended solid. Using ab initio calculations, we demonstrate that ZIF-8's C(ij)'s can be reliably predicted, and its elastic deformation mechanism is linked to the pliant ZnN(4) tetrahedra. Our results shed new light on the role of elastic constants in establishing the structural stability of MOF materials and thus their suitability for practical applications

The Spatial Association of Gene Expression Evolves from Synchrony to Asynchrony and Stochasticity with Age

For multicellular organisms, different tissues coordinate to integrate physiological functions, although this systematically and gradually declines in the aging process. Therefore, an association exists between tissue coordination and aging, and investigating the evolution of tissue coordination with age is of interest. In the past decade, both common and heterogeneous aging processes among tissues were extensively investigated. The results on spatial association of gene changes that determine lifespan appear complex and paradoxical. To reconcile observed commonality and heterogeneity of gene changes among tissues and to address evolution feature of tissue coordination with age, we introduced a new analytical strategy to systematically analyze genome-wide spatio-temporal gene expression profiles. We first applied the approach to natural aging process in three species (Rat, Mouse and Drosophila) and then to anti-aging process in Mouse. The results demonstrated that temporal gene expression alteration in different tissues experiences a progressive association evolution from spatial synchrony to asynchrony and stochasticity with age. This implies that tissue coordination gradually declines with age. Male mice showed earlier spatial asynchrony in gene expression than females, suggesting that male animals are more prone to aging than females. The confirmed anti-aging interventions (resveratrol and caloric restriction) enhanced tissue coordination, indicating their underlying anti-aging mechanism on multiple tissue levels. Further, functional analysis suggested asynchronous DNA/protein damage accumulation as well as asynchronous repair, modification and degradation of DNA/protein in tissues possibly contributes to asynchronous and stochastic changes of tissue microenvironment. This increased risk for a variety of age-related diseases such as neurodegeneration and cancer that eventually accelerate organismal aging and death. Our study suggests a novel molecular event occurring in aging process of multicellular species that may represent an intrinsic molecular mechanism of aging