UNITesi

Università degli Studi di Camerino: [520] Istituto

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 161 a 180 di 520
Istituto Anno di pubblicazione Titolo Autore file(s)
Università degli Studi di Camerino 1996 Eventi precoci e tardivi nell'inizio della traduzione procariotica -
Università degli Studi di Camerino 1991 Caratterizzazione ed espressione di HNS, il gene strutturale per una proteina del nucleoide batterico -
Università degli Studi di Camerino 1998 Valutazione critica di diversi adsorbenti impiegati nella preconcentrazione di composti organici volatili presenti nell'aria e negli ambienti di lavoro mediante analisi gascromatografica dopo desorbimento termico dottorato di ricerca inscienze chimiche -
Università degli Studi di Camerino 1996 Organizzazione ed espressione dei cromosomi gene-sized nei protozoi ciliati i geni per i feromoni e le tubuline in Euplotes -
Università degli Studi di Camerino 1992 La responsabilità solidale profili delle obbligazioni solidali risarcitorie -
Università degli Studi di Camerino 1994 Preparazione ed impiego di colonne capillari per gascromatografia con carbone grafitato modificato quale fase stazionaria dottorato di ricerca in scienze chimiche -
Università degli Studi di Camerino 1991 Evoluzione geomorfologica attività tettonica quaternaria e paleosismicità in alcune depressioni tettoniche dell'Appennino Centrale: dottorato di ricerca in scienze della terra -
Università degli Studi di Camerino 1997 L'evoluzione e lo sviluppo delle appendici pari nei vertebrati revisione delle ipotesi correnti e analisi degli aspetti strutturali e ultrastrutturali della morfogenesi dell'arto anterioe in Triturus vulgaris meridionalis (Boulenger, 1882) (Amphibia, caudata, salamandridae) -
Università degli Studi di Camerino 1997 Risposta immunitaria nei confronti di antigeni associati a diversi stadi di Plasmodium falciparum in tre gruppi etnici simpatrici dell'Africa subsahariana dottorato di ricerca in protistologia -
Università degli Studi di Camerino 1991 L'interazione fra endopeptidasi a serina ed inibitori proteici come modello di regolazione nelle macromolecole studi termodinamici -
Università degli Studi di Camerino 1997 Sintesi e studio dell'attività antivirale di analoghi di nucleotidi aciclici dottorato di ricerca in chimica del farmaco -
Università degli Studi di Camerino 1988 Meccanismi coinvolti nella regolazione dell'espressione del gene studiati in due sistemi molecolari dottorato di ricerca in biologia cellulare e molecolare -
Università degli Studi di Camerino 1997 Relazioni struttura-attività di antagonisti del recettore alfa-1 adrenergico corso di dottorato di ricerca in chimica del farmaco -
Università degli Studi di Camerino 1997 La ricerca di nuovi bersagli molecolari d'azione degli antibiotici l'inibizione dell'aminoacilazione dei tRNA da parte della purpuromicina -
Università degli Studi di Camerino 1998 Aspetti comparativi della modulazione funzionale della trombina da specie differenti dottorato di ricerca in biologia -
Università degli Studi di Camerino 1989 Studio di una popolazione di Marphysa sanguinea (Montagu) (Polychaeta, Eunicidae) nella laguna di Venezia approccio autoecologico -
Università degli Studi di Camerino 1990 Caratterizzazione ed attività biologica di peptidi cromatinici dottorato di ricerca in biologia cellulare e molecolare -
Università degli Studi di Camerino 1997 Ruolo del gonadotropin-releasing hormone (GnRH) e dei peptidi oppioidi nella regolazione locale dell'attività ovarica dottorato di ricerca in biologia -
Università degli Studi di Camerino 1997 Il contratto con prestazioni a carico del solo proponente dottorato di ricerca in diritto civile nella legalità costituzionale -
Università degli Studi di Camerino 1991 L'inadempimento delle obbligazioni negative profili comparatistici con l'ordinamento tedesco -
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 161 a 180 di 520
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile

Prodotti recenti

Static Analysis of WebAssembly Programs by Abstract Interpretation and Environment Specification

In this thesis, we aim to design methods for enabling sound static analysis of bytecode-level programs. The target of this work is primarily enabling sound static analysis for WebAssembly (Wasm), with a particular focus on call graph extraction. The call graph of a program plays a crucial role in inter-procedural verification, and greater precision directly improves analysis quality. To this end, we formalize the standard semantics of a core subset of WebAssembly, the corresponding abstract s...

Strong correlations in the normal phase of an attractive Fermi gas

