Il cambiamento climatico in Italia. Istituzioni scientifiche, politica e discorso pubblico (1988-2012)

La tesi di dottorato ivi presentata si pone come obbiettivo la ricostruzione come questo sapere scientifico (la scoperta del cambiamento climatico antropico sostanziata dalla comunità scientifica di 190 paesi) ha influenzato la ricerca, la politica e il discorso pubblico nel nostro paese, l'italia. Il titolo è indicativo quando riassuntivo: Il cambiamento climatico in Italia. Istituzioni scientifiche, politica e discorso pubblico (1988-2012). Esso definisce in maniera puntuale i temi che si tratteranno: una genealogia di fenomeni storici, politici, culturali nati in nuce alla scoperta di questo cambiamento che influenzerà in maniera determinante il modo in cui viviamo, l'ambiente intorno a noi, i modelli di sviluppo, la sicurezza del nostro abitare, la forma delle nostre città. In ogni paese questa complessa scoperta ha avuto impatti differenti, un portato differente sulla ricerca e sullo sviluppo economico. Quello che in queste pagine si tenta di analizzare è come l'Italia ha assimilato il discorso del cambiamento climatico , in continua evoluzione date le sue infinite ramificazioni, e come ha reagito a livello politico e di ricerca.

Semantic coordination through programmable Tuple spaces

Two of the main features of today complex software systems like pervasive computing systems and Internet-based applications are distribution and openness. Distribution revolves around three orthogonal dimensions: (i) distribution of control|systems are characterised by several independent computational entities and devices, each representing an autonomous and proactive locus of control; (ii) spatial distribution|entities and devices are physically distributed and connected in a global (such as the Internet) or local network; and (iii) temporal distribution|interacting system components come and go over time, and are not required to be available for interaction at the same time. Openness deals with the heterogeneity and dynamism of system components: complex computational systems are open to the integration of diverse components, heterogeneous in terms of architecture and technology, and are dynamic since they allow components to be updated, added, or removed while the system is running. The engineering of open and distributed computational systems mandates for the adoption of a software infrastructure whose underlying model and technology could provide the required level of uncoupling among system components. This is the main motivation behind current research trends in the area of coordination middleware to exploit tuple-based coordination models in the engineering of complex software systems, since they intrinsically provide coordinated components with communication uncoupling and further details in the references therein. An additional daunting challenge for tuple-based models comes from knowledge-intensive application scenarios, namely, scenarios where most of the activities are based on knowledge in some form|and where knowledge becomes the prominent means by which systems get coordinated. Handling knowledge in tuple-based systems induces problems in terms of syntax - e.g., two tuples containing the same data may not match due to differences in the tuple structure - and (mostly) of semantics|e.g., two tuples representing the same information may not match based on a dierent syntax adopted. Till now, the problem has been faced by exploiting tuple-based coordination within a middleware for knowledge intensive environments: e.g., experiments with tuple-based coordination within a Semantic Web middleware (surveys analogous approaches). However, they appear to be designed to tackle the design of coordination for specic application contexts like Semantic Web and Semantic Web Services, and they result in a rather involved extension of the tuple space model. The main goal of this thesis was to conceive a more general approach to semantic coordination. In particular, it was developed the model and technology of semantic tuple centres. It is adopted the tuple centre model as main coordination abstraction to manage system interactions. A tuple centre can be seen as a programmable tuple space, i.e. an extension of a Linda tuple space, where the behaviour of the tuple space can be programmed so as to react to interaction events. By encapsulating coordination laws within coordination media, tuple centres promote coordination uncoupling among coordinated components. Then, the tuple centre model was semantically enriched: a main design choice in this work was to try not to completely redesign the existing syntactic tuple space model, but rather provide a smooth extension that { although supporting semantic reasoning { keep the simplicity of tuple and tuple matching as easier as possible. By encapsulating the semantic representation of the domain of discourse within coordination media, semantic tuple centres promote semantic uncoupling among coordinated components. The main contributions of the thesis are: (i) the design of the semantic tuple centre model; (ii) the implementation and evaluation of the model based on an existent coordination infrastructure; (iii) a view of the application scenarios in which semantic tuple centres seem to be suitable as coordination media.

Il dilemma femminista dell'uso politico della violenza in Italia negli anni Settanta e Ottanta: tra pensiero politico e caso storico

Degli anni Settanta si parla, ormai quasi canonicamente, come gli anni della crisi, una crisi che compare quasi simultaneamente fuori e dentro i confini nazionali, e si configura come vera e propria crisi di sistema. Considerando il turning point rappresentato dai Seventies, è diffusa l'interpretazione nel contesto italiano del paradigma politologico secondo il quale è nella mancanza e nelle assenze del sistema politico-istituzionale alle domande di modernizzazione democratica provenienti dalle soggettività che emergono in quella che è stata definita la “stagione dei movimenti” che andrebbero individuate le radici prima della scelta della violenza come strumento di lotta politica e poi del cosiddetto “riflusso”. Questo studio cerca di analizzare le dinamiche e gli sviluppi nella relazione tra movimento femminista e violenza politica in Italia tra anni settanta e anni ottanta. Per comprendere ed analizzare le dinamiche di tale sviluppo è stato necessario prima ricostruire la genealogia del concetto di violenza politica elaborato dalla filosofia politica nel XX secolo e poi confrontarlo con il concetto di violenza proposto dal pensiero femminista nello stesso arco temporale. Allo stesso tempo si è considerato il fenomeno della violenza politicamente motivata agita nel decennio settanta, analizzando le specificità del femminismo stesso, ma anche, la possibilità di individuare lo scarto – politico, ideologico e esistenziale – tra le definizioni date dalla pratica femminista alla categoria di violenza e le peculiarità degli altri movimenti che si muovevano nella scena politica e sociale tra anni settanta e anni ottanta