Cross-cultural adaptation of the Safety Attitudes Questionnaire - Short Form 2006 for Brazil

The objective of this study was to perform a cross-cultural adaptation of the Safety Attitudes Questionnaire - Short Form 2006 for Brazil. The instrument was applied in six hospitals in three regions of Brazil. Content, face, and construct validity was performed. Analysis of the instrument's reliability was performed by verifying the items' internal consistency through Cronbach's alpha. The sample was composed of 1301 professionals working in clinical and surgical wards of six hospitals. Confirmatory analysis showed that the model including 41 items was satisfactory. The Portuguese version presented an alpha of 0.89. The item-total correlations among the domains were moderate to strong, except for the domain Stress Recognition. We concluded that the instrument's version adapted to Portuguese and applied in our sample is valid and reliable.

Reliability-based design optimization strategies based on FORM: a review

In deterministic optimization, the uncertainties of the structural system (i.e. dimension, model, material, loads, etc) are not explicitly taken into account. Hence, resulting optimal solutions may lead to reduced reliability levels. The objective of reliability based design optimization (RBDO) is to optimize structures guaranteeing that a minimum level of reliability, chosen a priori by the designer, is maintained. Since reliability analysis using the First Order Reliability Method (FORM) is an optimization procedure itself, RBDO (in its classical version) is a double-loop strategy: the reliability analysis (inner loop) and the structural optimization (outer loop). The coupling of these two loops leads to very high computational costs. To reduce the computational burden of RBDO based on FORM, several authors propose decoupling the structural optimization and the reliability analysis. These procedures may be divided in two groups: (i) serial single loop methods and (ii) unilevel methods. The basic idea of serial single loop methods is to decouple the two loops and solve them sequentially, until some convergence criterion is achieved. On the other hand, uni-level methods employ different strategies to obtain a single loop of optimization to solve the RBDO problem. This paper presents a review of such RBDO strategies. A comparison of the performance (computational cost) of the main strategies is presented for several variants of two benchmark problems from the literature and for a structure modeled using the finite element method.

Nonlocal asymmetric exclusion process on a ring and conformal invariance

We present a one-dimensional nonlocal hopping model with exclusion on a ring. The model is related to the Raise and Peel growth model. A nonnegative parameter u controls the ratio of the local backwards and nonlocal forwards hopping rates. The phase diagram, and consequently the values of the current, depend on u and the density of particles. In the special case of half-lling and u = 1 the system is conformal invariant and an exact value of the current for any size L of the system is conjectured and checked for large lattice sizes in Monte Carlo simulations. For u > 1 the current has a non-analytic dependence on the density when the latter approaches the half-lling value.

Evolution of signal form

Visual signals, used for communication both within and between species, vary immensely in the forms that they take. How is it that all this splendour has evolved in nature? Since it is the receiver’s preferences that cause selective pressures on signals, elucidating the mechanism behind the response of the signal receiver is vital to gain a closer understanding of the evolutionary process. In my thesis I have therefore investigated how receivers, represented by chickens, Gallus gallus domesticus, respond to different stimuli displayed on a peck-sensitive computer screen. According to the receiver bias hypothesis, animals and humans often express biases when responding to certain stimuli. These biases develop as by-products of how the recognition mechanism categorises and discriminates between stimuli. Since biases are generated from general stimulus processing mechanisms, they occur irrespective of species and type of signal, and it is often possible to predict the direction and intensity of the biases. One of the results from the experiments in my thesis demonstrates that similar experience in different species may generate similar biases. By giving chickens at least some of the experience of human faces as humans presumably have, the chickens subsequently expressed preferences for the same faces as a group of human subjects. Another kind of experience generated a bias for symmetry. This bias developed in the context of training chickens to recognise two mirror images of an asymmetrical stimulus. Untrained chickens and chickens trained on only one of the mirror images expressed no symmetry preferences. The bias produced by the training regime was for a specific symmetrical stimulus which had a strong resemblance to the familiar asymmetrical exemplar, rather than a general preference for symmetry. A further kind of experience, training chickens to respond to some stimuli but not to others, generated a receiver bias for exaggerated stimuli, whereas chickens trained on reversed stimuli developed a bias for less exaggerated stimuli. To investigate the potential of this bias to drive the evolution of signals towards exaggerated forms, a simplified evolutionary process was mimicked. The stimuli variants rejected by the chickens were eliminated, whereas the selected forms were kept and evolved prior to the subsequent display. As a result, signals evolved into exaggerated forms in all tested stimulus dimensions: length, intensity and area, despite the inclusion of a cost to the sender for using increasingly exaggerated signals. The bias was especially strong and persistent for stimuli varying along the intensity dimension where it remained despite extensive training. All the results in my thesis may be predicted by the receiver bias hypothesis. This implies that biases, developed due to stimuli experience, may be significant mechanisms driving the evolution of signal form.

