Focus

Una Loggia digitale per Raffaello al tempo del COVID-19

2020
Al link http://vcg.isti.cnr.it/farnesina/loggia/ è accessibile un sistema interattivo che consente di osservare a una distanza ravvicinata le storie di Amore e Psiche per godere, con un dettaglio mai visto, i particolari della favola di Apuleio, delle specie vegetali e delle figure di animali dipinti da Raffaello e dai suoi collaboratori in Villa Farnesina, la residenza romana del ricco banchiere senese Agostino Chigi. Al contempo il sistema permette di consultare i ricercati contenuti sulla ...

Inferenza della struttura tridimensionale della cromatina all'interno del nucleo cellulare

2020
Il python-code ChromStruct fornisce una stima della struttura 3D della fibra di cromatina partendo da dati speraimentali di tipo Chromatin Conformation Capture (informazioni sui punti di contatto del DNA di popolazioni di milioni di cellule). L'algoritmo adotta un approccio multiscala per esplorare la struttura dei cromosomi a diversi livelli di risoluzione e possiede una funzione di ottimizzazione di tipo bayesiano per esplorare lo spazio delle possibili configurazoni che la fibra di cromatina ...

Un dimostratore di metodi formali per le ferrovie

2020
Il progetto 4SECURail - finanziato dalla Commissione europea Horizon 2020 Shift2Rail - ha due obiettivi generali: progettare un Computer Security Incident Response Team (CSIRT) per la cybersecurity congiunta UE-Rail e la creazione di un Formal Methods Demonstrator per la valutazione, in termini di costi, benefici e curva di apprendimento richiesta, dell'impatto dell'uso di metodi formali per la specifica rigorosa dei componenti di un'infrastruttura di segnalamento ferroviario. Sebbene sia ...

Expert Survey on Formal Methods

2020
È stato appena pubblicato The 2020 Expert Survey on Formal Methods: un lungo documento basato su un sondaggio organizzato per celebrare il 25.mo anniversario del convegno internazionale Formal Methods for Industrial Critical Systems (FMICS), fondato da ricercatori dell'Istituto di Scienze e Tecnologie dell'Informazione "A. Faedo" (ISTI) del CNR. Il sondaggio ha incluso 30 domande sul passato, presente e futuro dei metodi formali nella ricerca, nell'industria e nell'istruzione. A questo ...

Sostenibilita' ambientale di mega-costellazioni di satelliti in orbita bassa

2020
Uno specifico indice di criticità, l'aumento percentuale del tasso di collisione, è stato introdotto per valutare l'impatto ambientale di grandi costellazioni di satelliti in orbita terrestre bassa (LEO). Tale indice è stato stimato per diverse possibili costellazioni, previste ad altezze comprese tra gli 800 e i 1400 km. I risultati ottenuti mostrano chiaramente che nelle regioni dello spazio dove l'attuale densità di detriti catalogati è già significativa, come intorno agli 800 km, ...

Competizione Internazionale Indoor Positioning and Indoor Navigation (IPIN)

2019
Il 3 ottobre si è concluso presso l'Istituto di Scienza e Tecnologie dell'Informazione del CNR di Pisa la competizione IPIN, campionato mondiale tra 40 team di ricerca internazionali che studiano e lavorano per migliorare la precisione dei sistemi di localizzazione per interni. Scopo principale della competizione è quello di valutare l'attuale grado di precisione dei sistemi di localizzazione. Durante la sfida ogni team testa il proprio sistema su un percorso di una durata di circa 30 minuti, ...

Una panoramica statistica dei rientri incontrollati

2019
Più di 24.400 oggetti orbitanti sono rientrati finora nell'atmosfera terrestre dall'inizio dell'era spaziale. La massa associata, circa 30.000 tonnellate, è rientrata soprattutto con satelliti e stadi orbitali, che assieme hanno rappresentato poco meno del 29% dei rientri catalogati. Durante i 10 anni che vanno dal 2008 al 2017, 448 oggetti di grandi dimensioni (cioè con una sezione trasversale radar > 1 m2), che includevano 366 stadi orbitali (

VoxLogicA: uno strumento per l'analisi dichiarativa di immagini

2018
Come si può fare in modo che gli esperti di dominio nell'analisi di immagini (mediche) possano formalizzare, eseguire, migliorare e condividere i loro metodi, per esempio, per identificare tumori del cervello nelle immagini di risonanza magnetica 3D -- con solide garanzie che i loro risultati siano portabili, predicibili e riproducibili, e con requisiti minimi sulla loro capacità ed esperienza informatica? VoxLogicA è uno strumento progettato per supportare l'analisi di immagini, che pone ...

