FPGA based remote code integrity verification of programs in distributed embedded systems

The explosive growth of networked embedded systems has made ubiquitous and pervasive computing a reality. However, there are still a number of new challenges to its widespread adoption that include scalability, availability, and, especially, security of software. Among the different challenges in software security, the problem of remote-code integrity verification is still waiting for efficient solutions. This paper proposes the use of reconfigurable computing to build a consistent architecture for generation of attestations (proofs) of code integrity for an executing program as well as to deliver them to the designated verification entity. Remote dynamic update of reconfigurable devices is also exploited to increase the complexity of mounting attacks in a real-word environment. The proposed solution perfectly fits embedded devices that are nowadays commonly equipped with reconfigurable hardware components that are exploited to solve different computational problems

Il censimento delle strade appartenenti alla rete extraurbana: aspetti metodologici e normativi

La mancata classificazione della rete comporta da un lato la quasi impossibile realizzazione dei Piani del Traffico della Viabilità Extraurbana (PTVE) e dall???altro determina la quasi impossibile definizione delle priorità in termini di manutenzione e ottimizzazione delle infrastrutture esistenti. A questi si aggiungono altri due aspetti: le Amministrazioni sono chiamate a perseguire l???innalzamento dei livelli di sicurezza stradale e dall???altro lato devono assicurare la totale accessibilità dei territori, il tutto in un contesto di totale contenimento della spesa

How ‘Smart’ Are Smart Specialization Strategies?

The introduction of smart specialization (S3) as a fundamental pillar of the 2014 reform of the EU cohesion policy is a significant strategic shift in European development intervention. S3 strategies aimed at mobilizing the economic potential of each country and region of the EU by allowing a more place-based and bottom-up approach to development. However, despite the salience that S3 has acquired in a short period of time, there has been no European-wide evaluation of the extent to which S3 strategies truly reflect the economic characteristics and potential of the territories where they are being implemented. This article examines the characteristics of S3 strategies across Europe – by focusing on their development axes, economic or scientific domains and policy priorities – to assess whether this is the case. The results show that S3 strategies display a proliferation of objectives, a problem that particularly affects areas with weaker quality of government. Moreover, strategies are generally loosely connected with the intrinsic conditions of each region and mostly mimic what neighbouring areas are doing. The lack of more concise and focused S3 strategies is likely to undermine the effectiveness of what is, otherwise, a very interesting and worthwhile policy experiment

Achieving the Way for Automated Segmentation of Nuclei in Cancer Tissue Images through Morphology-Based Approach: a Quantitative Evaluation

In this paper we address the problem of nuclear segmentation in cancer tissue images, that is critical for specific protein activity quantification and for cancer diagnosis and therapy. We present a fully automated morphology-based technique able to perform accurate nuclear segmentations in images with heterogeneous staining and multiple tissue layers and we compare it with an alternate semi-automated method based on a well established segmentation approach, namely active contours. We discuss active contours’ limitations in the segmentation of immunohistochemical images and we demonstrate and motivate through extensive experiments the better accuracy of our fully automated approach compared to various active contours implementations

The current progress of the ALICE Ring Imaging Cherenkov Detector

Recently, the last two modules (out of seven) of the ALICE High Momentum Particle Identification detector (HMPID) were assembled and tested. The full detector, after a pre-commissioning phase, has been installed in the experimental area, inside the ALICE solenoid, at the end of September 2006. In this paper we review the status of the ALICE/HMPID project and we present a summary of the series production of the CsI photo-cathodes. We describe the key features of the production procedure which ensures high quality photo-cathodes as well as the results of the quality assessment performed by means of a specially developed 2D scanner system able to produce a detailed map of the CsI photo-current over the entire photo-cathode surface. Finally we present our recent R&D efforts toward the development of a novel generation of imaging Cherenkov detectors with the aim to identify, in heavy ions collisions, hadrons up to 30 GeV/c.Comment: Presented at the Imaging-2006 Conference, Stockholm, Sweden, June 200

Idiopathic Myenteric Ganglionitis Underlying Acute ‘Dramatic’ Intestinal Pseudoobstruction: Report of an Exceptional Case

