2006
Software
Metadata Only Access
Metro
Cignoni P
Metro: strumento per il confronto geometrico di superfici triangolate basato sulla misura di Hausdorff. Il sistema è diventato lo strumento di riferimento, da quasi dieci anni, nell'ambito della comunità scientifica internazionale. Metro, aggiornato regolarmente, è attualmente utilizzato praticamente da tutti i maggiori centri di ricerca nel mondo per valutare in modo oggettivo la differenza tra due superfici triangolate. Più di 350 articoli scientifici ne citano esplicitamente il suo utilizzo. Sorgente e binari sono distribuiti liberamente sotto licenza GPL.
Cignoni P
Metro: strumento per il confronto geometrico di superfici triangolate basato sulla misura di Hausdorff. Il sistema è diventato lo strumento di riferimento, da quasi dieci anni, nell'ambito della comunità scientifica internazionale. Metro, aggiornato regolarmente, è attualmente utilizzato praticamente da tutti i maggiori centri di ricerca nel mondo per valutare in modo oggettivo la differenza tra due superfici triangolate. Più di 350 articoli scientifici ne citano esplicitamente il suo utilizzo. Sorgente e binari sono distribuiti liberamente sotto licenza GPL.
See at:
CNR IRIS 
2015
Software
Metadata Only Access
gCube Home Library. Release 2.1
Marioli V
Home Library is a library that uses Apache Jackrabbit, a Java Content Repository, to store and manage content. Using Home Library users can upload files, create groups, set permissions on an folder and share it with other users. Home Library is also provided with a trash folder to prevent accidental deletion of files.Project(s): IMARINE
Marioli V
Home Library is a library that uses Apache Jackrabbit, a Java Content Repository, to store and manage content. Using Home Library users can upload files, create groups, set permissions on an folder and share it with other users. Home Library is also provided with a trash folder to prevent accidental deletion of files.Project(s): IMARINE
See at:
CNR IRIS | www.gcube-system.org
2020
Software
Open Access
Stratego formal models and experiments for the paper published at FORTE2020
Basile D
This is the Uppaal Stratego model published at FORTE2020 https://link.springer.com/chapter/10.1007%2F978-3-030-50086-3_1
Basile D
This is the Uppaal Stratego model published at FORTE2020 https://link.springer.com/chapter/10.1007%2F978-3-030-50086-3_1
See at:
github.com 
| CNR IRIS | CNR IRIS
2019
Software
Metadata Only Access
MAUVE++
Manca M, Paternò F, Santoro C, Iannuzzi N, Broccia G, Pulina F
3755 Registered users on 2023-05-24. 82817 Single pages have been evaluated since May the 10th 2021. 8924 Projects have been created since September the 29th 2019 for a total of 155506 validated pages.
Manca M, Paternò F, Santoro C, Iannuzzi N, Broccia G, Pulina F
3755 Registered users on 2023-05-24. 82817 Single pages have been evaluated since May the 10th 2021. 8924 Projects have been created since September the 29th 2019 for a total of 155506 validated pages.
See at:
CNR IRIS | mauve.isti.cnr.it
2014
Software
Metadata Only Access
gCube Brazilian Flora SPD plugin.
Marioli V
Brazilian Flora SPD plugin is a plugin of the Species Products Discovery service that interacts with The List of Species of the Brazilian Flora. The data exchange format for publishing checklist data based on Darwin Core (DwC), a standard for biodiversity dataProject(s): IMARINE
Marioli V
Brazilian Flora SPD plugin is a plugin of the Species Products Discovery service that interacts with The List of Species of the Brazilian Flora. The data exchange format for publishing checklist data based on Darwin Core (DwC), a standard for biodiversity dataProject(s): IMARINE
See at:
CNR IRIS
2002
Software
Metadata Only Access
Remote usability evaluation with task models and logs
Ballardin G., Paganelli L., Paternò F., Piruzza A., Santoro C.
Tools for Model-aided Remote Usability Evaluation of Web Sites.
Ballardin G., Paganelli L., Paternò F., Piruzza A., Santoro C.
Tools for Model-aided Remote Usability Evaluation of Web Sites.
See at:
giove.isti.cnr.it | CNR IRIS
2015
Software
Metadata Only Access
dnet-basic-aggregator: release 1.0
Artini M, Atzori C, Bardi A, Castelli D, Dell'Amico A, La Bruzzo S, Manghi P, Mannocci
http://dx.doi.org/10.5281/zenodo.31693DOI: 10.5281/zenodo.31693
Project(s): OPENAIREPLUS
Metrics:
Artini M, Atzori C, Bardi A, Castelli D, Dell'Amico A, La Bruzzo S, Manghi P, Mannocci
http://dx.doi.org/10.5281/zenodo.31693DOI: 10.5281/zenodo.31693
Project(s): OPENAIREPLUS
Metrics:
See at:
CNR IRIS
2006
Software
Metadata Only Access
Wi-Fi utilities [Release 2.0]
Potortì F.
Functions for Octave for performing computations about Wi-Fi networks (as defined by the IEEE 802.11 standard). Measurements made on a rural open area have shown that the ns-2 two-ray CMU Monarch propagation model is too simplistic. In fact, ns-2 uses a double regression to approximate 2-ray, which is resonable for lower frequencies, such as GSM. For 802.11 frequencies, an exact 2-ray propagation model is more appropriate, as it accounts for holes in the signal strength that happen at the distances where the direct and reflected ray interfere destructively; this phenomenon may altogether prevent correct frame reception. Additionally, frame reception is not a yes-or-no condition based on a threshold power level at the receiver, but rather is well approximated by receiving error probability given by a simple AWGN (additive white Gaussian noise) channel model. wifiper is a function that computes PER (packet error rate) on a Wi-Fi link in rural area, without obstacles, given distance, packet length, speed and other parameters.
Potortì F.
Functions for Octave for performing computations about Wi-Fi networks (as defined by the IEEE 802.11 standard). Measurements made on a rural open area have shown that the ns-2 two-ray CMU Monarch propagation model is too simplistic. In fact, ns-2 uses a double regression to approximate 2-ray, which is resonable for lower frequencies, such as GSM. For 802.11 frequencies, an exact 2-ray propagation model is more appropriate, as it accounts for holes in the signal strength that happen at the distances where the direct and reflected ray interfere destructively; this phenomenon may altogether prevent correct frame reception. Additionally, frame reception is not a yes-or-no condition based on a threshold power level at the receiver, but rather is well approximated by receiving error probability given by a simple AWGN (additive white Gaussian noise) channel model. wifiper is a function that computes PER (packet error rate) on a Wi-Fi link in rural area, without obstacles, given distance, packet length, speed and other parameters.
See at:
fly.isti.cnr.it | CNR IRIS
2013
Software
Metadata Only Access
Choreos MultiSource Monitoring Framework
Calabrò A., De Angelis G.
The deployment and the execution of applications on dynamic Cloud infrastructures introduces new requirements of adaptability with respect to monitoring. Specifically, the governance of service choreographies enacted over Cloud-based solutions relies on the observation and analysis of events happening at different abstraction layers. Adaptability requirements are even more evident when monitoring deals with Service Level Agreements (SLA) established among the choreography participants. In fact, as the Cloud paradigm offers on-demand solutions as a service, often monitoring rules cannot be completely defined off-line. Thus also the monitoring infrastructure must keep track of the continuous evolution of the underlying environment, and adapt itself accordingly. The software realize an architecture that can synthesize on-the-fly SLA monitoring rules following the evolution of the Cloud infrastructure.Project(s): CHOREOS
Calabrò A., De Angelis G.
The deployment and the execution of applications on dynamic Cloud infrastructures introduces new requirements of adaptability with respect to monitoring. Specifically, the governance of service choreographies enacted over Cloud-based solutions relies on the observation and analysis of events happening at different abstraction layers. Adaptability requirements are even more evident when monitoring deals with Service Level Agreements (SLA) established among the choreography participants. In fact, as the Cloud paradigm offers on-demand solutions as a service, often monitoring rules cannot be completely defined off-line. Thus also the monitoring infrastructure must keep track of the continuous evolution of the underlying environment, and adapt itself accordingly. The software realize an architecture that can synthesize on-the-fly SLA monitoring rules following the evolution of the Cloud infrastructure.Project(s): CHOREOS
See at:
github.com | CNR IRIS
2022
Software
Metadata Only Access
Image analysis and recognition system for artworks
Bolettieri P
Image analysis and recognition system realised for Cy4Gate subcontracting project. The system is able to recognise artworks in a database of millions of images.
Bolettieri P
Image analysis and recognition system realised for Cy4Gate subcontracting project. The system is able to recognise artworks in a database of millions of images.
See at:
gitea-s2i2s.isti.cnr.it | CNR IRIS
2006
Software
Restricted
Finite element code NOSA-Version 2.0
Padovani C, Pagni A, Pasquinelli G
È stata redatta la versione 2.0 del codice agli elementi finiti NOSA per analisi strutturali non lineari. In particolare sono stati integrati nel NOSA i modelli e gli algoritmi per la soluzione di problemi di dinamica non lineare. Sono stati inoltre introdotti elementi piani triangolari e si è completata limplementazione dei sottoprogrammi per lanalisi strutturale di volte e cupole in muratura.
Padovani C, Pagni A, Pasquinelli G
È stata redatta la versione 2.0 del codice agli elementi finiti NOSA per analisi strutturali non lineari. In particolare sono stati integrati nel NOSA i modelli e gli algoritmi per la soluzione di problemi di dinamica non lineare. Sono stati inoltre introdotti elementi piani triangolari e si è completata limplementazione dei sottoprogrammi per lanalisi strutturale di volte e cupole in muratura.
2010
Software
Metadata Only Access
Book4All
Leporini B., Contini E., Calabrò A.
Book4All fornisce un supporto semi-automatico agli operatori per adattare documenti elettronici per studenti ipovedenti. Lo strumento può essere utilizzato per convertire un e-book PDF in un formato accessibile e utilizzabile, leggibile su computer desktop o su dispositivi mobili come XHTML e DAISY.
Leporini B., Contini E., Calabrò A.
Book4All fornisce un supporto semi-automatico agli operatori per adattare documenti elettronici per studenti ipovedenti. Lo strumento può essere utilizzato per convertire un e-book PDF in un formato accessibile e utilizzabile, leggibile su computer desktop o su dispositivi mobili come XHTML e DAISY.
See at:
hci.isti.cnr.it | CNR IRIS
2003
Software
Metadata Only Access
QuARS: Quality Analyzer for Requirement Specifications
Fabbrini F, Fusani M, Gnesi S, Lami G, Trentanni G
The tool QuARS (Quality Analyzer for Requirement Specifications) is based on a quality model composed of a set of high-level quality properties for NL requirements to be evaluated by means of syntactic and structural indicators directly detectable and measurable looking at the sentences in requirement document. This quality model, even though not exhaustive, is sufficiently specific to include a significant part of the lexical and syntax-related issues of requirement documents. QuARS receives as input a text document and provides the user with the indication of those sentences of the document that, according to the quality model, have to be considered as defective.
Fabbrini F, Fusani M, Gnesi S, Lami G, Trentanni G
The tool QuARS (Quality Analyzer for Requirement Specifications) is based on a quality model composed of a set of high-level quality properties for NL requirements to be evaluated by means of syntactic and structural indicators directly detectable and measurable looking at the sentences in requirement document. This quality model, even though not exhaustive, is sufficiently specific to include a significant part of the lexical and syntax-related issues of requirement documents. QuARS receives as input a text document and provides the user with the indication of those sentences of the document that, according to the quality model, have to be considered as defective.
See at:
CNR IRIS
2007
Software
Metadata Only Access
Virtual Inspector: un applicativo per la fruizione interattiva di beni culturali
Ponchio F
Il sistema Virtual Inspector consente all'utente non esperto di visualizzare un modello geometrico di grandi dimensioni interattivamente su standard pc. VI present il modello e tutti i dati multimediali che sono collegati a punti della superficie. VI impiega una interfaccia utente facile da utilizzare, basata sulla metafore point and click. L'efficienza in visualizzazione è ottenuta, senza sacrificare la qualità, utilizzando techniche allo stato dell'arte sulla rappresentazione a livello di dettaglio. Infine, l'uso di una codific aXML per la struttura dell GUI rende VI flessibile e facilmente configurabile
Ponchio F
Il sistema Virtual Inspector consente all'utente non esperto di visualizzare un modello geometrico di grandi dimensioni interattivamente su standard pc. VI present il modello e tutti i dati multimediali che sono collegati a punti della superficie. VI impiega una interfaccia utente facile da utilizzare, basata sulla metafore point and click. L'efficienza in visualizzazione è ottenuta, senza sacrificare la qualità, utilizzando techniche allo stato dell'arte sulla rappresentazione a livello di dettaglio. Infine, l'uso di una codific aXML per la struttura dell GUI rende VI flessibile e facilmente configurabile
See at:
CNR IRIS
2010
Software
Metadata Only Access
MARIA environment
Manca M, Paternò F, Santoro C, Spano L D, Sisti C
The MARIA Environment provides a novel solution able to exploit task models (represented in the ConcurTaskTrees notation) and user interface models (in the MARIA language) for the design and development of interactive applications based on Web services for various types of platforms (desktop, smartphones, vocal, multimodal, ...). In this process the tool is able to automatically import service and annotation descriptions and support interactive association of basic system tasks with Web services operations. Then, a number of semi-automatic transformations are able to exploit the information in such service and annotation descriptions to derive usable multi-device service front ends.
Manca M, Paternò F, Santoro C, Spano L D, Sisti C
The MARIA Environment provides a novel solution able to exploit task models (represented in the ConcurTaskTrees notation) and user interface models (in the MARIA language) for the design and development of interactive applications based on Web services for various types of platforms (desktop, smartphones, vocal, multimodal, ...). In this process the tool is able to automatically import service and annotation descriptions and support interactive association of basic system tasks with Web services operations. Then, a number of semi-automatic transformations are able to exploit the information in such service and annotation descriptions to derive usable multi-device service front ends.
See at:
giove.isti.cnr.it | CNR IRIS
2015
Software
Metadata Only Access
Time-dependent gene network modelling by sequential Monte Carlo. GeneNetParticleFilter - MatLab codes
Ancherbak S, Kuruoglu E E
This document describes the MatLab codes used to perform gene network modelling. Our aim is by tracking gene expression data undergone due to different external perturbations in a gene network in time domain to model conditional dependencies between random variables (gene expression values) across time epochs, and to learn online a time varying gene network. The methodology used is particle filtering or sequential Monte Carlo. structure.
Ancherbak S, Kuruoglu E E
This document describes the MatLab codes used to perform gene network modelling. Our aim is by tracking gene expression data undergone due to different external perturbations in a gene network in time domain to model conditional dependencies between random variables (gene expression values) across time epochs, and to learn online a time varying gene network. The methodology used is particle filtering or sequential Monte Carlo. structure.
See at:
CNR IRIS
2007
Software
Open Access
GEO Digital Library
Biagioni S, Carlesi C, Giannini S
GEO è un sistema per la gestione della biblioteca digitale omonima dedicata alla raccolta di documenti nell'ambito delle ricerche applicate ai campi della geotermia, dell'idrogeologia, della geologia, della geochimica ambientale e nel confinamento dei gas serra. Geo nasce come applicazione del software application system OCTOPUS e dall'esperienza fatta con l'applicazione PUMA-PUblication MAnagement.
Biagioni S, Carlesi C, Giannini S
GEO è un sistema per la gestione della biblioteca digitale omonima dedicata alla raccolta di documenti nell'ambito delle ricerche applicate ai campi della geotermia, dell'idrogeologia, della geologia, della geochimica ambientale e nel confinamento dei gas serra. Geo nasce come applicazione del software application system OCTOPUS e dall'esperienza fatta con l'applicazione PUMA-PUblication MAnagement.
2015
Software
Metadata Only Access
gCube Social Networking Cloud: share-updates
Assante M
The D4Science social networking facilities manifest in a number of applications made available through a thin client Web Browser are conceptually close to the common facilities promoted by social networks - e.g., posting news, commenting on posted news - yet adapted to deal with large scale collaboration and cooperation on comprehensive scientific products, data sets, theories and tools. The Share Updates enables (a) users to post updates or interesting links to others (this could be done with any social network) and (b) applications to post updates such as the avail- ability of a new product or facility. Moreover it allows to mention other users and to define topics in a post by using the hashtag character.Project(s): IMARINE
Assante M
The D4Science social networking facilities manifest in a number of applications made available through a thin client Web Browser are conceptually close to the common facilities promoted by social networks - e.g., posting news, commenting on posted news - yet adapted to deal with large scale collaboration and cooperation on comprehensive scientific products, data sets, theories and tools. The Share Updates enables (a) users to post updates or interesting links to others (this could be done with any social network) and (b) applications to post updates such as the avail- ability of a new product or facility. Moreover it allows to mention other users and to define topics in a post by using the hashtag character.Project(s): IMARINE
See at:
CNR IRIS | www.gcube-system.org
2020
Software
Open Access
4SECURail D 2.2: Sparx EA artifacts and technical documentation
Basile D
This is the model, generated source code, exported xmi model, and technical report of the Communication Supervision Layer of the UNISIG Subset 98 developed with Sparx Enterprise Architect for the Deliverable 2.2 of the 4SECURail projectProject(s): 4SECURAIL
Basile D
This is the model, generated source code, exported xmi model, and technical report of the Communication Supervision Layer of the UNISIG Subset 98 developed with Sparx Enterprise Architect for the Deliverable 2.2 of the 4SECURail projectProject(s): 4SECURAIL
See at:
CNR IRIS | zenodo.org | CNR IRIS | CNR IRIS | CNR IRIS
2006
Software
Metadata Only Access
Magenta
Leporini B, Paternò F
MAGENTA (Multi-Analysis of Guidelines by an ENhanced Tool for Accessibility) is a tool that supports the inspection-based evaluation of accessibility and usability guidelines. MAGENTA supports three sets of guidelines: - guidelines for visually-impaired; - guidelines of WCAG 1.0 (W3C); - guidelines included in the Italian law on accessibility.
Leporini B, Paternò F
MAGENTA (Multi-Analysis of Guidelines by an ENhanced Tool for Accessibility) is a tool that supports the inspection-based evaluation of accessibility and usability guidelines. MAGENTA supports three sets of guidelines: - guidelines for visually-impaired; - guidelines of WCAG 1.0 (W3C); - guidelines included in the Italian law on accessibility.
See at:
hci.isti.cnr.it | CNR IRIS