Maximum principle, mean value operators and quasi boundedness in non-euclidean settings

This work deals with some classes of linear second order partial differential operators with non-negative characteristic form and underlying non- Euclidean structures. These structures are determined by families of locally Lipschitz-continuous vector fields in RN, generating metric spaces of Carnot- Carath´eodory type. The Carnot-Carath´eodory metric related to a family {Xj}j=1,...,m is the control distance obtained by minimizing the time needed to go from two points along piecewise trajectories of vector fields. We are mainly interested in the causes in which a Sobolev-type inequality holds with respect to the X-gradient, and/or the X-control distance is Doubling with respect to the Lebesgue measure in RN. This study is divided into three parts (each corresponding to a chapter), and the subject of each one is a class of operators that includes the class of the subsequent one. In the first chapter, after recalling “X-ellipticity” and related concepts introduced by Kogoj and Lanconelli in [KL00], we show a Maximum Principle for linear second order differential operators for which we only assume a Sobolev-type inequality together with a lower terms summability. Adding some crucial hypotheses on measure and on vector fields (Doubling property and Poincar´e inequality), we will be able to obtain some Liouville-type results. This chapter is based on the paper [GL03] by Guti´errez and Lanconelli. In the second chapter we treat some ultraparabolic equations on Lie groups. In this case RN is the support of a Lie group, and moreover we require that vector fields satisfy left invariance. After recalling some results of Cinti [Cin07] about this class of operators and associated potential theory, we prove a scalar convexity for mean-value operators of L-subharmonic functions, where L is our differential operator. In the third chapter we prove a necessary and sufficient condition of regularity, for boundary points, for Dirichlet problem on an open subset of RN related to sub-Laplacian. On a Carnot group we give the essential background for this type of operator, and introduce the notion of “quasi-boundedness”. Then we show the strict relationship between this notion, the fundamental solution of the given operator, and the regularity of the boundary points.

Complex higher spins, Weyl invariance and tractors

In this thesis work I analyze higher spin field theories from a first quantized perspective, finding in particular new equations describing complex higher spin fields on Kaehler manifolds. They are studied by means of worldline path integrals and canonical quantization, in the framework of supersymmetric spinning particle theories, in order to investigate their quantum properties both in flat and curved backgrounds. For instance, by quantizing a spinning particle with one complex extended supersymmetry, I describe quantum massless (p,0)-forms and find a worldline representation for their effective action on a Kaehler background, as well as exact duality relations. Interesting results are found also in the definition of the functional integral for the so called O(N) spinning particles, that will allow to study real higher spins on curved spaces. In the second part, I study Weyl invariant field theories by using a particular mathematical framework known as tractor calculus, that enable to maintain at each step manifest Weyl covariance.

The massless two-loop two-point function and zeta functions in counterterms of Feynman diagrams

