Extending the Gravitational Growth Framework

The gravitational growth index formalism provides a model independent way to look for deviations from general relativity by testing dark energy physics distinct from its effects on the cosmic expansion history. Here we extend the approach to incorporate an early time parameter g_star in addition to the growth index in describing the growth of large scale structure. We illustrate its utility for models with modified gravity at high redshift, early acceleration, or early dark energy. Future data will have the capability to constrain the dark energy equation of state, the growth index gamma, and g_star simultaneously, with no degradation in the equation of state determination.Comment: 8 pages, 5 figure

Automated experiment design for data-efficient verification of parametric Markov decision processes

We present a new method for statistical verification of quantitative properties over a partially unknown system with actions, utilising a parameterised model (in this work, a parametric Markov decision process) and data collected from experiments performed on the underlying system. We obtain the confidence that the underlying system satisfies a given property, and show that the method uses data efficiently and thus is robust to the amount of data available. These characteristics are achieved by firstly exploiting parameter synthesis to establish a feasible set of parameters for which the underlying system will satisfy the property; secondly, by actively synthesising experiments to increase amount of information in the collected data that is relevant to the property; and finally propagating this information over the model parameters, obtaining a confidence that reflects our belief whether or not the system parameters lie in the feasible set, thereby solving the verification problem

An Algorithmic Test for Diagonalizability of Finite-Dimensional PT-Invariant Systems

A non-Hermitean operator does not necessarily have a complete set of eigenstates, contrary to a Hermitean one. An algorithm is presented which allows one to decide whether the eigenstates of a given PT-invariant operator on a finite-dimensional space are complete or not. In other words, the algorithm checks whether a given PT-symmetric matrix is diagonalizable. The procedure neither requires to calculate any single eigenvalue nor any numerical approximation.Comment: 13 pages, 1 figur

Distribution-based bisimulation for labelled Markov processes

In this paper we propose a (sub)distribution-based bisimulation for labelled Markov processes and compare it with earlier definitions of state and event bisimulation, which both only compare states. In contrast to those state-based bisimulations, our distribution bisimulation is weaker, but corresponds more closely to linear properties. We construct a logic and a metric to describe our distribution bisimulation and discuss linearity, continuity and compositional properties.Comment: Accepted by FORMATS 201

Statistical characterization of the forces on spheres in an upflow of air

The dynamics of a sphere fluidized in a nearly-levitating upflow of air were previously found to be identical to those of a Brownian particle in a two-dimensional harmonic trap, consistent with a Langevin equation [Ojha {\it et al.}, Nature {\bf 427}, 521 (2004)]. The random forcing, the drag, and the trapping potential represent different aspects of the interaction of the sphere with the air flow. In this paper we vary the experimental conditions for a single sphere, and report on how the force terms in the Langevin equation scale with air flow speed, sphere radius, sphere density, and system size. We also report on the effective interaction potential between two spheres in an upflow of air.Comment: 7 pages, experimen

Avalanche statistics and time-resolved grain dynamics for a driven heap

We probe the dynamics of intermittent avalanches caused by steady addition of grains to a quasi-two dimensional heap. To characterize the time-dependent average avalanche flow speed v(t), we image the top free surface. To characterize the grain fluctuation speed dv(t), we use Speckle-Visibility Spectroscopy. During an avalanche, we find that the fluctuation speed is approximately one-tenth the average flow speed, and that these speeds are largest near the beginning of an event. We also find that the distribution of event durations is peaked, and that event sizes are correlated with the time interval since the end of the previous event. At high rates of grain addition, where successive avalanches merge into smooth continuous flow, the relationship between average and fluctuation speeds changes to dv Sqrt[v]

A Simplified ALE model for finite element simulation of ballistic impacts with bullet splash – development and experimental validation

An original simplified finite element model is proposed to simulate the effects of non-penetrating ballistic impacts causing the so-called bullet splash phenomenon (complete bullet fragmentation), while no fragmentation is caused to the target. The model is based on the Arbitrary Lagrangian Eulerian formulation (ALE) and it simulates the impact as a fluid-structure interaction. The bullet splash phenomenon has been tested by experimental analyses of AISI 304L plates impacted by 9x21 FMJ (full metal jacket) bullets. The model has been developed with the aim of creating a simplified approach to be used in the industry and forensic sciences to simulate the non-penetrating interaction of soft impactors with hard targets. Comparisons between evidence and simulation results lead to the conclusion that the proposed approach can be used in a conservative way to estimate both local and global effects of bullet-splash phenomena

Comparison of a tridimensional cephalometric analysis performed on 3T-MRI compared with CBCT : a pilot study in adults