The purpose of this thesis is the study of an attractive Fermi gas in the normal phase throughout the BCS-BEC crossover by means of diagrammatic approaches based on the t-matrix approximation. More specifically, the calculation is implemented by including different degrees of self-consistency in the t-matrix equations, from the non-self-consistent to the fully self-consistent (or Luttinger-Ward) approach. In the first part of the thesis, we perform a systematic and unbiased comparative ...

Analysis and verification of smart contracts with behavioural types

Smart contracts deployed on blockchain platforms are immutable once deployed, making correctness and security critical concerns that have led to substantial financial losses due to vulnerabilities. A significant proportion of these vulnerabilities stem from human-written code rather than blockchain infrastructure or cryptographic primitives. This observation motivates a paradigm shift from manual code development to model-driven approaches that generate semantically correct smart contrac...

Three Essays on Blockchain and the Transformation of International Trade, Finance, and Money

This dissertation consists of three essays on how blockchain-based infrastructures reshape cross-border economic activity by changing how trust is produced, how intermediation is organized, and how liquidity and money are provided. The unifying lens is that blockchain enables shared verification and programmable assets, which can reduce coordination frictions, but can also generate new forms of systemic risk and policy trade-offs. The first essay studies blockchain adoption in internation...

Protecting Healthcare Data: Blockchain-based Solutions for Security, Privacy and Scalability

Every individual in our digitally advanced world requires adequate data protection. The transmission of healthcare information is increasingly focused on protecting data privacy and improving scalability. The rapid progression of communications technology has made the sharing of distributed information across several domains an inescapable trend, enhancing transmission of information with an emphasis on privacy and scalability. The fast expansion of blockchain systems sometimes requires ...

Permissioned Blockchains Interoperability: Theory, Practice and Industry 4.0 Applications

Blockchain technology has attracted considerable interest in recent years, both academically and in business. Its decentralisation, security, and transparency properties make it a disruptive technology of interest for the Industry 4.0 revolution. However, blockchains operate as isolated environments, unable to communicate with external systems. Finding ways to perform so-called inter-chain or cross-chain transactions, aimed at moving assets or data between different blockchains, is crucia...

Blockchain Entrepreneurial Finance: investor behavior and contributions to startup success

This thesis examines different types of investors across the evolution of entrepreneurial finance in the blockchain sector, focusing on investors’ behaviors and their contributions to the success of blockchain startups. The structure of capital inflows into blockchain ventures has undergone significant changes over time. While early blockchain financing resembled a decentralized form of crowdfunding, dominated by retail participation, more recent funding has increasingly been provided by ...

Bytecode-based Image Analysis for Security Vulnerability Detection in Ethereum Smart Contracts

This paper underscores the vital role of blockchain technology in Industry 4.0, aiming to inspire researchers and industry professionals to recognize its transformative potential in creating decentralized, automated, and data-driven industrial settings. It explains core concepts, components, and varieties of blockchain systems, and assesses their uses across various sectors. The research delves into security and privacy issues, particularly relating to Ethereum platforms and smart contra...

The Impact of Maximal Extractable Value Strategies and Attacks in Proof of Stake Blockchains

Maximal Extractable Value (MEV) is often introduced as a purely technical artifact of transaction ordering, yet its real-world significance is determined elsewhere, in the execution pipeline that decides whether an opportunity is merely observable or can be reliably monetized. This dissertation studies MEV as an empirical, measurable phenomenon, and as an organizational outcome shaped by protocol rules, off-chain coordination, and an increasingly professional infrastructure that mediates h...

Blockchain and Decentralized Finance: Assessment of Risks, Opportunities, and Innovative Monetary Systems

This PhD thesis examines risks, opportunities and socio-technical innovation in blockchain-based financial systems, combining network analysis, empirical market data, and institutional analysis. As the crypto ecosystem and decentralized financial infrastructures continue to expand and interact with traditional monetary systems, understanding how risk propagates across assets, platforms, and institutional designs has become increasingly important for market participants and policymakers. T...

Scopri
Istituto
  • Università degli Studi di Camerino520
Data di pubblicazione
  • 2020 - 2026307
  • 2010 - 201936
  • 2000 - 200972
  • 1990 - 199988
  • 1987 - 19895
Settore disciplinare
  • Settore INF/01 - Informatica36
  • Settore IUS/01 - Diritto Privato28
  • Settore BIO/14 - Farmacologia20
  • Settore CHIM/03 - Chimica General...17
  • Settore ICAR/13 - Disegno Industr...13
  • Settore CHIM/06 - Chimica Organica12
  • Settore ICAR/21 - Urbanistica12
  • Settore CHIM/10 - Chimica degli A...11
  • Settore CHIM/08 - Chimica Farmace...10
  • Settore ICAR/12 - Tecnologia dell...10
Accesso al fulltext
  • open315
  • no fulltext182
  • embargoed20
  • internalNetwork3