The main part of this thesis describes a method of calculating the massless two-loop two-point function which allows expanding the integral up to an arbitrary order in the dimensional regularization parameter epsilon by rewriting it as a double Mellin-Barnes integral. Closing the contour and collecting the residues then transforms this integral into a form that enables us to utilize S. Weinzierl's computer library nestedsums. We could show that multiple zeta values and rational numbers are sufficient for expanding the massless two-loop two-point function to all orders in epsilon. We then use the Hopf algebra of Feynman diagrams and its antipode, to investigate the appearance of Riemann's zeta function in counterterms of Feynman diagrams in massless Yukawa theory and massless QED. The class of Feynman diagrams we consider consists of graphs built from primitive one-loop diagrams and the non-planar vertex correction, where the vertex corrections only depend on one external momentum. We showed the absence of powers of pi in the counterterms of the non-planar vertex correction and diagrams built by shuffling it with the one-loop vertex correction. We also found the invariance of some coefficients of zeta functions under a change of momentum flow through these vertex corrections.

Charakterisierung von apoFNR, einer weiteren Form des Sauerstoffsensors FNR aus Escherichia coli und von NreB, einem potentiellen Sauerstoffsensor aus Staphylococcus carnosus

FNR (Fumarat Nitratreduktase Regulator) ist der Sauerstoffsensor aus Escherichia coli. Bisher waren zwei Formen von FNR bekannt, der aktive Zustand, ein Dimer mit je einem [4Fe4S]-Zentrum und ein inaktiver Zustand, in dem FNR als Monomer mit je einem [2Fe2S]-Zentrum vorliegt. Die Untersuchungen dieser Arbeit geben nun Hinweise, dass es mit apoFNR eine dritte physiologische Form von FNR gibt. Es wurde die Entstehung von apoFNR aus [4Fe4S]•FNR untersucht und die biochemischen Eigenschaften von apoFNR charakterisiert. ApoFNR konnte in vitro zu [4Fe4S]•FNR rekonstituiert werden, hierbei konnte die Lagphase der Rekonstitution durch Zusatz von Glutaredoxinen zum Rekonstitutionsansatz verkürzt werden. FNR, dessen Cysteinreste in vivo unter aeroben bzw. anaeroben Bedingungen mit 4-Acetamido-4´-Maleimidylstilbene-2,2´Disulfonsäure markiert wurden, zeigt auf SDS-Gelen einen Shift zu einer höheren Masse im Vergleich zu unmarkiertem FNR. Allerdings trat in aeroben Zellen eine zusätzliche Bande bei einer niedrigeren Masse auf. Es waren hier also weniger Cysteinreste markierbar. Weiterhin wurde mit NreB ein potentieller Sauerstoffsensor aus Staphylococcus carnosus untersucht. Es wurden Hinweise auf ein Eisen-Schwefel-Zentrum vom FNR-Typ als Cofaktor gefunden. Der Einbau dieses Cofaktors war abhängig von der Anwesenheit der Cysteinreste in NreB, von der Cysteindesulfurase NifSAV und von Eisenionen. Der Cofaktor war sauerstoffempfindlich und beeinflusste die Autophosphorylierung von NreB.

Measurement of the K + - pi + pi - e + - (-) v e form factors and of the pi pi scattering length a 0 0