Inflammation of the myenteric plexus of the gastrointestinal tract is a very rare pathological condition, with few reports in the medical literature. This pathological condition causes atonic gut motor dysfunction and is principally secondary to other diseases, being reported nearly solely as a paraneoplastic phenomenon in neuroendocrine lung tumors, including small cell carcinomas or neuroblastomas. In addition it can also be associated with disorders of the central nervous system, although it has rarely been described in Chagas disease. It has been named ‘idiopathic myenteric ganglionitis’ because no apparent causes can be demonstrated. We report the clinicopathologic findings of an exceptional case of a young woman affected by severe chronic constipation suddenly changing into acute intestinal pseudoobstruction with dramatic evolution. Relationships between ganglionitis, idiopathic constipation and acute intestinal pseudoobstruction as well as therapeutic implications are discussed

A non-linear autoregressive model for indoor air-temperature predictions in smart buildings

In recent years, the contrast against energy waste and pollution has become mandatory and widely endorsed. Among the many actors at stake, the building sector energy management is one of the most critical. Indeed, buildings are responsible for 40% of total energy consumption only in Europe, affecting more than a third of the total pollution produced. Therefore, energy control policies of buildings (for example, forecast-based policies such as Demand Response and Demand Side Management) play a decisive role in reducing energy waste. On these premises, this paper presents an innovative methodology based on Internet-of-Things (IoT) technology for smart building indoor air-temperature forecasting. In detail, our methodology exploits a specialized Non-linear Autoregressive neural network for short-and medium-term predictions, envisioning two different exploitation: (i) on realistic artificial data and (ii) on real data collected by IoT devices deployed in the building. For this purpose, we designed and optimized four neural models, focusing respectively on three characterizing rooms and on the whole building. Experimental results on both a simulated and a real sensors dataset demonstrate the prediction accuracy and robustness of our proposed models

Bianchi Type I Universes with Causal Bulk Viscous Cosmological Fluid

We consider the dynamics of a causal bulk viscous cosmological fluid filled constantly decelerating Bianchi type I space-time. The matter component of the Universe is assumed to satisfy a linear barotropic equation of state and the state equation of the small temperature Boltzmann gas. The resulting cosmological models satisfy the condition of smallness of the viscous stress. The time evolution of the relaxation time, temperature, bulk viscosity coefficient and comoving entropy of the dissipative fluid is also obtained.Comment: 11 pages, 5 figures, accepted for publication in International Journal of Modern Physics

Automated segmentation of tissue images for computerized IHC analysis

This paper presents two automated methods for the segmentation ofimmunohistochemical tissue images that overcome the limitations of themanual approach aswell as of the existing computerized techniques. The first independent method, based on unsupervised color clustering, recognizes automatically the target cancerous areas in the specimen and disregards the stroma; the second method, based on colors separation and morphological processing, exploits automated segmentation of the nuclear membranes of the cancerous cells. Extensive experimental results on real tissue images demonstrate the accuracy of our techniques compared to manual segmentations; additional experiments show that our techniques are more effective in immunohistochemical images than popular approaches based on supervised learning or active contours. The proposed procedure can be exploited for any applications that require tissues and cells exploration and to perform reliable and standardized measures of the activity of specific proteins involved in multi-factorial genetic pathologie

Electrical impedance spectroscopy for real-time monitoring of the life cycle of graphene nanoplatelets filters for some organic industrial pollutants

This article proposes an approach for smart monitoring of the life cycle of innovative graphene-haled filters for water remediation in the presence of pollutants. The measurement technique is based on suitable figures of merit that analyze the time variation of the electrical impedance frequency spectrum. The proposed study considers the remediation of two toxic industrial pollutants, such as the acetonitrile and the 2,4-dichlorophenol. The contribution of this article is twofold. The first is the demonstration of a reliable monitoring setup that is able, for the selected use cases, to correlate in real time the behavior of the electrical impedance of the filter to its status, defined as "absence of pollutants" and/or "saturation." The second contribution is the proposal of suitable figures of merit, based on measurement of the impedance frequency spectrum, able to increase the measurement sensitivity and the reliability and to mitigate some sources of uncertainty typically associated with these kinds of setups and measurements. Results show that the proposed graphene-based filters combine very good filtering capability and high sensitivity of the electrical impedance to the considered pollutants. These results suggest further investigations with other pollutants and the potential use of this technique for the predictive maintenance of the water filters in industrial applications, by endowing the graphene filters of smart sensing devices