Studi su modelli supersimmetrici con N=1 in d=4

Si studiano modelli con supersimmetria globale N=1 in d=4, con e senza interazioni di gauge, con riferimento anche alla Gauge Mediation.

Italia e Francia nell'Ungheria di Trianon (1919-1939): due modelli di penetrazione politico-culturale

Italy and France in Trianon’s Hungary: two political and cultural penetration models During the first post-war, the Danubian Europe was the theatre of an Italian-French diplomatic challenge to gain hegemony in that part of the continent. Because of his geographical position, Hungary had a decisive strategic importance for the ambitions of French and Italian foreign politics. Since in the 1920s culture and propaganda became the fourth dimension of international relations, Rome and Paris developed their diplomatic action in Hungary to affirm not only political and economic influence, but also cultural supremacy. In the 1930, after Hitler’s rise to power, the unstoppable comeback of German political influence in central-eastern Europe determined the progressive decline of Italian and French political and economic positions in Hungary: only the cultural field allowed a survey of Italian-Hungarian and French-Hungarian relations in the contest of a Europe dominated by Nazi Germany during the Second World War. Nevertheless, the radical geopolitical changes in second post-war Europe did not compromise Italian and French cultural presence in the new communist Hungary. Although cultural diplomacy is originally motivated by contingent political targets, it doesn’t respect the short time of politics, but it’s the only foreign politics tool that guarantees preservations of bilateral relations in the long run.

Modelli per l'aggregazione di dati federati: il caso degli orari di apertura degli esercizi commerciali e enti pubblici

Questa tesi tratta di scambio di dati aperti (open data exchange). In particolare, tratta di intervalli temporali con annesse informazioni di vario tipo. Le attività commerciali, come aziende, bar, ristoranti, cinema, teatri, e via dicendo, hanno bisogno di un modo comune per poter condividere i dati inerenti ai propri orari (timetable). Lo scopo di questa tesi è quello di mostrare un modello efficiente, compatto e completo per poter condividere tali informazioni con l'ausilio di formati standard (XML). Oggi giorno esistono diverse soluzioni atte a far fronte a questa necessità ma si tratta di soluzioni incomplete e che gestiscono tali informazioni separatamente. Il problema sorto è quello di avere un'unica struttura che posso unificare informazioni di diverso carattere con gli orari di un'attività: un cinema ha la necessità di fornire orari di diverse proiezioni svolte in sale diverse, una tournée dovrà poter specificare le coordinate geografiche del prossimo evento e così discorrendo.

Il linguaggio Alloy come ausilio nella specifica formale di modelli UML

UML è ampiamente considerato lo standard de facto nella fase iniziale di modellazione di sistemi software basati sul paradigma Object-Oriented; il suo diagramma delle classi è utilizzato per la rappresentazione statica strutturale di entità e relazioni che concorrono alla definizione delle specifiche del sistema; in questa fase viene utilizzato il linguaggio OCL per esprimere vincoli semantici sugli elementi del diagramma. Il linguaggio OCL però soffre della mancanza di una verifica formale sui vincoli che sono stati definiti. Il linguaggio di modellazione Alloy, inserendosi in questa fase, concettualmente può sopperire a questa mancanza perchè può descrivere con le sue entità e relazioni un diagramma delle classi UML e, tramite propri costrutti molto vicini all'espressività di OCL, può specificare vincoli semantici sul modello che verranno analizzati dal suo ambiente l'Alloy Analyzer per verificarne la consistenza. In questo lavoro di tesi dopo aver dato una panoramica generale sui costrutti principali del linguaggio Alloy, si mostrerà come è possibile creare una corrispondenza tra un diagramma delle classi UML e un modello Alloy equivalente. Si mostreranno in seguito le analogie che vi sono tra i costrutti Alloy e OCL per la definizione di vincoli formali, e le differenze, offrendo nel complesso soluzioni e tecniche che il modellatore può utilizzare per sfruttare al meglio questo nuovo approccio di verifica formale. Verranno mostrati anche i casi di incompatibilità. Infine, come complemento al lavoro svolto verrà mostrata, una tecnica per donare una dinamicità ai modelli statici Alloy.

L'imposizione sul reddito dell'attività bancaria profili nazionali e comunitari

La ricerca oggetto della tesi dottorale ha riguardato l’analisi della problematica relativa ai cambiamenti provocati dalla diversificazione delle attività aziendali bancarie nell'ottica tributaria. Si è individuato nella composizione del reddito imponibile il fulcro centrale del lavoro. Data la grande importanza del mercato finanziario la presente ricerca si è proposta una valutazione dell’attività bancaria tradizionale, facendo un’analisi della relativa fiscalità. In particolare si è cercato di evidenziare il momento in cui la banca è diventata un’azienda molto più complessa e moderna di quella che era originariamente. Tale cambiamento ha così richiesto un corrispondente sviluppo della tecnica giuridica tributaria di riferimento. Si sono altresì analizzate le fasi della implementazione e dello sviluppo nell’ordinamento tributario italiano ed europeo (analizzando così le difficoltà di adattamento per i modelli di Civil Law e Common Law) dell'armonizzazione giuridico/contabile europea e dell’adozione dei principi IAS/IFRS. A tal fine si sono ripercorse le fasi anteriori all’adozione dei menzionati principi e la loro evoluzione e, nel farlo, si sono fissati i punti ove sembra sia necessario un ripensamento da parte del legislatore comunitario. Il tutto è stato sviluppato senza trascurare la giurisprudenza nazionale e della Corte di Giustizia europea, in modo tale da tentare di individuare le soluzioni alle nuove sfide che il diritto tributario comunitario si trova a fronteggiare.