41199 research outputs found
Sort by
Produzione acido tartarico: analisi dell'intero processo attraverso bilanci di materia e di energia
Descrizione processo produttivo dell'acido tartarico, con analisi delle varie fasi di lavorazioni con bilanci di materia e di energia
Studio sperimentale della condensazione di R1234ze(E) e due sue miscele in canali di piccolo diametro: coefficienti di scambio termico e perdite di carico
Studio sperimentale della condensazione di r1234ze(E) e due sue miscele in canali di piccolo diametro: coefficienti di scambio termico e perdite di carico
How artificial intelligence is affecting marketing and human behaviour: Filoblu case study
High Frequency Trading: impact on capital markets and regulation
Over the past decades, the technological evolution of capital markets has determined the rise of a new breed of traders whose core activity is trading leveraging low-latency algorithms: the high frequency traders (HFTs). The progressive growth of HFT and market events as the May 6, 2010 Flash Crash have spurred finance scholars and regulators to analyze the phenomenon in order to understand its effect on market quality in terms of liquidity, volatility and efficiency and on its financial stability and integrity and consequently to update market structure and financial regulation to encompass this new kind of trading
Il Digital Markers Act: come regolare l'accesso al mercato digitale dell'Unione Europea
I temi legati ai mercati digitali stanno avendo sempre più rilevanza. Attraverso questo elaborato si vuole analizzare l'attuale ruolo che alcune grandi piattaforme hanno assunto sui mercati digitali. In più verrà analizzata l'attuale normativa antitrust fino ad arrivare a spiegare il bisogno di avere nuove regole sullo spazio digitale a livello europeo. Verrà, quindi, trattata la proposta di legge avanzata dalla Commissione lo scorso 15 dicembre 2020, ovvero il Digital Markets Act. Verranno spiegate le caratteristiche, le funzioni e l'impatto di tale proposta
Strategie di incentivo nei giochi differenziali: teoria ed applicazioni
In un gioco differenziale è noto che, se i giocatori cooperassero,
realizzerebbero un payoff totale più alto rispetto alla somma dei singoli
payoff all'equilibrio di Nash o di Stackelberg del gioco. Per implementare
la soluzione cooperativa però non è sufficiente che i giocatori stipulino
un contratto, perché tale soluzione del gioco non è un equilibrio e i
giocatori tenterebbero di deviare. Questa tesi presenta in tutta generalità
dei meccanismi che permettono di realizzare la soluzione cooperativa,
ovvero le strategie di incentivo. Grazie a queste ultime, la soluzione
cooperativa viene realizzata come equilibrio di un nuovo gioco differenziale, il gioco incentivato. Si trova il cosiddetto equilibrio di
incentivo. Per avere la garanzia che venga realizzata la cooperazione, si
richiede inoltre che gli incentivi siano credibili. Nella tesi si studia
dettagliatamente l'equilibrio di incentivo, la sua credibilità e si
classificano i vari incentivi implementabili nei giochi differenziali. Alla
fine viene mostrata l'implementazione di diversi incentivi in alcuni
modelli applicati al marketing e alla gestione ambientale
Semantica categoriale delle logiche intuizionista e classica
In questa tesi facciamo uso di nozioni di Teoria delle Categorie per
affinare e approfondire lo studio dei collegamenti tra sintassi e semantica
delle logiche Intuizionista e Classica proposizionale. Dopo aver enunciato
la semantica categoriale di entrambe le logiche in termini di particolari
funtori aggiunti, le Connessioni di Galois, enunciamo e dimostriamo per
entrambe le logiche non solo il teorema di Validità e Completezza ma anche
il Teorema del Linguaggio Interno, mostrando un legame astratto tra teorie
logiche ed algebre ad esse corrispondenti. Passiamo poi ad applicare tale
teorema per ottenere una Riflessione e unaCoriflessione della categoria
delle algebre di Heyting in quella delle algebre di Boole. Infine applichiamo il teorema del linguaggio interno per estendere la logica intuizionista propo- sizionale con le regole corrispondenti al connettivo sottrazione di una bi-Heyting algebra. Concludiamo infine dimostrando un teorema di Validità e Completezza per co-Heyting algebre e per il calcolo dei sequenti di G. Restall rispetto alle bi-Heyting algebre