Scienza dei calcolatori

Rendere interessante un linguaggio di programmazione o progettazione è un compito arduo

II Semantic Web è una delle idee più innovative nel campo dell'ICT di questo decennio, in quanto consente a comunità sempre più vaste di scambiarsi dati e di elaborarli sia in automatico che manualmente. In particolare, il Semantic Web abilita: la pubblicazione di dati adottando un modello che non richiede più di scrivere programmi per provare ad estrarli da qualsiasi elemento multimediale della pagina; la scrittura (o generazione) di descrizioni che spiegano (a una macchina) le relazioni tra differenti insiemi di dati. Il libro è suddiviso in parti, e ciascuna può essere letta in modo autonomo. Nella prefazione verranno indicati dagli autori percorsi di lettura trasversali per specifici intenti o tipi di lettore. Ciascun capitolo sarà poi corredato da una serie di esercizi e di letture di approfondimento, nonché da interviste a personalità autorevoli del Web e del Semantic Web.

Second Life è un meta-mondo tridimensionale multi-utente online inventato nel 2003 dalla società americana Linden Lab. Second Life viene comunemente utilizzato dai propri utenti per proporre agli altri partecipanti conferenze, lezioni, proiezioni di film, luoghi di divertimento, file musicali e video, opere d'arte, messaggi politici, ecc. Anche le scuole e le università stanno provando a vivere l'avventura del metaverso parallelo di Second Life. Ma per utilizzare Second Life bisogna conoscerlo. Lo scopo di "Second Life: la Grande Guida" è quello di spiegare passo dopo passo e in modo "visuale" (la guida è corredata da tantissime immagini) come muoversi in questo mondo tridimensionale e come interagire con esso.

L'incidenza delle nuove tecnologie sui nostri modi di vivere è ormai nota, tanto a livello di esperienza quotidiana, quanto co

Il cyborg abita l'immaginario popolare ma si muove anche nei regni più concreti della produzione materiale e immateriale: illuminando i rapporti fra reale e immaginario, esprime bene la nuova epoca in cui quest'ultimo diviene forza direttamente produttiva. Nato sulle pagine delle riviste pulp di fantascienza negli anni Venti e Trenta del Novecento, eroe dell'epopea cyberpunk, nella sua storia breve ma densa il cyborg ha di volta in volta seguito e anticipato il rapporto e il conflitto fra uomo e macchina. Oggi il cyborg si ritrova anche nella disseminazione dei corpi multipli, nelle reti telematiche, nelle derive dell'identità individuale, nelle nuove aggregazioni collettive mediate dal software: è un ponte fra virtualità e concretezza, fra possibilità e necessità. E può quindi diventare, come ha proposto Donna Haraway, un terreno di conflitto sociale, una delle nuove figure in cui si incarna la prospettiva della biopolitica.

Otto milioni di utenti, architetture fantastiche e innovative, avatar da urlo, una nuova moneta e una nuova economia, una socialità estremamente coinvolgente: sono questi alcuni degli elementi di novità del fenomeno Second Life, la nuova piattaforma immersiva che coinvolge solo in Italia circa mezzo milioni di internauti. Marco Cadioli è net reporter in Second Life come Marco Manray dal 2005. Uno tra i pochi che è riuscito a costruirsi una professionalità e ad avere un ritorno economico dalle sue curiosità in Rete. È un fotografo che sempre più viene coinvolto dalle grandi aziende e dal giornalismo internazionale per documentare i reportage e i servizi di moda che hanno luogo su Second Life. Ma Marco Cadioli non è solo questo. È anche un giornalista che conosce i veri protagonisti di questa esperienza: dai progettisti grafici della Linden, l'azienda che ha inventato e progettato questa piattaforma immersiva, ai più importanti artisti che hanno scelto Second Life come luogo espositivo, ai musicisti. Nel libro descrive gli incontri, le persone, i luoghi, la socialità di questo mondo virtuale.

Il testo, adottando un adeguato compromesso fra livello di approfondimento e rigore formale, fornisce una visione omogenea e sintetica delle reti logiche, classificate ulteriormente in reti combinatorie e reti sequenziali, dai fondamenti alla progettazione, includendo anche i modelli teorici di supporto (algebra di Boole, automi). La prima parte tratta le reti combinatorie; la seconda parte riguarda l'analisi e il progetto delle reti sequenziali, mentre nell'ultimo capitolo sono esaminate le reti booleane a soglia. I capitoli sono corredati da esercizi e quesiti e dalle relative soluzioni. Il volume si conclude con tre appendici - sul comportamento asintotico delle funzioni, sulla rappresentazione numerica e sui linguaggi regolari - fondamentali per approfondire la materia. Sul sito www.carocci.it si trovano poi materiali didattici di ausilio per il docente ed esercizi di riepilogo per gli studenti, utili al ripasso e all'autovalutazione del livello di apprendimento.

Il settore dell'analisi dei segnali sta attraversando una fase di sviluppo senza precedenti sia per quanto concerne gli aspett

Adobe Acrobat 8 è lo standard per la distribuzione (via e-mail, sul Web, su intranet e sui vari media) di documenti in formato PDF e consente di: trasformare in formato digitale qualsiasi documento, indipendentemente dal programma utilizzato per crearlo (da Word a Indesign, a AutoCAD), che può così essere trasmesso e consultato su qualsiasi altro dispositivo digitale (dal pc ai palmari) aggiungere elementi interattivi, come collegamenti ipertestuali, clip audio, oggetti 3D e firme digitali di organizzare e condividere con chiunque il processo di revisione elettronica di un documento, tramite l'utilizzo dei commenti.

L'originalità di questo volume dedicato al tema delle reti informatiche risiede nel fatto che la maggior parte dei contributi proviene da studiosi che operano nell'ambito delle scienze umane: giuristi, storici, antropologi, archivisti, politologi, gestori di beni culturali, sociologi. Esso si propone così di affrontare un nodo cruciale della società contemporanea a partire da una "comprensione d'uso" delle tecnologie.

Questo libro presenta un approccio innovativo per lo studio delle strategie di costruzione di programmi da parte di studenti d

Il rapporto tra il corpo e la realtà è mediato ogni giorno di più da "appendici" tecnologiche

Capire la mente umana è una delle sfide più impegnative e affascinanti di sempre, una sfida che corre però il rischio di scont

Il volume presenta alcuni problemi di ricerca operativa rilevanti nelle applicazioni, quali, per esempio, quelli di trasporto, di produzione industriale, di miscelazione, di cammini minimi, di flusso su reti, di assegnamento ottimale di lavori etc. Per ciascuno di tali problemi si propone il modello matematico di ottimizzazione lineare e si illustrano le principali metodologie risolutive. Fondamentale nel testo risulta l'esposizione rigorosa dell'algoritmo del simplesso nelle sue varianti più significative. Il testo è corredato da esempi concreti con relative risoluzioni numeriche. Il volume può essere usato in un corso di "ricerca operativa" e presuppone la conoscenza di un corso di base di algebra lineare.

L'opera In questo volume vengono trattate l'Ottimizzazione Combinatoria e la Programmazione Non Lineare nel continuo

Il nome di Nilsson è legato ad una serie di testi di riferimento per studiosi di intelligenza artificiale

Uno strumento tecnologico come il computer può farci cambiare modo di pensare, modo di comportarci? Può motivarci a smettere d

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.