450 result(s)
Page Size: 10, 20, 50
Export: bibtex, xml, json, csv
Order by:

CNR Author operator: and / or
more
Typology operator: and / or
more
Language operator: and / or
Date operator: and / or
more
Rights operator: and / or
2012 Contribution to journal Restricted

Editorial - ACM Journal on Computing and Cultural Heritage
Scopigno R.
Source: ACM journal on computing and cultural heritage (Print) 5 (2012): 5–5. doi:10.1145/2307723.2307724
DOI: 10.1145/2307723.2307724

See at: dl.acm.org Restricted | CNR ExploRA Restricted


2012 Other Open Access OPEN

Software di gestione di sistemi bibliotecari "LIBERO v. 6.2.1"
Giannini S.
Il corso, rivolto agli operatori/bibliotecari dell'Università Pontificia Salesiana di Roma e agli operatori/bibliotecari dell'Area della Ricerca CNR di Pisa, ha fornito un'introduzione generale alla nuova versione del sistema di automazione bibliotecaria LIBERO (6.2.1), rinnovata e completamente Web-based. In particolare sono stati introdotti i moduli del sistema, i parametri e la loro gestione. Il corso ha poi approfondito il modulo Cataloguing, i parametri e le funzioni del modulo, spiegando le icone ed il loro significato, illustrando le diverse opzioni di ricerca (di base, avanzata e booleana), le diverse modalità di catalogazione (MARC e Non-MARC, utilizzo delle interfacce di sistema, uso di un template, copia di un record, inserimento manuale, fusione di records), procedure di Import/Export.

See at: ISTI Repository Open Access | CNR ExploRA


2012 Other Restricted

Breve presentazione del database di supporto al sito WEB dell'ISTI
Beltrame R., Ponchio F., Raviolo C.
The ISTI website uses a database to store information presented on its pages. We sketch here the structure of this database.

See at: CNR ExploRA Restricted


2012 Other Restricted

PandAE Guida per l'Ufficio Personale
Diciotti R., Panichi G.
The system PandAE is a web application integrated with the detection time found in areas or in institutions. Allows the office staff of the Institute to obtain data on absences and presences of employees in a timely and accurate to perform their management functions.

See at: CNR ExploRA Restricted


2012 Other Closed Access

Studio di fattibilità sul rilevamento di enfisema in immagini ottenute mediante TAC a spirale con bassa dose
Amendola T., Chimenti M., Fantini E., Tampucci M., Miniati M., Monti S.
In a previous study we developed a software able to detect anomalies in CT high definition images of the thorax, possibly related to pulmonary emphysema; in this study we evaluate the possibility of applying this software to the CT images obtained in a large scale screening. In fact, theses images have been produced by a low-dose computer tomography and are affected by a noise greater than that of previously processed images. In this study we used a photometric images analysis, which gives the amount of pixels with luminance value less than a predefined threshold, and the blob analysis, which using the same threshold detects the binary objects composed of adjacent pixels and gives up their size and location. The paper reports the results obtained according two decision thresholds: we show that the photometric analysis of low-dose CT images gives no information about the presence of pulmonary emphysema, while the blob analysis gives useful descriptors

See at: CNR ExploRA Restricted


2012 Contribution to conference Restricted

Target selection for active debris removal
Anselmo L., Pardini C.
Preliminary target selection assessment for Italian/European active debris removal missions.Source: PRIN-IAC Workshop on active debris removal with hybrid propulsion, pp. 1–14, Dipartimento di Ingegneria Aerospaziale, Politecnico di Milano, 31 May 2012

See at: CNR ExploRA Restricted


2012 Contribution to conference Open Access OPEN

Progetto NOSA-ITACA - caso studio: il Voltone, piazza della Repubblica, Livorno
Binante V., Girardi M., Padovani C., Pasquinelli G., Porcelli M., Pellegrini D., Lucchesi M.
NOSA-ITACA project, description of the case studySource: Salone dell'Arte e del Resaturo di Firenze, Firenze, 8-9-10 Novembre 2012

See at: ISTI Repository Open Access | CNR ExploRA Open Access


2012 Conference article Open Access OPEN

