Verifiable Random Oracles

Ziel dieser Arbeit ist es, Random Oracle zu instanziieren, ohne dabei Sicherheit zu verlieren, die im Random Oracle Modell bewiesen wurde. Das dies mit Funktionsfamilien nicht geht ist eine wohl bekannte Aussage, die zuerst von Halevi et al. (IACR’1998) gezeigt wurde. Wir werden aus diesem Grund auf Interaktion zurückgreifen, aber versuchen, den erzeugten Overhead möglichst zu reduzieren. Um möglichst wenig zu Interagieren führen wir ein neues ideales Modell mit Namen Verifiable Random Oracle ein. Dieses Modell bietet zusätzlich zum Random Oracle ein Verifikations-Orakel, welches bei Eingabe (x, h) 1 ausgibt, falls RO(x) = h und anderenfalls 0. Wir stellen danach zwei konkrete Instanziierungen für Verifiable Random Oracle vor, von denen eine keine vertrauenswürdige Party benötigt. Zusätzlich reduzieren wir den Netzwerk-Overhead (also die Gesamtgröße der verwendeten Nachrichten). Wenn wir unsere Instanziierungen zusammen mit der Fiat-Shamir Transformation verwen- den, bleibt die Simulation-Soundness Extractability Eigenschaft erhalten. Der Beweiser der Fiat-Shamir Transformation verliert leider seine nicht-Interaktivität. Der Verifizierer bleibt jedoch Nicht-interaktiv, da die Instanziierungen des Verifikations-Orakels nicht-interaktiv sind. Die Beweise für diese Behauptungen bilden einen signifikanten Teil dieser Arbeit

Transcranial magnetic stimulation combined with functional magnetic resonance imaging: From target identification to prediction of therapeutic effects in stroke patients

