Le figure genitoriali nella famiglia ipermoderna e le loro conseguenze sul discorso di genere

In questo studio abbiamo voluto tentare un approccio multifunzionale per l’analisi della società moderna, più precisamente per analizzare la figura della donna e dell’uomo in questa epoca, figure che non potrebbero essere analizzate senza considerare le tematiche genitoriali e familiari che sono alla base della società stessa, italiana e non solo. Abbiamo voluto indagare sia la figura materna che quella paterna, prendendo spunto dalle opere di Massimo Recalcati e di John Bowlby che tanto hanno meditato per quanto riguarda il rapporto della madre e del padre con il proprio figlio. Ci è sembrato necessario partire dalla famiglia e dalle figure genitoriali poiché queste costituiscono le fondamenta, sin dai tempi antichi, di ogni società, e considerare come sono variate tali figure nell’epoca ipermoderna costituisce un punto essenziale per delineare alcuni punti fondamentali di quella che Zygmunt Baumann ha definito società liquida. La scienza medica ha insegnato che alla base della «cultura» (in senso antropologico), di ogni cultura, sta il tenace legame del figlio con la propria madre, in un rapporto di dipendenza biologicamente determinato dalla prolungata infanzia dell’essere umano, condizionandone l’intera esistenza e, in qualche modo, sottraendogli sempre il raggiungimento della piena maturità. Infatti bisogna considerare che l’intera esistenza di un uomo, di qualsiasi essere umano, è influenzata da ciò che egli vede e sente nei primi anni di vita (nei primi 3 anni di vita, secondo la scienza), pertanto il rapporto con la madre, il primo rapporto con la figura materna, è basilare per la vita futura dell’individuo. Una volta terminato il ruolo materno, ossia quando il ragazzo è pronto per entrare nella società, è il padre (o meglio, la figura paterna) ad accompagnarlo nel suo raggiungimento della virile maturità e a prenderlo per mano durante il periodo, cosiddetto, della castrazione (psicologica), ossia della piena maturità e del distacco dal “seno materno”. Il femminismo con i suoi movimenti degli anni ’70 ha portato ad una rottura, ad una vera e propria rivoluzione nel rapporto tra le parti. La donna ha acquisito una sempre maggiore consapevolezza portando non solo ad un nuovo e rinnovato tipo di femminilità, ma anche, dirimpetto, ad una differente tipologia di mascolinità, probabilmente meno consapevole e più debole, alimentando una sorta di sentimento ginecofobico che acuisce man mano che si va avanti, nonché un’assenza di dialogo tra i due universi, quello femminile e quello maschile, con una paura di fondo da parte di quest’ultimo.

La rima: dalla metrica alla pedagogia con un'indagine su Gianni Rodari

Questo lavoro si presenta come un’indagine pluridisciplinare fra metrica,linguistica,letteratura e didattica, in cui la rima n’è l’oggetto e il filo conduttore. Attraverso questa ricerca si tenta di mostrare la capacità della rima di costituire un ponte fra espressione e contenuto, di allargare così il bagaglio non solo linguistico del fruitore, ma anche quello conoscitivo. Partendo dall’ambito linguistico e metrico, si analizza in prima istanza, l’apporto pratico che la rima ha avuto nell’evoluzione delle lingue volgari indoeuropee, per poi diventare il mezzo più semplice e istintivo per strutturare il verso poetico. Si passa così da un contesto folklorico ad uno colto, percorrendo tutti i secoli della nostra storia letteraria. Nella seconda parte la materia metrica cede il posto a quella didattico – pedagogica, e il passaggio è facilitato dalla poesia novecentesca che rimette in discussione il ruolo della rima, e la vede come il mezzo perfetto d’associazione fra parole, non solo di suono, ma anche di senso. A questo risponde la teoria del “binomio fantastico” di cui si avvale Gianni Rodari per creare le sue filastrocche, ed educare divertendo i suoi alunni. La rima con la sua omofonia finale, col suo accostamento casuale, concentra l’attenzione del bambino su di se e lo fa entrare a contatto col mondo delle parole, con la potenza della lingua.

Indagini in Deep Inference

La tesi è uno studio di alcuni aspetti della nuova metodologia “deep inference”, abbinato ad una rivisitazione dei concetti classici di proof theory, con l'aggiunta di alcuni risultati originali orientati ad una maggior comprensione dell'argomento, nonché alle applicazioni pratiche. Nel primo capitolo vengono introdotti, seguendo un approccio di stampo formalista (con alcuni spunti personali), i concetti base della teoria della dimostrazione strutturale – cioè quella che usa strumenti combinatoriali (o “finitistici”) per studiare le proprietà delle dimostrazioni. Il secondo capitolo focalizza l'attenzione sulla logica classica proposizionale, prima introducendo il calcolo dei sequenti e dimostrando il Gentzen Hauptsatz, per passare poi al calcolo delle strutture (sistema SKS), dimostrando anche per esso un teorema di eliminazione del taglio, appositamente adattato dall'autore. Infine si discute e dimostra la proprietà di località per il sistema SKS. Un percorso analogo viene tracciato dal terzo ed ultimo capitolo, per quanto riguarda la logica lineare. Viene definito e motivato il calcolo dei sequenti lineari, e si discute del suo corrispettivo nel calcolo delle strutture. L'attenzione qui è rivolta maggiormente al problema di definire operatori non-commutativi, che mettono i sistemi in forte relazione con le algebre di processo.

