University of Padua

Padua@thesis
Not a member yet
    41199 research outputs found

    Produzione acido tartarico: analisi dell'intero processo attraverso bilanci di materia e di energia

    No full text
    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

    No full text
    Studio sperimentale della condensazione di r1234ze(E) e due sue miscele in canali di piccolo diametro: coefficienti di scambio termico e perdite di carico

    High Frequency Trading: impact on capital markets and regulation

    No full text
    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

    Subjective poverty and macroeconomic shocks

    Full text link

    Il Digital Markers Act: come regolare l'accesso al mercato digitale dell'Unione Europea

    No full text
    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

    Le politiche per la riattivazione dei NEET

    Full text link

    Strategie di incentivo nei giochi differenziali: teoria ed applicazioni

    No full text
    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

    No full text
    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

    15,643

    full texts

    41,199

    metadata records
    Updated in last 30 days.
    Padua@thesis
    Access Repository Dashboard
    Do you manage Open Research Online? Become a CORE Member to access insider analytics, issue reports and manage access to outputs from your repository in the CORE Repository Dashboard! 👇