Walking near a conformal fixed point

We investigate the 2-d O(3) model with a q-term as a toy model for slowly walking 4-d non-Abelian gauge theories. Using the very efficient meron-cluster algorithm, an accurate investigation of the scale dependence of the renormalized coupling is carried out for different values of the vacuum angle q. Approaching q = p, the infrared dynamics of the 2-d O(3) model is determined by a non-trivial conformal fixed point. We provide evidence for a slowly walking behavior near the fixed point and we perform a finite-size scaling analysis of the mass gap.

Parsing for agile modeling

In order to analyze software systems, it is necessary to model them. Static software models are commonly imported by parsing source code and related data. Unfortunately, building custom parsers for most programming languages is a non-trivial endeavour. This poses a major bottleneck for analyzing software systems programmed in languages for which importers do not already exist. Luckily, initial software models do not require detailed parsers, so it is possible to start analysis with a coarse-grained importer, which is then gradually refined. In this paper we propose an approach to "agile modeling" that exploits island grammars to extract initial coarse-grained models, parser combinators to enable gradual refinement of model importers, and various heuristics to recognize language structure, keywords and other language artifacts.

TDOA for Narrow-band Signal with Low Sampling Rate and Imperfect Synchronization

Time-based localization techniques such as multilateration are favoured for positioning to wide-band signals. Applying the same techniques with narrow-band signals such as GSM is not so trivial. The process is challenged by the needs of synchronization accuracy and timestamp resolution both in the nanoseconds range. We propose approaches to deal with both challenges. On the one hand, we introduce a method to eliminate the negative effect of synchronization offset on time measurements. On the other hand, we propose timestamps with nanoseconds accuracy by using timing information from the signal processing chain. For a set of experiments, ranging from sub-urban to indoor environments, we show that our proposed approaches are able to improve the localization accuracy of TDOA approaches by several factors. We are even able to demonstrate errors as small as 10 meters for outdoor settings with narrow-band signals.

Lobotomy of Flux Compactifications

We provide the dictionary between four-dimensional gauged supergravity and type II compactifications on T6 with metric and gauge fluxes in the absence of supersymmetry breaking sources, such as branes and orientifold planes. Secondly, we prove that there is a unique isotropic compactification allowing for critical points. It corresponds to a type IIA background given by a product of two 3-tori with SO(3) twists and results in a unique theory (gauging) with a non-semisimple gauge algebra. Besides the known four AdS solutions surviving the orientifold projection to N = 4 induced by O6-planes, this theory contains a novel AdS solution that requires non-trivial orientifold-odd fluxes, hence being a genuine critical point of the N = 8 theory.

Amplitude, Topographie und Latenz von EKP-Komponenten analysiert mit Hilfe von Randomisierungsstatistiken: Ein anwendungsorientierter Ragu-Workshop

Bei EKP-Experimenten ist oft nicht von vornherein klar, in welchen Zeitfenstern Effekte erwartet werden. Daher müssen Analysen die Daten über mehrere Zeitfenster hinweg explorieren. Darüber hinaus sind statistische Analysen, die alle Elektroden berücksichtigen, wünschenswert, aber nicht trivial. Zur Lösung dieser Probleme präsentieren wir hier das Programm Ragu (Randomization Graphical User interface), das spezifisch für die statistische Auswertung von Mehrkanal EEG-Experimenten eingesetzt werden kann. Ragu soll Wissenschaftlern die Möglichkeit geben, die Signifikanzen von EKP-Effekten global zu untersuchen, ohne die Notwendigkeit von A-Priori-Annahmen. Das Programm basiert auf der Messung von Feldstärke-Differenzen unter Berücksichtigung aller Elektroden. Im ersten Teil dieses Workshops werden wir die Notwendigkeit von topografischen ERP-Analysen angesichts des Volumenleitungsproblems herausarbeiten und Vergleiche zu Einzelelektroden-Ansätzen anstellen. Wir werden an Hand unserer frei erhältlichen in-house Software Ragu das Prinzip von Randomisierungsstatistiken erklären und deren unterschiedliche Anwendungsmöglichkeiten für ERP-Analysen. In einem zweiten Teil haben die Teilnehmenden die Gelegenheit, Ragu an einem Beispielsatz auszuprobieren und Möglichkeiten der Anwendung von Ragu in ihrer eigenen Forschungs zu besprechen.

Uniqueness of black holes with bubbles in minimal supergravity