The quark condensate is a fundamental free parameter of Chiral Perturbation Theory ($chi PT$), since it determines the relative size of the mass and momentum terms in the power expansion. In order to confirm or contradict the assumption of a large quark condensate, on which $chi PT$ is based, experimental tests are needed. In particular, the $S$-wave $pipi$ scattering lengths $a_0^0$ and $a_0^2$ can be predicted precisely within $chi PT$ as a function of this parameter and can be measured very cleanly in the decay $K^{pm} to pi^{+} pi^{-} e^{pm} stackrel{mbox{tiny(---)}}{nu_e}$ ($K_{e4}$). About one third of the data collected in 2003 and 2004 by the NA48/2 experiment were analysed and 342,859 $K_{e4}$ candidates were selected. The background contamination in the sample could be reduced down to 0.3% and it could be estimated directly from the data, by selecting events with the same signature as $K_{e4}$, but requiring for the electron the opposite charge with respect to the kaon, the so-called ``wrong sign'' events. This is a clean background sample, since the kaon decay with $Delta S=-Delta Q$, that would be the only source of signal, can only take place through two weak decays and is therefore strongly suppressed. The Cabibbo-Maksymowicz variables, used to describe the kinematics of the decay, were computed under the assumption of a fixed kaon momentum of 60 GeV/$c$ along the $z$ axis, so that the neutrino momentum could be obtained without ambiguity. The measurement of the form factors and of the $pipi$ scattering length $a_0^0$ was performed in a single step by comparing the five-dimensional distributions of data and MC in the kinematic variables. The MC distributions were corrected in order to properly take into account the trigger and selection efficiencies of the data and the background contamination. The following parameter values were obtained from a binned maximum likelihood fit, where $a_0^2$ was expressed as a function of $a_0^0$ according to the prediction of chiral perturbation theory: f'_s/f_s = 0.133+- 0.013(stat)+- 0.026(syst) f''_s/f_s = -0.041+- 0.013(stat)+- 0.020(syst) f_e/f_s = 0.221+- 0.051(stat)+- 0.105(syst) f'_e/f_s = -0.459+- 0.170(stat)+- 0.316(syst) tilde{f_p}/f_s = -0.112+- 0.013(stat)+- 0.023(syst) g_p/f_s = 0.892+- 0.012(stat)+- 0.025(syst) g'_p/f_s = 0.114+- 0.015(stat)+- 0.022(syst) h_p/f_s = -0.380+- 0.028(stat)+- 0.050(syst) a_0^0 = 0.246+- 0.009(stat)+- 0.012(syst)}+- 0.002(theor), where the statistical uncertainty only includes the effect of the data statistics and the theoretical uncertainty is due to the width of the allowed band for $a_0^2$.

Eine neue Form der Pyruvatkinase in Säugerspermien

