Bøger i Collana di Informatica serien

Questo libro costituisce un¿eccellente introduzione ai fondamenti e ai metodi della progettazione e della sperimentazione di robot autonomi mobili.La trattazione presenta in modo chiaro e rigoroso i temi centrali di questo complesso campo di ricerca: l¿apprendimento e l¿addestramento del robot; la navigazione autonoma in ambienti non modificati, soggetti a rumore e a eventi non prevedibili; l¿analisi del comportamento del robot; il riconoscimento di novità percettive; la simulazione di robot reali.Tredici dettagliati casi di studio mostrano come progettare e programmare robot reali in grado di eseguire i compiti assegnati.Il libro rappresenta un riferimento indispensabile per gli studenti dei corsi universitari e di specializzazione nell¿ambito della robotica, dell¿intelligenza artificiale, delle scienze cognitive e dell¿ingegneria dei robot, ma è accessibile anche a lettori con una preparazione scientifica non specifica.

In passato, l¿arte della ¿scrittura nascostä (meglio nota come crittografia) era per lo più riferita ad un insieme di metodi per nascondere il contenuto di un dato messaggio agli occhi di lettori non autorizzati. Oggi, l¿evoluzione dei sistemi digitali ha generato nuovi scenari di comunicazione, richiedendo ai moderni crittografi di progettare crittosistemi che soddisfino requisiti di sicurezza complessi, ben oltre il requisito base di confidenzialità ottenibile attraverso la ¿scrittura nascostä. Tuttavia, l¿analisi di sicurezza di questi schemi crittografici (fino ai primi anni ¿80) era soprattutto guidata dall¿intuito e dall¿esperienza. Nuovi schemi venivano ideati e, dopo qualche tempo, inevitabilmente, un nuovo attacco alla sicurezza veniva scoperto. Il paradigma della ¿sicurezza dimostrabile¿ ha trasformato la crittografia da arte a scienza, introducendo un paradigma for­male per l¿analisi di sicurezza dei crittosistemi: in questo modo è possibile fornire una dimostrazione matematica che un dato sistema è sicuro rispetto ad una classe generale di attaccanti. Tanto più vasta e vicina alla realtà è que­sta classe, tanto più forti sono le garanzie offerte dal crittosistema analizzato. Il libro ha lo scopo di guidare lo studente (oppure il giovane ricercatore) nel mondo crittografico, in modo che acquisisca le metodologie di base, prepa­randosi alla ricerca nell¿area.