DTCU: Alberi Decisionali per la Classificazione di Dati Incerti

Oggi piu' che mai e' fondamentale essere in grado di estrarre informazioni rilevanti e conoscenza dal grande numero di dati che ci possono arrivare da svariati contesti, come database collegati a satelliti e sensori automatici, repository generati dagli utenti e data warehouse di grandi compagnie. Una delle sfide attuali riguarda lo sviluppo di tecniche di data mining per la gestione dell’incertezza. L’obiettivo di questa tesi e' di estendere le attuali tecniche di gestione dell’incertezza, in particolare riguardanti la classificazione tramite alberi decisionali, in maniera tale da poter gestire incertezza anche sull’attributo di classe.

Una realizzazione distribuita di test neuropsicologici

Questa tesi fornisce una realizzazione di alcuni test neuropsicologici, scelti in collaborazione di un neuropsicologo, che cercano di sostituire foglio e penna con touch screen e dita. L'obiettivo è quello di ricreare il test senza aggiungere agenti esterni derivanti dalla nuova interfaccia, per far sì che la fruizione del test sia buona almeno quanto quella del corrispettivo non digitale. Il risultato finale dovrebbe apportare dei vantaggi sostanziali al processo di somministrazione di questi test.

Rassegna dei framework per lo sviluppo di applicazioni mobili

Lo stato attuale del mercato continua a dimostrare come l'interesse del pubblico verso i dispositivi mobili sia in costante crescita; se fino a pochi anni fa il termine smartphone era ai piu' privo di significato, ora e' abbastanza comune per giovani e adulti essere concentrati su piccoli dispositivi dove si possono contattare i clienti via e-mail, verificare lo stato di avanzamento dei processi aziendali, consultare il web e cosi' via. L'obiettivo di questa tesi e' introdurre l'utilizzo di diverse tipologie di framework, prendendo come riferimento i sistemi operativi per i dispositivi mobili e quello di presentare soluzioni (attraverso i framework) per lo sviluppo di applicazioni mobili su diverse piattaforme software.

Una semantica distribuita per il Multi-CCS utilizzando reti di Petri

Questa tesi descrive e approfondisce l'algebra di processo Multi-CCS, le fornisce una semantica basata sulle reti di Petri non limitate - a correzione e miglioramento della precedente - e una dimostrazione dettagliata della sua correttezza, ovvero della bisimilitudine tra la marcatura ottenuta dalla uova semantica e da un generico processo Multi-CCS e lo stesso processo nella semantica di default definita sugli LTS

Ottimalità dell'ottimalità - Complessità della riduzione su grafi di condivisione

Trent’anni or sono il concetto di ottimalità venne formulato in senso teorico da Lévy, ma solo un decennio dopo Lamping riesce a darne elegante implementazione algoritmica. Realizza un sistema di riduzione su grafi che si scoprirà poi avere interessanti analogie con la logica lineare presentata nello stesso periodo da Girard. Ma l’ottimalità è davvero ottimale? In altre parole, l’implementazione ottimale del λ calcolo realizzata attraverso i grafi di condivisione, è davvero la migliore strategia di riduzione, in termini di complessità? Dopo anni di infondati dubbi e di immeritato oblìo, alla conferenza LICS del 2007, Baillot, Coppola e Dal Lago, danno una prima risposta positiva, seppur parziale. Considerano infatti il caso particolare delle logiche affini elementare e leggera, che possiedono interessanti proprietà a livello di complessità intrinseca e semplificano l’arduo problema. La prima parte di questa tesi presenta, in sintesi, la teoria dell’ottimalità e la sua implementazione condivisa. La seconda parte affronta il tema della sua complessità, a cominciare da una panoramica dei più importanti risultati ad essa legati. La successiva introduzione alle logiche affini, e alle relative caratteristiche, costituisce la necessaria premessa ai due capitoli successivi, che presentano una dimostrazione alternativa ed originale degli ultimi risultati basati appunto su EAL e LAL. Nel primo dei due capitoli viene definito un sistema intermedio fra le reti di prova delle logiche e la riduzione dei grafi, nel secondo sono dimostrate correttezza ed ottimalità dell’implementazione condivisa per mezzo di una simulazione. Lungo la trattazione sono offerti alcuni spunti di riflessione sulla dinamica interna della β riduzione riduzione e sui suoi legami con le reti di prova della logica lineare.

Studio e sviluppo di un'applicazione mobile per iOS nell'ambito della BI: un task manager per SAP Business Planning and Consolidation

La tesi riguarda lo sviluppo di un'applicazione che estende la possibilità di effettuare i caricamenti dei package di SAP BPC ai dispositivi mobile, fino ad ora questo era possibile solo attraverso l'interfaccia di Microsoft Excel.