ISR corrections to associated HZHZ production at future Higgs factories

We evaluate the QED corrections due to initial state radiation (ISR) to associated Higgs boson production in electron-positron ($e^+ e^-$) annihilation at typical energies of interest for the measurement of the Higgs properties at future $e^+ e^-$ colliders, such as CEPC and FCC-ee. We apply the QED Structure Function approach to the four-fermion production process $e^+ e^- \to \mu^+ \mu^- b \bar b$, including both signal and background contributions. We emphasize the relevance of the ISR corrections particularly near threshold and show that finite third order collinear contributions are mandatory to meet the expected experimental accuracy. We analyze in turn the r\^ole played by a full four-fermion calculation and beam energy spread in precision calculations for Higgs physics at future $e^+ e^-$ colliders.Comment: 11 pages, 3 figure

A cloud robotics architecture for an emergency management and monitoring service in a smart cityenvironment

Cloud robotics is revolutionizing not only the robotics industry but also the ICT world, giving robots more storage and computing capacity, opening new scenarios that blend the physical to the digital world. In this vision new IT architectures are required to manage robots, retrieve data from them and create services to interact with users. In this paper a possible implementation of a cloud robotics architecture for the interaction between users and UAVs is described. Using the latter as monitoring agents, a service for fighting crime in urban environment is proposed, making one step forward towards the idea of smart cit

Regulation of the actin cytoskeleton in Helicobacter pylori-induced migration and invasive growth of gastric epithelial cells

Dynamic rearrangement of the actin cytoskeleton is a significant hallmark of Helicobacter pylori (H. pylori) infected gastric epithelial cells leading to cell migration and invasive growth. Considering the cellular mechanisms, the type IV secretion system (T4SS) and the effector protein cytotoxin-associated gene A (CagA) of H. pylori are well-studied initiators of distinct signal transduction pathways in host cells targeting kinases, adaptor proteins, GTPases, actin binding and other proteins involved in the regulation of the actin lattice. In this review, we summarize recent findings of how H. pylori functionally interacts with the complex signaling network that controls the actin cytoskeleton of motile and invasive gastric epithelial cells

Structural Health Monitoring Issues Using Inclinometers on Prestressed Concrete Girder Bridge Decks

In the last decades, assessment and rehabilitation of the existing built environment constitute one of the major challenges for engineers, practitioners and code-makers all over the world. Aging, deterioration processes, lack of or improper maintenance, and increasing occurrence of extreme events have led to the need of more efficient methods for the safety assessment and retrofitting/rehabilitation of existing concrete structures like bridges. New approaches deriving from research should be able to provide solutions devoted to reduce and/or avoid the necessity of interventions, verifying the safety conditions for human life and performances for serviceability on aged infrastructures. Structural Health Monitoring (SHM) of existing bridges has become a key issue in all western world as most of the infrastructures of each Country are reaching the end of their design life. SHM can be divided classically in two approaches: static and dynamic. Static SHM is based on the measure of displacements and their derivatives like rotations or strains regardless of the dynamic behaviour of the structure. Clinometers are among the most used devices to measure angles on structures; they can provide high accuracy when used in static mode as advanced techniques of signal processing can be used to reduce the noise of the signal working on acquisitions that can last several seconds to provide one single accurate measure of angle. Nevertheless, many issues one the affidability and the correct use of measures done with clinometers have to be addressed to achieve a trustworthy SHM using such devices. In this paper the most relevant issues related to the f.e.m. modelling of a bridge deck in view of the use of clinometers for SHM are presented providing explanation using a test case bridge that has been under continuous investigation for many months. A brief explanation of the process for data cleaning and interpretation is also given, stressing out the limits of the technology and the possible outcomes

Fractional-valued modal logic

This paper is dedicated to extending and adapting to modal logic the approach of fractional semantics to classical logic. This is a multi-valued semantics governed by pure proof-theoretic considerations, whose truth-values are the rational numbers in the closed interval [0,1] . Focusing on the modal logic K, the proposed methodology relies on three key components: bilateral sequent calculus, invertibility of the logical rules, and stability (proof-invariance). We show that our semantic analysis of K affords an informational refinement with respect to the standard Kripkean semantics (a new proof of Dugundji’s theorem is a case in point) and it raises the prospect of a proof-theoretic semantics for modal logic