OBJECTIVE: Since the introduction of cone-beam computed tomography (CBCT) in dentistry, this technology has enabled distortion-free three-dimensional cephalometric analysis for orthodontic and orthognathic surgery diagnosis. However, CBCT is associated with significantly higher radiation exposure than traditional routine bidimensional examinations for orthodontic diagnosis, although low-dose protocols have markedly reduced radiation exposure over time. The objective of this preliminary feasibility study is to compare the accuracy and diagnostic capabilities of an already-validated three-dimensional cephalometric analysis on CBCT to those of an analysis on 3-T magnetic resonance imaging (3T-MRI) to assess whether the latter can deliver a comparable quality of information while avoiding radiation exposure. MATERIALS AND METHODS: In order to test the feasibility of three-dimensional cephalometry on 3T-MRI, 18 subjects (4 male; 14 female) with mean age 37.8\u2009\ub1\u2009SD 10.2, who had undergone both maxillofacial CBCT and maxillofacial 3T-MRI for various purposes within 1 month, were selected from the archive of the Department of Dentistry and Maxillofacial Surgery of Fondazione Ospedale Policlinico Maggiore, IRCCS, Milano, Italy. A three-dimensional cephalometric analysis composed of ten midsagittal and four bilateral landmarks and 24 measurements (11 angular, 13 linear) was performed on both scans using Mimics Research\uae v. 17.0 (NV, Technologielaan 15, 3001 Leuven, Belgium). Cephalometric analysis was performed twice by two independent orthodontists for each scan, and each orthodontist repeated the measurements 3 weeks later. Statistical analysis was performed with SPSS\uae 20.00 for Windows (IBM\uae Corporation, Sommers, NY, USA). A Bland-Altman test for each cephalometric value was performed to assess the agreement between the procedures. The intraclass correlation coefficient (ICC) was used to assess interobserver and intraobserver reliability. The coefficient of variation was used to evaluate precision. RESULTS: Both procedures showed good reliability, with mean intraobserver ICCs of 0.977/0.971 for CBCT and 0.881/0.912 for MRI. The average interobserver ICCs were 0.965 for CBCT and 0.833 for MRI. A Bland-Altman analysis for the cephalometric tracing revealed a similar range of agreement between the two modalities; the bias range (mean\u2009\ub1\u2009SD) was -\u20090.25-0.66\u2009mm (0.174\u2009\ub1\u20090.31) for distances and -\u20090.41-0.54\ub0 (0.12\u2009\ub1\u20090.33) for angles. CONCLUSIONS: Within the main limitation of this pilot study, that is, the small sample, it is possible to state that cephalometric measurements on 3T-MRI seem to possess adequate reliability and repeatability and that they show satisfying agreement with values measured on CBCTs. An MRI examination does not expose patients to ionizing radiation and could provide an alternative to CBCT for three-dimensional cephalometrics in the future

A CBCT based analysis of the correlation between volumetric morphology of the frontal sinuses and the facial growth pattern in caucasian subjects. A cross-sectional study

open7noBackground: The aim of this study was to evaluate the relationship between frontal sinus shape and facial growth pattern. Methods: The three-dimensional examination was carried out by means of 80 CBCT scans selected from a sample of 1247 records of patients treated, for different reason, at the Department of Biomedical Surgical and Dental Sciences at University of Milan, Fondazione IRCCS Ca’ Granda, Ospedale Maggiore Policlinico Milan. The sample (age ranges between 12 and 40 years) was divided according to gender and age in four groups (12-17, 18-20, 21-30, 31-40). Left and right frontal sinus volume (VOL), surface (SUP) and linear maximum width (XMAX), depth (ZMAX) and height (YMAX) were calculated using Mimics Research 17.0 (Materialise N.V., Leuven, Belgium). Cephalometric analysis has been performed for all subjects to categorize the patients depending on their facial growth pattern. Univariate and multivariate regression analysis were performed to investigate any association of frontal sinuses measurements (height, width, depth, volume and surface) and cephalometric variables. P value < 0.05 was considered statistically significant. Results: A total of 160 frontal sinuses were measures in 80 patients: 40 men and 40 women, average age of 23.5 ±14.6. Globally the frontal sinuses had the following average dimensions: volumes of 9055.8 ± 6505 mm3 and surfaces of 3820.3 ± 2125 mm2. The statistical analysis showed that frontal sinus volume was statistically significant (p=0.003) greater for male (11,425 mm3) than female (6597.5 mm3). Similarly, the surface showed to be greater in men than in women (p=0.005). No correlation between age and frontal sinuses characteristics has been found. A statistically significant (p<0.05) increase of frontal sinus depth, surface and volume was correlated with SNB angle. In addition, frontal sinus volume increased in subjects with greater anterior skeletal dimension values and with a superior length of the cranial base. Furthermore, a decrease of ANB has been found related to an increase in frontal sinus volume (p=0.04). Conclusions: The present study showed a correlation between frontal sinuses dimensions and craniofacial aspects, despite the inter-individual variability of their morphology. The results suggested that young adults in whom the frontal sinuses have reached their maximum size, while vertical growth continues, a larger frontal sinus may be associated with future vertical growth.openAbate A.; Gaffuri F.; Lanteri V.; Fama A.; Ugolini A.; Mannina L.; Maspero C.Abate, A.; Gaffuri, F.; Lanteri, V.; Fama, A.; Ugolini, A.; Mannina, L.; Maspero, C

Integrated use of multi-temporal multi-sensor and multiscale Remote Sensing data for the understanding of archaeological contexts: the case study of Metaponto, Basilicata

This paper is focused on the archaeological area of Metaponto (Μεταπόντιον) and its territory, located in southern Italy. The area played an important role for the agricultural economy and the traffic of goods and people, from the south of Italy towards the central regions, starting from the Neolithic period, and reaching the zenith with the Greek polis of Metaponto and its hinterland. The site is herein analyzed through an integrated use of several Earth observation and remote sensing technologies and ancillary data produced over the years by archaeologists and scholars. The aim was to identify new buried elements of archaeological interest, for the reconstruction of the historical-archaeological landscape. Through the combined use of optical and radar satellite images, high-resolution images obtained by Unmanned Aerial System (visible, multispectral, and thermal infrared), geophysical data, and archival data, it was possible to deepen the knowledge of the area, in particular the “Castrum” area, identifying new buried evidence (structures, roads, and elements of the ancient landscape)