We generalize uniqueness theorems for non-extremal black holes with three mutually independent Killing vector fields in five-dimensional minimal supergravity in order to account for the existence of non-trivial two-cycles in the domain of outer communication. The black hole space-times we consider may contain multiple disconnected horizons and be asymptotically flat or asymptotically Kaluza–Klein. We show that in order to uniquely specify the black hole space-time, besides providing its domain structure and a set of asymptotic and local charges, it is necessary to measure the magnetic fluxes that support the two-cycles as well as fluxes in the two semi-infinite rotation planes of the domain diagram.

A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP

We introduce a version of operational set theory, OST−, without a choice operation, which has a machinery for Δ0Δ0 separation based on truth functions and the separation operator, and a new kind of applicative set theory, so-called weak explicit set theory WEST, based on Gödel operations. We show that both the theories and Kripke–Platek set theory KPKP with infinity are pairwise Π1Π1 equivalent. We also show analogous assertions for subtheories with ∈-induction restricted in various ways and for supertheories extended by powerset, beta, limit and Mahlo operations. Whereas the upper bound is given by a refinement of inductive definition in KPKP, the lower bound is by a combination, in a specific way, of realisability, (intuitionistic) forcing and negative interpretations. Thus, despite interpretability between classical theories, we make “a detour via intuitionistic theories”. The combined interpretation, seen as a model construction in the sense of Visser's miniature model theory, is a new way of construction for classical theories and could be said the third kind of model construction ever used which is non-trivial on the logical connective level, after generic extension à la Cohen and Krivine's classical realisability model.

The anisotropic λ -deformed SU(2) model is integrable

The all-loop anisotropic Thirring model interpolates between the WZW model and the non-Abelian T-dual of the anisotropic principal chiral model. We focus on the SU(2) case and we prove that it is classically integrable by providing its Lax pair formulation. We derive its underlying symmetry current algebra and use it to show that the Poisson brackets of the spatial part of the Lax pair, assume the Maillet form. In this way we procure the corresponding r and s matrices which provide non-trivial solutions to the modified Yang–Baxter equation.

Dicto: A Unified DSL for Testing Architectural Rules

Software architecture consists of a set of design choices that can be partially expressed in form of rules that the implementation must conform to. Architectural rules are intended to ensure properties that fulfill fundamental non-functional requirements. Verifying architectural rules is often a non- trivial activity: available tools are often not very usable and support only a narrow subset of the rules that are commonly specified by practitioners. In this paper we present a new highly-readable declarative language for specifying architectural rules. With our approach, users can specify a wide variety of rules using a single uniform notation. Rules can get tested by third-party tools by conforming to pre-defined specification templates. Practitioners can take advantage of the capabilities of a growing number of testing tools without dealing with them directly.

"Altkatholische Identität - altkirchliche Identität"? Ein Workshopbericht

Reference to the Ancient Church is an important aspect of Old Catholic identity. This includes reference to particular doctrinal decisions of Ecumenical Councils as well as to the conciliar ecclesiology that made these decisions possible. Four different functions of the reference to the Ancient Church are presented: self legitimation in a controversial context, common ground in an ecumenical context, a source of reforms and ascertaining one’s identity. Legitimating the Ancient Church as a normative source for today’s theology is far from trivial. The ecumenical character of the Ancient Church, its conciliar principle, the paradigmatic and fundamental character of its decisions may serve as such legitimations.

Ein Update zur "Neuropsychotherapie" und Illustration aus der laufenden Forschung zum Einsatz emotionsfokussierter Vorgehensweisen

Während es fast trivial erscheint, dass erfolgreiche Psychotherapien – also Veränderungen im Erleben und Verhalten – prinzipiell mit funktionellen und strukturellen Veränderungen des Gehirns zusammenhängen, erweist es sich als deutlich anspruchsvoller, spezifischeren Fragestellungen nachzugehen und aus ihnen Implikationen für die Psychotherapie zu abzuleiten: Welche neuronalen Mechanismen sind an psychotherapeutisch relevanten Veränderungen im Erleben und Verhalten beteiligt? Wodurch werden diese neuronalen Wirkmechanismen beeinflusst? Und wie werden diese Erkenntnisse für die Psychotherapie praktisch nutzbar gemacht? Anhand aktueller Forschungsbefunde und konzeptueller Überlegungen in Anlehnung an Grawes “Neuropsychotherapie” wird in diesem Beitrag zu solchen und verwandten Fragen Stellung genommen. Eine laufende Studie an der Schnittstelle zwischen Psychotherapieprozessforschung und Neurowissenschaften illustriert, wie neuronale Wirkmechanismen erforscht und in bestehende psychologisch-psychotherapeutische Theorien eingebunden werden können. Untersucht werden hierbei die Effekte einer emotionsfokussierten Mikrointervention auf das subjektive emotionale Erleben und neurophysiologische Parameter. Solche neuronalen korrelate emotionaler Veränderungsprozesse werden vor dem theoretischen Hintergrund emotionsfokussierter und allgemeiner Psychotherapie interpretiert.

