Stato tossicologico di esemplari di foca monaca (Monachus monachus, Hermann 1779) della Grecia, specie "critically endangered" del Mar Mediterraneo.

La foca monaca (Monachus monachus, Hermann 1779) è il pinnipede più a rischio d’estinzione del mondo e pochi sono gli studi che hanno indagato l’impatto antropico dato dagli inquinanti chimici su questa specie. Questo studio si propone di analizzare la pressione che elementi in traccia, organoclorurati (OC) e, per la prima volta, idrocarburi policiclici aromatici (IPA) hanno sulla specie, studiando una della popolazioni più numerose presenti nel Mar Mediterraneo, ossia quella greca. Sono stati utilizzati campioni di 59 esemplari deceduti provenienti da diverse colonie residenti in Grecia, di ambedue i sessi, appartenenti a diverse classi d’età e riferibili ad un arco temporali di quasi 20 anni (1994-2013). Per i contaminanti organici (PCB, DDT ed IPA), caratterizzati da un comportamento lipofilico, sono stati utilizzati esclusivamente campioni di tessuto adiposo, mentre per l’analisi di elementi in traccia (essenziali: Fe, Co, Cu, Se, Zn, Mg; tossici: Cr, Ni, As, Cd, Pb, Hg) sono state impiegate diverse matrici, quali fegato, rene, muscolo, adipe, milza, polmone, cuore e pelo. I risultati evidenziano un’importante contaminazione dai OC (125.896,69±289.934,27 ng/g p.s.), in cui DDT e PCB sono presenti rispettivamente al 48,5% e 51,5%, mentre, tra i metalli considerati tossici (As, Cd, Pb, Hg, Cr, Ni), As e Hg sono gli elementi che destano maggiori preoccupazioni per la salute di Monachus monachus, presenti rispettivamente al 36,44% e 12,83%. IPA ed altri elementi in traccia analizzati invece non raggiungono di per sé concentrazioni di rischio per la specie, ma non si escludono possibili effetti sinergici tra i vari inquinanti. L’elaborazione del fingerprint tossicologico ha evidenziato un’eterogeneità nella pressione data dai contaminanti in studio, manifestando che alcune colonie di foca monaca in Grecia sono maggiormente soggette all’azione negativa di organoclorurati, idrocarburi policiclici aromatici o elementi in traccia tossici a seconda del caso.

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.