Repetitive transcranial magnetic stimulation (rTMS), particularly theta-burst stimulation (TBS), can be applied to modulate cortical excitability beyond the period of stimulation (Huang et al., 2005). Consequently, rTMS is regarded to have high therapeutic potential for treatment of various psychiatric and neurological diseases related to cortical hypo- or hyperexcitability such as stroke (Ridding & Rothwell, 2007). Whether rTMS induced effects are sufficiently robust to be useful in clinical settings is currently under intense investigation. The most challenging problem appears to be considerably high variability in rTMS induced effects both, across studies (Hoogendam et al., 2010) and individual patients (Ameli et al., 2009). Hence, the major goal of the present thesis was to improve rTMS intervention strategies in stroke patients suffering from chronic motor hand deficits by multimodal uses of (repetitive) TMS with state-of-the-art neuroimaging techniques. Sources of variance across studies are likely to be methodological in origin. They might result from different strategies to identify the cortical rTMS target position. Individual functional magnetic resonance (fMRI) data have been demonstrated to yield best spatial approximations of the most excitable TMS position compared to other techniques (Sparing et al., 2008). However, there is still a considerably large spatial mismatch between the cortical position showing highest movement-related fMRI signal and the cortical position yielding highest muscle responses when stimulated with TMS of up to 14 mm (Bastings et al., 1998; Boroojerdi et al., 1999; Herwig et al., 2002; Krings et al., 1997; Lotze et al., 2003; Sparing et al., 2008; Terao et al., 1998). The underlying cause of this spatial mismatch is unknown. Hence, the aim of the first study (Study I) of the present thesis was to test the hypothesis that the spatial mismatch between positions with highest fMRI signal change and positions with highest TMS excitability might be caused by the widely-used Gradient-Echo blood oxygenation level dependent (GRE-BOLD) fMRI technique. GRE-BOLD signal has been demonstrated to occur further downstream from the site of neural activity in large veins running on the cerebral surface (Uludag et al., 2009). Consequently, we tested the hypothesis that alternative fMRI sequences may localize neural activity (i) closer to the anatomical motor hand area, i.e. Brodmann Area 4 (BA4), and (ii) closer to the optimal TMS position than GRE-BOLD. The following alternative fMRI techniques were tested: (i) Spin-Echo (SE-BOLD) assessing blood oxygenation level dependent signal changes with decreased sensitivity for the macrovasculature at high magnetic fields (≥ 3 Tesla, Uludag et al., 2009) and (ii) arterial spin labelling (ASL), assessing local changes in cerebral blood flow (ASL-CBF) which have been shown to occur in close proximity to synaptic activity (Duong et al., 2000). GRE-BOLD, SE-BOLD, and ASL-CBF signal changes during right thumb abductions were obtained from 15 healthy young subjects at 3 Tesla. In 12 subjects, brain tissue at fMRI peak voxel coordinates was stimulated with neuronavigated TMS to investigate whether spatial differences between fMRI techniques are functionally relevant, i.e. impact on motor-evoked potentials (MEPs) recorded from a contralateral target muscle, which is involved in thumb abductions. A systematic TMS motor mapping was performed to identify the most excitable TMS position (i.e. the TMS hotspot) and the centre-of-gravity (i.e. the TMS CoG), which considers the spatial distribution of excitability in the pericentral region. Euclidean distances between TMS and fMRI positions were calculated for each fMRI technique. Results indicated that highest SE-BOLD and ASL-CBF signal changes occurred in the anterior wall of the central sulcus (BA4), whereas highest GRE-BOLD signal changes occurred significantly closer to the gyral surface where most large draining veins are located. fMRI techniques were not significantly different from each other in Euclidean distances to optimal TMS positions since optimal TMS positions were located considerably more anterior (and slightly surprisingly in premotor cortex (BA6) and not BA4). Stimulation of brain tissue at GRE-BOLD peak voxel coordinates with TMS resulted in significantly higher MEPs (compared to SE-BOLD and ASL-CBF coordinates). This was probably the case because GRE-BOLD positions tended to be located at the gyral crown, which was slightly (but not significantly) closer to the TMS hotspot position. Taken together, findings of Study I suggest that spatial differences between fMRI and TMS positions are not caused by spatial unspecificity of the widely-used GRE-BOLD fMRI technique. Hnece, other factors such as complex interactions between brain tissue and the TMS induced electric field (Opitz et al., 2011), could be the underlying cause. Identification of the cortical rTMS target position is particularly challenging in stroke patients since reorganization processes after stroke may shift both, fMRI and TMS positions in unknown direction and extend (Rossini et al., 1998). In the second study (Study II) of the present thesis, we therefore tested whether findings obtained from healthy young subjects in Study I do also apply to chronic stroke patients and older (i.e. age-matched) healthy control subjects. In this study, arterial spin labelling (ASL) was used to assess CBF and BOLD signal changes simultaneously during thumb abductions with the affected/non-dominant and the unaffected/dominant hand in 15 chronic stroke patients and 13 age-matched healthy control subjects at 3 Tesla. Brain tissue at fMRI peak voxel coordinates was stimulated with neuronavigated TMS to test whether spatial differences are functionally relevant and impact on MEPs. Systematic TMS motor mappings were performed for both hemispheres in overall 12 subjects (6 stroke patients and 6 healthy subjects). Euclidean distances between fMRI and TMS positions were calculated for each hemisphere and fMRI technique. In line with results of Study I, highest ASL-CBF signal changes were located in the anterior wall of the central sulcus (BA4), whereas highest ASL-BOLD signal changes occurred significantly closer to the gyral surface. In contrast to Study I, there were no significant differences between ASL-CBF and ASL-BOLD positions in MEPs when stimulated with neuronavigated TMS, which suggests that spatial differences (in depth) were not functionally relevant for TMS applications. In line with Study I, there were no significant differences between fMRI techniques in Euclidean distances to optimal TMS positions, since optimal TMS positions were located considerably more anterior than fMRI positions (in premotor cortex, i.e. BA6). Stroke patients showed overall larger displacements (between fMRI and TMS positions) on the ipsilesional (but not the contralesional) hemisphere compared to healthy subjects. However, none of the fMRI techniques yielded positions significantly closer to the optimal TMS position. Hence, functional reorganization may impact on spatial congruence between fMRI and TMS, but the effect is similar for ASL-CBF and ASL-BOLD. Pathomechanisms underlying stroke induced motor deficits are still poorly understood but a simplified model of hemispheric competition has been suggested, which proposes relative hypoexcitability of the ipsilesional hemisphere and hyperexcitability of the contralesional hemisphere leading to pathologically increased interhemispheric inhibition from the contralesional onto the ipsilesional hemisphere during movements of the paretic hand (Duque et al., 2005; Grefkes et al., 2008b, 2010; Murase et al., 2004). In line with the model of hemispheric competition, both increasing excitability of the ipsilesional hemisphere (Khedr et al., 2005; Talelli et al., 2007) as well as decreasing excitability of the contralesional hemisphere (Fregni et al., 2006; Di Lazzaro et al., 2008a) have been demonstrated to normalize cortical excitability towards physiological levels and/or ameliorate motor performance of the stroke affected hand. However, there is considerably high inter-individual variance and some patients may even show deteriorations of motor performance after rTMS (Ameli et al., 2009). Therefore, the aim of the third study (Study III) was to identify reliable predictors for TBS effects on motor performance of the affected hand in stroke patients, which appears essential for successful implementation of TBS in neurorehabilitation. Overall, 13 chronic stroke patients with unilateral motor hand deficit and 12 age-matched healthy control subjects were included in the study. All patients received 3 different TBS interventions on 3 different days: (i) intermittent TBS (iTBS, facilitatory) over the primary motor cortex (M1) of the ipsilesional hemisphere, (ii) continuous TBS (cTBS, inhibitory) over M1 of the contralesional hemisphere, and (iii) either iTBS or cTBS over a control stimulation site (to control for placebo effects). Motor performance was measured before and after each TBS session with 3 different motor tasks and an overall motor improvement score was calculated. All subjects participated in an fMRI experiment, in which they performed rhythmic fist closures with their affected/non-dominant and unaffected/dominant hand. A laterality index (LI), reflecting laterality of fMRI signal in cortical motor areas was calculated. Effective connectivity, i.e. the direct or indirect causal influence that activity in one area exerts on activity of another area (Friston et al., 1993a), was inferred from fMRI data by means of dynamic causal modelling (DCM). Due to relatively high inter-individual variance, neither iTBS nor cTBS was significantly different from control TBS in terms of average behavioural (or electrophysiological) changes over the group of patients. However, beneficial effects of iTBS over the ipsilesional hemisphere were predicted by a unilateral fMRI activation pattern during movements of the affected hand and by the integrity of the cortical motor network. The more pronounced the promoting influence from the ipsilesional supplementary motor area (SMA) onto ipsilesional M1 and the more pronounced the inhibitory effect originating from ipsilesional M1 onto contralesional M1, the better was the behavioural response to facilitatory iTBS applied to the ipsilesional hemisphere. No significant correlations were found for behavioural improvements following cTBS or behavioural changes of the unaffected hand. Taken together, Study III yielded promising results indicating that laterality of fMRI signal and integrity of the motor network architecture constitute promising predictors for response to iTBS. In patients in whom the connectivity pattern of the ipsilesional motor network resembled physiological network connectivity patterns (i.e. preserved inhibition of the contralesional hemisphere and supportive role of the SMA of the ipsilesional hemisphere), beneficial effects of iTBS over the ipsilesional hemisphere could be observed. In contrast, patients with severely disturbed motor networks did not respond to iTBS or even deteriorated

