q-Hook length formulas for colored labeled forests

The major index has been deeply studied from the early 1900s and recently has been generalized in different directions, such as the case of labeled forests and colored permutations. In this thesis we define new types of labelings for forests in which the labels are colored integers. We extend the definition of the flag-major index for these labelings and we present an analogue of well known major index hook length formulas. Finally, this study (which has just apparently a simple combinatoric nature) allows us to show a notion of duality for two particular families of groups obtained from the product G(r,n)×G(r,m).

Constraint handling rules. Compositional semantics and program transformation

This thesis intends to investigate two aspects of Constraint Handling Rules (CHR). It proposes a compositional semantics and a technique for program transformation. CHR is a concurrent committed-choice constraint logic programming language consisting of guarded rules, which transform multi-sets of atomic formulas (constraints) into simpler ones until exhaustion [Frü06] and it belongs to the declarative languages family. It was initially designed for writing constraint solvers but it has recently also proven to be a general purpose language, being as it is Turing equivalent [SSD05a]. Compositionality is the first CHR aspect to be considered. A trace based compositional semantics for CHR was previously defined in [DGM05]. The reference operational semantics for such a compositional model was the original operational semantics for CHR which, due to the propagation rule, admits trivial non-termination. In this thesis we extend the work of [DGM05] by introducing a more refined trace based compositional semantics which also includes the history. The use of history is a well-known technique in CHR which permits us to trace the application of propagation rules and consequently it permits trivial non-termination avoidance [Abd97, DSGdlBH04]. Naturally, the reference operational semantics, of our new compositional one, uses history to avoid trivial non-termination too. Program transformation is the second CHR aspect to be considered, with particular regard to the unfolding technique. Said technique is an appealing approach which allows us to optimize a given program and in more detail to improve run-time efficiency or spaceconsumption. Essentially it consists of a sequence of syntactic program manipulations which preserve a kind of semantic equivalence called qualified answer [Frü98], between the original program and the transformed ones. The unfolding technique is one of the basic operations which is used by most program transformation systems. It consists in the replacement of a procedure-call by its definition. In CHR every conjunction of constraints can be considered as a procedure-call, every CHR rule can be considered as a procedure and the body of said rule represents the definition of the call. While there is a large body of literature on transformation and unfolding of sequential programs, very few papers have addressed this issue for concurrent languages. We define an unfolding rule, show its correctness and discuss some conditions in which it can be used to delete an unfolded rule while preserving the meaning of the original program. Finally, confluence and termination maintenance between the original and transformed programs are shown. This thesis is organized in the following manner. Chapter 1 gives some general notion about CHR. Section 1.1 outlines the history of programming languages with particular attention to CHR and related languages. Then, Section 1.2 introduces CHR using examples. Section 1.3 gives some preliminaries which will be used during the thesis. Subsequentely, Section 1.4 introduces the syntax and the operational and declarative semantics for the first CHR language proposed. Finally, the methodologies to solve the problem of trivial non-termination related to propagation rules are discussed in Section 1.5. Chapter 2 introduces a compositional semantics for CHR where the propagation rules are considered. In particular, Section 2.1 contains the definition of the semantics. Hence, Section 2.2 presents the compositionality results. Afterwards Section 2.3 expounds upon the correctness results. Chapter 3 presents a particular program transformation known as unfolding. This transformation needs a particular syntax called annotated which is introduced in Section 3.1 and its related modified operational semantics !0t is presented in Section 3.2. Subsequently, Section 3.3 defines the unfolding rule and prove its correctness. Then, in Section 3.4 the problems related to the replacement of a rule by its unfolded version are discussed and this in turn gives a correctness condition which holds for a specific class of rules. Section 3.5 proves that confluence and termination are preserved by the program modifications introduced. Finally, Chapter 4 concludes by discussing related works and directions for future work.

Application of different instrumental techniques to the selective evaluation of bio-sensible compounds in foodstuff of animal and vegetable origin

