Scaling asymptotics for quantized Hamiltonian flows

In recent years, the near diagonal asymptotics of the equivariant components of the Szeg\"{o} kernel of a positive line bundle on a compact symplectic manifold have been studied extensively by many authors. As a natural generalization of this theme, here we consider the local scaling asymptotics of the Toeplitz quantization of a Hamiltonian symplectomorphism, and specifically how they concentrate on the graph of the underlying classical map

Ground Beetles From a Remnant Oak-Maple-Beech Forest and Its Surroundings in Northeastern Ohio (Coleoptera: Carabidae)

We report 66 ground beetle species in 14 tribes from a natural preserve in northeastern Ohio (Stark County). Six species are new state records. Data from pitfall trap transects across adjoining habitats suggest narrow habitat preferences in some species and broad tolerances in others. Trends toward flightlessness in forest species and macroptery in the fauna of disturbed agricultural sites are apparent

Local trace formulae and scaling asymptotics in Toeplitz quantization, II

In the spectral theory of positive elliptic operators, an important role is played by certain smoothing kernels, related to the Fourier transform of the trace of a wave operator, which may be heuristically interpreted as smoothed spectral projectors asymptotically drifting to the right of the spectrum. In the setting of Toeplitz quantization, we consider analogues of these, where the wave operator is replaced by the Hardy space compression of a linearized Hamiltonian flow, possibly composed with a family of zeroth order Toeplitz operators. We study the local asymptotics of these smoothing kernels, and specifically how they concentrate on the fixed loci of the linearized dynamics.Comment: Typos corrected. Slight expository change

A parametric-assisted method for 3D generation of as-built BIM models for the built heritage

The paper outlines a parametric-assisted method for the 3D reconstruction and creation of BIM models for the built heritage. The research implements the emerging paradigms of open sourcing, cloud computing and interoperability, employing low-cost technologies (digital photogrammetry) and open source software (Grasshopper for Rhinoceros) which can ease the accessibility to a potential reuse of heritage, typically requiring high specialists and expensive equipment. The research examines the abandoned Albergo Diurno “Venezia” in Milan, heritage with a unique architectural value – a blend of Liberty and Art Deco styles. The process of 3D reconstruction of the ceiling is described. Custom algorithms have been developed to automatically rebuild the complex and irregular geometry from mesh, towards the creation of a NURBS-based 3D model. It is shown how the proposed methodology can streamline the process of data elaboration by reducing arbitrary operations and improve accuracy to preserve geometric irregularities. The associative model allows the automatic improvement in the model definition when more precise input data is feeding the algorithm, offering the opportunity to relate the precision of BIM models in accordance with the needed level of detail (LOD)

Local trace formulae and scaling asymptotics in Toeplitz quantization

A trace formula for Toeplitz operators was proved by Boutet de Monvel and Guillemin in the setting of general Toeplitz structures. Here we give a local version of this result for a class of Toeplitz operators related to continuous groups of symmetries on quantizable compact symplectic manifolds. The local trace formula involves certain scaling asymptotics along the clean fixed locus of the Hamiltonian flow of the symbol, reminiscent of the scaling asymptotics of the equivariant components of the Szeg\"o kernel along the diagonal

SiPM and front-end electronics development for Cherenkov light detection

The Italian Institute of Nuclear Physics (INFN) is involved in the development of a demonstrator for a SiPM-based camera for the Cherenkov Telescope Array (CTA) experiment, with a pixel size of 6$\times$6 mm$^2$. The camera houses about two thousands electronics channels and is both light and compact. In this framework, a R&D program for the development of SiPMs suitable for Cherenkov light detection (so called NUV SiPMs) is ongoing. Different photosensors have been produced at Fondazione Bruno Kessler (FBK), with different micro-cell dimensions and fill factors, in different geometrical arrangements. At the same time, INFN is developing front-end electronics based on the waveform sampling technique optimized for the new NUV SiPM. Measurements on 1$\times$1 mm$^2$, 3$\times$3 mm$^2$, and 6$\times$6 mm$^2$ NUV SiPMs coupled to the front-end electronics are presentedComment: In Proceedings of the 34th International Cosmic Ray Conference (ICRC2015), The Hague, The Netherlands. All CTA contributions at arXiv:1508.0589

Multiple verification in computational modeling of bone pathologies

We introduce a model checking approach to diagnose the emerging of bone pathologies. The implementation of a new model of bone remodeling in PRISM has led to an interesting characterization of osteoporosis as a defective bone remodeling dynamics with respect to other bone pathologies. Our approach allows to derive three types of model checking-based diagnostic estimators. The first diagnostic measure focuses on the level of bone mineral density, which is currently used in medical practice. In addition, we have introduced a novel diagnostic estimator which uses the full patient clinical record, here simulated using the modeling framework. This estimator detects rapid (months) negative changes in bone mineral density. Independently of the actual bone mineral density, when the decrease occurs rapidly it is important to alarm the patient and monitor him/her more closely to detect insurgence of other bone co-morbidities. A third estimator takes into account the variance of the bone density, which could address the investigation of metabolic syndromes, diabetes and cancer. Our implementation could make use of different logical combinations of these statistical estimators and could incorporate other biomarkers for other systemic co-morbidities (for example diabetes and thalassemia). We are delighted to report that the combination of stochastic modeling with formal methods motivate new diagnostic framework for complex pathologies. In particular our approach takes into consideration important properties of biosystems such as multiscale and self-adaptiveness. The multi-diagnosis could be further expanded, inching towards the complexity of human diseases. Finally, we briefly introduce self-adaptiveness in formal methods which is a key property in the regulative mechanisms of biological systems and well known in other mathematical and engineering areas.Comment: In Proceedings CompMod 2011, arXiv:1109.104