Simulazione su larga scala di tecnologie wireless per i veicoli connessi

2018
I recenti incidenti mortali che hanno visto coinvolti veicoli autonomi, ne hanno rallentato l'ingresso sul mercato, riaccendendo l'attenzione sull'affidabilità e l'etica delle nuove tecnologie. Eppure, i dati parlano chiaro: un veicolo autonomo è più sicuro e più efficiente di quello guidato da una persona, in quanto non ha tempi di reazione e quindi frena istantaneamente in caso di pericolo, aumentando di conseguenza la capacità delle strade e l'efficienza del traffico. Ma l'attuale ...

Apprendimento automatico per la sicurezza di sistemi veicolari in modalità 'platooning'

2018
Lo sviluppo di meccanismi di cooperazione in sistemi veicolari è progredito in modo significativo negli ultimi anni; si veda ad esempio la celebrata 'Google Driverless Car'. Tali meccanismi prevedono di offrire significativi vantaggi di sicurezza nei sistemi di trasporto. La maggior parte di questi sistemi hanno sede in infrastrutture di veicoli comunicanti tra loro 'V2V' (vehicle to vehicle) o comunicanti attraverso una rete fissa 'V2I' (vehicle to infrastructure). Da qui lo studio di ...

Visible Light Communication: Ritorno alle origini o salto nel vuoto?

2018
Le cose migliori della vita sono gratis! La Visible Light Communication (VLC) è la tecnologia che consente di trasmettere informazioni a larga banda attraverso la luce. Stiamo, dunque, tornando indietro di oltre 100 anni, quando Bell faceva le trasmissioni luminose con il suo fotofono? Di sicuro ne stiamo sfruttando i principi. E' sufficiente, infatti, modulare la luce a LED molto velocemente, in modo che la variazione di intensità sia invisibile all'occhio umano, per poter trasmettere dati ...

Un rivoluzionario modello di metastasi del cancro alla mammella in vitro: nuovi orizzonti per la ricerca e l'individuazione di terapie innovative

2018
I pazienti oncologici che sviluppano una malattia metastatica sono considerati incurabili. Tra i tumori piu diffusi, c'e il tumore al seno, che colpisce 1 donna su 8, e in alcuni casi progredisce fino a formare metastasi, come per esempio metastasi ossee. Un ostacolo importante per superare la mortalità per cancro al seno è la mancanza di comprensione del meccanismo metastatico che porta alla diffusione delle cellule tumorali dalla mammella fino all'osso. Il laboratorio di Bioingegneria di ...

Human-Centered, Smart & Safe, Living Environments Lab

