18 resultados para 280402 Mathematical Logic and Formal Languages


Relevância:

100.00% 100.00%

Publicador:

Resumo:

This work is concerned with the increasing relationships between two distinct multidisciplinary research fields, Semantic Web technologies and scholarly publishing, that in this context converge into one precise research topic: Semantic Publishing. In the spirit of the original aim of Semantic Publishing, i.e. the improvement of scientific communication by means of semantic technologies, this thesis proposes theories, formalisms and applications for opening up semantic publishing to an effective interaction between scholarly documents (e.g., journal articles) and their related semantic and formal descriptions. In fact, the main aim of this work is to increase the users' comprehension of documents and to allow document enrichment, discovery and linkage to document-related resources and contexts, such as other articles and raw scientific data. In order to achieve these goals, this thesis investigates and proposes solutions for three of the main issues that semantic publishing promises to address, namely: the need of tools for linking document text to a formal representation of its meaning, the lack of complete metadata schemas for describing documents according to the publishing vocabulary, and absence of effective user interfaces for easily acting on semantic publishing models and theories.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

La tesi tematizza come proprio oggetto di indagine i percorsi di partecipazione politica e civica dei giovani nei contesti di transizione alla vita adulta, concentrandosi sull’influenza delle relazioni tra generazioni su tali espressioni di coinvolgimento. L’approfondimento empirico consiste in una ricerca qualitativa condotta presso il quartiere Navile di Bologna nel 2012. Basandosi sull’approccio metodologico della grounded theory, essa ha coinvolto un campione di giovani e un campione di adulti per loro significativi attraverso interviste semistrutturate. Dall’analisi emerge una rilevante disaffezione giovanile nei confronti della politica che, tuttavia, non traduce in un rifiuto del coinvolgimento, ma in una “partecipazione con riserva” espressa attraverso atteggiamenti tutt’altro che passivi nei confronti della politica formale - basati sulla logica della riforma, della resistenza o della ribellione - e mediante un forte investimento in attività partecipative non convenzionali (associazionismo e coinvolgimento). A fare da sfondo all’interesse partecipativo dei giovani si colloca una lettura negativa della propria condizione presente ed un conseguente conflitto intergenerazionale piuttosto manifesto, che si riflette sulle stesse modalità di attivazione. La politica, nelle sue espressioni più strettamente formali, viene interpretata come un ‘territorio adulto’, gestito secondo logiche che lasciano poco spazio ai giovani i quali, per tale ragione, scelgono di attivarsi secondo modalità alternative in cui il confronto con l’altro, quando presente, avviene prevalentemente tra pari o su basi avvertite come più paritarie. Il distanziamento dei giovani dalla politica formale riflette quindi una parallela presa di distanza dagli adulti, i quali risultano smarriti nello svolgimento delle loro funzioni di modello e di riconoscimento. La loro ambivalenza rispetto ai giovani - ossia il continuo oscillare tra il profondo pessimismo e il cieco ottimismo, tra la guida direttiva e la deresponsabilizzazione - si traduce in un riconoscimento parziale delle reali potenzialità ed esigenze dei giovani come cittadini ed adulti emergenti.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In this work I reported recent results in the field of Statistical Mechanics of Equilibrium, and in particular in Spin Glass models and Monomer Dimer models . We start giving the mathematical background and the general formalism for Spin (Disordered) Models with some of their applications to physical and mathematical problems. Next we move on general aspects of the theory of spin glasses, in particular to the Sherrington-Kirkpatrick model which is of fundamental interest for the work. In Chapter 3, we introduce the Multi-species Sherrington-Kirkpatrick model (MSK), we prove the existence of the thermodynamical limit and the Guerra's Bound for the quenched pressure together with a detailed analysis of the annealed and the replica symmetric regime. The result is a multidimensional generalization of the Parisi's theory. Finally we brie y illustrate the strategy of the Panchenko's proof of the lower bound. In Chapter 4 we discuss the Aizenmann-Contucci and the Ghirlanda-Guerra identities for a wide class of Spin Glass models. As an example of application, we discuss the role of these identities in the proof of the lower bound. In Chapter 5 we introduce the basic mathematical formalism of Monomer Dimer models. We introduce a Gaussian representation of the partition function that will be fundamental in the rest of the work. In Chapter 6, we introduce an interacting Monomer-Dimer model. Its exact solution is derived and a detailed study of its analytical properties and related physical quantities is performed. In Chapter 7, we introduce a quenched randomness in the Monomer Dimer model and show that, under suitable conditions the pressure is a self averaging quantity. The main result is that, if we consider randomness only in the monomer activity, the model is exactly solvable.