Search results for "table"
showing 10 items of 2807 documents
Architettura barocca nella Sicilia orientale e progettazione del restauro: la conservazione della facciata della Chiesa di Santa Maria delle Stelle a…
2010
La tavola mostra alcuni elaborati estratti dal progetto di restauro della chiesa di Santa Maria delle Stelle a Comiso (RG), uno degli esempi più rappresentativi d'architettura barocca nella Sicilia orientale.
Experimental Set up of Advanced Lighting Systems for Load Shifting Strategies
2021
Shiftable and modulable loads are an essential part of smart grids in the effort for improving the efficiency of the power system and providing new ancillary services. Most of the researches considered shiftable loads and the impact on the power grid. Smart lighting systems are able to modulate their consumption while preserving the visual duty, therefore they can take part to this action. In this context, this paper presents an advanced experimental setup implemented in the SolarLab of the University of Palermo, with the aim of studying the impact on the end-user's energy consumption and on the power grid of smart lighting systems. In this light, different control strategies will be consid…
Rateless Codes Performance Analysis in Correlated Channel Model for GEO Free Space Optics Downlinks
2012
Programming distributed applications with symbolic reasoning on WSNs
2015
Programming Wireless Sensor Networks (WSNs) is a complex task for which existing approaches adopt rigid architectures that are only suitable for specific application fields. In previous papers we introduced a programming methodology and a lightweight middleware based on high-level programming and executable code exchange for distributed processing on WSNs. In this paper, we show how high-level programming can be effectively used on WSNs to implement symbolic reasoning. In order to prove the feasibility of our approach, we present a Fuzzy Logic system where the value updates and the rule evaluations are performed in a distributed way. Through the proposed methodology, we discuss the developm…
High-level Programming and Symbolic Reasoning on IoT Resource Constrained Devices
2015
While the vision of Internet of Things (IoT) is rather inspiring, its practical implementation remains challenging. Conventional programming approaches prove unsuitable to provide IoT resource constrained devices with the distributed processing capabilities required to implement intelligent, autonomic, and self-organizing behaviors. In our previous work, we had already proposed an alternative programming methodology for such systems that is characterized by high-level programming and symbolic expressions evaluation, and developed a lightweight middleware to support it. Our approach allows for interactive programming of deployed nodes, and it is based on the simple but effective paradigm of …
A Middleware to Develop and Test Vehicular Sensor Network Applications
2019
The Smart city ecosystem is composed of several networked devices that provide services to citizens and improve their quality of life. Basic services, which must be exposed by the underlying software infrastructure, require efficient networking and communication protocols to coordinate and manage all the system components. In particular, Vehicular Sensor Networks (VSNs) are envisioned as key components of smart cities. Verification is crucial in such a highly dynamic scenario to ensure operation correctness and to reduce the development cost of smart applications. However, the rigidity of existing middlewares makes development, reconfiguration, and testing rather difficult. In this work, we…
Verification of Symbolic Distributed Protocols for Networked Embedded Devices
2020
The availability of versatile and interconnected embedded devices makes it possible to build low-cost networks with a large number of nodes running even complex applications and protocols in a distributed manner. Common tools used for modeling and verification, such as simulators, present some limitations as application correctness is checked off-board and only focuses on source code. Execution in the real network is thus excluded from the early stages of design and verification. In this paper, a system for modeling and verification of symbolic distributed protocols running on embedded devices is introduced. The underlying methodology is rooted in a symbolic programming paradigm that makes …
A MIXTURE OF VEGETABLE EXTRACTS (CHAMOMILLE, PASSIONFLOWER, CARAWAY, FENNEL), AND ENZYMES (BETA-GALACTOSIDASE) FOR IRRITABLE BOWEL SYNDROME (ibs): AN…
2018
Summary. Aims: Irritable bowel syndrome (IBS) is a functional intestinal disorder. This syndrome may creates psychological disorders in patients who are affected and severely limits daily activities and lifestyle. Methods: We investigated the effect of the natural product consisting of chamomile, fennel, caraway, passionflower and melissa (Spasmicol®), on IBS patients. For the study, 187 patients with IBS, enrolled by primary care doctors, were treated with Spasmicol® (Aristeia Farmaceutici s.r.l.), two tablets/daily, for 30 days. At the end of the study, patients were re-evaluated to analyse the effects of therapy. Results: After 30 days, patients showed a marked reduction of symptoms (abd…
A Global Perspective on Effectiveness of Aid for Trade
2012
Recent global initiatives on debt relief and development assistance call for increasing aid for trade to the poorest countries. The paper applies a multi-country computable general equilibrium model to measure the effectiveness of alternative aid for trade categories. The findings show that aid for trade policies expand trade and alleviate international income inequalities in the recipient countries, that will benefit mainly from aid for trade adjustment and technical assistance.