This PhD thesis describes the application of some instrumental analytical techniques suitable to the study of fundamental food products for the human diet, such as: extra virgin olive oil and dairy products. These products, widely spread in the market and with high nutritional values, are increasingly recognized healthy properties although their lipid fraction might contain some unfavorable components to the human health. The research activity has been structured in the following investigations: “Comparison of different techniques for trans fatty acids analysis” “Fatty acids analysis of outcrop milk cream samples, with particular emphasis on the content of Conjugated Linoleic Acid (CLA) and trans Fatty Acids (TFA), by using 100m high-polarity capillary column” “Evaluation of the oxidited fatty acids (OFA) content during the Parmigiano-Reggiano cheese seasoning” “Direct analysis of 4-desmethyl sterols and two dihydroxy triterpenes in saponified vegetal oils (olive oil and others) using liquid chromatography-mass spectrometry” “Quantitation of long chain poly-unsatured fatty acids (LC-PUFA) in base infant formulas by Gas Chromatography, and evaluation of the blending phases accuracy during their preparation” “Fatty acids composition of Parmigiano Reggiano cheese samples, with emphasis on trans isomers (TFA)”

Epos orale russo tra oralità e scrittura: problemi e proposte di traduzione

In the present thesis, I discuss the role of orality in translation, taking into account the problems arising while translating Russian folk epics. I investigate the meaning of orality in the context of folkloristic translation, trying to define a concept of oral poetry, and exploring its consequences for translation. In the first chapter, I try to identify the main differences between written literature and oral modes of expression, with special reference to folklore. Oral verbal art is performed, sung or recited, and based on a vital and dynamic interrelation between kinesics, sound, speech and gestures. According to Muhawi (2006), performance provides an interpretive frame enabling a correct interpretation of the message conveyed beyond the literal meaning. Transposing certain performance elements into print is one of the most controversial problems in folklore studies. However, formulas and formal stylistic devices may be rendered in transcription, building a bridge between oral and written elements. In the translation of oral poetry in transcription, this interconnection between orality and literacy might be emphasized, thus creating a hybrid dimension where oral and literary features coexist. In the second chapter, I introduce and describe the genre of Russian folk epics, transmitted orally, and transcribed between the 19th and 20th centuries, from a historical, linguistic and stylistic point of view. In the third and fourth chapters, I explore the issue of translation of Russian oral poetry. I first analyse existing Italian translations of Russian epics, and then present and discuss my own translation, based on a philological, scholarly approach. Thus, in my translation, which is followed by a rich commentary, I try to focus on the rendering of formulas as one of the most relevant aspects of Russian epics. At the same time, oral devices combine with literary features, thus creating a sort of frozen orality.

Nondestructive evaluation of concrete compression strength by means of Artificial Neural Network (ANN)

The evaluation of structural performance of existing concrete buildings, built according to standards and materials quite different to those available today, requires procedures and methods able to cover lack of data about mechanical material properties and reinforcement detailing. To this end detailed inspections and test on materials are required. As a consequence tests on drilled cores are required; on the other end, it is stated that non-destructive testing (NDT) cannot be used as the only mean to get structural information, but can be used in conjunction with destructive testing (DT) by a representative correlation between DT and NDT. The aim of this study is to verify the accuracy of some formulas of correlation available in literature between measured parameters, i.e. rebound index, ultrasonic pulse velocity and compressive strength (SonReb Method). To this end a relevant number of DT and NDT tests has been performed on many school buildings located in Cesena (Italy). The above relationships have been assessed on site correlating NDT results to strength of core drilled in adjacent locations. Nevertheless, concrete compressive strength assessed by means of NDT methods and evaluated with correlation formulas has the advantage of being able to be implemented and used for future applications in a much more simple way than other methods, even if its accuracy is strictly limited to the analysis of concretes having the same characteristics as those used for their calibration. This limitation warranted a search for a different evaluation method for the non-destructive parameters obtained on site. To this aim, the methodology of neural identification of compressive strength is presented. Artificial Neural Network (ANN) suitable for the specific analysis were chosen taking into account the development presented in the literature in this field. The networks were trained and tested in order to detect a more reliable strength identification methodology.

Edizione commentata della Cronaca di Venezia di Giovanni Tiepolo (XVI-XVII sec.)

