Scienza dei calcolatori
Synthesis of underspecified composite e-services based on automated reasoning. Ediz. italiana e inglese
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo
Libro
editore: Aracne
anno edizione: 2004
pagine: 16
Total order communications over asynchronous distributed systems: specifications and implementations
Roberto Baldoni, Stefano Cimmino, Carlo Marchetti
Libro
editore: Aracne
anno edizione: 2004
pagine: 52
Data quality improvement in the DaQuinCIS System
Luca De Santis, Diego Milano, Gabriele Palmieri
Libro
editore: Aracne
anno edizione: 2004
pagine: 32
Fault detection and isolation in mechanical systems
Raffaella Mattone, Alessandro De Luca
Libro
editore: Aracne
anno edizione: 2004
pagine: 52
Maintaining group connectivity in dynamic asynchronous distributed systems
Roberto Baldoni, Jean-Michel Hélary, Sara Tucci Piergiovanni
Libro
editore: Aracne
anno edizione: 2004
pagine: 24
Foreign market entry strategies under asymmetric information
Alberto Nastasi, Pierfrancesco Reverberi
Libro
editore: Aracne
anno edizione: 2004
pagine: 40
Esercizi di ricerca operativa
Silvano Martello, Daniele Vigo
Libro: Libro in brossura
editore: Esculapio
anno edizione: 2003
pagine: 190
È questa la quarta edizione della raccolta di esercizi svolti su vari argomenti della ricerca operativa. I primi due capitoli riguardano la programmazione lineare intera ed i metodi di rilassamento: vengono presentati diversi problemi di produzione e decisione, vengono definiti i relativi modelli matematici e ne viene illustrata la soluzione mediante algoritmi (simplesso prima e duale, metodo dei piani di taglio, tecnica branch-and-bound, programmazione dinamica) e/o mediante interpretazione grafica. Il quinto capitolo comprende problemi di teoria dei grafi (alberi minimi, cammini minimi, circuiti hamiltoniani), di pianificazione delle attività (metodo CPM) e di flusso massimo. L'ultimo capitolo tratta modelli di simulazione numerica ad eventi discreti per la descrizione di sistemi complessi nei quali svolge ruolo primario la gestione nel tempo di code e di entità tra loro interagenti.
Calculemus 2003. 11th symposium on the integration of symbolic computation and mechanized reasoning (Rome, septembre 2003)
Thérèse Hardin, Renaud Rioboo
Libro: Libro in brossura
editore: Aracne
anno edizione: 2003
pagine: 148
Architettura dell'informazione per il World Wide Web
Louis Rosenfeld, Peter Morville
Libro
editore: Tecniche Nuove
anno edizione: 2002
pagine: XVIII-462
Questa seconda edizione dell'"Architettura dell'informazione per il World Wide Web" mostra come costruire siti organizzati in modo corrente e funzionale mescolando con efficacia estetica e tecnica.
Simulazioni. La realtà rifatta nel computer
Domenico Parisi
Libro
editore: Il Mulino
anno edizione: 2001
pagine: 294
Lo scienziato si propone di conoscere e capire la realtà, obiettivo che cerca di raggiungere per vie diverse. Il computer mette a sua disposizione un nuovo strumento. La realtà si può conoscere e capire non solo nei modi da tempo famigliari alla scienza (osservazione sistematica, esperimento di laboratorio, elaborazione di teorie) ma anche ricreandola dentro il computer, cioè simulandola. Le simulazioni vanno oggi diffondendosi rapidamente in tutti i campi della ricerca scientifica e tecnologica, ma sono strumenti ancora nuovi e assai diversi da quelli tradizionali. Questo volume ne chiarisce la natura e ne mostra le potenzialità.
Reti neurali artificiali e sistemi sociali complessi. Volume Vol. 2
Libro
editore: Franco Angeli
anno edizione: 1999
pagine: 560
Questa monografia ha diversi scopi: presentare una Teoria delle RNA che unifichi l'apparente varietà di questo campo e ne consenta anche una comprensione più organizzata; fornire una informazione parziale ma corretta su alcuni Modelli di RNA; fornire i risultati di alcune Applicazioni di RNA a problemi sociali piuttosto diversi tra di loro, per permettere una discussione e un confronto. Lo studio si articola in tre parti: Teoria, Modelli e Applicazioni. Le prime due parti sono riportate nel primo volume, la terza nel secondo. Ciò allo scopo di offrire al lettore una visione più completa del mondo delle Reti Neurali Artificiali (RNA).
Calcolo parallelo, automi cellulari e modelli per sistemi complessi
Giandomenico Spezzano, Domenico Talia
Libro
editore: Franco Angeli
anno edizione: 1999
pagine: 304
Questo libro ha l'obiettivo di introdurre, discutere e mostrare l'utilizzo di sistemi ed ambienti di calcolo parallelo e di modelli astratti paralleli, come gli automi cellulari, le reti neurali, e gli algoritmi genetici che stanno alla base di quella che oggi è detta scienza della complessità. Nella prima parte del testo sono introdotti i sistemi ed i linguaggi per il calcolo parallelo, quindi sono descritti i modelli astratti prima elencati e per ognuno di essi sono discusse le principali caratteristiche e funzioni. Nella seconda parte del volume è presentato un sistema che basandosi sull'uso integrato del calcolo parallelo e di alcuni di questi modelli permette di simulare e modellare, su macchine parallele, fenomeni complessi.

