946 resultados para Deep Inference, Proof Theory, Teoria della Dimostrazione, Cut elimination, Gentzen Hauptsatz
Resumo:
L'affermarsi della teoria della « imaginative geography » di Edward Saïd (Orientalism, 1978), nell'arco degli ultimi trent'anni, ha imposto un orientamento prettamente sociopolitico, gramsciano e foucaultiano alla critica del testo, proponendo un'unica soluzione interpretativa per un corpus eterogeneo di testi (scientifici e artistici, antichi e moderni) accomunati dal fatto di « rappresentare l'Oriente ». La costruzione europea dello spazio orientale, dice Saïd, non rappresenta solo un misconoscimento dell'Altro, ma una sua rappresentazione tendenziosa e finalizzata a sostenere la macchina dell'imperialismo occidentale. In particolare, la rappresentazione « femminilizzata » della geografia orientale (come luogo dell'exploit del maschio bianco) preparebbe e accompagnerebbe l'impresa di assoggettamento politico e di sfruttamento economico dei paesi ad Est dell'Europa. Se Orientalism ha conosciuto fortune alterne dall'anno della sua apparizione, negli ultimi anni una vera e propria corrente anti-saidiana ha preso forza, soprattutto in ambito francese. Attraverso l'analisi di circa trenta opere francesi, belga, inglesi e italiane del Novecento, questa tesi cerca di visualizzare i limiti teorici della prospettiva saidiana rivolgendosi a un esame della rappresentazione dello spazio urbano indiano nella letteratura europea contemporanea. Nello specifico, uno studio delle nuove strutture e dei nuovi modelli della femminilizzazione dello spazio orientale indiano cercherà di completare – superandolo in direzione di un « post-orientalismo » – il riduzionismo della prospettiva saidiana.
Resumo:
L'elaborato presenta la proposta di sottotitolaggio e l'analisi di un episodio della serie americana Friends. La prima fase di preparazione si è concentrata sulla traduzione completa del copione dell'episodio, successivamente sulla creazione dei sottotitoli cercando di attenersi alle rigide regole di questo particolare ramo traduttivo. L'elaborato è costituito da tre capitoli. Il primo capitolo è incentrato su una descrizione tematica della serie, con una breve introduzione dei personaggi e con la contestualizzazione dell'episodio preso in considerazione. Viene inoltre analizzato il particolare linguaggio usato che caratterizza questa serie televisiva e l'impatto culturale che ha apportato soprattutto alla società americana. Il secondo capitolo si focalizza sulla teoria della traduzione multimediale audiovisiva, con la spiegazione delle tecniche più usate per il sottotitolaggio, le rigide restrizioni e le difficoltà che si riscontrano avvicinandosi a questo particolare metodo traduttivo. Nel terzo capitolo viene presentata la mia proposta di sottotitolaggio, introducendo i principali problemi traduttivi riscontrati, sia di carattere linguistico sia culturale.
Resumo:
La traduzione è un’arte e in quanto tale necessita di moltissime ore di ricerca e riflessione. Non esiste una tecnica traduttiva a cui fare riferimento: ve ne sono diverse e ognuno è libero di seguirle o di creare la propria. L’elaborato si sofferma, in particolare, sulla letteratura per l’infanzia, un mondo che presenta diversi aspetti problematici rimasti ad oggi irrisolti, quali il rapporto con la letteratura in generale, la figura dell’autore di opere per bambini, la questione delle fasce di età, la doppia appartenenza al sistema letterario ed educativo e la dipendenza dal ruolo di mediazione svolto dagli adulti. Segue poi la traduzione di due capitoli dell’opera "Omelette au sucre" di Jean-Philippe Arrou-Vignod e una riflessione sulle problematiche traduttive che caratterizzano la letteratura per l’infanzia, mettendo in luce tutti gli elementi fonti di dubbio e riflessione incontrati durante la traduzione dell’opera. Scopo dell’elaborato non è quindi quello di proporre una nuova teoria della traduzione, bensì quello di effettuare un’analisi approfondita delle principali e più frequenti problematiche traduttive della letteratura per l’infanzia, ambito in continua evoluzione che sta acquisendo, anno dopo anno, sempre più importanza nel panorama letterario italiano e internazionale.
Resumo:
Il punto di partenza dell'elaborato riguarda il modo in cui si giunge, a partire dalla relatività ristretta, a quella generale. Quest'ultima viene poi identificata come una teoria della gravitazione in cui si ottengono le equazioni di campo. Da qui si discute la soluzione delle equazioni di Einstein trovata da Schwarzschild evidenziandone i limiti. Si procede alla estensione di questa soluzione introducendo dapprima le coordinate di Eddington-Finkelstein e poi l'estensione massima data da Kruskal. Infine viene mostrato come è possibile compattificare l'infinito spaziotempo in una regione finita senza alterare la struttura causale. Questo viene fatto tramite delle trasformazioni particolari: le trasformazioni conformi. I diagrammi spaziotemporali che si ottengono dopo la compattificazione conforme sono conosciuti come i digrammi di Penrose e qui si vede come ottenere quelli dello spaziotempo di Minkowski e quelli dello spaziotempo della soluzione di Schwarzschild.
Resumo:
In questa tesi viene presentato un bioreattore in grado di mantenere nel tempo condizioni biologiche tali che consentano di massimizzare i cicli di evoluzione molecolare di vettori di clonazione fagici: litico (T7) o lisogeno (M13). Verranno quindi introdtti concetti legati alla Teoria della Quasispecie e alla relazione tra errori di autoreplicazione e pressioni selettive naturali o artificiali su popolazioni di virus: il modello naturale del sistema evolutivo. Tuttavia, mantenere delle popolazioni di virus significa formire loro un substrato dove replicare. Per fare ciò, altri gruppi di ricerca hanno giá sviluppato complessi e costosi prototipi di macchinari per la crescita continua di popolazioni batteriche: i compartimenti dei sistemi evolutivi. Il bioreattore, oggetto di questo lavoro, fa parte del progetto europeo Evoprog: general purpose programmable machine evolution on a chip (Jaramillo’s Lab, University of Warwick) che, utilizzando tecnologie fagiche e regolazioni sintetiche esistenti, sará in grado di produrre funzionalità biocomputazionali di due ordini di grandezza più veloci rispetto alle tecniche convenzionali, riducendo allo stesso tempo i costi complessivi. Il primo prototipo consiste in uno o piú fermentatori, dove viene fatta crescere la cultura batterica in condizioni ottimizzate di coltivazione continua, e in un cellstat, un volume separato, dove avviene solo la replicazione dei virus. Entrambi i volumi sono di pochi millilitri e appropriatamente interconnessi per consentire una sorta di screening continuo delle biomolecole prodotte all’uscita. Nella parte finale verranno presentati i risultati degli esperimenti preliminari, a dimostrazione dell’affidabilità del prototipo costruito e dei protocolli seguiti per la sterilizzazione e l’assemblaggio del bioreattore. Gli esperimenti effettuati dimostrano il successo di due coltivazioni virali continue e una ricombinazione in vivo di batteriofagi litici o lisogeni ingegnerizzati. La tesi si conclude valutando i futuri sviluppi e i limiti del sistema, tenendo in considerazione, in particolare, alcune applicazioni rivolte agli studi di una terapia batteriofagica.
Resumo:
Questa tesi è incentrata sul sottotitolaggio di un episodio della serie TV "Mozart in the Jungle". Ho ritenuto che fosse interessante utilizzare questa serie perché offre diversi spunti di riflessione, sia dal punto di vista della traduzione per i sottotitoli sia che dal punto di vista dell'innovazione nell'ambito della produzione e della distribuzione di prodotti audiovisivi. Il lavoro è suddiviso in tre capitoli. Il primo capitolo presenta l’oggetto di studio della tesi, ovvero la serie TV. Alla descrizione della trama generale della prima stagione e di quella specifica del primo episodio (Pilot) viene affiancata un'analisi del fenomeno del crowdsourcing, al quale Amazon, casa produttrice della serie, ha fatto ricorso per creare questa ed altre serie di successo grazie all’aiuto del popolo del web. Nel secondo capitolo viene mostrata una panoramica sulla teoria della traduzione audiovisiva e più specificatamente del sottotitolaggio e dei principali accorgimenti che un sottotitolatore deve adottare. Il terzo e ultimo capitolo, invece, descrive l'applicazione pratica degli elementi individuati nel secondo capitolo, utilizzando esempi tratti dal testo originale e dalla mia traduzione per illustrare le strategie di risoluzione dei problemi traduttivi. Il paragrafo conclusivo include infine brevi considerazioni personali su alcuni aspetti del sottotitolaggio in generale.
Resumo:
Tra tutti i fenomeni naturali osservabili, ne era presente uno particolarmente interessante e con il quale si aveva diretto contatto quotidianamente: la gravità. Dopo le innumerevoli osservazioni astronomiche effettuate da Galileo, fu Newton nel diciassettesimo secolo a capire che il moto dei pianeti era governato dalle medesime leggi che descrivono la caduta dei gravi sulla Terra e fu quindi lui che ci fornì una prima teoria della gravità con la quale si spiegarono le orbite dei pianeti con ottima precisione. Grazie al contributo di Einstein, la teoria si rinnovò e si arricchì, ma rimase pur sempre lontana dall' essere completa, tant' è che ancora oggi sono presenti molte domande a cui non siamo in grado di rispondere. In questo articolo ci occuperemo di tali quesiti, provando a formulare una teoria che sia in accordo con le attuali evidenze sperimentali. Nella prima parte, tratteremo le ragioni che hanno spinto i ricercatori ad introdurre le nuove teorie della gravità f(R); in particolare vedremo la peculiarità delle curve di rotazione delle galassie e perché ci sia il bisogno di tirare in ballo la materia oscura. Discuteremo anche alcuni problemi derivanti dall' evoluzione cosmica e altre incongruenze riguardanti la stabilità delle stelle di neutroni. In seguito mostreremo come ricavare l' equazione di Einstein partendo dai principi variazionali di Hamilton, e estenderemo tale ragionamento con lo scopo di ottenere un' equazione corrispondente ad una gravità modificata. Infine, verranno introdotte le teorie della gravità f(R), per mezzo delle quali cercheremo di discutere alcune possibili spiegazioni alle problematiche mosse nella parte introduttiva.
Resumo:
L’elaborato che segue vuole essere una guida che permetta al lettore di muoversi attraverso il campo intricato e appassionante della traduzione dei nomi parlanti nella letteratura per bambini e per ragazzi, utilizzando come spunto di riflessione la serie di Fairy Oak di Elisabetta Gnone. Il lettore viene guidato in un percorso che parte dalle origini dei nomi parlanti, le quali affondano nella vita quotidiana e nella letteratura del passato, e passa per una breve analisi di questa branca della teoria onomastica e di alcune teorie di traduzione, fino ad arrivare ad un esempio pratico. Lo spunto pratico per una riflessione in ambito traduttivo è tratto dai testi della saga di Fairy Oak, una serie di romanzi per ragazzi composta da una trilogia e da una quadrilogia (Il Segreto delle Gemelle, L'Incanto del Buio, Il Potere della Luce e Capitan Grisam e l'Amore, Gli Incantevoli Giorni di Shirley, Flox Sorride in Autunno). L’elaborato si concentrerà sulla trilogia e in particolare verrà messo in evidenza il ruolo dei nomi dei personaggi e dei luoghi. L’autrice italiana, Elisabetta Gnone, si è dedicata con grande cura alla creazione di antroponimi e toponimi, che descrivono e formano parte dei peronaggi e dei luoghi. Proprio questi nomi parlanti hanno presentato una sfida per i traduttori e rappresentano un esempio chiaro di come possano coesistere diversi approcci traduttivi o come, invece, a volte la strategia da adottare sia quasi obbligata dal contesto e dal destinatario della traduzione d’arrivo. Dagli esempi e dalle ricerche traduttologiche emerge che, nonostante sia impossibile definire una strategia univoca, è sempre possibile giungere a una soluzione, tramite un’attenta negoziazione.
Resumo:
Questa tesi introduce le basi della teoria della computazione quantistica, partendo da un approccio teorico-matematico al concetto di qubit per arrivare alla schematizzazione di alcuni circuiti per algoritmi quantistici, analizzando la differenza tra le porte logiche classiche e la loro versione quantistica. Segue poi una lista descrittiva di possibili applicazioni dei computer quantistici, divise per categorie, e i loro vantaggi rispetto ai computer classici. Tra le applicazioni rientrano la crittografia quantistica, gli algoritmi di fattorizzazione e del logaritmo discreto di Shor, il teletrasporto di informazione quantistica e molte altre. La parte più corposa della tesi riguarda le possibili implementazioni, ovvero come realizzare praticamente un computer quantistico rendendo entità fisiche i qubit. Di queste implementazioni vengono analizzati i vari aspetti necessari alla computazione quantistica, ovvero la creazione di stati iniziali, la misura di stati finali e le trasformazioni unitarie che rappresentano le porte logiche quantistiche. Infine vengono elencate le varie problematiche del modello preso in considerazione. Infine vengono citati alcuni esperimenti e modelli recenti che potrebbero vedere una realizzazione su scala industriale nei prossimi anni.
Resumo:
Il presente elaborato vuole illustrare alcuni risultati matematici di teoria della misura grazie ai quali si sono sviluppate interessanti conseguenze nel campo della statistica inferenziale relativamente al concetto di statistica sufficiente. Il primo capitolo riprende alcune nozioni preliminari e si espone il teorema di Radon-Nikodym, sulle misure assolutamente continue, con conseguente dimostrazione. Il secondo capitolo dal titolo ‘Applicazioni alla statistica sufficiente’ si apre con le definizioni degli oggetti di studio e con la presentazione di alcune loro proprietà matematiche. Nel secondo paragrafo si espongono i concetti di attesa condizionata e probabilità condizionata in relazione agli elementi definiti nel paragrafo iniziale. Si entra nel corpo di questo capitolo con il terzo paragrafo nel quale definiamo gli insiemi di misura, gli insiemi di misura dominati e il concetto di statistica sufficiente. Viene qua presentato un importante teorema di caratterizzazione delle statistiche sufficienti per insiemi dominati e un suo corollario che descrive la relativa proprietà di fattorizzazione. Definiamo poi gli insiemi omogenei ed esponiamo un secondo corollario al teorema, relativo a tali insiemi. Si considera poi l’esempio del controllo di qualità per meglio illustrare la nozione di statistica sufficiente osservando una situazione più concreta. Successivamente viene introdotta la nozione di statistica sufficiente a coppie e viene enunciato un secondo teorema di caratterizzazione in termini di rapporto di verosimiglianza. Si procede quindi ad un confronto tra questi due tipi di sufficienza. Tale confronto viene operato in due situazioni differenti e porta a risultati diversi per ogni caso. Si conclude dunque l’elaborato marcando ancora l’effettiva bontà di una statistica sufficiente in termini di informazioni contenute al suo interno.
Resumo:
Proof nets provide abstract counterparts to sequent proofs modulo rule permutations; the idea being that if two proofs have the same underlying proof-net, they are in essence the same proof. Providing a convincing proof-net counterpart to proofs in the classical sequent calculus is thus an important step in understanding classical sequent calculus proofs. By convincing, we mean that (a) there should be a canonical function from sequent proofs to proof nets, (b) it should be possible to check the correctness of a net in polynomial time, (c) every correct net should be obtainable from a sequent calculus proof, and (d) there should be a cut-elimination procedure which preserves correctness. Previous attempts to give proof-net-like objects for propositional classical logic have failed at least one of the above conditions. In Richard McKinley (2010) [22], the author presented a calculus of proof nets (expansion nets) satisfying (a) and (b); the paper defined a sequent calculus corresponding to expansion nets but gave no explicit demonstration of (c). That sequent calculus, called LK∗ in this paper, is a novel one-sided sequent calculus with both additively and multiplicatively formulated disjunction rules. In this paper (a self-contained extended version of Richard McKinley (2010) [22]), we give a full proof of (c) for expansion nets with respect to LK∗, and in addition give a cut-elimination procedure internal to expansion nets – this makes expansion nets the first notion of proof-net for classical logic satisfying all four criteria.
Resumo:
La crisis financiera y económica que estalló en Europa en 2008 ha sido un auténtico campo de pruebas para recurrir a todo tipo de recursos expresivos, a la hora de explicar la compleja naturaleza de la coyuntura económica. De esta manera, lejos de ser un artificio de la ornamentación retórica, la metáfora adquiere un sentido simbólico que permite expresar conceptos de forma natural y a veces descontada. El objetivo de este estudio es analizar la utilización de las metáforas en la prensa económica española e italiana en el discurso sobre la crisis en Europa, a través de un análisis basado en corpus. Además, se intenta descubrir semejanzas y diferencias a la vez que se destacan aspectos originales en ambos idiomas. La hipótesis general, de acuerdo con investigaciones previas sobre las metáforas económicas, es que cabe esperar una frecuente utilización de las metáforas. La tésis está dividida en cuatro capítulos. En el primer capítulo se desglosan las principales teorías elaboradas acerca de la metáfora, desde un enfoque clásico hasta una visión cognitivista que se desarrolla a partir de la Teoría de la Metáfora Conceptual propuesta por Lakoff y Johnson (1980). El segundo capítulo se centra en la metáfora económica y los estudios basados en corpus sobre la metáfora, para comprender los diferentes dominios fuente utilizados en el discurso económico y financiero. En el tercer capítulo se proporciona toda información relativa al método de creación y a la metodología de análisis de los corpus, llevada a cabo a través de una minuciosa recolección de artículos de la prensa italiana y española en los diarios Il Sole 24 Ore y Expansión. Los artículos han sido analizados a través del programa informático AntConc. Finalmente, en el cuarto capítulo se presenta el análisis de las metáforas detectadas en los dos corpus periodísticos y los resultados obtenidos, en lo que respecta a semejanzas y diferencias en los dos idiomas. Por esta razón, se seleccionan cuatro dominios fuente: dos más frecuentes (medicina; naturaleza) y dos menos frecuentes (construcción; mecanismos). Además, se hace hincapié en algunos ejemplos del uso de metáforas muy utilizadas, o bien de casos novedosos o creativos en ambos idiomas, con miras a descubrir los principales dominios fuente y los contextos de uso en la cobertura de la crisis. Los resultados que surgen a raíz del análisis muestran una profunda difusión del dominio fuente de la medicina y de la naturaleza en ambos idiomas y una consiguiente creatividad metafórica. En general, el corpus italiano presenta una mayor creatividad metafórica y cadenas metafóricas 138 con respecto al corpus español, a raíz de los hapaxes detectados. Asimismo, el corpus español presenta más casos creativos en el dominio de la construcción con respecto al italiano. El análisis ha permitido confirmar de forma empírica la hipótesis de gran uniformidad en el uso de la metáfora en los distintos periódicos, aun considerando algunas diferencias entre los dos idiomas. Cabe reconocer que, debido al tamaño limitado de los corpus creados, dicho estudio representa un campo de pruebas ampliable y los resultados presentados abren una puerta a nuevas oportunidades de investigación en el discurso económico y financiero o incluso en la enseñanza de la economía.
Resumo:
Scopo del presente lavoro è la presentazione del codice di calcolo semplificato adoperato nella sezione “Simulatore fotovoltaico” presente sul portale www.energia.cnr.it del progetto CNR ENERGY+. Utilizzando i valori reali di radiazione solare misurati dalle stazioni meteorologiche installate presso alcune sedi del CNR il codice, con appropriati algoritmi, generala scomposizione della radiazione sul piano orizzontale e su superfici inclinate e variamente orientate, in modo da pervenire alla potenza prodotta da un ipotetico impianto fotovoltaico posto sullo stesso sito di ubicazione della stazione.
Resumo:
In this article, we will try to demonstrate that there are strong analogies between literature and new media, as they were both born to satisfy a human need. We will try to show that the inglorious world of media and the prestigious literary universe are walking – without knowing – in the same direction. Therefore, it would be easier to confute the recent theory that declares the death of literature after the rise of new media. Only an honest and interdisciplinary dialogue can reveal all sorts of hidden structural homologies, uncovering new creative horizons.