2011
Conference article
Restricted
Fuzzy ontologies and fuzzy integrals
Bobillo F., Straccia U.
Fuzzy ontologies extend classical ontologies to allow the representation of imprecise and vague knowledge. Although a relatively important amount of work has been carried out in the last years and they have been successfully used in several applications, several notions from fuzzy logic, such as fuzzy integrals, have not been considered yet in fuzzy ontologies. In this work, we show how to support fuzzy integrals in fuzzy ontologies. As a theoretical formalism, we provide the syntax and semantics of a fuzzy Description Logic with fuzzy integrals. We also provide a reasoning algorithm for a family of fuzzy integrals and show how to encode them into the language Fuzzy OWL 2.Source: 11th International Conference on Intelligent Systems Design and Applications, ISDA-11, pp. 1311–1316, Cordoba, Spain, 22-24 November 2011
DOI: 10.1109/isda.2011.6121841
Metrics:
Bobillo F., Straccia U.
Fuzzy ontologies extend classical ontologies to allow the representation of imprecise and vague knowledge. Although a relatively important amount of work has been carried out in the last years and they have been successfully used in several applications, several notions from fuzzy logic, such as fuzzy integrals, have not been considered yet in fuzzy ontologies. In this work, we show how to support fuzzy integrals in fuzzy ontologies. As a theoretical formalism, we provide the syntax and semantics of a fuzzy Description Logic with fuzzy integrals. We also provide a reasoning algorithm for a family of fuzzy integrals and show how to encode them into the language Fuzzy OWL 2.Source: 11th International Conference on Intelligent Systems Design and Applications, ISDA-11, pp. 1311–1316, Cordoba, Spain, 22-24 November 2011
DOI: 10.1109/isda.2011.6121841
Metrics:
See at:
doi.org 
| CNR ExploRA
2011
Journal article
Open Access
On optimally partitioning a text to improve its compression
Ferragina P., Nitto I., Venturini R.
In this paper we investigate the problem of partitioning an input string T in such a way that compressing individually its parts via a base-compressor C gets a compressed output that is shorter than applying C over the entire T at once. This problem was introduced in Buchsbaum et al. (Proc. of 11th ACM-SIAM Symposium on Discrete Algorithms, pp. 175-184, 2000; J. ACM 50(6):825-851, 2003) in the context of table compression, and then further elaborated and extended to strings and trees by Ferragina et al. (J. ACM 52:688-713, 2005; Proc. of 46th IEEE Symposium on Foundations of Computer Science, pp. 184-193, 2005) and Mäkinen and Navarro (Proc. of 14th Symposium on String Processing and Information Retrieval, pp. 229-241, 2007). Unfortunately, the literature offers poor solutions: namely, we know either a cubic-time algorithm for computing the optimal partition based on dynamic programming (Buchsbaum et al. in J. ACM 50(6):825-851, 2003; Giancarlo and Sciortino in Proc. of 14th Symposium on Combinatorial Pattern Matching, pp. 129-143, 2003), or few heuristics that do not guarantee any bounds on the efficacy of their computed partition (Buchsbaum et al. in Proc. of 11th ACM-SIAM Symposium on Discrete Algorithms, pp. 175-184, 2000; J. ACM 50(6):825-851, 2003), or algorithms that are efficient but work in some specific scenarios (such as the Burrows-Wheeler Transform, see e.g. Ferragina et al. in J. ACM 52:688-713, 2005; Mäkinen and Navarro in Proc. of 14th Symposium on String Processing and Information Retrieval, pp. 229-241, 2007) and achieve compression performance that might be worse than the optimal-partitioning by a Ω(log n/log log n) factor. Therefore, computing efficiently the optimal solution is still open (Buchsbaum and Giancarlo in Encyclopedia of Algorithms, pp. 939-942, 2008). In this paper we provide the first algorithm which computes in O(nlog 1+ε n) time and O(n) space, a partition of T whose compressed output is guaranteeSource: Algorithmica 61 (2011): 51–74. doi:10.1007/s00453-010-9437-6
DOI: 10.1007/s00453-010-9437-6
DOI: 10.48550/arxiv.0906.4692
DOI: 10.1007/978-3-642-04128-0_38
Metrics:
Ferragina P., Nitto I., Venturini R.
In this paper we investigate the problem of partitioning an input string T in such a way that compressing individually its parts via a base-compressor C gets a compressed output that is shorter than applying C over the entire T at once. This problem was introduced in Buchsbaum et al. (Proc. of 11th ACM-SIAM Symposium on Discrete Algorithms, pp. 175-184, 2000; J. ACM 50(6):825-851, 2003) in the context of table compression, and then further elaborated and extended to strings and trees by Ferragina et al. (J. ACM 52:688-713, 2005; Proc. of 46th IEEE Symposium on Foundations of Computer Science, pp. 184-193, 2005) and Mäkinen and Navarro (Proc. of 14th Symposium on String Processing and Information Retrieval, pp. 229-241, 2007). Unfortunately, the literature offers poor solutions: namely, we know either a cubic-time algorithm for computing the optimal partition based on dynamic programming (Buchsbaum et al. in J. ACM 50(6):825-851, 2003; Giancarlo and Sciortino in Proc. of 14th Symposium on Combinatorial Pattern Matching, pp. 129-143, 2003), or few heuristics that do not guarantee any bounds on the efficacy of their computed partition (Buchsbaum et al. in Proc. of 11th ACM-SIAM Symposium on Discrete Algorithms, pp. 175-184, 2000; J. ACM 50(6):825-851, 2003), or algorithms that are efficient but work in some specific scenarios (such as the Burrows-Wheeler Transform, see e.g. Ferragina et al. in J. ACM 52:688-713, 2005; Mäkinen and Navarro in Proc. of 14th Symposium on String Processing and Information Retrieval, pp. 229-241, 2007) and achieve compression performance that might be worse than the optimal-partitioning by a Ω(log n/log log n) factor. Therefore, computing efficiently the optimal solution is still open (Buchsbaum and Giancarlo in Encyclopedia of Algorithms, pp. 939-942, 2008). In this paper we provide the first algorithm which computes in O(nlog 1+ε n) time and O(n) space, a partition of T whose compressed output is guaranteeSource: Algorithmica 61 (2011): 51–74. doi:10.1007/s00453-010-9437-6
DOI: 10.1007/s00453-010-9437-6
DOI: 10.48550/arxiv.0906.4692
DOI: 10.1007/978-3-642-04128-0_38
Metrics:
See at:
arXiv.org e-Print Archive 
| Algorithmica | doi.org | Algorithmica | doi.org | www.springerlink.com | CNR ExploRA
2011
Conference article
Unknown
Documentation and interpretation of an archeological excavation: an experience with dense stereo reconstruction tools
Callieri M., Dell'Unto N. Dellepiane Ma., Scopigno R., Soderberg B., Larsson L.
An archeological excavation is usually a rapidly evolving environment: several factors (weather, costs, permissions) force the work to be concentrated in a few weeks. Moreover, excavating is essentially a mono-directional operation, which constantly modifies the state of the site. Since most of the interpretation is performed in a second stage, it is necessary to collect a massive amount of documentation (images, sketches, notes, measurements). In this paper we present an experiment of monitoring of an excavation in Uppåkra, South Sweden, using dense stereo matching techniques. The archeologists were trained to collect a set of images every day; the set was used to produce a 3D model depicting the state of the excavation. In this way, it was possible to obtain a reliable geometric representation of the evolution of the excavation. The obtained model were also used by the archeologists, by the means of an open-source tool, to perform a site study and interpretation stage directly on the geometric data. The results of the experimentation show that dense stereo matching can be easily integrated with the daily work of archeologists in the context of an excavation, and it can provide a valuable source of data for interpretation, archival and integration of acquired material.Source: The 12th International Symposium on Virtual Reality, Archaeology and Cultural Heritage, VAST 2011, pp. 33–40, Prato, 18-21 October 2011
Project(s): V-MUST.NET
Callieri M., Dell'Unto N. Dellepiane Ma., Scopigno R., Soderberg B., Larsson L.
An archeological excavation is usually a rapidly evolving environment: several factors (weather, costs, permissions) force the work to be concentrated in a few weeks. Moreover, excavating is essentially a mono-directional operation, which constantly modifies the state of the site. Since most of the interpretation is performed in a second stage, it is necessary to collect a massive amount of documentation (images, sketches, notes, measurements). In this paper we present an experiment of monitoring of an excavation in Uppåkra, South Sweden, using dense stereo matching techniques. The archeologists were trained to collect a set of images every day; the set was used to produce a 3D model depicting the state of the excavation. In this way, it was possible to obtain a reliable geometric representation of the evolution of the excavation. The obtained model were also used by the archeologists, by the means of an open-source tool, to perform a site study and interpretation stage directly on the geometric data. The results of the experimentation show that dense stereo matching can be easily integrated with the daily work of archeologists in the context of an excavation, and it can provide a valuable source of data for interpretation, archival and integration of acquired material.Source: The 12th International Symposium on Virtual Reality, Archaeology and Cultural Heritage, VAST 2011, pp. 33–40, Prato, 18-21 October 2011
Project(s): V-MUST.NET
See at: CNR ExploRA
2011
Conference article
Unknown
Inferential mining for reconstruction of 3D cell structures in atomic force microscopy imaging
D'Acunto Mario, Berrettini Stefano, Danti Serena, Lisanti Michele, Pietrabissa Andrea, Petrini Mario, Salvetti Ovidio
Atomic Force Microscopy (AFM) is a fundamental tool for the investigation of a wide range of mechanical properties on nanoscale due to the contact interaction between the AFM tip and the sample surface. The focus of this paper is on an algorithm for the reconstruction of 3D stem-differentiated cell structures extracted by typical 2D surface AFM images. The AFM images resolution is limited by the tip-sample convolution due to the combined geometry of the probe tip and the pattern configuration of the sample. This limited resolution limits the accuracy of the correspondent 3D image. To drop unwanted effects, we adopt an inferential method for pre-processing single frame AFM image (low resolution image) building its super-resolution version. Therefore the 3D reconstruction is made on animal cells using a Markov Random Field approach for augmented voxels. The 3D reconstruction should improve unambiguous identification of cells structures. The computation method is fast and can be applied both to multi- and to single-frame images.Source: 3rd International Joint conference on Knowledge Discovery, Knowledge Engineering, and Knowledge Management, IC3K 2011, pp. 348–353, Parigi, 26-29 October 2011
D'Acunto Mario, Berrettini Stefano, Danti Serena, Lisanti Michele, Pietrabissa Andrea, Petrini Mario, Salvetti Ovidio
Atomic Force Microscopy (AFM) is a fundamental tool for the investigation of a wide range of mechanical properties on nanoscale due to the contact interaction between the AFM tip and the sample surface. The focus of this paper is on an algorithm for the reconstruction of 3D stem-differentiated cell structures extracted by typical 2D surface AFM images. The AFM images resolution is limited by the tip-sample convolution due to the combined geometry of the probe tip and the pattern configuration of the sample. This limited resolution limits the accuracy of the correspondent 3D image. To drop unwanted effects, we adopt an inferential method for pre-processing single frame AFM image (low resolution image) building its super-resolution version. Therefore the 3D reconstruction is made on animal cells using a Markov Random Field approach for augmented voxels. The 3D reconstruction should improve unambiguous identification of cells structures. The computation method is fast and can be applied both to multi- and to single-frame images.Source: 3rd International Joint conference on Knowledge Discovery, Knowledge Engineering, and Knowledge Management, IC3K 2011, pp. 348–353, Parigi, 26-29 October 2011
See at: CNR ExploRA
2011
Conference article
Restricted
A multi-sensor network for the protection of cultural heritage
Grammalidis N., Cetin E., Dimitropoulos K., Tsalakanidou F., Kose K., Gunay O., Governeur B., Torri D., Kuruoglu E. E., Tozzi S., Benazza A., Chaabane F., Kosucu B., Ersoy C.
The paper presents a novel automatic early warning system to remotely monitor areas of archaeological and cultural interest from the risk of fire. Since these areas have been treasured and tended for very long periods of time, they are usually surrounded by old and valuable vegetation or situated close to forest regions, which exposes them to an increased risk of fire. The proposed system takes advantage of recent advances in multi-sensor surveillance technologies, using optical and infrared cameras, wireless sensor networks capable of monitoring different modalities (e.g. temperature and humidity) as well as local weather stations on the deployment site. The signals collected from these sensors are transmitted to a monitoring centre, which employs intelligent computer vision and pattern recognition algorithms as well as data fusion techniques to automatically analyze sensor information. The system is capable of generating automatic warning signals for local authorities whenever a dangerous situation arises, as well as estimating the propagation of the fire based on the fuel model of the area and other important parameters such as wind speed, slope, and aspect of the ground surface.Source: 19th European Signal Processing Conference, EUSIPCO 2011, pp. 889–893, Barcelona, Spain, 29 August - 2 September 2011
Project(s): FIRESENSE
Grammalidis N., Cetin E., Dimitropoulos K., Tsalakanidou F., Kose K., Gunay O., Governeur B., Torri D., Kuruoglu E. E., Tozzi S., Benazza A., Chaabane F., Kosucu B., Ersoy C.
The paper presents a novel automatic early warning system to remotely monitor areas of archaeological and cultural interest from the risk of fire. Since these areas have been treasured and tended for very long periods of time, they are usually surrounded by old and valuable vegetation or situated close to forest regions, which exposes them to an increased risk of fire. The proposed system takes advantage of recent advances in multi-sensor surveillance technologies, using optical and infrared cameras, wireless sensor networks capable of monitoring different modalities (e.g. temperature and humidity) as well as local weather stations on the deployment site. The signals collected from these sensors are transmitted to a monitoring centre, which employs intelligent computer vision and pattern recognition algorithms as well as data fusion techniques to automatically analyze sensor information. The system is capable of generating automatic warning signals for local authorities whenever a dangerous situation arises, as well as estimating the propagation of the fire based on the fuel model of the area and other important parameters such as wind speed, slope, and aspect of the ground surface.Source: 19th European Signal Processing Conference, EUSIPCO 2011, pp. 889–893, Barcelona, Spain, 29 August - 2 September 2011
Project(s): FIRESENSE
See at:
www.eusipco2011.org | CNR ExploRA
2011
Conference article
Restricted
Bayesian MAP detection of extragalactic point sources in microwave astronomical images
Herranz D. Argueso F., Salerno E., Kuruoglu E. E., Kayabol K.
In this paper we review a maximum a posteriori (MAP) approach detection method in a Bayesian scheme which incorporates prior information about the source flux distribution, the locations and the number of sources of extragalactic point sources in images of the Cosmic Microwave Background. This new technique allows us to obtain fast solutions and to fix the number of detected sources in a non-arbitrary way. The performance of the method is superior to that of the standard frequentist approach based on the matched filter.Source: 18th IEEE International Conference on Image Processing, ICIP 2011, pp. 1293–1296, Brussels, Belgium, 11-14 September 2011
DOI: 10.1109/icip.2011.6115671
Metrics:
Herranz D. Argueso F., Salerno E., Kuruoglu E. E., Kayabol K.
In this paper we review a maximum a posteriori (MAP) approach detection method in a Bayesian scheme which incorporates prior information about the source flux distribution, the locations and the number of sources of extragalactic point sources in images of the Cosmic Microwave Background. This new technique allows us to obtain fast solutions and to fix the number of detected sources in a non-arbitrary way. The performance of the method is superior to that of the standard frequentist approach based on the matched filter.Source: 18th IEEE International Conference on Image Processing, ICIP 2011, pp. 1293–1296, Brussels, Belgium, 11-14 September 2011
DOI: 10.1109/icip.2011.6115671
Metrics:
See at:
doi.org | CNR ExploRA
2011
Conference article
Unknown
Improving high-speed scanning systems by photometric stereo
Larue F., Dellepiane M., Scopigno R.
High-speed scanning systems can be extremely valuable for Cultural Heritage applications, especially when large collections of small objects have to be acquired. However, fine details may not be acquired using this technology. Nevertheless, it is possible to try to recover them by taking advantage of the additional data provided by these systems: the calibrated video sequence of the acquisition, and the position of the projector light for each frame. In this paper, we propose a workflow that processes the video sequence with a photometric stereo approach, in order to refine the coarse geometry provided by the scanner. A normal map is first extracted by a method that accounts for the unevenly distributed sampling that generally results from the particular trajectory followed by this kind of scanners during the acquisition. This normal map is then integrated in order to recover missing geometric features. Good performances are achieved, since the whole workflow is particularly suited to GPU programming.Source: 12th International Symposium on Virtual Reality, Archaeology and Cultural Heritage. Short papers, VAST 2011, pp. 25–28, Prato, 18-21 October 2011
Project(s): 3D-COFORM
Larue F., Dellepiane M., Scopigno R.
High-speed scanning systems can be extremely valuable for Cultural Heritage applications, especially when large collections of small objects have to be acquired. However, fine details may not be acquired using this technology. Nevertheless, it is possible to try to recover them by taking advantage of the additional data provided by these systems: the calibrated video sequence of the acquisition, and the position of the projector light for each frame. In this paper, we propose a workflow that processes the video sequence with a photometric stereo approach, in order to refine the coarse geometry provided by the scanner. A normal map is first extracted by a method that accounts for the unevenly distributed sampling that generally results from the particular trajectory followed by this kind of scanners during the acquisition. This normal map is then integrated in order to recover missing geometric features. Good performances are achieved, since the whole workflow is particularly suited to GPU programming.Source: 12th International Symposium on Virtual Reality, Archaeology and Cultural Heritage. Short papers, VAST 2011, pp. 25–28, Prato, 18-21 October 2011
Project(s): 3D-COFORM
See at: CNR ExploRA
2011
Conference article
Open Access
Flexible support for distributing user interfaces across multiple devices
Manca M., Paternò F.
Interface distribution across multiple devices, even supporting different modalities. For this purpose we extend a model-based user interface language in order to address the specification of distribution at various user interface granularities. We also introduce how this solution works at run-time in order to support dynamic distribution of user interface elements across various devices.Source: 9th ACM SIGCHI Italian Chapter International Conference on Computer-Human Interaction: Facing Complexity, CHItaly 2011, pp. 191–195, Alghero, Italy, 13-16 September 2011
DOI: 10.1145/2037296.2037341
Metrics:
Manca M., Paternò F.
Interface distribution across multiple devices, even supporting different modalities. For this purpose we extend a model-based user interface language in order to address the specification of distribution at various user interface granularities. We also introduce how this solution works at run-time in order to support dynamic distribution of user interface elements across various devices.Source: 9th ACM SIGCHI Italian Chapter International Conference on Computer-Human Interaction: Facing Complexity, CHItaly 2011, pp. 191–195, Alghero, Italy, 13-16 September 2011
DOI: 10.1145/2037296.2037341
Metrics:
See at:
giove.isti.cnr.it | dl.acm.org | doi.org | CNR ExploRA
2011
Conference article
Restricted
Product line architectures for SOA
Njima Mercy N., Ter Beek Maurice H., Gnesi Stefania
Service-oriented applications (SOA) are a standard-based and technology independent distributed computing paradigm for discovering, binding and assembling loosely-coupled software services. Software product lines (SPL) on the other hand allow a generic architecture to be configured and deployed in different instances. Product lines facilitate systematic reuse through managing variability. Product line engineering is a more established discipline and so may have more solutions to offer SOA and SPL. Thus, in this paper, we will look the synergies accruing from this powerful combination. We will then look at how the technique can be used to evaluate the latest smart energy management innovation in delivering return on investment for utilities.Source: 11th International Conference on Software Engineering Research and Practice, SERP 2011, pp. 227–232, Las Vegas, Nevada, USA, 18-21 July 2011
Njima Mercy N., Ter Beek Maurice H., Gnesi Stefania
Service-oriented applications (SOA) are a standard-based and technology independent distributed computing paradigm for discovering, binding and assembling loosely-coupled software services. Software product lines (SPL) on the other hand allow a generic architecture to be configured and deployed in different instances. Product lines facilitate systematic reuse through managing variability. Product line engineering is a more established discipline and so may have more solutions to offer SOA and SPL. Thus, in this paper, we will look the synergies accruing from this powerful combination. We will then look at how the technique can be used to evaluate the latest smart energy management innovation in delivering return on investment for utilities.Source: 11th International Conference on Software Engineering Research and Practice, SERP 2011, pp. 227–232, Las Vegas, Nevada, USA, 18-21 July 2011
See at:
world-comp.org | CNR ExploRA
2011
Conference article
Unknown
A marine information system for environmental monitoring
Cocco M., Colantonio S., D'Acunto M., Martinelli M., Moroni D., Pieri G., Salvetti O., Tampucci M.
The ability to remotely detect and monitor oil spills at sea is becoming increasingly important due to the high demand of oil based products. As a consequence, shipping routes are becoming very crowded and the likelihood of oil slicks occurring is also increasing. In this frame, a fully integrated remote sensing system can act as a valuable monitoring tool. We propose an integrated and interoperable system able to monitor ship traffic and marine operators, using sensing capabilities from a variety of electronic sensors, along with geo-positioning tools, and through a communication infrastructure. Our model is capable of transferring data, freely and seamlessly, between different elements of the information systems (and their users). In this way different data are brought together, easily and in a consistent and usable form, in order to facilitate dynamic links between different models and analytical processes.Source: The Tenth International Conference on the Mediterranean Coastal Environment, MEDCOAST 11, pp. 189–200, Rodi, Greece, 25-29 Ottobre 2011
Cocco M., Colantonio S., D'Acunto M., Martinelli M., Moroni D., Pieri G., Salvetti O., Tampucci M.
The ability to remotely detect and monitor oil spills at sea is becoming increasingly important due to the high demand of oil based products. As a consequence, shipping routes are becoming very crowded and the likelihood of oil slicks occurring is also increasing. In this frame, a fully integrated remote sensing system can act as a valuable monitoring tool. We propose an integrated and interoperable system able to monitor ship traffic and marine operators, using sensing capabilities from a variety of electronic sensors, along with geo-positioning tools, and through a communication infrastructure. Our model is capable of transferring data, freely and seamlessly, between different elements of the information systems (and their users). In this way different data are brought together, easily and in a consistent and usable form, in order to facilitate dynamic links between different models and analytical processes.Source: The Tenth International Conference on the Mediterranean Coastal Environment, MEDCOAST 11, pp. 189–200, Rodi, Greece, 25-29 Ottobre 2011
See at: CNR ExploRA
2011
Conference article
Open Access
Finding redundant and complementary communities in multidimensional networks
Berlingerio Michele, Coscia Michele, Giannotti Fosca
Community Discovery in networks is the problem of detecting, for each node, its membership to one of more groups of nodes, the communities, that are densely connected, or highly interactive. We de ne this problem for multidimensional networks, i.e. where more than one connection may reside between any two nodes. We introduce two measures able to characterize the communities found. Our experiments on real world data support the methodology proposed, and open the way for a new class of algorithms, aimed at capturing the multifaceted complexity of connections among nodes in a network.Source: 20th ACM international conference on Information and knowledge management, CIKM'11, pp. 2181–2184, Glasgow, UK, 24-28 October 2011
DOI: 10.1145/2063576.2063921
Metrics:
Berlingerio Michele, Coscia Michele, Giannotti Fosca
Community Discovery in networks is the problem of detecting, for each node, its membership to one of more groups of nodes, the communities, that are densely connected, or highly interactive. We de ne this problem for multidimensional networks, i.e. where more than one connection may reside between any two nodes. We introduce two measures able to characterize the communities found. Our experiments on real world data support the methodology proposed, and open the way for a new class of algorithms, aimed at capturing the multifaceted complexity of connections among nodes in a network.Source: 20th ACM international conference on Information and knowledge management, CIKM'11, pp. 2181–2184, Glasgow, UK, 24-28 October 2011
DOI: 10.1145/2063576.2063921
Metrics:
See at:
www.michelecoscia.com | dl.acm.org | doi.org | CNR ExploRA
2011
Journal article
Open Access
Geographical information system and environmental epidemiology: a cross-sectional spatial analysis of the effects of traffic-related air pollution on population respiratory health.
Nuvolone D, Della Maggiore R, Maio S, Fresco R, Baldacci S, Carrozzi L, Pistelli F, Viegi G
Background: Traffic-related air pollution is a potential risk factor for human respiratory health. A Geographical Information System (GIS) approach was used to examine whether distance from a main road (the Tosco-Romagnola road) affected respiratory health status. Methods: We used data collected during an epidemiological survey performed in the Pisa-Cascina area (central Italy) in the period 1991-93. A total of 2841 subjects participated in the survey and filled out a standardized questionnaire on health status, socio-demographic information, and personal habits. A variable proportion of subjects performed lung function and allergy tests. Highly exposed subjects were defined as those living within 100 m of the main road, moderately exposed as those living between 100 and 250 m from the road, and unexposed as those living between 250 and 800 m from the road. Statistical analyses were conducted to compare the risks for respiratory symptoms and diseases between exposed and unexposed. All analyses were stratified by gender. Results: The study comprised 2062 subjects: mean age was 45.9 years for men and 48.9 years for women. Compared to subjects living between 250 m and 800 m from the main road, subjects living within 100 m of the main road had increased adjusted risks for persistent wheeze (OR = 1.76, 95% CI = 1.08-2.87), COPD diagnosis (OR = 1.80, 95% CI = 1.03-3.08), and reduced FEV(1)/FVC ratio (OR = 2.07, 95% CI = 1.11-3.87) among males, and for dyspnea (OR = 1.61, 95% CI = 1.13-2.27), positivity to skin prick test (OR = 1.83, 95% CI = 1.11-3.00), asthma diagnosis (OR = 1.68, 95% CI = 0.97-2.88) and attacks of shortness of breath with wheeze (OR = 1.67, 95% CI = 0.98-2.84) among females. Conclusion: This study points out the potential effects of traffic-related air pollution on respiratory health status, including lung function impairment. It also highlights the added value of GIS in environmental health research.Source: Environmental health (London. 2002. Online) 10 (2011): 1–12. doi:10.1186/1476-069X-10-12
DOI: 10.1186/1476-069x-10-12
Metrics:
Nuvolone D, Della Maggiore R, Maio S, Fresco R, Baldacci S, Carrozzi L, Pistelli F, Viegi G
Background: Traffic-related air pollution is a potential risk factor for human respiratory health. A Geographical Information System (GIS) approach was used to examine whether distance from a main road (the Tosco-Romagnola road) affected respiratory health status. Methods: We used data collected during an epidemiological survey performed in the Pisa-Cascina area (central Italy) in the period 1991-93. A total of 2841 subjects participated in the survey and filled out a standardized questionnaire on health status, socio-demographic information, and personal habits. A variable proportion of subjects performed lung function and allergy tests. Highly exposed subjects were defined as those living within 100 m of the main road, moderately exposed as those living between 100 and 250 m from the road, and unexposed as those living between 250 and 800 m from the road. Statistical analyses were conducted to compare the risks for respiratory symptoms and diseases between exposed and unexposed. All analyses were stratified by gender. Results: The study comprised 2062 subjects: mean age was 45.9 years for men and 48.9 years for women. Compared to subjects living between 250 m and 800 m from the main road, subjects living within 100 m of the main road had increased adjusted risks for persistent wheeze (OR = 1.76, 95% CI = 1.08-2.87), COPD diagnosis (OR = 1.80, 95% CI = 1.03-3.08), and reduced FEV(1)/FVC ratio (OR = 2.07, 95% CI = 1.11-3.87) among males, and for dyspnea (OR = 1.61, 95% CI = 1.13-2.27), positivity to skin prick test (OR = 1.83, 95% CI = 1.11-3.00), asthma diagnosis (OR = 1.68, 95% CI = 0.97-2.88) and attacks of shortness of breath with wheeze (OR = 1.67, 95% CI = 0.98-2.84) among females. Conclusion: This study points out the potential effects of traffic-related air pollution on respiratory health status, including lung function impairment. It also highlights the added value of GIS in environmental health research.Source: Environmental health (London. 2002. Online) 10 (2011): 1–12. doi:10.1186/1476-069X-10-12
DOI: 10.1186/1476-069x-10-12
Metrics:
See at:
Environmental Health | Environmental Health | Environmental Health | DOAJ-Articles | CNR ExploRA
2011
Contribution to book
Restricted
Adaptive instantiation of service workflows using a chemical approach
Di Napoli C., Giordano M., Németh Z., Tonellotto N.
Service oriented technologies allow Service Based Applications (SBAs) to be easily built by composing independent services available in a network and provided by many actors under conditions that may change in time. Therefore services need to be dynamically selected and composed when an SBA is required along with parameters representing the service delivery conditions. In this paper we propose to use a chemical computational approach to model the process of selecting the required service functionalities with the required conditions as an evolving and always running middleware mechanism. The chemical evolving behaviour of the middleware allows to take into account environmental changes coming from both the providers and users side.Source: Euro-Par 2010 Parallel Processing Workshops. HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31-September 3, 2010, Revised Selected Papers, edited by Mario R. Guarracino, Frédéric Vivien, Jesper Larsson Träff, Mario Cannatoro, Marco Danelutto, Anders Hast, Francesca Perla, Andreas Knüpfer, Beniamino Di Martino, Michael Alexander, pp. 247–255. Berlin Heidelberg: Springer-Verlag, 2011
DOI: 10.1007/978-3-642-21878-1_31
Project(s): S-CUBE
Metrics:
Di Napoli C., Giordano M., Németh Z., Tonellotto N.
Service oriented technologies allow Service Based Applications (SBAs) to be easily built by composing independent services available in a network and provided by many actors under conditions that may change in time. Therefore services need to be dynamically selected and composed when an SBA is required along with parameters representing the service delivery conditions. In this paper we propose to use a chemical computational approach to model the process of selecting the required service functionalities with the required conditions as an evolving and always running middleware mechanism. The chemical evolving behaviour of the middleware allows to take into account environmental changes coming from both the providers and users side.Source: Euro-Par 2010 Parallel Processing Workshops. HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31-September 3, 2010, Revised Selected Papers, edited by Mario R. Guarracino, Frédéric Vivien, Jesper Larsson Träff, Mario Cannatoro, Marco Danelutto, Anders Hast, Francesca Perla, Andreas Knüpfer, Beniamino Di Martino, Michael Alexander, pp. 247–255. Berlin Heidelberg: Springer-Verlag, 2011
DOI: 10.1007/978-3-642-21878-1_31
Project(s): S-CUBE
Metrics:
See at:
doi.org | link.springer.com | CNR ExploRA
2011
Conference article
Open Access
Reality is Ultimately Digital and its Program is still Undebugged
Tommaso Bolognesi
Reality is ultimately digital, and all the complexity we observe in the physical universe, from subatomic particles to the biosphere, is a mani- festation of the emergent properties of a digital computation that takes place at the smallest spacetime scale. Emergence in computation is an immensely creative force, whose relevance for theoretical physics is still largely underestimated. However, if the universe must be at all scien- tifically comprehensible, as suggested by a famous einsteinian quote, we have to additionally postulate this computation to sit at the bottom of a multi-level hierarchy of emergent phenomena satisfying appropriate re- quirements. In particular, we expect 'interesting things' to emerge at all levels, including the lowest ones. The digital/computational universe hy- pothesis gives us a great opportunity to achieve a concise, background independent theory, if the 'background' - a lively spacetime substratum - is equated with a finite causal set.Source: FQXi Essay Contest 2011 - Is Reality Digital or Analog?, http://fqxi.org/community/essay (sito web), 1 November - 15 March 2011
Tommaso Bolognesi
Reality is ultimately digital, and all the complexity we observe in the physical universe, from subatomic particles to the biosphere, is a mani- festation of the emergent properties of a digital computation that takes place at the smallest spacetime scale. Emergence in computation is an immensely creative force, whose relevance for theoretical physics is still largely underestimated. However, if the universe must be at all scien- tifically comprehensible, as suggested by a famous einsteinian quote, we have to additionally postulate this computation to sit at the bottom of a multi-level hierarchy of emergent phenomena satisfying appropriate re- quirements. In particular, we expect 'interesting things' to emerge at all levels, including the lowest ones. The digital/computational universe hy- pothesis gives us a great opportunity to achieve a concise, background independent theory, if the 'background' - a lively spacetime substratum - is equated with a finite causal set.Source: FQXi Essay Contest 2011 - Is Reality Digital or Analog?, http://fqxi.org/community/essay (sito web), 1 November - 15 March 2011
See at:
fqxi.org | CNR ExploRA
2011
Journal article
Restricted
Algorithmic causets
Bolognesi T.
In the context of quantum gravity theories, several researchers have proposed causal sets as appropriate discrete models of spacetime. We investigate families of causal sets obtained from two simple models of computation - 2D Turing machines and network mobile automata - that operate on 'high-dimensional' supports, namely 2D arrays of cells and planar graphs, respectively. We study a number of quantitative and qualitative emergent properties of these causal sets, including dimension, curvature and localized structures, or 'particles'. We show how the possibility to detect and separate particles from background space depends on the choice between a global or local view at the causal set. Finally, we spot very rare cases of pseudo-randomness, or deterministic chaos; these exhibit a spontaneous phenomenon of 'causal compartmentation' that appears as a prerequisite for the occurrence of anything of physical interest in the evolution of spacetime.Source: Journal of physics. Conference series (Online) 306 (2011). doi:10.1088/1742-6596/306/1/012042
DOI: 10.1088/1742-6596/306/1/012042
Metrics:
Bolognesi T.
In the context of quantum gravity theories, several researchers have proposed causal sets as appropriate discrete models of spacetime. We investigate families of causal sets obtained from two simple models of computation - 2D Turing machines and network mobile automata - that operate on 'high-dimensional' supports, namely 2D arrays of cells and planar graphs, respectively. We study a number of quantitative and qualitative emergent properties of these causal sets, including dimension, curvature and localized structures, or 'particles'. We show how the possibility to detect and separate particles from background space depends on the choice between a global or local view at the causal set. Finally, we spot very rare cases of pseudo-randomness, or deterministic chaos; these exhibit a spontaneous phenomenon of 'causal compartmentation' that appears as a prerequisite for the occurrence of anything of physical interest in the evolution of spacetime.Source: Journal of physics. Conference series (Online) 306 (2011). doi:10.1088/1742-6596/306/1/012042
DOI: 10.1088/1742-6596/306/1/012042
Metrics:
2011
Other
Unknown
Collisions
Tarabella L.
Collisions is a music project born in 2010 from the meeting of two opposite sound sources: the digital technology of Leonello Tarabella and the organic drumming of Alessandro Baris. The result is a musical dialogue of structure and improvisation, jazz and rock, ambient and contemporary, yet with it's own artistic identity led by Tarabella's interactive performance of using his bare hands to manipulate a unique sound technology developed in his computer music research.
Tarabella L.
Collisions is a music project born in 2010 from the meeting of two opposite sound sources: the digital technology of Leonello Tarabella and the organic drumming of Alessandro Baris. The result is a musical dialogue of structure and improvisation, jazz and rock, ambient and contemporary, yet with it's own artistic identity led by Tarabella's interactive performance of using his bare hands to manipulate a unique sound technology developed in his computer music research.
See at: CNR ExploRA | www.collisionsmusic.com
2011
Contribution to book
Open Access
Quantitative Analysis of Services
Cappello I., Clark A., Gilmore S., Latella D., Loreti M., Quaglia P., Schivo S.
We show a number of applications of the tools which have been developed within the sensoria project to perform quantitative analysis of services. These tools are formally grounded on source calculi which allow the description of services at distinct levels of abstraction, and hence pose distinct challenges to both modelling and analysis. The reported applications refer to (suitable subcomponents of) the Finance Case-Study, and show instances of, respectively, exact model checking of MarCaSPiS against the both state-aware and action-aware logic SoSL, exact and statistical model checking of sCOWS against the state-aware logic CSL, querying of PEPA models by terms of the XSP language that expresses both state-aware and action-aware stochastic probes.Source: Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, edited by Martin Wirsing, Matthias Hölzl, pp. 522–540. Berlin: Springer, 2011
DOI: 10.1007/978-3-642-20401-2_25
Project(s): SENSORIA
Metrics:
Cappello I., Clark A., Gilmore S., Latella D., Loreti M., Quaglia P., Schivo S.
We show a number of applications of the tools which have been developed within the sensoria project to perform quantitative analysis of services. These tools are formally grounded on source calculi which allow the description of services at distinct levels of abstraction, and hence pose distinct challenges to both modelling and analysis. The reported applications refer to (suitable subcomponents of) the Finance Case-Study, and show instances of, respectively, exact model checking of MarCaSPiS against the both state-aware and action-aware logic SoSL, exact and statistical model checking of sCOWS against the state-aware logic CSL, querying of PEPA models by terms of the XSP language that expresses both state-aware and action-aware stochastic probes.Source: Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, edited by Martin Wirsing, Matthias Hölzl, pp. 522–540. Berlin: Springer, 2011
DOI: 10.1007/978-3-642-20401-2_25
Project(s): SENSORIA
Metrics:
See at:
NARCIS | NARCIS | doi.org | link.springer.com | CNR ExploRA
2011
Contribution to book
Restricted
SoSL: A Service-Oriented Stochastic Logic
De Nicola R., Latella D., Loreti M., Massink M.
The Temporal Mobile Stochastic Logic (MoSL) has been introduced in previous works by the authors for formulating properties of systems specified in StoKlaim, a Markovian extension of Klaim. The main purpose of MoSL is addressing key functional aspects of network aware programming such as distribution awareness, mobility and security and to guarantee their integration with performance and dependability guarantees. In this paper we present SoSL, a variant of MoSL, designed for dealing with specific features of Service-Oriented Computing (SOC). We also show how SoSL formulae can be model-checked against systems descriptions expressed with MarCaSPiS, a process calculus designed for addressing quantitative aspects of SOC. In order to perform actual model checking, we rely on a dedicated front-end that uses existing state-based stochastic model-checkers, like e.g. the Markov Reward Model Checker (MRMC).Source: Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing,, edited by Martin Wirsing, Matthias Hölzl, pp. 447–466. Berlin: Springer-Verlag Berlin, 2011
DOI: 10.1007/978-3-642-20401-2_21
Project(s): SENSORIA
Metrics:
De Nicola R., Latella D., Loreti M., Massink M.
The Temporal Mobile Stochastic Logic (MoSL) has been introduced in previous works by the authors for formulating properties of systems specified in StoKlaim, a Markovian extension of Klaim. The main purpose of MoSL is addressing key functional aspects of network aware programming such as distribution awareness, mobility and security and to guarantee their integration with performance and dependability guarantees. In this paper we present SoSL, a variant of MoSL, designed for dealing with specific features of Service-Oriented Computing (SOC). We also show how SoSL formulae can be model-checked against systems descriptions expressed with MarCaSPiS, a process calculus designed for addressing quantitative aspects of SOC. In order to perform actual model checking, we rely on a dedicated front-end that uses existing state-based stochastic model-checkers, like e.g. the Markov Reward Model Checker (MRMC).Source: Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing,, edited by Martin Wirsing, Matthias Hölzl, pp. 447–466. Berlin: Springer-Verlag Berlin, 2011
DOI: 10.1007/978-3-642-20401-2_21
Project(s): SENSORIA
Metrics:
See at:
doi.org | link.springer.com | CNR ExploRA
2011
Conference article
Open Access
Modelling Non-linear Crowd Dynamics in Bio-PEPA
Massink M., Latella D., Bracciali A., Hillston J.
Emergent phenomena occur due to the pattern of non-linear and distributed local interactions between the elements of a system over time. Surprisingly, agent based crowd models, in which the movement of each individual follows a limited set of simple rules, often re-produce quite closely the emergent behaviour of crowds that can be observed in re- ality. An example of such phenomena is the spontaneous self-organisation of drinking parties in the squares of cities in Spain, also known as "El Botello ?n". We revisit this case study providing an elegant stochastic process algebraic model in Bio-PEPA amenable to several forms of analyses, among which simulation and fluid flow analysis. We show that a fluid flow approximation, i.e. a deterministic reading of the average behaviour of the system, can provide an alternative and efficient way to study the same emergent behaviour as that explored in [20] where simulation was used instead. Besides empirical evidence, also an analytical justification is provided for the good correspondence found between simulation results and the fluid flow approximationSource: FASE 2011, Fundamental Approaches to Software Engineering 2011. 14th International Conference, pp. 96–110, Saarbruecken, Germany, March 26 - April 3 2011
DOI: 10.1007/978-3-642-19811-3_8
Project(s): ASCENS
Metrics:
Massink M., Latella D., Bracciali A., Hillston J.
Emergent phenomena occur due to the pattern of non-linear and distributed local interactions between the elements of a system over time. Surprisingly, agent based crowd models, in which the movement of each individual follows a limited set of simple rules, often re-produce quite closely the emergent behaviour of crowds that can be observed in re- ality. An example of such phenomena is the spontaneous self-organisation of drinking parties in the squares of cities in Spain, also known as "El Botello ?n". We revisit this case study providing an elegant stochastic process algebraic model in Bio-PEPA amenable to several forms of analyses, among which simulation and fluid flow analysis. We show that a fluid flow approximation, i.e. a deterministic reading of the average behaviour of the system, can provide an alternative and efficient way to study the same emergent behaviour as that explored in [20] where simulation was used instead. Besides empirical evidence, also an analytical justification is provided for the good correspondence found between simulation results and the fluid flow approximationSource: FASE 2011, Fundamental Approaches to Software Engineering 2011. 14th International Conference, pp. 96–110, Saarbruecken, Germany, March 26 - April 3 2011
DOI: 10.1007/978-3-642-19811-3_8
Project(s): ASCENS
Metrics:
See at:
link.springer.com | doi.org | www.springerlink.com | CNR ExploRA
2011
Journal article
Closed Access
Semi-analytical investigations of the long term evolution of the eccentricity of Galileo and GPS-like orbits
Florent Deleflie, Alessandro Rossi, Christophe Portmann, Gilles Métris, François Barlier
This paper aims at investigating the stability over 150 years of a very large number of trajectories in the Medium Earth Orbit (MEO) region, near the orbits devoted to radionavigation such as the Global Navigation Satellite Systems (GNSS like GPS, Glonass, Galileo, COMPASS). The stability is characterized by the long term evolution of the eccentricity, and a stable orbit will be defined by initial conditions not inducing through gravitational perturbations a high difference between the perigee and apogee altitudes over a 150 years (for keeping as low as possible the collision risk with operational orbits). The initial conditions of motion used for our tests cover a wide range of semi-major axes and inclinations, regularly sampled, so as to describe as exhaustively as possible the gravitational perturbations acting on the space debris population in these regions. In this study, we pay particular attention to the dynamical properties which can make the orbits eccentricity becoming very large, due to effects induced by the non-spherical shape of the Earth, and the luni-solar attraction, with an amplitude governed by the satellite inclination, as well. We show that even if apogee and perigee variations must be limited to less than 300 km (corresponding to a maximum allowed eccentricity growth of 0.01), there are some cases where the eccentricity growth can rise up to the order of 0.7 over a few decades. The paper is organized such as follows. We begin with the general and historical background of the study. We then give some detail about the semi-analytical modelling than we will propagate with about 36,000 various initial conditions over 150 years. These simulations are based on a parallelized code which works on a "Grid" with about 60,000 CPUs available, ensuring reasonable integration times. First interpretations are then addressed, from an analytical point of view, searching for combinations of angles and initial conditions inducing very long periodic terms in the temporal variations of the eccentricity.Source: Advances in space research 47 (2011): 811–821. doi:10.1016/j.asr.2010.11.038
DOI: 10.1016/j.asr.2010.11.038
Metrics:
Florent Deleflie, Alessandro Rossi, Christophe Portmann, Gilles Métris, François Barlier
This paper aims at investigating the stability over 150 years of a very large number of trajectories in the Medium Earth Orbit (MEO) region, near the orbits devoted to radionavigation such as the Global Navigation Satellite Systems (GNSS like GPS, Glonass, Galileo, COMPASS). The stability is characterized by the long term evolution of the eccentricity, and a stable orbit will be defined by initial conditions not inducing through gravitational perturbations a high difference between the perigee and apogee altitudes over a 150 years (for keeping as low as possible the collision risk with operational orbits). The initial conditions of motion used for our tests cover a wide range of semi-major axes and inclinations, regularly sampled, so as to describe as exhaustively as possible the gravitational perturbations acting on the space debris population in these regions. In this study, we pay particular attention to the dynamical properties which can make the orbits eccentricity becoming very large, due to effects induced by the non-spherical shape of the Earth, and the luni-solar attraction, with an amplitude governed by the satellite inclination, as well. We show that even if apogee and perigee variations must be limited to less than 300 km (corresponding to a maximum allowed eccentricity growth of 0.01), there are some cases where the eccentricity growth can rise up to the order of 0.7 over a few decades. The paper is organized such as follows. We begin with the general and historical background of the study. We then give some detail about the semi-analytical modelling than we will propagate with about 36,000 various initial conditions over 150 years. These simulations are based on a parallelized code which works on a "Grid" with about 60,000 CPUs available, ensuring reasonable integration times. First interpretations are then addressed, from an analytical point of view, searching for combinations of angles and initial conditions inducing very long periodic terms in the temporal variations of the eccentricity.Source: Advances in space research 47 (2011): 811–821. doi:10.1016/j.asr.2010.11.038
DOI: 10.1016/j.asr.2010.11.038
Metrics:
See at:
Advances in Space Research | Hyper Article en Ligne | www.sciencedirect.com | CNR ExploRA