Fluid Analysis of Foraging Ants
Massink M., Latella D.
Workers of the Argentine ant, Iridomyrmex humilis, are known to be capable to find efficiently the shortest route from their nest to a food source. Their approach is based on a simple pheromone trail-laying and following behaviour accessing only local information. In this note we explore the modelling and analysis of foraging ants in Bio-PEPA [8,6]. The simple case study concerns ants that need to cross a bridge with two branches of different length to reach food and carry the food home and is based on empirical data described by Goss and Deneubourg et al. We explore the conditions for which the shortest path emerges as the preferred one by the ants. The analysis is based on stochastic simulation and fluid flow analysis. The behaviour of ant colonies has inspired the development of an interesting class of optimisation algorithms ranging from alternative shortest path algorithms to new scheduling and routing algorithms, algorithms to solve set partition problems and for distributed information retrieval. Process algebraic fluid flow analysis may be an important additional technique to the analysis of such algorithms in a computationally efficient way.Source: 14th International Conference on Coordination Models and Languages, COORDINATION 2012, pp. 152–165, Stockholm, 14-15/06/2012
DOI: 10.1007/978-3-642-30829-1_11
Project(s): ASCENS via OpenAIRE

See at: link.springer.com Open Access | academic.microsoft.com Restricted | dblp.uni-trier.de Restricted | Hyper Article en Ligne Restricted | Hyper Article en Ligne Restricted | Hyper Article en Ligne Restricted | link.springer.com Restricted | CNR ExploRA Restricted | rd.springer.com Restricted | www.springerlink.com Restricted


2012 Conference article Open Access OPEN

Analysing robot swarm decision-making with Bio-PEPA
Massink M., Brambilla M., Latella D., Dorigo M., Birattari M.
We present a novel method to analyse swarm robotics sys- tems based on Bio-PEPA. Bio-PEPA is a process algebraic language originally developed to analyse biochemical systems. Its main advantage is that it allows different kinds of analyses of a swarm robotics system starting from a single description. In general, to carry out different kinds of analysis, it is necessary to develop multiple models, raising issues of mutual consistency. With Bio-PEPA, instead, it is possible to perform stochastic simulation, fluid flow analysis and statistical model checking based on the same system specification. This reduces the complexity of the analysis and ensures consistency between analysis results. Bio-PEPA is well suited for swarm robotics systems, because it lends itself well to modelling distributed scalable systems and their space-time characteris- tics. We demonstrate the validity of Bio-PEPA by modelling collective decision-making in a swarm robotics system and we evaluate the result of different analyses.Source: ANTS 2012 - Swarm Intelligence - 8th International Conference, pp. 25–36, Brussels, Belgium, 12-14 September 2012
DOI: 10.1007/978-3-642-32650-9_3
Project(s): ASCENS via OpenAIRE, E-SWARM via OpenAIRE

See at: dipot.ulb.ac.be Open Access | DI-fusion Open Access | academic.microsoft.com Restricted | difusion.ulb.ac.be Restricted | homepages.inf.ed.ac.uk Restricted | link.springer.com Restricted | link.springer.com Restricted | CNR ExploRA Restricted | rd.springer.com Restricted | www.springerlink.com Restricted


2012 Conference article Open Access OPEN

Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages
Latella D., Massink M., De Vink E.
Labeled state-to-function transition systems, FuTS for short, admit multiple transition schemes from states to functions of finite support over general semirings. As such they constitute a convenient modeling instrument to deal with stochastic process languages. In this paper, the notion of bisimulation induced by a FuTS is proposed and a correspondence result is proven stating that FuTS-bisimulation coincides with the behavioral equivalence of the associated functor. As generic examples, the concrete existing equivalences for the core of the process algebras ACP, PEPA and IMC are related to the bisimulation of specific FuTS, providing via the correspondence result coalgebraic justification of the equivalences of these calculiSource: Seventh ACCAT Workshop on Applied and Computational Category Theory (ACCAT 2012), pp. 23–43, Tallin, Estonia, 4 april 2012
DOI: 10.4204/eptcs.93.2
Project(s): ASCENS via OpenAIRE

See at: Electronic Proceedings in Theoretical Computer Science Open Access | arXiv.org e-Print Archive Open Access | Electronic Proceedings in Theoretical Computer Science Open Access | Electronic Proceedings in Theoretical Computer Science Open Access | Electronic Proceedings in Theoretical Computer Science Open Access | Electronic Proceedings in Theoretical Computer Science Open Access | NARCIS Open Access | Electronic Proceedings in Theoretical Computer Science Open Access | Electronic Proceedings in Theoretical Computer Science Open Access | Electronic Proceedings in Theoretical Computer Science Open Access | Electronic Proceedings in Theoretical Computer Science Open Access | Electronic Proceedings in Theoretical Computer Science Open Access | cgi.cse.unsw.edu.au Restricted | CNR ExploRA Restricted