Nach Homogenisation ejakulierter Eberspermien und Zentrifugation des Homogenates blieben mehr als 60% der Aktivität des glykolytischen Enzyms Pyruvatkinase (PK) an Zellfragmenten im Sediment gebunden. Diese strukturgebundene PK wurde als PK-S bezeichnet. Das Detergenz Triton X-100 führte nicht zur Ablösung der PK-S; mit Trypsin konnten jedoch rund 80% der PK-S ohne Verlust an Aktivität von den Strukturen gelöst und durch kombinierte Kationenaustausch- und Hydrophobizitätschromatographie gereinigt werden (spezifische Aktivität: 116,7 U/mg Protein). Die lösliche PK aus Eberspermien konnte ebenfalls durch ein ähnliches Verfahren angereichert werden. Im Gel (SDS-PAGE) zeigten die Untereinheiten der PK-S mit 64.400 eine geringfügig größere relative Molekülmasse als die der PK-M1 aus Kaninchenmuskel (62.000). Die kinetischen Eigenschaften der abgelösten PK-S als auch der noch an Spermienstrukturen gebundenen PK-S und der löslichen PK aus Eberspermien waren sehr ähnlich und entsprachen der M1-Isoform der PK. Antikörper gegen Kaninchenmuskel-PK (Anti-PK-M1) reagierten auch mit der löslichen PK und der PK-S aus Eberspermien. Edman-Abbau der ersten 19 Aminosäuren zeigte, dass die tryptisch abgelöste PK-S am N-Terminus um 5 Aminosäuren gegenüber nativer PK-M1 verlängert ist, während der C-Terminus der erhaltenen PK-S-Sequenz mit einem meist nahe dem N-Terminus gelegenen Sequenzabschnitt der PK-M1 und -M2 übereinstimmt. Die N-terminale Verlängerung der nativen PK-S enthält sicherlich mehr als die nach tryptischer Lyse nachgewiesenen 5 Aminosäuren. Vergleiche der Aminosäure- und übersetzten Nukleotidsequenzen sowie die kinetischen Eigenschaften lassen vermuten, dass die PK-S, wie die PK-M1 und PK-M2, vom PKM-Gen codiert wird. Gegen die gereinigte PK-S wurden Antikörper in Kaninchen produziert. Da das Antiserum nicht ausreichend spezifisch für PK-S war, wurden aus ihm affinitätschromatographisch Antikörper (Anti-PK-S) isoliert, die hohe Affinität zu einem synthetisierten PK-S-Peptid (13 N-terminale Aminosäuren der tryptisch abgelösten PK-S) hatten. Dieses Anti-PK-S-Präparat war spezifisch für PK-S; es reagierte weder mit Kaninchenmuskel-PK noch mit löslicher PK oder anderen Proteinen aus Eberspermien. Anti-PK-S und Anti-PK-M1 wurden zur Lokalisierung von PK-S und löslicher PK in Spermien von Eber, Bulle und Mensch sowie in Schnitten von Eberhoden eingesetzt. Mit Anti-PK-S wurden der Bereich des Akrosoms und das lange flagellare Hauptstück sowie der Übergangsbereich zwischen Kopf und Mittelstück von Eberspermien fluoreszenzmarkiert, wogegen das kurze, die Mitochondrien enthaltende Mittelstück des Flagellums und der postakrosomale Kopfbereich nur mit Anti-PK-M1 markiert wurden. Immunogoldmarkierung in elektronenmikroskopischen Bildern bestätigte die Lokalisierung von PK-S im Akrosombereich. Im Hauptstück banden Anti-PK-M1 und Anti-PK-S an die fibröse Scheide. Glyzerinaldehyd-3-phosphat Dehydrogenase (GAPDH) konnte von mir ebenfalls im Akrosombereich, im Übergangsbereich zwischen Kopf und Mittelstück und an der fibrösen Scheide detektiert werden. Auch an Bullen- und Humanspermien konnte über Immunogoldmarkierung PK und vermutlich GAPDH an der fibrösen Scheide gezeigt werden. Im Akrosombereich dieser Spermien waren die Nachweise von PK und GAPDH jedoch nicht sicher. In Eberhodenschnitten war die PK-S erstmals, oder zumindest vermehrt, in den elongierenden Spermatiden über Fluoreszenzmarkierung nachweisbar, während andere, vermutlich somatische PK vermehrt in den früheren Stadien (Spermatogonien, aber auch in den Spermatozyten und runden Spermatiden) auftrat. Für die GAPDH zeigte sich ein ähnlicher Entwicklungsverlauf. Die Ergebnisse zeigen, dass in Eberspermien zwei Isoformen der PK auftreten: eine N-terminal verlängerte, strukturgebundene Form, die PK-S, und eine lösliche Form, die beide der PK-M1 ähneln. Der ungewöhnliche N-Terminus der PK-S dient vermutlich der spezifischen räumlichen Anordnung der PK-S im Akrosombereich und an der fibrösen Scheide, nicht aber der Modulation kinetischer Eigenschaften. Meine Untersuchungen stützen die Hypothese, dass in bestimmten Kompartimenten von Säugerspermien die Glykolyse durch Verankerung einiger ihrer Enzyme strukturell hochgeordnet ist. Dadurch wird vermutlich die Versorgung der Mitochondrien-freien Regionen mit ATP sichergestellt. Man kann diese Organisation als Anpassung des Stoffwechsels von Spermien deuten, bei denen die Mitochondrien in einem kleinen Bereich (Mittelstück) hinter dem Spermienkopf kompartimentiert sind. Im Hauptstück des Flagellums könnte die Glykolyse ATP für die Spermienmotilität liefern, im Akrosombereich für die Verhinderung einer vorzeitigen Akrosomreaktion. Somit käme der strukturierten Glykolyse eine essentielle Bedeutung für die Befruchtungsfähigkeit von Säugerspermien zu.

Der Wille zur Form - ein ästhetisch-anthropologischer Diskurs