Formal Property-Oriented Design of Voting Rules Using Composable Modules

Voting rules aggregate multiple individual preferences in order to make a collective decision. Commonly, these mechanisms are expected to respect a multitude of different notions of fairness and reliability, which must be carefully balanced to avoid inconsistencies. We present an approach for the sound and flexible design of voting rules from composable modules. Formal composition rules guarantee social choice properties from properties of the individual components. The approach can be applied to many voting rules from the literature

Verified Construction of Fair Voting Rules

Voting rules aggregate multiple individual preferences in order to make collective decisions. Commonly, these mechanisms are expected to respect a multitude of different fairness and reliability properties, e.g., to ensure that each voter\u27s ballot accounts for the same proportion of the elected alternatives, or that a voter cannot change the election outcome in her favor by insincerely filling out her ballot. However, no voting rule is fair in all respects, and trade-off attempts between such properties often bring out inconsistencies, which makes the construction of arguably practical and fair voting rules non-trivial and error-prone. In this paper, we present a formal and systematic approach for the flexible and verified construction of voting rules from composable core modules to respect such properties by construction. Formal composition rules guarantee resulting properties from properties of the individual components, which are of generic nature to be reused for various voting rules. We provide a prototypical logic-based implementation with proofs for a selected set of structures and composition rules within the theorem prover Isabelle/HOL. The approach can be readily extended in order to support many voting rules from the literature by extending the set of basic modules and composition rules. We exemplarily construct the well-known voting rule sequential majority comparison (SMC) from simple generic modules, and automatically produce a formal proof that SMC satisfies the fairness property monotonicity. Monotonicity is a well-known social-choice property that is easily violated by voting rules in practice

