Scienza dei calcolatori

L'opera In questo volume vengono trattate l'Ottimizzazione Combinatoria e la Programmazione Non Lineare nel continuo. Si ritiene, infatti, che questi due campi dell'Ottimizzazione siano, oltre alla Programmazione Lineare nel continuo già trattata in un precedente libro (R. Tadei, F. Della Croce, "Elementi di Ricerca Operativa", Progetto Leonardo, Esculapio, Bologna, 2005), quelli di maggiore interesse a livello internazionale ed i più trattati nei corsi di laurea, di laurea specialistica e di dottorato in Italia. L'ottimizzazione combinatoria individua teorie, modelli ed algoritmi relativi a problemi dove tutte o parte delle variabili possono assumere solo valori discreti. Le variabili di tipo discreto sono usate per modellare situazioni di indivisibilità e, in particolare, le variabili 0/1 per rappresentare decisioni di tipo sì/no, ad esempio con riferimento all'utilizzo o meno di un arco di un grafo, all'effettuazione di un investimento od alla lavorazione di un prodotto. Problemi di questo tipo sono i più diffusi nella realtà, ad esempio per la predisposizione degli orari dei treni, per l'organizzazione della produzione industriale, per la pianificazione e la gestione delle reti, siano esse di tipo telematico, informatico, viario od altro ancora. La programmazione non lineare nel continuo interessa un ampio campo di problemi reali, dove l'obiettivo da perseguire e/o i vincoli del problema si presentano in forma non lineare, ad esempio in problemi di controllo ottimo, oppure nella ricerca di condizioni di equilibrio per reti di telecomunicazioni od ancora in alcuni problemi di localizzazione o di gestione di risorse.

Questo volume affronta il problema dell'utilizzo di elaboratori digitali per il controllo in retroazione di sistemi dinamici. Il libro nasce dalla constatazione che, nonostante il controllo digitale sia largamente utilizzato nelle applicazioni pratiche ed abbia raggiunto ormai una caratterizzazione metodologica propria, è spesso considerato nei corsi universitari soltanto un argomento "a margine" della teoria classica del controllo a tempo continuo.

La codifica dei testi è una disciplina comprendente una serie di conoscenze culturali e tecniche che consentono di memorizzare un documento su un supporto digitale per conservarlo o utilizzarlo per elaborazioni automatiche. Molti i sistemi di codifica, più o meno standardizzati, sinora elaborati a livello internazionale che solo recentemente hanno trovato terreno di applicazione in ambito umanistico italiano. Questo volume è un tentativo di formalizzare la disciplina nel nostro paese, evidenziando l'adesione agli standard internazionali più diffusi. Elena Pierazzo è docente di Codifica dei Testi presso il Corso di Laurea di Informatica Umanistica dell'Università di Pisa.

La teoria delle reti neurali, applicata al linguaggio pittorico, fa emergere dalla nuda fisicità di una tela percorsi di senso inizialmente invisibili anche per l'occhio più affinato e attento. Questi percorsi semantici si sviluppano progressivamente con la stessa sequenzialità narrativa di un film la cui tecnica di montaggio è regolata dalla peculiare capacità auto-organizzativa del modello neurale e non dalla personale abilità espositiva dell'autore del testo. Lo scopo specifico del testo è quello di catturare il significato intrinseco di un dipinto di R. Magritte che dell'enigma del senso ha fatto, com'è noto, la sua tematica privilegiata. Il dipinto analizzato si intitola Meditazione (1937).