2012 Journal article Open Access OPEN

Innovative observing strategy and orbit determination for Low Earth Orbit space debris
Milani A., Farnocchia D., Dimare L., Rossi A., Bernardi F.
We present the results of a large scale simulation, reproducing the behavior of a data center for the build-up and maintenance of a complete catalog of space debris in the upper part of the Low Earth Orbits (LEOs) region. The purpose is to determine the performances of a network of advanced optical sensors, through the use of the newest correlation and orbit determination algorithms. This network is foreseen for implementation in a Space Situational Awareness system, such as the future European one. The conclusion is that it is possible to use a network of optical sensors to build up a catalog containing more than 98% of the objects with perigee height between 1100 and 2000 km, which would be observable by a reference radar system selected as comparison. It is also possible to maintain such a catalog within the accuracy requirements motivated by collision avoidance, and to detect catastrophic fragmentation events. The obtained results depend upon specific assumptions on the sensor and on the software technologies.Source: Planetary and space science 62 (2012): 10–22. doi:10.1016/j.pss.2011.11.012
DOI: 10.1016/j.pss.2011.11.012

See at: arXiv.org e-Print Archive Open Access | Planetary and Space Science Open Access | Planetary and Space Science Restricted | Planetary and Space Science Restricted | Planetary and Space Science Restricted | Planetary and Space Science Restricted | Planetary and Space Science Restricted | Planetary and Space Science Restricted | Planetary and Space Science Restricted | CNR ExploRA Restricted | Planetary and Space Science Restricted | Planetary and Space Science Restricted


2012 Journal article Open Access OPEN

Evasive Maneuvers in Space Debris Environment and Technological Parameters
Jesus A. D. C., Ribeiro R. S., Rossi A., Veira Neto E.
We present a study of collisional dynamics between space debris and an operational vehicle in LEO. We adopted an approach based on the relative dynamics between the objects on a collisional course and with a short warning time and established a semianalytical solution for the final trajectories of these objects. Our results show that there are angular ranges in 3D, in addition to the initial conditions, that favor the collisions. These results allowed the investigation of a range of technological parameters for the spacecraft (e.g., fuel reserve) that allow a safe evasive maneuver (e.g., time available for the maneuver). The numerical model was tested for different values of the impact velocity and relative distance between the approaching objects.Source: Mathematical problems in engineering (CD-ROM) (2012). doi:10.1155/2012/126521
DOI: 10.1155/2012/126521

See at: Mathematical Problems in Engineering Open Access | Mathematical Problems in Engineering Open Access | Mathematical Problems in Engineering Open Access | Mathematical Problems in Engineering Open Access | Mathematical Problems in Engineering Open Access | Mathematical Problems in Engineering Open Access | Mathematical Problems in Engineering Open Access | Mathematical Problems in Engineering Open Access | Mathematical Problems in Engineering Open Access | CNR ExploRA Restricted | www.hindawi.com Restricted


2012 Contribution to conference Restricted

Effects of YORP-Induced Rotational Fission on the Asteroid Size Distribution at the Small Size End
Rossi A., Marzari F., Scheeres D. J., Jacobson S.
The asteroid belt size distribution has been shaped by collisions slowly grinding the population away into smaller bodies via cratering or fragmentation. However, at the small size end YORP may contribute to the erosion process by accelerating the rotation rate of small asteroids beyond their disruption spin limit causing mass shedding and fission. This can explain why, according to NEOWISE, the slope of NEOs is about -1.32, significantly less steep than previous estimates which accounted for the Yarkovsky steepening effect.Source: 43rd Lunar and Planetary Science Conference, pp. 2095–2095, The Woddland, Texas (USA), 19-23 March, 2012

See at: CNR ExploRA Restricted | www.lpi.usra.edu Restricted


2012 Journal article Open Access OPEN

Automatic virtual calibration of range-based indoor localization systems
Barsocchi P., Lenzi S., Chessa S., Furfari F.
The localization methods based on Received Signal Strength Indicator (RSSI) link the RSSI values to the position of the mobile to be located. In the RSSI localization techniques based on propagation models, the accuracy depends on the tuning of the propagation models parameters. In indoor wireless networks, the propagation conditions are hardly predictable due to the dynamic nature of the RSSI, and consequently the parameters of the propagation model may change. In this paper, we present an automatic virtual calibration method of the propagation model that does not require human intervention; therefore, can be periodically performed, following the wireless channel conditions. We also propose a novel RSSI-based localization algorithm that selects the RSSI values according to their strength, and uses a calibrated propagation model to transform these values into distances, in order to estimate the position of the mobile.Source: Wireless communications and mobile computing (Print) 12 (2012): 1546–1557. doi:10.1002/wcm.1085
DOI: 10.1002/wcm.1085
Project(s): UNIVERSAAL via OpenAIRE