2018
Realizzazione di un living lab presso la sede di ITIA Lecco, che si occupi dello studio delle attività dell'uomo in tutti suoi ambienti di vita: Ufficio, Casa, Luoghi di Cura, Fabbrica. Attività del Lab: o Caratterizzazione dell'utente o Monitoraggio dei parametri fisiologici o Estrazione di indici (scale cliniche, scale per l'analisi del rischio di sovraccarico degli arti, etc.) o Analisi del movimento e della postura o Dispositivi per riabilitazione con supporto di applicazioni in AR-VR o ...

SWIM (SWItchMiner)

2017
Negli ultimi due decenni le scienze biologiche hanno subito una trasformazione radicale grazie allo sviluppo di nuove tecnologie per la ricerca che hanno prodotto un'autentica esplosione nella quantità di dati a disposizione. Basti pensare alle moderne tecniche di sequenziamento genomico che hanno reso il sequenziamento del genoma umano, di diversi organismi animali e vegetali, e di molti microrganismi, più semplice, meno costoso e più affidabile, con enormi benefici per la diagnosi e la cura ...

Metodi formali per il settore ferroviario

2017
Ricercatori del Laboratorio di Metodi e Strumenti Formali dell'ISTI-CNR di Pisa sono impegnati nell'analisi e valutazione delle principali metodologie di modellazione e verifica formale usati nella progettazione di sistemi ferroviari, con lo scopo di valutarne l'applicabilità nella realizzazione di nuovi sistemi di segnalamento. Questa attività è svolta nel contesto del progetto ASTRail: SAtellite-based Signalling and Automation SysTems on Railways along with Formal Method and Moving Block ...

Classificazione spazio-temporale della domanda generata da utenti di rete mobile

2017
L'aumento del traffico dati mobile -stimato globalmente a 3,7 exabyte nel 2015, con un incremento del 74% rispetto al 2014 e una crescita complessiva di 4.000 volte nel corso degli ultimi dieci anni- ha generato un notevole interesse verso una maggiore comprensione delle dinamiche della domanda per servizi di rete mobile. Una corretta caratterizzazione di come gli utenti consumino tali servizi consente una pianificazione più efficiente ed una migliore gestione delle risorse di rete. In tal ...

Il Decadimento Secolare del Semiasse Maggiore del Satellite Lares

2017
Il LAser Ranged Satellites Experiment (LARASE) ha lo scopo di eseguire una serie di misure di effetti relativistici usando specifici satelliti in orbita intorno alla Terra per verificare le predizioni della Relatività Generale e di teorie alternative proposte per la descrizione dell'interazione gravitazionale. Queste misure sono effettuate in condizioni di campo debole e moto lento (rispetto alla velocità della luce) per mezzo di satelliti sferici passivi tracciati con estrema precisione ...

Sistema di Elementi avanzati multi Layer basato su superFici e materiali Innovativi nanostrutturati per una Edilizia sostenibile ed energeticamente efficiente

2017
Negli ultimi anni, c'è stato un crescente interesse per l'uso integrato di materiali innovativi e tecnologie ICT per l'ideazione di un nuovo concetto di edificio, andando così a soddisfare le esigenze di compatibilità ambientale e di eco-sostenibilità in termini di materiali ed energia. Nell'ambito del progetto SELFIE promosso dalla Regione Toscana, sono stati progettati e implementati nuovi componenti tecnologici per edifici volti a introdurre nuovi elementi di facciata prototipali di ...

CLINEXTRACT: un lessico strutturato per l'estrazione automatica di concetti clinici dalle cartelle mediche multi-sorgente del paziente anziano con disabilità uditiva

2017
La disabilità uditiva è una problematica molto comune nella popolazione anziana: a livello mondiale, si stima che circa 360 milioni di persone over 65 sono affette da una qualche forma di patologia uditiva con effetto disabilitante. Studi recenti hanno dimostrato che per essere pienamente efficace, il piano di riabilitazione uditiva del paziente anziano deve tener conto non solo dei fattori puramente tecnologici, come ad esempio il tipo di apparecchio acustico o impianto cocleare che viene ...

Dinamica delle opinioni in una rete sociale

2017
A partire dagli anni Sessanta, e ancor più in conseguenza dell'avvento e della susseguente proliferazione dei social media, uno sforzo significativo è stato dedicato dalla comunità dei ricercatori allo sviluppo di modelli matematici che descrivano l'evoluzione delle opinioni / credenze in un ecosistema composto da individui socialmente interagenti. L'obiettivo è quello di comprendere le componenti dominanti dei comportamenti sociali collettivi e l'impatto delle diverse parti del sistema, e ...

L'importanza della reputazione dei lavoratori nei sistemi di crowd-work

2017
"Crowd-work" è un termine spesso adottato per identificare sistemi di rete che possono essere utilizzati per la soluzione di una vasta gamma di problemi complessi grazie all'integrazione di un gran numero di sforzi umani e/o informatici. Tra i diversi tipi di sistemi di crowd-work che sono già operativi in Internet, un grande sforzo di ricerca è stato dedicato a caratterizzare le prestazioni dei sistemi di crowd-work basati su microtask. La caratteristica principale di questi sistemi è che ...

Pubblicato il libro "Ultra-High-Density Magnetic Recording: Storage Materials and Media Designs"

2016
La registrazione magnetica è attualmente la tecnologia leader per l'archiviazione di massa, leadership che si è rafforzata grazie al successo del cloud computing, che si basa sullo stoccaggio e sulla gestione di enormi quantità di dati su una moltitudine di server. Nonostante ciò, l'industria degli hard-disk si trova oggi ad un punto di svolta per la scelta della tecnologia di futura generazione, visto che l'attuale tecnologia di registrazione non è in grado di consentire densità ...

SECURITY DI INSTALLAZIONI INDUSTRIALI

2016
Con riferimento ai processi produttivi, la security può essere definita come l'insieme degli studi, degli sviluppi e delle applicazioni di strategie, politiche e piani operativi per prevenire, gestire e risolvere condotte avverse atte a danneggiare l'individuo, l'ambiente e la proprietà, sia all'interno che all'esterno del sistema industriale, e le risorse aziendali, materiali o immateriali, necessarie per assicurare la competitività dell'impresa nel breve, medio e lungo termine. In tale ...

IL PROGRAMMA H2020 FINANZIA UN PROGETTO DI RICERCA PER LA PRODUZIONE DI BIO-BUTANOLO DA SCARTI AGRO-ALIMENTARI

2016
L'Istituto di Ricerche sulla Combustione (IRC) di Napoli è tra i partner del progetto di ricerca Waste2Fuels 'Sustainable production of next generation biofuels from waste streams' finanziato nell'ambito del programma di ricerca e innovazione H2020 LCE-11-2015 con il contratto n. 654623. Il progetto è coordinato dalla società spagnola IRIS Advanced Engineering e vede coinvolti 20 partner di 8 paesi tra cui il 'Dipartimento di Ingegneria Chimica dei Materiali e della Produzione Industriale' ...

Alimentatore power-DAC in tecnologia GaN come amplificatore d'inviluppo ad elevata dinamica e per la generazione di forme d'onda di pilotaggio

2016
I moderni sistemi di comunicazione impiegano segnali modulati digitalmente a larga banda con un rapporto fra potenza di picco e media (PAPR) molto alto al fine di aumentare l'efficienza spettrale e massimizzare il data rate. Tuttavia, le modulazioni digitali ad elevato PAPR sono particolarmente svantaggiose per l'amplificatore operante a radiofrequenza (RF) perché per la maggior parte del tempo è costretto ad operare in back-off di diversi dB rispetto alla potenza nominale e, di conseguenza, ...

PETRA: una piattaforma integrata di pattern di mobilità in ambito Smart Cities per l'abilitazione di sistemi di trasporto adattivi

2016
L'obiettivo del progetto PETRA è quello di sviluppare una piattaforma di servizi che metta in contatto i fornitori/controllori della mobilità urbana con i viaggiatori secondo una modalità nuova. Le città ottengono una piattaforma integrata per l'erogazione di servizi di trasporto centrati sul cittadino e adattivi rispetto alla domanda di mobilità. I viaggiatori ottengono applicazioni mobili the li aiutano a decidere percorsi, modalità e priorità per i propri spostamenti. Il risultato del ...

Community Discovery su Reti Complesse (e Dinamiche)

2016
Negli ultimi anni, numerosi studi hanno messo in luce come, analizzando reti complesse create a partire da legami sociali, sia possibile osservare, caratterizzare e prevedere molteplici aspetti delle attività umane (ad esempio calcolare la probabilità che si creino nuove connessioni tra gli utenti di un social network [1] così come stimare l'utilizzo di un servizio di comunicazione online [2]). La costante crescita delle informazioni raccolte a partire da attività quotidiane (dati di ...

Un restauro in 3D - Il Nettuno di Bologna

2016
Nel 2016 è iniziato il il restauro della Fontana del Nettuno di Bologna. L'azione è finanziata dal Comune di Bologna e è realizzata mediante una stretta collaborazione tra Comune, Università di Bologna, Istituto Superiore per la Conservazione ed il Restauro del MiBACT (ISCR) e CNR-ISTI. Questo restauro è un progetto di notevole mole sia per la complessità dell'opera (costituita da più materiali e condizioni di conservazione molto differenziate), che per la quantità di azioni diagnostiche ...

Classificazione degli utenti utilizzando dati telefonici: il Sociometro

2016
Contesto I dispositivi mobili sono il principale mezzo attraverso il quale le persone comunicano e pertanto lasciano numerose tracce digitali delle loro attività. Pensiamo alle tracce veicolari, le operazioni di acquisto, le preferenze, le opinioni, e così via. In particolare, i telefoni cellulari possono essere usati come proxy per lo studio della mobilità di persone, per il monitoraggio ambientale, la pianificazione dei trasporti, la creazione di città intelligenti e analisi delle ...

Refitting: revisione del progetto di una nave nel corso della sua vita operativa. Un esempio di applicazione di algoritmi per l'ottimizzazione continua vincolata al caso della progettazione navale

2016
La costruzione di una imbarcazione è il culmine di una intensa attività progettuale, in cui i diversi parametri relativi alle modalità diimpiego dell'imbarcazione vengono tuttipresiin considerazione. Tuttavia la durata della vita operativa di unanave è tale che alcuni di questi parametri possono subire delle variazioni, dal momento che la tipologia o la quantità del carico trasportato possono seguire le esigenze espresse dal mercato. Dopo un certo numero di anni può dunque risultare ...