Die vorliegende Arbeit untersucht die Formästhetik im Kunstdenken der Moderne. Bedeutend ist, dass im Zusammenhang mit der Formästhetik meist auch gewisse ästhetische Anthropologieentwürfe entstehen. In Ermangelung geeigneter Definitionsansätze wird die Form, frei von Vordeutungen, als dynamisches Konstrukt betrachtet. Dementsprechend verändert sich auch der Blick auf die anthropologischen Konzepte der untersuchten Texte. Bei allen behandelten Autoren wird deutlich, dass der Verlust absoluter Werte, der sich in der Moderne immer weiter ausdifferenziert, zum Fundament der Kunstanschauung wird. Der Mensch ist einer gewissen Tragik ausgeliefert: Er ist fortan Schöpfer der eigenen Realität, aber auch immer an die Materie gebunden. Dies führt zu einer Widersprüchlichkeit des menschlichen Daseins, für das eine ‚reine Identität’ nicht erreichbar ist. Die Befreiung von der menschlichen Zerissenheit kann scheinbar durch die ästhetische Betrachtung erlangt werden. Die künstlerische Formgebung entlastet von der widersprüchlichen menschlichen Realität und die Kunst wird zum Ideal der Freiheit. Mittels der schöpferischen Kraft kann der Mensch ein Bild seiner Menschlicheit formen und bestimmen. Der künstlerischen Form wird der Stellenwert eines Mythos zugeordnet. Eine solche Kunstanschauung birgt Gefahren, denn mit der Erhebung in den Stand eines Mythos wird sie zum absoluten Welterklärungsmodell oder gar zur Ideologie. Tatsächlich fehlt jedoch jegliche ethische Untermauerung in der Lebenswirklichkeit. Die ausgewählten Autoren beleuchten den Diskurs und die ihm innewohnenden Gefahren auf unterschiedliche Art und Weise: Friedrich Schiller, die Denker der Frühromantik, Arthur Schopenhauer, Friedrich Nietzsche, Gottfried Benn, Thomas Mann, Theodor W. Adorno, Elias Canetti und die Denker der Postmoderne. Der subversive Einfluss der unterschiedlichen Formentwürfe wird bei mehr als einem Autor deutlich. Daher ist die Frage, wie eine ideologische Vereinnahmung dieser Ideenkonstrukte verhindert werden kann. Dies führt zu einer Neudefinition der Formästhetik. Neuer Fixpunkt muss die Realität des Denkens sein, d.h. Realität und Idee dürfen nicht im Kontrast, sondern müssen in Relation betrachtet werden, denn schließlich ist es diese Relation, die den Menschen zu bestimmen scheint. Die Distanz von Ästhetik und Realität muss bewusst und kritisch hinterfragt werden, um zu einer ‚Ästhetik des Negativen’ zu führen.

Measurement of the elastic electron-proton cross section and separation of the electric and magnetic form factor in the Q 2 range from 0.004 to 1 (GeV/c) 2

The electromagnetic form factors of the proton are fundamental quantities sensitive to the distribution of charge and magnetization inside the proton. Precise knowledge of the form factors, in particular of the charge and magnetization radii provide strong tests for theory in the non-perturbative regime of QCD. However, the existing data at Q^2 below 1 (GeV/c)^2 are not precise enough for a hard test of theoretical predictions.rnrnFor a more precise determination of the form factors, within this work more than 1400 cross sections of the reaction H(e,e′)p were measured at the Mainz Microtron MAMI using the 3-spectrometer-facility of the A1-collaboration. The data were taken in three periods in the years 2006 and 2007 using beam energies of 180, 315, 450, 585, 720 and 855 MeV. They cover the Q^2 region from 0.004 to 1 (GeV/c)^2 with counting rate uncertainties below 0.2% for most of the data points. The relative luminosity of the measurements was determined using one of the spectrometers as a luminosity monitor. The overlapping acceptances of the measurements maximize the internal redundancy of the data and allow, together with several additions to the standard experimental setup, for tight control of systematic uncertainties.rnTo account for the radiative processes, an event generator was developed and implemented in the simulation package of the analysis software which works without peaking approximation by explicitly calculating the Bethe-Heitler and Born Feynman diagrams for each event.rnTo separate the form factors and to determine the radii, the data were analyzed by fitting a wide selection of form factor models directly to the measured cross sections. These fits also determined the absolute normalization of the different data subsets. The validity of this method was tested with extensive simulations. The results were compared to an extraction via the standard Rosenbluth technique.rnrnThe dip structure in G_E that was seen in the analysis of the previous world data shows up in a modified form. When compared to the standard-dipole form factor as a smooth curve, the extracted G_E exhibits a strong change of the slope around 0.1 (GeV/c)^2, and in the magnetic form factor a dip around 0.2 (GeV/c)^2 is found. This may be taken as indications for a pion cloud. For higher Q^2, the fits yield larger values for G_M than previous measurements, in agreement with form factor ratios from recent precise polarized measurements in the Q2 region up to 0.6 (GeV/c)^2.rnrnThe charge and magnetic rms radii are determined as rn⟨r_e⟩=0.879 ± 0.005(stat.) ± 0.004(syst.) ± 0.002(model) ± 0.004(group) fm,rn⟨r_m⟩=0.777 ± 0.013(stat.) ± 0.009(syst.) ± 0.005(model) ± 0.002(group) fm.rnThis charge radius is significantly larger than theoretical predictions and than the radius of the standard dipole. However, it is in agreement with earlier results measured at the Mainz linear accelerator and with determinations from Hydrogen Lamb shift measurements. The extracted magnetic radius is smaller than previous determinations and than the standard-dipole value.

