Los proyectos de vivienda de promoción oficial para la población civil en la ciudad de Las Palmas de Gran Canaria : 1939-1954

Programa de doctorado: Restauración y rehabilitación arquitectónica

Intelligenza artificiale: test di Turing e alcune questioni filosofiche

Presentazione e discussione critica del test di Turing e degli aspetti filosofici correlati all'intelligenza artificiale.

Algoritmi e ricorsività: macchine di Turing e algoritmi di Markov

In questa questa tesi vengono presentate alcune delle più importanti definizioni di funzione computabile mediante un algoritmo: una prima descrizione è quella data tramite le funzioni ricorsive, un secondo approccio è dato in termini di macchine di Turing, infine, vengono considerati gli algoritmi di Markov. Si dimostra che tutte queste definizioni sono equivalenti. Completa la tesi un breve cenno al lambda-K-calcolo.

The Accident and the Beautiful: On Alan Shapiro's "The Accident"

http://muse.jhu.edu/journals/literature_and_medicine/v030/30.1.schweizer.pdf

From Unsuitable Ally to Vital Parter: The Case of US-Korean Relations and The Vietnam War, 1954-1966

This is the history of the decade prior to the entrance of Korean troops into the Vietnam War, roughly covering the years 1953-1965.