Standard Model thermodynamics across the electroweak crossover

Even though the Standard Model with a Higgs mass mH = 125GeV possesses no bulk phase transition, its thermodynamics still experiences a "soft point" at temperatures around T = 160GeV, with a deviation from ideal gas thermodynamics. Such a deviation may have an effect on precision computations of weakly interacting dark matter relic abundances if their mass is in the few TeV range, or on leptogenesis scenarios operating in this temperature range. By making use of results from lattice simulations based on a dimensionally reduced effective field theory, we estimate the relevant thermodynamic functions across the crossover. The results are tabulated in a numerical form permitting for their insertion as a background equation of state into cosmological particle production/decoupling codes. We find that Higgs dynamics induces a non-trivial "structure" visible e.g. in the heat capacity, but that in general the largest radiative corrections originate from QCD effects, reducing the energy density by a couple of percent from the free value even at T > 160GeV.

New geometries for black hole horizons

We construct several classes of worldvolume effective actions for black holes by integrating out spatial sections of the worldvolume geometry of asymptotically flat black branes. This provides a generalisation of the blackfold approach for higher-dimensional black holes and yields a map between different effective theories, which we exploit by obtaining new hydrodynamic and elastic transport coefficients via simple integrations. Using Euclidean minimal surfaces in order to decouple the fluid dynamics on different sections of the worldvolume, we obtain local effective theories for ultraspinning Myers-Perry branes and helicoidal black branes, described in terms of a stress-energy tensor, particle currents and non-trivial boost vectors. We then study in detail and present novel compact and non-compact geometries for black hole horizons in higher-dimensional asymptotically flat space-time. These include doubly-spinning black rings, black helicoids and helicoidal p-branes as well as helicoidal black rings and helicoidal black tori in D ≥ 6.

NetCodCCN: a Network Coding approach for Content-Centric Networks

Content-Centric Networking (CCN) naturally supports multi-path communication, as it allows the simultaneous use of multiple interfaces (e.g. LTE and WiFi). When multiple sources and multiple clients are considered, the optimal set of distribution trees should be determined in order to optimally use all the available interfaces. This is not a trivial task, as it is a computationally intense procedure that should be done centrally. The need for central coordination can be removed by employing network coding, which also offers improved resiliency to errors and large throughput gains. In this paper, we propose NetCodCCN, a protocol for integrating network coding in CCN. In comparison to previous works proposing to enable network coding in CCN, NetCodCCN permit Interest aggregation and Interest pipelining, which reduce the data retrieval times. The experimental evaluation shows that the proposed protocol leads to significant improvements in terms of content retrieval delay compared to the original CCN. Our results demonstrate that the use of network coding adds robustness to losses and permits to exploit more efficiently the available network resources. The performance gains are verified for content retrieval in various network scenarios.

Do clinicians understand the size of treatment effects? A randomized survey across 8 countries.

BACKGROUND Meta-analyses of continuous outcomes typically provide enough information for decision-makers to evaluate the extent to which chance can explain apparent differences between interventions. The interpretation of the magnitude of these differences - from trivial to large - can, however, be challenging. We investigated clinicians' understanding and perceptions of usefulness of 6 statistical formats for presenting continuous outcomes from meta-analyses (standardized mean difference, minimal important difference units, mean difference in natural units, ratio of means, relative risk and risk difference). METHODS We invited 610 staff and trainees in internal medicine and family medicine programs in 8 countries to participate. Paper-based, self-administered questionnaires presented summary estimates of hypothetical interventions versus placebo for chronic pain. The estimates showed either a small or a large effect for each of the 6 statistical formats for presenting continuous outcomes. Questions addressed participants' understanding of the magnitude of treatment effects and their perception of the usefulness of the presentation format. We randomly assigned participants 1 of 4 versions of the questionnaire, each with a different effect size (large or small) and presentation order for the 6 formats (1 to 6, or 6 to 1). RESULTS Overall, 531 (87.0%) of the clinicians responded. Respondents best understood risk difference, followed by relative risk and ratio of means. Similarly, they perceived the dichotomous presentation of continuous outcomes (relative risk and risk difference) to be most useful. Presenting results as a standardized mean difference, the longest standing and most widely used approach, was poorly understood and perceived as least useful. INTERPRETATION None of the presentation formats were well understood or perceived as extremely useful. Clinicians best understood the dichotomous presentations of continuous outcomes and perceived them to be the most useful. Further initiatives to help clinicians better grasp the magnitude of the treatment effect are needed.