A novel functional renormalization group framework for gauge theories and gravity

In this thesis we develop further the functional renormalization group (RG) approach to quantum field theory (QFT) based on the effective average action (EAA) and on the exact flow equation that it satisfies. The EAA is a generalization of the standard effective action that interpolates smoothly between the bare action for krightarrowinfty and the standard effective action rnfor krightarrow0. In this way, the problem of performing the functional integral is converted into the problem of integrating the exact flow of the EAA from the UV to the IR. The EAA formalism deals naturally with several different aspects of a QFT. One aspect is related to the discovery of non-Gaussian fixed points of the RG flow that can be used to construct continuum limits. In particular, the EAA framework is a useful setting to search for Asymptotically Safe theories, i.e. theories valid up to arbitrarily high energies. A second aspect in which the EAA reveals its usefulness are non-perturbative calculations. In fact, the exact flow that it satisfies is a valuable starting point for devising new approximation schemes. In the first part of this thesis we review and extend the formalism, in particular we derive the exact RG flow equation for the EAA and the related hierarchy of coupled flow equations for the proper-vertices. We show how standard perturbation theory emerges as a particular way to iteratively solve the flow equation, if the starting point is the bare action. Next, we explore both technical and conceptual issues by means of three different applications of the formalism, to QED, to general non-linear sigma models (NLsigmaM) and to matter fields on curved spacetimes. In the main part of this thesis we construct the EAA for non-abelian gauge theories and for quantum Einstein gravity (QEG), using the background field method to implement the coarse-graining procedure in a gauge invariant way. We propose a new truncation scheme where the EAA is expanded in powers of the curvature or field strength. Crucial to the practical use of this expansion is the development of new techniques to manage functional traces such as the algorithm proposed in this thesis. This allows to project the flow of all terms in the EAA which are analytic in the fields. As an application we show how the low energy effective action for quantum gravity emerges as the result of integrating the RG flow. In any treatment of theories with local symmetries that introduces a reference scale, the question of preserving gauge invariance along the flow emerges as predominant. In the EAA framework this problem is dealt with the use of the background field formalism. This comes at the cost of enlarging the theory space where the EAA lives to the space of functionals of both fluctuation and background fields. In this thesis, we study how the identities dictated by the symmetries are modified by the introduction of the cutoff and we study so called bimetric truncations of the EAA that contain both fluctuation and background couplings. In particular, we confirm the existence of a non-Gaussian fixed point for QEG, that is at the heart of the Asymptotic Safety scenario in quantum gravity; in the enlarged bimetric theory space where the running of the cosmological constant and of Newton's constant is influenced by fluctuation couplings.

Previewer con creazione di form dinamici in .NET e ANTLR

Creazione di un nuovo linguaggio con relativo interprete e, per osservare il comportamento del sistema, un semplice Previewer in grado di: - caricare una pagina XAML di un form e svariate risorse - farle processare dall'interprete seguendo la grammatica descritta dal nuovo linguaggio creato con ANTLR - cablare la visualizzazione dei componenti della pagina a seconda dei risultati ottenuti, il tutto in ambiente .NET