L'Association for Computing Machinery (ACM, https://www.acm.org/) pubblica da oltre cinque decenni le linee guida per i programmi universitari di Informatica (Computer Science, CS). Poiché il campo dell'Informatica si evolve rapidamente, l'ACM rivede una volta ogni decennio le sue linee guida. L'ultima revisione, la CS2023, pubblicata di recente, contiene 17 aree di conoscenza fondamentali ritenute essenziali per l'Informatica, ciascuna delle quali è ulteriormente suddivisa in unità di ...

A causa del rientro incontrollato in atmosfera di satelliti e stadi orbitali, a livello globale ci si aspetta attualmente un numero di vittime per anno dell'ordine di 0,01. Il rischio individuale corrispondente è pertanto ancora estremamente basso, se paragonato ai pericoli comunemente affrontati nella vita quotidiana, con una probabilità di subire lesioni personali dell'ordine di 1 su 800 miliardi all'anno. Tuttavia questo rischio è in aumento, a causa della rapida crescita dei lanci ...

Due articoli su Formal Methods in Railways sono stati appena pubblicati in importanti riviste di Informatica dell'ACM e dell'IEEE da autori del laboratorio Formal Methods and Tools (FMT) dell'Istituto di Scienze e Tecnologie dell'Informazione "A. Faedo" (ISTI) del CNR. I metodi formali sono tecniche fondate su basi matematiche per la specifica, lo sviluppo e la verifica (manuale o automatizzata) di sistemi software e hardware, e FMT è un gruppo di ricerca di fama internazionale in questo campo, ...

RisQFLan è uno strumento software open source per la modellazione e analisi quantitativa dei rischi di sicurezza basati su attack-defense trees, modelli formali compatti e formali di possibili attacchi al sistema. RisQFLan consente di costruire modelli arricchiti con vincoli quantitativi espressivi in un linguaggio di dominio specifico che combina caratteristiche distintive da vari formalismi ben noti per la modellazione e analisi dei rischi di sicurezza dalla letteratura. Una di queste ...

Nell'ambito del progetto ECCEHOMO - call 2017 di E-RIHS.it, nodo italiano dell'European Research Infrastructure for Heritage Science (http://www.e-rihs.it/project/ecce-homo-analisi-documentazione-del-dipinto-antonello-messina-della-collezione-alberoni-piacenza/) - la versione autografa di Antonello da Messina del Cristo alla colonna, conservato presso il Collegio Alberoni dell'Opera Pia di Piacenza, è stato oggetto di un programma di analisi scientifiche non invasive. Al progetto ...

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 ...

È 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 ...

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, ...

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 ...

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 ...

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 (

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, ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

"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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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' ...

Sulla prestigiosa rivista 'Accounts of Chemical Research' è stato recentemente pubblicato da ricercatori dell'Istituto di fisica applicata 'Nello Carrara' del Cnr (Ifac-Cnr), insieme a un collega della National Gallery of Art di Washington, un lavoro di rassegna dedicato ad alcune delle più significative applicazioni dell'imaging iperspettrale su opere policrome di grande pregio storico artistico. La tecnologia dell'imaging iperspettrale rappresenta oggi una delle più avanzate frontiere ...

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 ...

I ricercatori del laboratorio Networked Multimedia Information System (NeMIS) dell'Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo" in Pisa hanno sviluppato un modello di ricerca di immagini basato su metodi di deep learning che effettua la ricerca partendo da una breve descrizione testuale dell'immagine desiderata, p.e.: "un gruppo di sciatori in un giorno di sole". Il processo di ricerca è stato implementato tramite una ricerca per similarità in uno spazio di descrittori ...