41199 research outputs found
Sort by
Teoria di Galois delle categorie
No full textIn questa tesi studiamo un’estensione del teorema fondamentale di Galois nel contesto della teoria delle categorie. Più precisamente, la tesi ha l’obiettivo di dimostrare l’equivalenza tra due categorie associate a due categorie A,B fissate. Quando A è la categoria duale alla categoria dellek-algebre (kè un campo) di dimensione finita (vedi Definizione 3.0.1) e B è la categoria degli insiemi finiti il teorema d’equivalenza si interpreta come il teorema fondamentale di Galois per le algebre étale. Quando, invece, A è la categoria di spazi topologici localmente connessi e B è la categoria degli insiemi, il teorema d’equivalenza si interpreta come il teorema fondamentale dei ricoprimenti di uno spazio topologico, sotto opportune ipotesi
A study on the dependence among spanish banks via quantile regression forests and network analysis
No full textThe present work is focused on the estimation of Covar and Delta-Covar, two measures that are used to quantify the effects of a financial institution or a financial system in distress on the VaR of another financial institution. Firstly, the studied case consists of five Spanish banks, namely: BBVA, Bankia, Bankinter, CaixaBank, Santander and, in the second part, the MSCI Europe index is used to analyze the financial system effects. The method adopted is the quantile regression forests and the results are compared with the already well-known quantile regression. The last part of the thesis studies the relations among the banks and the system as a network. Considering additional European banks, a community detection analysis is performed
Su una formula di J. B. Lasserre relativa all'integrazione sul simplesso
No full textIn questo lavoro è stata trattata una formula di J. B. Lasserre per
l'integrazione di polinomi e funzioni positivamente omogenee su un
n-simplesso. Sono stati poi svolti esperimenti numerici nel caso del
segmento, del triangolo e del tetraedro canonici, integrando i momenti
della base monomiale con gradi totali N. In particolare ne è stata
verificata l'esattezza e la rapidità di calcolo
Qualche risultato sui numeri trascendenti
No full textLo scopo di questa tesi è di ripercorrere alcune delle tappe fondamentali nella scoperta dei numeri trascendenti, soffermandoci soprattutto sul teorema di Liouville e su quelli di Hermite e di Lindemann, relativi alla trascendenza rispettivamente di e e
La progettazione dell'esodo: modellazione dell'evacuazione di una struttura ospedaliera
No full textLa stesura di questa tesi si basa sullo studio di scenari di incendio ed evacuazione all'interno di una struttura ospedaliera, il fine è quello di cercare una dimostrazione all'aiuto che i modelli di simulazione possono dare in situazioni nelle quali le esercitazioni pratiche di evacuazione sono spesso impraticabili o comunque solo parzialmente praticabili, proprio come all'interno degli ospedali. Il lavoro è stato svolto con il supporto di software quali Fire Dynamic Simulator e Pathfinder
Large Eddy simulations of a supersonic turbulent boundary layer
Get PDFTale lavoro vuole analizzare la turbolenza di parete. In particolare, mediante la tecnica Large Eddy Simulation (LES) si studia la dinamica di uno strato limite supersonico e turbolento su lastra piana, in termini di moto medio e fluttuazioni. La campagna di simulazioni viene realizzata al variare dei parametri di griglia computazionale, utilizzando sia un approccio Wall-Resolved LES, sia un approccio Wall-Modelled LES, per il quale viene proposto un modello di parete algebrico
Safety Range and Load Analyses of a Hybrid Sounding Rocket
Get PDFT4i - Technology for Propulsion and Innovation, a spin-off company of the University of Padua, is developing a sounding rocket with a hybrid engine. For the success of the launch campaign, it is fundamental to ensure the rocket does not break during its entire flight and that in every phase, from the preparation to the recovery, the safety requirements are respected. Thus, a load analysis and a safety range analysis have been carried out
Modelli epidemiologici compartimentali: modello SIR e possibili estensioni
Get PDFIl presente elaborato intende studiare gli effetti di reciproca infezione tra classi di popolazione associate a un rischio di contagio differente durante un evento epidemico. Successivamente alla trattazione delle peculiarità del modello SIR compartimentale semplice, si costruiscono le equazioni differenziali caratterizzanti il modello SIR strutturato per età, che considera un evento epidemico in una classe più giovane e una classe più anziana. Le stime, diffuse dagli istituti di ricerca durante il periodo dell’epidemia SARS-Cov-2, dei parametri caratteristici di questo modello, consentono di valutare le dinamiche epidemiche a partire da differenti condizioni iniziali e in presenza di eventuali misure restrittive. In primo luogo, questo modello consente di simulare la differente evoluzione dell’epidemia nelle due classi e di modulare i parametri dell’interazione tra di esse. Inoltre, è possibile modificare il decorso epidemico grazie all’applicazione di misure soppressive nel corso del tempo. Inserendo il patogeno nella popolazione più giovane, a parità di condizioni iniziali, la simulazione del modello SIR strutturato per età costituisce la base di partenza per valutare gli effetti del distanziamento sociale della classe più anziana, del lockdown o di entrambi. Simulando il ruolo dei decisori politici, si è potuto constatare quantitativamente la diminuzione dell’altezza e lo spostamento temporale del picco nei vari casi
Algoritmi di tracciamento per reazioni nucleari misurate con Active-Target TPC
Get PDFAbstract (IT): Il dimostratore di ACTAR è una TPC a bersaglio attivo ottimizzata per lo studio di reazioni
nucleari prodotte da fasci di bassa intensità. In questo rivelatore il gas utilizzato per il tracciamento degli
ioni è, allo stesso tempo, il bersaglio della reazione nucleare da studiare. La ricostruzione delle tracce può
essere effettuata tramite algoritmi iterativi. Un esempio è RANSAC, un algoritmo che raggruppa i punti
sperimentali ed associa in modo efficiente i segnali alle traiettorie delle particelle che li producono. In
questo lavoro di tesi verrà discusso come RANSAC è stato applicato allo studio delle reazioni indotte da un
fascio di 11 B a 32 MeV di energia su isobutano. I dati sperimentali sono stati raccolti presso i Laboratori
Nazionali del Sud dell'INFN a febbraio 2019. Verranno descritte la scelta e l'ottimizzazione dei parametri di
ricostruzione delle traiettorie, verranno discussi i risultati dell'analisi.
Abstract (EN): The ACTAR TPC Demonstrator is an active target TPC optimized for studying nuclear
reactions produced from low intensity beams. In this detector the gaseous medium used for tracking
charged ions is also the target for the studied nuclear reaction. Track reconstruction can be achieved
through iterative altorithms. An example is RANSAC, an algorithm that groups and associates the signals
measured to the particle that produced them. It this thesis it will be discussed in detail the RANSAC
application to the study of nuclear reactions induced from a 32 MeV 11 B beam on isobutane. Moreover, a
description of how different RANSAC parameters were choosen and optimised will be provided, and some
analysis results will be finally shown. The experimental data presented have been collected during a
campaign at LNS (Laboratori Nazionali del Sud), an INFN facility, in february 2019