Thermal Analysis and Raman Spectra of Different Phases of the Ionic Liquid Butyltrimethylammonium Bis(trifluoromethylsulfonyl)imide

The ionic liquid butyltrimethylammonium bis(trifluoromethylsulfonyl)imide, [C4C1C1C1N][Tf2N], is a glass-forming liquid that exhibits partial crystallization depending on the cooling rate. Differential scanning calorimetry (DSC) indicates crystallization at T-c = 227 K, melting at T-m = 258 K, glass transition at T-g similar to 191 K, and also cold crystallization at T-cc similar to 219 K. Raman spectroscopy shows that the crystalline structure obtained by slow cooling is formed with [Tf2N](-) in cisoid conformation, whereas [Tf2N](-) in transoid conformation results from fast cooling. No preferred conformation of the butyl chain of the [C4C1C1C1N](+) cation is favored by slow or fast cooling of [C4C1C1C1N][Tf2N]. Low-frequency Raman spectroscopy shows that crystalline domains developing in the supercooled liquid result in a glacial state made of a mixture of crystallites and amorphous phase. However, these crystalline structures obtained by slow cooling or cold crystallization are not the same because anion-cation interactions promote local structures with distinct conformations of the [Tf2N](-) anion.

Behavioral and EEG effects of GABAergic manipulation of the nigro-tectal pathway in the Wistar audiogenic rat (WAR) strain II: An EEG wavelet analysis and retrograde neuronal tracer approach

The role of the substantia nigra pars reticulata (SNPr) and superior colliculus (SC) network in rat strains susceptible to audiogenic seizures still remain underexplored in epileptology. In a previous study from our laboratory, the GABAergic drugs bicuculline (BIC) and muscimol (MUS) were microinjected into the deep layers of either the anterior SC (aSC) or the posterior SC (pSC) in animals of the Wistar audiogenic rat (WAR) strain submitted to acoustic stimulation, in which simultaneous electroencephalographic (EEG) recording of the aSC, pSC, SNPr and striatum was performed. Only MUS microinjected into the pSC blocked audiogenic seizures. In the present study, we expanded upon these previous results using the retrograde tracer Fluorogold (FG) microinjected into the aSC and pSC in conjunction with quantitative EEG analysis (wavelet transform), in the search for mechanisms associated with the susceptibility of this inbred strain to acoustic stimulation. Our hypothesis was that the WAR strain would have different connectivity between specific subareas of the superior colliculus and the SNPr when compared with resistant Wistar animals and that these connections would lead to altered behavior of this network during audiogenic seizures. Wavelet analysis showed that the only treatment with an anticonvulsant effect was MUS microinjected into the pSC region, and this treatment induced a sustained oscillation in the theta band only in the SNPr and in the pSC. These data suggest that in WAR animals, there are at least two subcortical loops and that the one involved in audiogenic seizure susceptibility appears to be the pSC-SNPr circuit. We also found that WARs presented an increase in the number of FG + projections from the posterior SNPr to both the aSC and pSC (primarily to the pSC), with both acting as proconvulsant nuclei when compared with Wistar rats. We concluded that these two different subcortical loops within the basal ganglia are probably a consequence of the WAR genetic background. (C) 2012 Elsevier Inc. All rights reserved.

Higher-Order Concurrency: Expressiveness and Decidability Results

Higher-order process calculi are formalisms for concurrency in which processes can be passed around in communications. Higher-order (or process-passing) concurrency is often presented as an alternative paradigm to the first order (or name-passing) concurrency of the pi-calculus for the description of mobile systems. These calculi are inspired by, and formally close to, the lambda-calculus, whose basic computational step ---beta-reduction--- involves term instantiation. The theory of higher-order process calculi is more complex than that of first-order process calculi. This shows up in, for instance, the definition of behavioral equivalences. A long-standing approach to overcome this burden is to define encodings of higher-order processes into a first-order setting, so as to transfer the theory of the first-order paradigm to the higher-order one. While satisfactory in the case of calculi with basic (higher-order) primitives, this indirect approach falls short in the case of higher-order process calculi featuring constructs for phenomena such as, e.g., localities and dynamic system reconfiguration, which are frequent in modern distributed systems. Indeed, for higher-order process calculi involving little more than traditional process communication, encodings into some first-order language are difficult to handle or do not exist. We then observe that foundational studies for higher-order process calculi must be carried out directly on them and exploit their peculiarities. This dissertation contributes to such foundational studies for higher-order process calculi. We concentrate on two closely interwoven issues in process calculi: expressiveness and decidability. Surprisingly, these issues have been little explored in the higher-order setting. Our research is centered around a core calculus for higher-order concurrency in which only the operators strictly necessary to obtain higher-order communication are retained. We develop the basic theory of this core calculus and rely on it to study the expressive power of issues universally accepted as basic in process calculi, namely synchrony, forwarding, and polyadic communication.

