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.

On an Application of Microsoft Excel’s Evolutionary Solver to the Resource-Constrained Project Scheduling Problem RCPSP

The Solver Add-in of Microsoft Excel is widely used in courses on Operations Research and in industrial applications. Since the 2010 version of Microsoft Excel, the Solver Add-in comprises a so-called evolutionary solver. We analyze how this metaheuristic can be applied to the resource-constrained project scheduling problem (RCPSP). We present an implementation of a schedule-generation scheme in a spreadsheet, which combined with the evolutionary solver can be used for devising good feasible schedules. Our computational results indicate that using this approach, non-trivial instances of the RCPSP can be (approximately) solved to optimality.

An MILP-based heuristic for staff scheduling problems with acceptance levels

We present a real-world staff-assignment problem that was reported to us by a provider of an online workforce scheduling software. The problem consists of assigning employees to work shifts subject to a large variety of requirements related to work laws, work shift compatibility, workload balancing, and personal preferences of employees. A target value is given for each requirement, and all possible deviations from these values are associated with acceptance levels. The objective is to minimize the total number of deviations in ascending order of the acceptance levels. We present an exact lexicographic goal programming MILP formulation and an MILP-based heuristic. The heuristic consists of two phases: in the first phase a feasible schedule is built and in the second phase parts of the schedule are iteratively re-optimized by applying an exact MILP model. A major advantage of such MILP-based approaches is the flexibility to account for additional constraints or modified planning objectives, which is important as the requirements may vary depending on the company or planning period. The applicability of the heuristic is demonstrated for a test set derived from real-world data. Our computational results indicate that the heuristic is able to devise optimal solutions to non-trivial problem instances, and outperforms the exact lexicographic goal programming formulation on medium- and large-sized problem instances.

Horizon shells and BMS-like soldering transformations

We revisit the theory of null shells in general relativity, with a particular emphasis on null shells placed at horizons of black holes. We study in detail the considerable freedom that is available in the case that one solders two metrics together across null hypersurfaces (such as Killing horizons) for which the induced metric is invariant under translations along the null generators. In this case the group of soldering transformations turns out to be infinite dimensional, and these solderings create non-trivial horizon shells containing both massless matter and impulsive gravitational wave components. We also rephrase this result in the language of Carrollian symmetry groups. To illustrate this phenomenon we discuss in detail the example of shells on the horizon of the Schwarzschild black hole (with equal interior and exterior mass), uncovering a rich classical structure at the horizon and deriving an explicit expression for the general horizon shell energy-momentum tensor. In the special case of BMS-like soldering supertranslations we find a conserved shell-energy that is strikingly similar to the standard expression for asymptotic BMS supertranslation charges, suggesting a direct relation between the physical properties of these horizon shells and the recently proposed BMS supertranslation hair of a black hole.

Long-Term Clinical and Imaging Follow-Up After Reinforced Pulmonary Autograft Ross Procedure.

The Ross operation remains a controversially discussed procedure when performed in the full root technique because concern exists regarding late dilatation of the pulmonary autograft and regurgitation of the neo-aortic valve. In 2008, we published our short-term experience when using external reinforcement of the autograft, which was inserted into a prosthetic Dacron graft. This detail was thought to prevent neoaortic root dilatation. Since 2006, 22 adult patients have undergone a Ross procedure using this technique. Indications were aortic regurgitation (n = 2), aortic stenosis (n = 15), and combined aortic stenosis and insufficiency (n = 5). A bicuspid aortic valve was present in 10 patients. Prior balloon valvuloplasty had been performed in seven patients. No early or late deaths occurred in this small series. One patient required aortic valve replacement early postoperatively, but freedom from late reoperation is 100% in the 21 remaining patients. Echocardiography confirmed the absence of more than trivial aortic insufficiency in 15 patients after a mean of 70 months (range, 14 to 108 months). No autograft dilatation was observed during follow-up and all patients are in New York Heart Association Class I. Autograft reinforcement is a simple and reproducible technical adjunct that may be especially useful in situations known for late autograft dilatation, namely, bicuspid aortic valve, predominant aortic insufficiency, and ascending aortic enlargement. The mid- to long-term results are encouraging because no late aortic root enlargement has been observed and the autograft valve is well functioning in all cases.