Visual Model-Driven Design, Verification and Implementation of Security Protocols

A novel visual model-driven approach to security protocol design, verification, and implementation is presented in this paper. User-friendly graphical models are combined with rigorous formal methods to enable protocol verification and sound automatic code generation. Domain-specific abstractions keep the graphical models simple, yet powerful enough to represent complex, realistic protocols such as SSH. The main contribution is to bring together aspects that were only partially available or not available at all in previous proposal

Effects of Intrabeam Scattering and Synchrotron Radiation Damping when Reducing Transverse Emittances to Augment the LHC Luminosity

The effects of intrabeam scattering (IBS) and synchrotron radiation on the expected evolution of the LHC and SLHC beam emittances during physics coasts at 7 TeV are examined for the nominal beam and beams with reduced emittances

Hyposmia in COVID-19: Temporal Recovery of Smell: A Preliminary Study

Background and Objectives: Hypo/anosmia is a characteristic symptom of COVID-19 infection. The aim of this study is to investigate the time of smell recovery and to identify a possible order of perception recovery of different odors in COVID-19 patients. Materials and Methods: A prospective observational study was conducted on not hospitalized COVID-19 patients, selected according to eligible criteria. The study was approved by the Ethical Committee. A questionnaire formulated by our team was submitted to patients in order to know the duration of the hypo/anosmia and hypo/ageusia and the order of odor recovery: vanillin (mixed olfactory/gustatory substances), phenyl ethyl alcohol (rosewater) (pure olfactory substances), eucalyptol (mixed olfactory/trigeminal substances), and eugenol (mixed olfactory/trigeminal/gustatory substances). Results: 181 patients were included. Hypo/ageusia and hypo/anosmia lasted on average 10.25 (& PLUSMN;8.26) and 12.8 (& PLUSMN;8.80) days, respectively. The most frequent odor recovery sequence was: (1) phenyl ethyl alcohol; (2) eucalyptol; (3) vanillin; and (4) eugenol. In COVID-19 patients, hypo/anosmia occurs more often in women and at a young age. Conclusions: This preliminary investigation highlighted novel data: there is a chronological order in perception recovery of different olfactory substances and, therefore, in the restoration of the various sensitive nerve pathways involved in the sense of smell

Beyond the Poisson renewal process: A tutorial survey

AbstractAfter sketching the basic principles of renewal theory and recalling the classical Poisson process, we discuss two renewal processes characterized by waiting time laws with the same power asymptotics defined by special functions of Mittag–Leffler and of Wright type. We compare these three processes with each other

Time series analysis of Coulomb collisions in a beam dynamics simulation

Abstract In this paper, a time series analysis of collisional effects in a numerical simulation of a coasting beam transverse dynamics is presented. The simulation performs a numerical integration of the Hamilton's equations of a two-dimensional system of particles, describing the transverse dynamics of the beam. Then, an analysis of the time series generated has been applied in order to describe the dynamics of the system by means of the mean field equations, with the addition of a stochastic process in order to model Coulomb collisions