973 resultados para Logica linguaggio identità descrizioni
Resumo:
La tesi indaga il significato del concetto di “preesistenze ambientali” nel pensiero teorico dell’architetto Ernesto Nathan Rogers. Il tema è scelto come punto di vista privilegiato per indagare il contributo di Rogers al dibattito sull’eredità del Movimento Moderno in un momento, il secondo dopoguerra, in cui si intensifica la necessità di soffermare l’attenzione delle riflessioni teoriche sulle relazioni tra ambiente e progetto. Il problema fu inteso come la ricerca di un linguaggio adeguato all’era macchinista e di un ordine formale per lo sviluppo urbano recente da costruire in funzione del suo rapporto con la città consolidata. Esso fu sviluppato, all’interno dell’opera teorica rogersiana, come riflessione sulla dialettica contrapposizione tra intuizione e trasmissione del sapere, contingenza e universalità. La tesi mostra le ricche connessioni culturali tramite cui tale dialettica è capace di animare un discorso unitario che va dall’insegnamento del Movimento Moderno alle ricerche tipologiche e urbane della cultura italiana degli anni Sessanta. Riportando il concetto di preesistenze ambientali alla sua accezione originale, da un lato attraverso la ricostruzione delle relazioni intellettuali instaurate da Rogers con il Movimento Moderno e i CIAM, dall’altro mediante l’approfondimento del progetto editoriale costruito durante la direzione della rivista “Casabella continuità”, la tesi intende conferire alla nozione il valore di un contributo importante alla teoria della progettazione architettonica urbana. Il concetto di preesistenze ambientali diventa così la chiave analitica per indagare, in particolare, l’influenza del dibattito dell’VIII CIAM su Il Cuore della città e della partecipazione di Rogers al lavoro di redazione dell’Estudio del Plan di Buenos Aires nel 1948-1949 nella maturazione del progetto editoriale di “Casabella continuità” (1954-1965) attraverso l’attribuzione di un preciso valore all’archetipo, alla fenomenologia e alla tradizione nella definizione del rapporto architettura e storia.
Resumo:
Lo scopo della tesi è esplorare il nuovo dualismo tra calcolo situato e calcolo come mero servizio immateriale che si osserva nel rafforzarsi di due paradigmi apparentemente antitetici come Cloud Computing e Pervasive Computing. Si vuole quindi dimostrare che i due paradigmi sono complementari, e possibilmente sviluppare un modello e un approccio metodologico per sistemi distribuiti che sfrutti opportunamente le caratteristiche dei due paradigmi. A tale scopo si utilizzerà come caso di studio il modello TuCSoN con linguaggio ReSpecT, combinando opportunamente Situated ReSpecT con il modello Coordination as a Service (CaaS) espresso da TuCSoN on Cloud.
Resumo:
Attualmente il panorama informatico è dominato dai dispositivi mobile: smartphone e tablet pc dominano incontrastati la scena del mercato elettronico. Questo comporta un radicale ripensamento e cambiamento del software, le web app e le mobile application richiedono infatti una sempre maggiore reattività dell’interfaccia utente, la persistente connessione a Internet e l’interazione con una moltitudine di dispositivi esterni. Il progettista di software deve oggi far fronte a tutta una serie di problematiche, l’aumentata complessità dei sistemi e i sempre più ristretti tempi di sviluppo e consegna richiedono compromessi tra la semplicità delle tecniche di progettazione e l’efficienza del prodotto ottenuto. Le architetture ad eventi in primis, unitamente al paradigma di programmazione asincrona, si pongono come soluzione ottimale a queste esigenze. L’obbiettivo principale di questa tesi è quello di offrire una panoramica generale sullo stato dell’arte delle architetture ad eventi focalizzandosi sul ruolo che esse assumono nel contesto delle applicazioni moderne, intendendo principalmente con questo termine le web application e le mobile application. Partendo dal concetto di programmazione sincrona e parallela si giunge a descrivere un terzo modello, il modello asincrono, di fondamentale importanza per i sistemi event-driven. Utilizzando come principale linguaggio di riferimento JavaScript si affrontano le problematiche legate alla stesura del codice per la gestione degli eventi, l’asincronicità intrinseca degli eventi e l’utilizzo di funzioni di callback portano a produrre codice di difficile lettura e manutenzione. Si analizzano quindi in dettaglio i pattern fondamentali e le tecniche attualmente utilizzate per l’ottimizzazione della gestione del codice e delle problematiche esposte fornendo numerosi esempi esplicativi.
Resumo:
L’obiettivo della tesi è esplorare gli aspetti fondamentali che riguardano la programmazione asincrona, in particolare in JavaScript, analizzando le librerie e i metodi piu` diffusi per risolvere problemi tipici di asincronicità. Il motivo dello studio di JavaScript è il grande utilizzo di tale linguaggio per la costruzione delle moderne web-app. Per la realizzazione di questo elaborato si è partiti dallo studio dell’evoluzione del web, dal Web 1.0 al web 2.0 e dall’evoluzione delle web app in questo contesto, successivamente si è raffinata la ricerca allo studio più specifico di JavaScript e, di conseguenza, ai suoi costrutti ed ai suoi stili di programmazione, come la programmazione asincrona e la programmazione ad eventi.
Resumo:
L’area di progetto si trova nella parte orientale della città di Jesolo, vicino al confine comunale con Eraclea. A nord è delimitata dal canale Cavetta, al di là del quale si trova il borgo di Cortellazzo, ad est si trova l’ultimo tratto del corso del Piave, a sud si trovano la pineta e l’area del nuovo quartiere residenziale progettato dall’architetto Gonçalo Byrne, ad ovest vi è il progetto di una strada che attraverserà il Cavetta, compresa nella nuova viabilità comunale. Le qualità paesaggistiche dell’area rendono evidente il continuo ed inevitabile rapporto del territorio con l’acqua. Da una parte ci sono le difficoltà che gli abitanti di queste terre hanno sempre avuto, cercando attraverso le bonifiche di difendere le proprie terre, provando a strappare la maggiore quantità possibile di terreno coltivabile alle acque stagnanti. Dall’altra ci sono i benefici che una zona così ricca di acqua ha portato alle coltivazioni. La lettura dell’area, ma anche del territorio circostante, suggerisce un approccio progettuale che porti alla definizione di una nuova identità del luogo: una identità diversa da quella esistente, ma che sia integrata con gli elementi strettamente legati alla natura del territorio.
Resumo:
Attualmente Usme, caratterizzata come visto da un territorio principalmente a bassa densità, è ancora fortemente relazionata con la campagna perché costituita dall’insieme di aree agricole, o di quelli che una volta erano spazi coltivati più prossimi alla città compatta. Questo tipo di paesaggio rurale che caratterizza Usme è caratterizzato come già visto da un tessuto sfrangiato e discretizzato e rappresenta la porzione di territorio dove la città esercita l’impatto ambientale più intenso dovuto sia alla sua immediata vicinanza al contesto urbano che al carattere di scarsa identità che sembra esprimere. Qualunque intervento architettonico in un territorio di margine come quello di Usme dovrebbe confrontarsi con un sistema di relazioni a grande scala, che si rapporti con la geografia stessa del luoghi e con un orientamento e una misurazione visiva e fisica del territorio stesso. Allo stesso modo è necessario che il progetto comprenda anche il suolo stesso delle grande aree attualmente lasciate libere, ovvero che il progetto architettonico si integri con il progetto paesaggistico creando in questo modo nuove relazioni e nuove geometrie nell’assetto territoriale. In questo senso il progetto può dialogare con il territorio e mettere in relazione differenti situazioni morfologiche, sfruttandone le potenzialità. L’obiettivo è quindi quello di non costruire semplici volumi appoggiati sulla terra ma quello di modificare la terra stessa, entrando in relazione con essa in modo profondo. Il progetto così inteso è concepito, e prima ancora letto, secondo strati, i quali possono contaminarsi o possono semplicemente sovrapporsi. L’area di progetto, come già detto, è essenzialmente all’interno di un vuoto presente tra le due parti di città. Il nuovo edificio si conforma come un segno netto nel territorio, un viadotto, un tronco d’albero caduto che protegge il parco dalla città, un elemento primordiale che da una parte si incunea nel terreno e dall’altra si affaccia sulla valle. Vuole essere il segno di un naturale artificio, proponendosi al tempo stesso come simbolo e funzione. Il museo emerge dalla terra, ma sembra anche immergersi in essa. L’architettura del museo crea un nuovo paesaggio morfologicamente radicato al suolo, attraverso uno spazio parzialmente ipogeo che integra il museo all’interno della montagna attraverso la copertura continua con la topografia esistente, sottolineando il profilo della collina.
Resumo:
Oggetto della ricerca è il museo Wilhelm Lehmbruck di Duisburg, un'opera dell'architetto Manfred Lehmbruck, progettata e realizzata tra il 1957 e il 1964. Questa architettura, che ospita la produzione artistica del noto scultore Wilhelm Lehmbruck, padre di Manfred, è tra i primi musei edificati ex novo nella Repubblica Federale Tedesca dopo la seconda guerra mondiale. Il mito di Wilhelm Lehmbruck, costruito negli anni per donare una identità culturale alla città industriale di Duisburg, si rinvigorì nel secondo dopoguerra in seno ad una più generale tendenza sorta nella Repubblica di Bonn verso la rivalutazione dell'arte moderna, dichiarata “degenerata” dal nazionalsocialismo. Ricollegarsi all'arte e all'architettura moderna degli anni venti era in quel momento funzionale al ridisegno di un volto nuovo e democratico del giovane stato tedesco, che cercava legittimazione proclamandosi erede della mitica e gloriosa Repubblica di Weimar. Dopo anni di dibattiti sulla ricostruzione, l'architettura del neues Bauen sembrava l'unico modo in cui la Repubblica Federale potesse presentarsi al mondo, anche se la realtà del paese era assai più complessa e svelava il “doppio volto” che connotò questo stato a partire dal 1945. Le numerose dicotomie che popolarono presto la tabula rasa nata dalle ceneri del conflitto (memoria/oblio, tradizione/modernità, continuità/discontinuità con il recente e infausto passato) trovano espressione nella storia e nella particolare architettura del museo di Duisburg, che può essere quindi interpretato come un'opera paradigmatica per comprendere la nuova identità della Repubblica Federale, un'identità che la rese capace di risorgere dopo l' “anno zero”, ricercando nel miracolo economico uno strumento di redenzione da un passato vergognoso, che doveva essere taciuto, dimenticato, lasciato alle spalle.
Resumo:
Lo scopo di questa dissertazione è di identificare le tecnologie più appropriate per la creazione di editor parametrici per documenti strutturati e di descrivere LIME, un editor di markup parametrico e indipendente dal linguaggio. La recente evoluzione delle tecnologie XML ha portato ad un utilizzo sempre più consistente di documenti strutturati. Oggigiorno, questi vengono utilizzati sia per scopi tipografici sia per l’interscambio di dati nella rete internet. Per questa ragione, sempre più persone hanno a che fare con documenti XML nel lavoro quotidiano. Alcuni dialetti XML, tuttavia, non sono semplici da comprendere e da utilizzare e, per questo motivo, si rendono necessari editor XML che possano guidare gli autori di documenti XML durante tutto il processo di markup. In alcuni contesti, specialmente in quello dell’informatica giuridica, sono stati introdotti i markup editor, software WYSIWYG che assistono l’utente nella creazione di documenti corretti. Questi editor possono essere utilizzati anche da persone che non conoscono a fondo XML ma, d’altra parte, sono solitamente basati su uno specifico linguaggio XML. Questo significa che sono necessarie molte risorse, in termini di programmazione, per poterli adattare ad altri linguaggi XML o ad altri contesti. Basando l’architettura degli editor di markup su parametri, è possibile progettare e sviluppare software che non dipendono da uno specifico linguaggio XML e che possono essere personalizzati al fine di utilizzarli in svariati contesti.
Resumo:
I grafi sono molto utilizzati per la rappresentazione di dati, sopratutto in quelle aree dove l’informazione sull’interconnettività e la topologia dei dati è importante tanto quanto i dati stessi, se non addirittura di più. Ogni area di applicazione ha delle proprie necessità, sia in termini del modello che rappresenta i dati, sia in termini del linguaggio capace di fornire la necessaria espressività per poter fare interrogazione e trasformazione dei dati. È sempre più frequente che si richieda di analizzare dati provenienti da diversi sistemi, oppure che si richieda di analizzare caratteristiche dello stesso sistema osservandolo a granularità differenti, in tempi differenti oppure considerando relazioni differenti. Il nostro scopo è stato quindi quello di creare un modello, che riesca a rappresentare in maniera semplice ed efficace i dati, in tutte queste situazioni. Entrando più nei dettagli, il modello permette non solo di analizzare la singola rete, ma di analizzare più reti, relazionandole tra loro. Il nostro scopo si è anche esteso nel definire un’algebra, che, tramite ai suoi operatori, permette di compiere delle interrogazioni su questo modello. La definizione del modello e degli operatori sono stati maggiormente guidati dal caso di studio dei social network, non tralasciando comunque di rimanere generali per fare altri tipi di analisi. In seguito abbiamo approfondito lo studio degli operatori, individuando delle proprietà utili per fare delle ottimizzazioni, ragionando sui dettagli implementativi, e fornendo degli algoritmi di alto livello. Per rendere più concreta la definizione del modello e degli operatori, in modo da non lasciare spazio ad ambiguità, è stata fatta anche un’implementazione, e in questo elaborato ne forniremo la descrizione.
Resumo:
The focus of my research is on contemporary biomedical construction of pain as an object, i.e. the different ways in which pain has been conceptualized and approached as a specific site of investigation in biomedicine. A significant shift in the scientific conception of pain occured in the second half of XXth century. In 1965, Ronald Melzack and Patrick D. Wall propose the Gate Control theory of pain mechanism. This theory denies a fixed and direct relationship between stimulus and pain perception, and emphazises the role played by psychological factors in pain. The IASP utilizes this perspective on the phenomenon, describing pain as “an unpleasant sensory and emotional experience associated to an actual or potential tissue damage or described in the terms of such a damage.” The relationship between pain and damage is pivotal in the definition of pain as a pathological entity. In particular, the biomedical approach to pain appears to be strongly characterized by a dualistic view of its aetiology. Disease conceptions such as “psychogenic pain” and chronic pain are deeply influenced by the ways in which psychological factors have been interpreted as components, or as causes of pain. In the second part of my dissertation, I focus on fibromyalgia, which is emblematic of the problematic acknowledgment of chronic pain as a disease. Even if fibromyalgia is actually treated in Rheumatology, its status as a disease is blurred, mainly because of its complex symptomatology including both physiological manifestations and psychological ones. In the conclusion, I present a scenario of the different ways in which this disease is dealt with in biomedical knowledge, through medical literature, clinical practice, and patients’ accounts. The findings of an ethnographic enquiry in the Rheumatology Division of a local clinic and a visual research on patients’ experiences are analyzed and discussed.
Resumo:
Realizzazione di una libreria che permetta ad applicazioni di diverso tipo e distribuite sulla rete di scambiarsi messaggi con lo scopo di estendere le funzionalità di ciascuna applicazione con quelle fornite dalle altre applicazioni e di rendere virtuali le risorse aziendali, permettendo in questo modo alla logica di business del sistema sanitario di essere sviluppata e gestita indipendentemente dall’infrastruttura della rete e senza apportare modifiche alle applicazioni già sviluppate.
Resumo:
La tesi presenta una serie di risultati dell'analisi quantitativa sulla linguistica. Inizialmente sono studiate due fra le leggi empiriche più famose di questo campo, le leggi di Zipf e Heaps, e vengono esposti vari modelli sullo sviluppo del linguaggio. Nella seconda parte si giunge alla discussione di risultati più specifici sulla presenza di fenomeni di burstiness e di correlazioni a lungo raggio nei testi. Tutti questi studi teorici sono affiancati da analisi sperimentali, svolte utilizzando varie traduzioni del libro "Guerra e pace" di Leo Tolstoj e concentrate principalmente sulle eventuali differenze riscontrabili tra le diverse lingue.
Resumo:
Che rapporto intercorre tra un’opera letteraria e una sua interpretazione? Che cosa fa sì che la prima supporti la seconda? Come possiamo discernere un’interpretazione valida da una che non lo è ? Come può una stessa opera avere interpretazioni differenti e a volte incompatibili tra loro? Assumendo come punto di partenza la proposta di Nelson Goodman di qualificare l’opera letteraria come allografica e, quindi, di definire l’identità dell’opera sulla base della sua compitazione, cercare un risposta alle domande proposte implica un riflessione tanto sul linguaggio, quale strumento simbolico, quanto sulle modalità di riferimento proprie delle opere letterarie. In particolare, di fronte al dissolversi del mondo nella molteplicità delle versioni che il linguaggio può offrire di esso, una peculiare concezione della metafora, intesa come proiezione di un regno del linguaggio su un altro regno dello stesso, si qualifica come un buon modello per la comprensione del rapporto che lega opere letterarie e loro interpretazioni. In tal modo l’opera stessa non solo diviene significativa, ma, attraverso tale significazione, riesce anche a farsi produttiva, modificando, ampliando, ristrutturando la versione dal mondo dalla quale l’interprete-lettore prende le mosse. Ciascuna lettura di un’opera letteraria può infatti essere concepita come una via attraverso la quale ciò che nell’opera è detto viene proiettato sulla visione del mondo propria dell’interprete e di quanti possono condividerne il punto di vista. In tal modo le interpretazioni pongono le opere cui si riferiscono nelle condizioni di fornire un apporto significativo tanto alla comprensione quanto alla costituzione della nostra versione del mondo. E se ciò può avvenire in diversi modi, mutando le interpretazioni a seconda di chi le produce e delle circostanze in cui sorgono, l’opera evita la dissoluzione in virtù della compitazione che la identifica.
Resumo:
Obiettivo del lavoro è migliorare la lettura della ruralità europea. A fronte delle profonde trasformazioni avvenute, oggi non è più possibile analizzare i territori rurali adottando un mero approccio dicotomico che semplicemente li distingua dalle città. Al contrario, il lavoro integra l’analisi degli aspetti socio-economici con quella degli elementi territoriali, esaltando le principali dimensioni che caratterizzano le tante tipologie di ruralità oggi presenti in Europa. Muovendo dal dibattito sulla classificazione delle aree rurali, si propone dapprima un indicatore sintetico di ruralità che, adottando la logica fuzzy, considera congiuntamente aspetti demografici (densità), settoriali (rilevanza dell’attività agricola), territoriali e geografici (accessibilità e uso del suolo). Tale tecnica permette di ricostruire un continuum di gradi di ruralità, distinguendo così, all’interno dell’Unione Europea (circa 1.300 osservazioni), le aree più centrali da quelle progressivamente più rurali e periferiche. Successivamente, attraverso un’analisi cluster vengono individuate tipologie di aree omogenee in termini di struttura economica, paesaggio, diversificazione dell’attività agricola. Tali cluster risentono anche della distribuzione geografica delle aree stesse: vengono infatti distinti gruppi di regioni centrali da gruppi di regioni più periferiche. Tale analisi evidenzia soprattutto come il binomio ruralità-arretratezza risulti ormai superato: alcune aree rurali, infatti, hanno tratto vantaggio dalle trasformazioni che hanno interessato l’Unione Europea negli ultimi decenni (diffusione dell’ICT o sviluppo della manifattura). L’ultima parte del lavoro offre strumenti di analisi a supporto dell’azione politica comunitaria, analizzando la diversa capacità delle regioni europee di rispondere alle sfide lanciate dalla Strategia Europa 2020. Un’analisi in componenti principali sintetizza le principali dimensioni di tale performance regionale: i risultati sono poi riletti alla luce delle caratteristiche strutturali dei territori europei. Infine, una più diretta analisi spaziale dei dati permette di evidenziare come la geografia influenzi ancora profondamente la capacità dei territori di rispondere alle nuove sfide del decennio.
Non-normal modal logics, quantification, and deontic dilemmas. A study in multi-relational semantics
Resumo:
This dissertation is devoted to the study of non-normal (modal) systems for deontic logics, both on the propositional level, and on the first order one. In particular we developed our study the Multi-relational setting that generalises standard Kripke Semantics. We present new completeness results concerning the semantic setting of several systems which are able to handle normative dilemmas and conflicts. Although primarily driven by issues related to the legal and moral field, these results are also relevant for the more theoretical field of Modal Logic itself, as we propose a syntactical, and semantic study of intermediate systems between the classical propositional calculus CPC and the minimal normal modal logic K.