Rebellion um Raum

Der Sammelband des Herausgeber:innenkollektivs Gruppe Panther & Co. macht auf unkonventionelle Weise die Widerstandsgeschichte Berlins sichtbar. Er enthält 61 Beiträge, darunter Zeitzeug:innenberichte, Interviews, Aufsätze und Stadtrundgänge und bietet damit einen breiten Überblick über die rebellische Stadtgeschichte Berlins

Prediction of gaseous pollutant emissions from a spark-ignition direct-injection engine with gas-exchange simulation

With the further tightening of emission regulations and the introduction of real driving emission tests (RDE), the simulative prediction of emissions is becoming increasingly important for the development of future low-emission internal combustion engines. In this context, gas-exchange simulation can be used as a powerful tool for the evaluation of new design concepts. However, the simplified description of the combustion chamber can make the prediction of complex in-cylinder phenomena like emission formation quite challenging. The present work focuses on the prediction of gaseous pollutants from a spark-ignition (SI) direct injection (DI) engine with 1D–0D gas-exchange simulations. The accuracy of the simulative prediction regarding gaseous pollutant emissions is assessed based on the comparison with measurement data obtained with a research single cylinder engine (SCE). Multiple variations of engine operating parameters – for example, load, speed, air-to-fuel ratio, valve timing – are taken into account to verify the predictivity of the simulation toward changing engine operating conditions. Regarding the unburned hydrocarbon (HC) emissions, phenomenological models are used to estimate the contribution of the piston top-land crevice as well as flame wall-quenching and oil-film fuel adsorption-desorption mechanisms. Regarding CO and NO emissions, multiple approaches to describe the burned zone kinetics in combination with a two-zone 0D combustion chamber model are evaluated. In particular, calculations with reduced reaction kinetics are compared with simplified kinetic descriptions. At engine warm operation, the HC models show an accuracy mainly within 20%. The predictions for the NO emissions follow the trend of the measurements with changing engine operating parameters and all modeled results are mainly within ±20%. Regarding CO emissions, the simplified kinetic models are not capable to predict CO at stoichiometric conditions with errors below 30%. With the usage of a reduced kinetic mechanism, a better prediction capability of CO at stoichiometric air-to-fuel ratio could be achieved.</p

Development of Phenomenological Models for Engine-Out Hydrocarbon Emissions from an SI di Engine within a 0D Two-Zone Combustion Chamber Description

The increasingly stringent limits on pollutant emissions from internal combustion engine-powered vehicles require the optimization of advanced combustion systems by means of virtual development and simulation tools. Among the gaseous emissions from spark-ignition engines, the unburned hydrocarbon (HC) emissions are the most challenging species to simulate because of the complexity of the multiple physical and chemical mechanisms that contribute to their emission. These mechanisms are mainly three-dimensional (3D) resulting from multi-phase physics - e.g., fuel injection, oil-film layer, etc. - and are difficult to predict even in complex 3D computational fluid-dynamic (CFD) simulations. Phenomenological models describing the relationships between the physical-chemical phenomena are of great interest for the modeling and simplification of such complex mechanisms. In addition, phenomenological models can be applied within simplified simulation environments, e.g., 0D-1D engine simulations, to enable predictions of HC emissions for a wide range of operating conditions. In this work, the development of phenomenological models to account for HC emissions from piston top-land crevices, wall flame quenching, and oil-film adsorption/desorption mechanisms is explained in detail. The model development is based on measurements and models from a single cylinder direct injection (DI) spark ignition (SI) research engine. Common modeling hypotheses and approaches from literature have been verified and further developed with 3D-CFD simulations. In particular, assumptions regarding local temperature and air-fuel ratio, which are necessary for HC modeling, have been developed on the basis of a zone post-processing of the 3D-CFD results. Additionally, a novel approach to describe HC post-oxidation, which is based on 0D-chemistry calculations, has been developed. The HC models have been implemented within a GT-POWER model of the engine in conjunction with a 0D two-zone combustion chamber description. The accuracy of the developed models has been tested against a large experimental database with varying engine load, speed, air to fuel ratio, valve timing, and oil/coolant temperature. The deviation in the HC emission prediction is mainly within 20% at warm engine operation. Higher deviations are observed at cold engine conditions because of the absence of secondary HC models which have not been considered in the present work.</p