See at: Wireless Communications and Mobile Computing Open Access | Wireless Communications and Mobile Computing Open Access | Wireless Communications and Mobile Computing Open Access | Wireless Communications and Mobile Computing Open Access | Wireless Communications and Mobile Computing Open Access | Wireless Communications and Mobile Computing Open Access | Wireless Communications and Mobile Computing Open Access | Wireless Communications and Mobile Computing Open Access | Wireless Communications and Mobile Computing Open Access | onlinelibrary.wiley.com Restricted | CNR ExploRA Restricted


2012 Journal article Restricted

Similarity caching in large-scale image retrieval
Falchi F., Lucchese C., Orlando S., Perego R., Rabitti F.
Feature-rich data, such as audio-video recordings, digital images, and results of scientific experiments, nowadays constitute the largest fraction of the massive data sets produced daily in the e-society. Content-based similarity search systems working on such data collections are rapidly growing in importance. Unfortunately, similarity search is in general very expensive and hardly scalable. In this paper we study the case of content-based image retrieval (CBIR) systems, and focus on the problem of increasing the throughput of a large-scale CBIR system that indexes a very large collection of digital images. By analyzing the query log of a real CBIR system available on the Web, we characterize the behavior of users who experience a novel search paradigm, where content-based similarity queries and text-based ones can easily be interleaved. We show that locality and self-similarity is present even in the stream of queries submitted to such a CBIR system. According to these results, we propose an effective way to exploit this locality, by means of a similarity caching system, which stores the results of recently/frequently submitted queries and associated results. Unlike traditional caching, the proposed cache can manage not only exact hits, but also approximate ones that are solved by similarity with respect to the result sets of past queries present in the cache. We evaluate extensively the proposed solution by using the real query stream recorded in the log and a collection of 100 millions of digital photographs. The high hit ratios and small average approximation error figures obtained demonstrate the effectiveness of the approach.Source: Information processing & management 48 (2012): 803–818. doi:10.1016/j.ipm.2010.12.006
DOI: 10.1016/j.ipm.2010.12.006
Project(s): S-CUBE via OpenAIRE

See at: Information Processing & Management Restricted | Information Processing & Management Restricted | Information Processing & Management Restricted | Information Processing & Management Restricted | Information Processing & Management Restricted | CNR ExploRA Restricted | Information Processing & Management Restricted


2012 Journal article Restricted

Use of permutation prefixes for efficient and scalable approximate similarity search
Esuli A.
We present the Permutation Prefix Index (this work is a revised and extended version of Esuli (2009b), presented at the 2009 LSDS-IR Workshop, held in Boston) (PP-Index), an index data structure that supports efficient approximate similarity search. The PP-Index belongs to the family of the permutation-based indexes, which are based on representing any indexed object with "its view of the surrounding world", i.e., a list of the elements of a set of reference objects sorted by their distance order with respect to the indexed object. In its basic formulation, the PP-Index is strongly biased toward efficiency. We show how the effectiveness can easily reach optimal levels just by adopting two "boosting" strategies: multiple index search and multiple query search, which both have nice parallelization properties. We study both the efficiency and the effectiveness properties of the PP-Index, experimenting with collections of sizes up to one hundred million objects, represented in a very high-dimensional similarity space.Source: Information processing & management 48 (2012): 889–902. doi:10.1016/j.ipm.2010.11.011
DOI: 10.1016/j.ipm.2010.11.011

See at: Information Processing & Management Restricted | Information Processing & Management Restricted | Information Processing & Management Restricted | Information Processing & Management Restricted | Information Processing & Management Restricted | CNR ExploRA Restricted | Information Processing & Management Restricted


2012 Journal article Restricted