Higher-order calculations in manifestly Lorentz-invariant baryon chiral perturbation theory

This thesis is concerned with calculations in manifestly Lorentz-invariant baryon chiral perturbation theory beyond order D=4. We investigate two different methods. The first approach consists of the inclusion of additional particles besides pions and nucleons as explicit degrees of freedom. This results in the resummation of an infinite number of higher-order terms which contribute to higher-order low-energy constants in the standard formulation. In this thesis the nucleon axial, induced pseudoscalar, and pion-nucleon form factors are investigated. They are first calculated in the standard approach up to order D=4. Next, the inclusion of the axial-vector meson a_1(1260) is considered. We find three diagrams with an axial-vector meson which are relevant to the form factors. Due to the applied renormalization scheme, however, the contributions of the two loop diagrams vanish and only a tree diagram contributes explicitly. The appearing coupling constant is fitted to experimental data of the axial form factor. The inclusion of the axial-vector meson results in an improved description of the axial form factor for higher values of momentum transfer. The contributions to the induced pseudoscalar form factor, however, are negligible for the considered momentum transfer, and the axial-vector meson does not contribute to the pion-nucleon form factor. The second method consists in the explicit calculation of higher-order diagrams. This thesis describes the applied renormalization scheme and shows that all symmetries and the power counting are preserved. As an application we determine the nucleon mass up to order D=6 which includes the evaluation of two-loop diagrams. This is the first complete calculation in manifestly Lorentz-invariant baryon chiral perturbation theory at the two-loop level. The numerical contributions of the terms of order D=5 and D=6 are estimated, and we investigate their pion-mass dependence. Furthermore, the higher-order terms of the nucleon sigma term are determined with the help of the Feynman-Hellmann theorem.

Higher order Sobolev Spaces and polyharmonic boundary value problems in Carnot Groups

The main task of this work is to present a concise survey on the theory of certain function spaces in the contexts of Hörmander vector fields and Carnot Groups, and to discuss briefly an application to some polyharmonic boundary value problems on Carnot Groups of step 2.

A triplet spike-timing–dependent plasticity model generalizes the Bienenstock–Cooper–Munro rule to higher-order spatiotemporal correlations

Synaptic strength depresses for low and potentiates for high activation of the postsynaptic neuron. This feature is a key property of the Bienenstock–Cooper–Munro (BCM) synaptic learning rule, which has been shown to maximize the selectivity of the postsynaptic neuron, and thereby offers a possible explanation for experience-dependent cortical plasticity such as orientation selectivity. However, the BCM framework is rate-based and a significant amount of recent work has shown that synaptic plasticity also depends on the precise timing of presynaptic and postsynaptic spikes. Here we consider a triplet model of spike-timing–dependent plasticity (STDP) that depends on the interactions of three precisely timed spikes. Triplet STDP has been shown to describe plasticity experiments that the classical STDP rule, based on pairs of spikes, has failed to capture. In the case of rate-based patterns, we show a tight correspondence between the triplet STDP rule and the BCM rule. We analytically demonstrate the selectivity property of the triplet STDP rule for orthogonal inputs and perform numerical simulations for nonorthogonal inputs. Moreover, in contrast to BCM, we show that triplet STDP can also induce selectivity for input patterns consisting of higher-order spatiotemporal correlations, which exist in natural stimuli and have been measured in the brain. We show that this sensitivity to higher-order correlations can be used to develop direction and speed selectivity.