Il seguente studio propone l'esame di una cronaca veneziana del XVI secolo, inedita, dalle origini al 1538/39, che parte della tradizione manoscritta attribuisce al Patriarca di Venezia Giovanni Tiepolo (1619-1631), parte ad Agostino degli Agostini, (1530-1574), un patrizio veneziano il cui nome è legato essenzialmente ad una cronaca dal 421 al 1570. Indipendentemente da chi sia il primitivo autore, la cronaca, di discreto pregio per la storia interna e il funzionamento delle istituzioni veneziane, presenta elementi di spiccata originalità dal punto di vista compositivo e formale che la pongono in una prospettiva storiografica alternativa al dualismo tra la storiografia ufficiale promossa per pubblico decreto e l'iniziativa privata dei diaria del XV-XVI. La cronaca veneziana, abbandonata per formule più sofisticate e innovative di diffusione dell'informazione pubblica, sopravvive, formalmente immutata nella sua arcaicità, rinnovandosi nella tendenza a creare compendi ricchi di documenti e di elenchi, destinati ad aiutare la nobiltà ad orientarsi nel mondo socio-politico contemporaneo. Si consuma così il divorzio fra l'informazione tecnico-politica utile al patriziato nello svolgimento del suo lavoro e la storiografia pubblica che, di fronte alle varie esigenze e ai diversi generi letterari, sceglie ideologicamente di abbracciare il genere delle laus civitatis e della storiografia laudativa ed encomiastica. In questo contesto si inserisce la Cronaca esemplata dal Patriarca Giovanni Tiepolo, chiaro esempio di un tentativo di razionalizzazione dell'informazione in cui le notizie e gli elementi non ritenuti immediatamente utili come le lunghe liste dei 41 elettori, le promissioni ducali, nonchè singoli episodi ed eventi trattati, trovano una collocazione esterna alla cronaca, in quello che Reines definisce l'ormai nascente archivio politico del XVI secolo.

Analisi e ottimizzazione del servizio di raccolta e trasporto dei rifiuti anche in relazione alle tematiche ambientali: un'applicazione alla rete urbana di Bologna

Questo studio, che è stato realizzato in collaborazione con Hera, è un'analisi della gestione dei rifiuti a Bologna. La ricerca è stata effettuata su diversi livelli: un livello strategico il cui scopo è quello di identificare nuovi metodi per la raccolta dei rifiuti in funzione delle caratteristiche del territorio della città, un livello analitico che riguarda il miglioramento delle applicazioni informatiche di supporto, e livello ambientale che riguarda il calcolo delle emissioni in atmosfera di veicoli adibiti alla raccolta e al trasporto dei rifiuti. innanzitutto è stato necessario studiare Bologna e lo stato attuale dei servizi di raccolta dei rifiuti. È incrociando questi componenti che in questi ultimi tre anni sono state effettuate modifiche nel settore della gestione dei rifiuti. I capitoli seguenti sono inerenti le applicazioni informatiche a sostegno di tali attività: Siget e Optit. Siget è il programma di gestione del servizio, che attualmente viene utilizzato per tutte le attività connesse alla raccolta di rifiuti. È un programma costituito da moduli diversi, ma di sola la gestione dati. la sperimentazione con Optit ha aggiunto alla gestione dei dati la possibilità di avere tali dati in cartografia e di associare un algoritmo di routing. I dati archiviati in Siget hanno rappresentato il punto di partenza, l'input, e il raggiungimento di tutti punti raccolta l'obiettivo finale. L'ultimo capitolo è relativo allo studio dell'impatto ambientale di questi percorsi di raccolta dei rifiuti. Tale analisi, basata sulla valutazione empirica e sull'implementazione in Excel delle formule del Corinair mostra la fotografia del servizio nel 2010. Su questo aspetto Optit ha fornito il suo valore aggiunto, implementando nell'algoritmo anche le formule per il calcolo delle emissioni.

L(ocus) d(atos) d(ecreto) d(ecurionum): La concessione di spazi pubblici nelle comunita' cittadine dell'italia romana

La tesi riguarda la concessione di spazi di proprietà pubblica a privati, intesi come singole persone o enti, quali ad esempio i collegi, da parte delle autorità cittadine. Le fonti a disposizione per indagare tale pratica burocratica sono quasi totalmente di natura epigrafica, per lo più attestanti l’espressione locus datus decreto decurionum, variamente abbreviata, o formule similari. Questo aspetto della vita civica è stata cursoriamente oggetto di studio in diversi contributi, ma si tratta di articoli che circoscrivono il tema, analizzandolo in relazione a ristrette aree geografiche, oppure considerandone determinati aspetti (ad esempio l’ambito sacro o quello funerario). Si è perciò ritenuto utile proseguire questa linea di ricerca affrontando uno studio di più ampio raggio, che comprenda la documentazione epigrafica dell’intero territorio italico (costituito dalle undici regioni augustee ad esclusione di Roma), per tutte le tipologie testuali (iscrizioni sacre, funerarie, onorarie, su opera pubblica, exempla decreti), allo scopo di formulare osservazioni più precise e puntuali sulla procedura burocratica in esame, pur con tutti i limiti noti a chi affronti questo genere di indagine. Tra le conclusioni raggiunte, è emerso come durante il I-II sec. d.C. vi fosse la tendenza a concedere, sporadicamente, dei loca sepulturae extraurbani a membri delle famiglie delle élites cittadine, anche donne e fanciulli, mentre il foro e le altre aree pubbliche interne alla città erano soprattutto utilizzate direttamente dai decurioni per l’elevazione di dediche e statue. Nel corso del II sec. d.C., con massima diffusione nell’età antonina e poi in quella severiana, prese invece piede l’uso privato a scopo onorario degli spazi pubblici siti all’interno delle città, ovvero in aree prima pressoché precluse all’intervento di singoli cittadini: familiari e liberti, collegi e altri organismi commissionavano statue dedicate prevalentemente agli amministratori locali, magistrati cittadini spesso divenuti anche cavalieri.