Clonal dynamics underlying the skewed CD4/CD8 ratio of mouse thymocytes revealed by TCR-independent barcoding

T cell differentiation in the thymus generates CD4+ helper and cytotoxic CD8+ cells as the two principal T cell lineages. Curiously, at the end of this complex selection process, CD4+ cells invariably outnumber CD8+ cells. Here, we examine the dynamics of repertoire formation and the emergence of the skewed CD4/CD8 ratio using high-resolution endogenous CRISPR/Cas9 barcoding that indelibly marks immature T cells at the DN2/DN3 pre-TCR stage. In wild-type mice, greater clone size of CD4+ cells and an intrinsically greater probability of Tcr β clonotypes for pMHCII interactions are major contributors to the skewed CD4/CD8 ratio. Clonal perturbations of thymocyte differentiation following the precocious expression of a rearranged iNKT invariant TCR α chain are due to loss of Tcr β clonotypes from the CD4 lineage-committed pre-selection repertoire. The present barcoding scheme offers a novel means to examine the clonal dynamics of lymphocyte differentiation orthogonal to that using TCR clonotypes

Development of Phenomenological Models for Engine-Out Hydrocarbon Emissions from an SI di Engine within a 0D Two-Zone Combustion Chamber Description

The increasingly stringent limits on pollutant emissions from internal combustion engine-powered vehicles require the optimization of advanced combustion systems by means of virtual development and simulation tools. Among the gaseous emissions from spark-ignition engines, the unburned hydrocarbon (HC) emissions are the most challenging species to simulate because of the complexity of the multiple physical and chemical mechanisms that contribute to their emission. These mechanisms are mainly three-dimensional (3D) resulting from multi-phase physics - e.g., fuel injection, oil-film layer, etc. - and are difficult to predict even in complex 3D computational fluid-dynamic (CFD) simulations. Phenomenological models describing the relationships between the physical-chemical phenomena are of great interest for the modeling and simplification of such complex mechanisms. In addition, phenomenological models can be applied within simplified simulation environments, e.g., 0D-1D engine simulations, to enable predictions of HC emissions for a wide range of operating conditions. In this work, the development of phenomenological models to account for HC emissions from piston top-land crevices, wall flame quenching, and oil-film adsorption/desorption mechanisms is explained in detail. The model development is based on measurements and models from a single cylinder direct injection (DI) spark ignition (SI) research engine. Common modeling hypotheses and approaches from literature have been verified and further developed with 3D-CFD simulations. In particular, assumptions regarding local temperature and air-fuel ratio, which are necessary for HC modeling, have been developed on the basis of a zone post-processing of the 3D-CFD results. Additionally, a novel approach to describe HC post-oxidation, which is based on 0D-chemistry calculations, has been developed. The HC models have been implemented within a GT-POWER model of the engine in conjunction with a 0D two-zone combustion chamber description. The accuracy of the developed models has been tested against a large experimental database with varying engine load, speed, air to fuel ratio, valve timing, and oil/coolant temperature. The deviation in the HC emission prediction is mainly within 20% at warm engine operation. Higher deviations are observed at cold engine conditions because of the absence of secondary HC models which have not been considered in the present work.</p

Anatomical Joint Form Variation in Sacroiliac Joint Disease: Current Concepts and New Perspectives

Purpose of Review: The aim of this article is to further the understanding of anatomical variation of the sacroiliac joint (SIJ) within the rheumatological community and point out promising fields of research in the interplay of SIJ anatomy and joint disease. Recent Findings: Mechanical strain has long been implicated in onset and progression of axial spondyloarthritis (axSpA). Recent investigations found changes in the pattern of degenerative lesions of the SIJ in the normal population in patients with atypical joint forms. Furthermore, atypical SIJ forms are more prevalent in patients with axial spondyloarthritis and mechanical SIJ disease. Mechanical stress from anatomical joint form variation may have an impact on development and progression of axSpA. Furthermore, mechanically induced bone marrow edema may act as an axSpA mimic on MRI and needs to be more accurately classified