EEG microstate analysis in drug-naive patients with panic disorder

Patients with panic disorder (PD) have a bias to respond to normal stimuli in a fearful way. This may be due to the preactivation of fear-associated networks prior to stimulus perception. Based on EEG, we investigated the difference between patients with PD and normal controls in resting state activity using features of transiently stable brain states (microstates). EEGs from 18 drug-naive patients and 18 healthy controls were analyzed. Microstate analysis showed that one class of microstates (with a right-anterior to left-posterior orientation of the mapped field) displayed longer durations and covered more of the total time in the patients than controls. Another microstate class (with a symmetric, anterior-posterior orientation) was observed less frequently in the patients compared to controls. The observation that selected microstate classes differ between patients with PD and controls suggests that specific brain functions are altered already during resting condition. The altered resting state may be the starting point of the observed dysfunctional processing of phobic stimuli.

Wireless and passive pressure sensor system based on the magnetic higher-order harmonic field

The goal of this work is to develop a magnetic-based passive and wireless pressure sensor for use in biomedical applications. Structurally, the pressure sensor, referred to as the magneto-harmonic pressure sensor, is composed of two magnetic elements: a magnetically-soft material acts as a sensing element, and a magnetically hard material acts as a biasing element. Both elements are embedded within a rigid sensor body and sealed with an elastomer pressure membrane. Upon excitation of an externally applied AC magnetic field, the sensing element is capable of producing higher-order magnetic signature that is able to be remotely detected with an external receiving coil. When exposed to environment with changing ambient pressure, the elastomer pressure membrane of pressure sensor is deflected depending on the surrounding pressure. The deflection of elastomer membrane changes the separation distance between the sensing and biasing elements. As a result, the higher-order harmonic signal emitted by the magnetically-soft sensing element is shifted, allowing detection of pressure change by determining the extent of the harmonic shifting. The passive and wireless nature of the sensor is enabled with an external excitation and receiving system consisting of an excitation coil and a receiving coil. These unique characteristics made the sensor suitable to be used for continuous and long-term pressure monitoring, particularly useful for biomedical applications which often require frequent surveillance. In this work, abdominal aortic aneurysm is selected as the disease model for evaluation the performance of pressure sensor and system. Animal model, with subcutaneous sensor implantation in mice, was conducted to demonstrate the efficacy and feasibility of pressure sensor in biological environment.

Remarks on higher-order hadronic corrections to the muon g-2

Recently, it was shown that insertions of hadronic vacuum polarization at O(α4) generate non-negligible effects in the calculation of the anomalous magnetic moment of the muon. This result raises the question if other hadronic diagrams at this order might become relevant for the next round of g−2 measurements as well. In this note we show that a potentially enhanced such contribution, hadronic light-by-light scattering in combination with electron vacuum polarization, is already sufficiently suppressed.

Comparing the performance of hyperbolic and circular rod quadrupole mass spectrometers with applied higher order auxiliary excitation

This work applies higher order auxiliary excitation techniques to two types of quadrupole mass spectrometers (QMSs): commercial systems and spaceborne instruments. The operational settings of a circular rod geometry commercial system and an engineering test-bed for a hyperbolic rod geometry spaceborne instrument were matched, with the relative performance of each sensor characterized with and without applied excitation using isotopic measurements of Kr+. Each instrument was operated at the limit of the test electronics to determine the effect of auxiliary excitation on extending instrument capabilities. For the circular rod sensor, with applied excitation, a doubling of the mass resolution at 1% of peak transmission resulted from the elimination of the low-mass side peak tail typical of such rod geometries. The mass peak stability and ion rejection efficiency were also increased by factors of 2 and 10, respectively, with voltage scan lines passing through the center of stability islands formed from auxiliary excitation. Auxiliary excitation also resulted in factors of 6 and 2 in peak stability and ion rejection efficiency, respectively, for the hyperbolic rod sensor. These results not only have significant implications for the use of circular rod quadrupoles with applied excitation as a suitable replacement for traditional hyperbolic rod sensors, but also for extending the capabilities of existing hyperbolic rod QMSs for the next generation of spaceborne instruments and low-mass commercial systems.