At last Etta james: Il canto come autobiografia

Questa tesi è un tentativo di analizzare il percorso artistico di Etta James, prendendo in considerazione le varie influenze che hanno contribuito a formare la sua personalità artistica a livello canoro ed interpretativo. Si parte da uno spaccato sull’importanza del gospel come genere propedeutico ad un’interpretazione efficace per l’artista afroamericano. Successivamente si passa all’immagine che Etta James si costruisce per sé e come questa influenza la sua vita, quali sono le canzoni che non le paiono in linea con la sua immagine e come mentre tenta di districarsi attraverso diversi altri generi, come blues, rock, funk. Poi viene analizzata la figura della madre biologica di James e come questa venga collegata indissolubilmente alla figura di Billie Holiday, e come trovare la maturità di affrontare quest’ultima farà in modo che anche il rapporto con la figura materna cambi. Viene analizzato uno dei più grandi successi della cantante, “At Last”, di cui lei è interprete ma non autrice, ma attraverso una grande abilità stilistica riesce a formare quello che sarà uno standard per gli artisti contemporanei. Ed infine si tirano le somme guardando al retaggio artistico che ha lasciato dietro di sé l’artista.

Il teorema di Cook-Levin e i SAT-solver

In questa tesi è trattato il tema della soddisfacibilità booleana o proposizionale, detta anche SAT, ovvero il problema di determinare se una formula booleana è soddisfacibile o meno. Soddisfacibile significa che è possibile assegnare le variabili in modo che la formula assuma il valore di verità vero; viceversa si dice insoddisfacibile se tale assegnamento non esiste e se quindi la formula esprime una funzione identicamente falsa. A tal fine si introducono degli strumenti preliminari che permetteranno di affrontare più approfonditamente la questione, partendo dalla definizione basilare di macchina di Turing, affrontando poi le classi di complessità e la riduzione, la nozione di NP-completezza e si dimostra poi che SAT è un problema NP-completo. Infine è fornita una definizione generale di SAT-solver e si discutono due dei principali algoritmi utilizzati a tale scopo.