Sorting on GPUs for large scale datasets: a thorough comparison
Capannini G., Silvestri F. : Baraglia R.
Although sort has been extensively studied in many research works, it still remains a challenge in particular if we consider the implications of novel processor technologies such as manycores (i.e. GPUs, Cell/BE, multicore, etc.). In this paper, we compare different algorithms for sorting integers on stream multiprocessors and we discuss their viability on large datasets (such as those managed by search engines). In order to fully exploit the potentiality of the underlying architecture, we designed an optimized version of sorting network in the K-model, a novel computational model designed to consider all the important features of many-core architectures. According to K-model, our bitonic sorting network mapping improves the three main aspects of many-core architectures, i.e. the processors exploitation, and the on-chip/off-chip memory bandwidth utilization. Furthermore we are able to attain a space complexity of O(1). We experimentally compare our solution with state-of-the-art ones (namely, quick-sort and radix-sort) on GPUs. We also compute the complexity in the K-model for such algorithms. The conducted evaluation highlight that our bitonic sorting network is faster than quick-sort and slightly slower than radix, yet being an in-place solution it consumes less memory than both algorithms.Source: Information processing & management 48 (2012): 903–917. doi:10.1016/j.ipm.2010.11.010
DOI: 10.1016/j.ipm.2010.11.010

See at: Information Processing & Management Restricted | Information Processing & Management Restricted | Information Processing & Management Restricted | Information Processing & Management Restricted | Information Processing & Management Restricted | Information Processing & Management Restricted | Information Processing & Management Restricted | Information Processing & Management Restricted | CNR ExploRA Restricted | Information Processing & Management Restricted | Information Processing & Management Restricted


2012 Journal article Restricted

The role of HCI models in service front-end development
Paternò F., Santoro C., Spano L. D.
This article discusses how human-computer interaction (HCI) models can support the development of interactive applications based on Web services. It also introduces a specific method exploiting such models for this purpose and the associated tool support. An example application of the method for an educational scenario is presented. The results of an early test of the development environment are reported as well. Lastly, some conclusions are drawn along with indications for future work.Source: Behaviour & information technology (Print) 31 (2012): 231–244. doi:10.1080/0144929X.2011.563795
DOI: 10.1080/0144929x.2011.563795
Project(s): SERVFACE via OpenAIRE

See at: Behaviour and Information Technology Restricted | Behaviour and Information Technology Restricted | Behaviour and Information Technology Restricted | Behaviour and Information Technology Restricted | CNR ExploRA Restricted | www.tandfonline.com Restricted | Behaviour and Information Technology Restricted | Behaviour and Information Technology Restricted


2012 Journal article Open Access OPEN

Nanoscale Biomolecular Detection Limit for Gold Nanoparticles Based on Near-Infrared Response
D'Acunto M., Moroni D., Salvetti O.
Gold nanoparticles have been widely used during the past few years in various technical and biomedical applications. In particular, the resonance optical properties of nanometer-sized particles have been employed to design biochips and biosensors used as analytical tools. The optical properties of nonfunctionalized gold nanoparticles and core-gold nanoshells play a crucial role for the design of biosensors where gold surface is used as a sensing component. Gold nanoparticles exhibit excellent optical tunability at visible and near-infrared frequencies leading to sharp peaks in their spectral extinction. In this paper, we study how the optical properties of gold nanoparticles and core-gold nanoshells are changed as a function of different sizes, shapes, composition, and biomolecular coating with characteristic shifts towards the near-infrared region. We show that the optical tenability can be carefully tailored for particle sizes falling in the range 100-150 nm. The results should improve the design of sensors working at the detection limit.Source: Advances in Optical Technologies (Online) 2012 (2012): 278194. doi:10.1155/2012/278194
DOI: 10.1155/2012/278194

See at: Advances in Optical Technologies Open Access | Advances in Optical Technologies Restricted | Advances in Optical Technologies Restricted | Advances in Optical Technologies Restricted | CNR ExploRA Restricted | Advances in Optical Technologies Restricted


2012 Report Restricted

THESAURUS - Requisiti e specifiche funzionali del sistema per l'acquisizione e integrazione dati
Martinelli M., Pascali M. A., Reggiannini M., Righi M., Tampucci M., Colantonio S., Giorgi D., Magrini M., Moroni D., Pieri G., Salvetti O., La Monica D.
In this report the requirements and the functional specification of a data acquisition system for underwater archaeology are presented. The system is designed both to collect data from the sensing platform, constituted by a swarm of autonoumous underwater vehicles equipped with optical and acoustic imaging devices, and to organize information about archeological sites derived by previous surveys, archives and general bibliography.Source: Project report, Thesaurus, Deliverable 3.1, 2012

See at: CNR ExploRA Restricted