Ab initio quantum mechanical investigation of structural and chemical-physical properties of selected minerals for minero-petrological, structural ceramic and biomaterial applications

The purpose of this thesis is the atomic-scale simulation of the crystal-chemical and physical (phonon, energetic) properties of some strategically important minerals for structural ceramics, biomedical and petrological applications. These properties affect the thermodynamic stability and rule the mineral-environment interface phenomena, with important economical, (bio)technological, petrological and environmental implications. The minerals of interest belong to the family of phyllosilicates (talc, pyrophyllite and muscovite) and apatite (OHAp), chosen for their importance in industrial and biomedical applications (structural ceramics) and petrophysics. In this thesis work we have applicated quantum mechanics methods, formulas and knowledge to the resolution of mineralogical problems ("Quantum Mineralogy”). The chosen theoretical approach is the Density Functional Theory (DFT), along with periodic boundary conditions to limit the portion of the mineral in analysis to the crystallographic cell and the hybrid functional B3LYP. The crystalline orbitals were simulated by linear combination of Gaussian functions (GTO). The dispersive forces, which are important for the structural determination of phyllosilicates and not properly con-sidered in pure DFT method, have been included by means of a semi-empirical correction. The phonon and the mechanical properties were also calculated. The equation of state, both in athermal conditions and in a wide temperature range, has been obtained by means of variations in the volume of the cell and quasi-harmonic approximation. Some thermo-chemical properties of the minerals (isochoric and isobaric thermal capacity) were calculated, because of their considerable applicative importance. For the first time three-dimensional charts related to these properties at different pressures and temperatures were provided. The hydroxylapatite has been studied from the standpoint of structural and phonon properties for its biotechnological role. In fact, biological apatite represents the inorganic phase of vertebrate hard tissues. Numerous carbonated (hydroxyl)apatite structures were modelled by QM to cover the broadest spectrum of possible biological structural variations to fulfil bioceramics applications.

L'inno avestico agli Aməsha Spəṇtas (Yasht 2). Testo critico e traduzione con commentario storico religioso

L'inno dedicato ai sette Amesha Spəṇta è parte della produzione avestica recenziore, e si compone in gran parte di porzioni testuali riprese da altri testi avestici a loro volta di formazione tardiva. Lo Yašt si divide in tre parti principali: le stanze 0-10; 11-14; e infine la stanza 15 che comprende la formula di chiusura tipica degli inni avestici. La prima sezione (2.0-10) è composta dalla formula di apertura, incompleta rispetto a quelle dei restanti inni, seguita dai primi sette capitoli di entrambi i Sīh-rōzag compresi i Gāh. Le stanze centrali (11-14) si caratterizzano per l'assenza di passi gemelli, un elevato numero di hapax e di arcaismi formali e inoltre, una grande variabilità nella tradizione manoscritta. Si tratta di una formula magica per esorcizzare/allontanare demoni e stregoni, che doveva essere recitata per sette volte. Tale formula probabilmente rappresentava in origine un testo autonomo che veniva recitato assieme ad altri testi avestici. La versione a noi pervenuta comprende la recitazione di parte di entrambi i Sīh-rōzag, ma è molto probabile che tale arrangement sia soltanto una sequenza recitativa che doveva coesistere assieme ad altre. Attualmente la formula magica viene recitata principalmente assieme allo Yasna Haptaŋhāiti, senza le restanti stanze dell'inno nella sua versione geldneriana. Il testo sembra nascere come formula magica la quale venne recitata assieme a diversi testi avestici come per esempio parti dello Sīh-rōzag. In un periodo impossibile da stabilire con certezza la versione viene fissata nella forma a noi pervenuta nella maggior parte dei manoscritti e per la sua affinità formale probabilmente interpretato come inno e perciò incluso nell'innario avestico.