Informatica

News

Blockchain II: garantire la sicurezza

di  Maurizio Giaffredo

In un recente articolo abbiamo presentato alcune caratteristiche di base di una blockchain. In questo proseguiamo idealmente il discorso e ci concentriamo su come si possa garantire la sicurezza delle blockchain, riferendoci in particolare a quella di Bitcoin ma premettendo che le opzioni possibili sono diverse. Crittografia a chiave pubblica/privata La sicurezza delle operazioni elencate […]

Leggi tutto

News

Blockchain I: la tecnologia dietro alle criptovalute

di  Maurizio Giaffredo

Sono oramai diversi anni che si parla di criptovalute: il Bitcoin, la cui invenzione ha dato una grande spinta a tutto il settore, risale al 2009. Al cuore del loro funzionamento c’è spesso una blockchain, un’architettura che può essere utilizzata in diversi contesti. In questo primo articolo ne presentiamo alcune caratteristiche. Cos’è una blockchain? L’esigenza […]

Leggi tutto

News

Alcune sfide nell’era dei dati

di  Maurizio Giaffredo

Si dice che ogni giorno vengano prodotti circa 2.5 quintilioni (un numero con 17 cifre!) di dati e che questo valore sia in costante crescita. Al di là del numero preciso, è indubitabile che il fenomeno sia gigantesco e non per niente si parla dell’era dei big data. Se da un lato la disponibilità di […]

Leggi tutto

News

Le frontiere della computazione IV – DNA computing e bioinformatica

di  Emanuele Bottazzi

Cara lettrice, caro lettore, con questo articolo concludiamo la nostra carrellata sulle tecniche di computazione alternative alle macchine di Turing. A febbraio abbiamo parlato del quantum computing e a marzo del machine learning. In questo articolo ci occuperemo di DNA computing e bioinformatica, nate dall’incontro tra informatica e biologia. Calcoli con il DNA Il DNA è […]

Leggi tutto

News

Le frontiere della computazione III – Il machine learning

di  Emanuele Bottazzi

Cara lettrice, caro lettore, continuiamo a parlare di tecniche di computazione alternative alle macchine di Turing. A febbraio abbiamo parlato del quantum computing, che richiede un cambio di paradigma dalla fisica classica a quella quantistica. In questo articolo ci occuperemo di una tecnica che si può implementare sui computer classici, ma che richiede comunque di […]

Leggi tutto

News

Le frontiere della computazione II – I computer quantistici

di  Emanuele Bottazzi

Cara lettrice, caro lettore, nell’articolo di gennaio abbiamo parlato di uno dei limiti delle macchine di Turing: attualmente, ci sono problemi la cui risoluzione richiede un numero di operazioni che cresce in modo più che polinomiale rispetto alla lunghezza dell’input. Alcuni di questi problemi, però, si possono risolvere rapidamente utilizzando tecniche di computazione alternative alle […]

Leggi tutto

News

Le frontiere della computazione I | I limiti delle macchine di Turing

di  Emanuele Bottazzi

Cara lettrice, caro lettore, i computer che utilizziamo quotidianamente sono basati su dei modelli classici, per esempio le macchine di Turing delle quali abbiamo parlato in questo articolo di Rivista. Le macchine di Turing sono semplici a sufficienza da poter essere realizzate nei moderni computer. Inoltre offrono una potenza di calcolo notevole, che ci permette […]

Leggi tutto

Eventi Martedì 16 Novembre ore 16:00

Cartine a (quattro) colori con JavaScript

Informatica Live

con  Maurizio Giaffredo

Eventi Martedì 14 Dicembre ore 16:00

Calcolo numerico con Octave

Informatica Live

con  Valentina Falucca

News

Il linguaggio di programmazione C#

Speciale Coding

di  Emanuele Bottazzi

Cara lettrice, caro lettore, sapevi che, secondo la Online Historical Encyclopaedia of Programming Languages, dal XVIII secolo a oggi sono stati sviluppati quasi novemila linguaggi di programmazione? In realtà oggi se ne usano molti di meno: per esempio, i progetti ospitati sulla piattaforma GitHub, usata da più di quaranta milioni di sviluppatori, sono realizzati con […]

Leggi tutto