933 research outputs found

    Untersuchungen zur Reaktivität von MetHb-Untereinheiten

    Get PDF
    AbstractThe kinetics of methaemoglobin substitution reactions have been investigated by the stopped-flow technique. Biphasic reactions have been observed with adult and fetal methaemoglobin. This behaviour is attributed to different reactivities of the chain types. The investigations give evidence of an increasing chain reactivity in the sequence α-chain < β-chain < γ-chain. The differences increase with the size of the substituting ligand, indicating steric effects

    Bayesian Inference Semantics: A Modelling System and A Test Suite

    Get PDF
    We present BIS, a Bayesian Inference Seman- tics, for probabilistic reasoning in natural lan- guage. The current system is based on the framework of Bernardy et al. (2018), but de- parts from it in important respects. BIS makes use of Bayesian learning for inferring a hy- pothesis from premises. This involves estimat- ing the probability of the hypothesis, given the data supplied by the premises of an argument. It uses a syntactic parser to generate typed syn- tactic structures that serve as input to a model generation system. Sentences are interpreted compositionally to probabilistic programs, and the corresponding truth values are estimated using sampling methods. BIS successfully deals with various probabilistic semantic phe- nomena, including frequency adverbs, gener- alised quantifiers, generics, and vague predi- cates. It performs well on a number of interest- ing probabilistic reasoning tasks. It also sus- tains most classically valid inferences (instan- tiation, de Morgan’s laws, etc.). To test BIS we have built an experimental test suite with examples of a range of probabilistic and clas- sical inference patterns

    Hot-Electron Electroluminescence under RF Operation in GaN-HEMTs::A Comparison Among Operational Classes

    Get PDF
    Electroluminescence microscopy and spectroscopy are used to compare the average hot-electron concentration and temperature under radio frequency (RF) operation class A, class B, and class F modes. From the results obtained, class A results, on average, in the highest hot-electron concentration, while class F is the mode with the lowest concentration due to its “L”-shaped load line. The electron temperature extracted from the electroluminescence spectra is reduced with increasing RF power, reflecting the dominance of electroluminescence from the portion of the load line in the semi-on region. The electroluminescence method is not able to give substantial information on the portion of the load line with high field and low current density which will be responsible for the potentially damaging hottest electrons present in the channel

    Innovations for Improving Courtroom Communications and Views from Appellate Courts

    Get PDF
    Symposium: Improving Communications In the Courtroo

    A Role for the Cannabinoid 1 Receptor in Neuronal Differentiation of Adult Spinal Cord Progenitors in vitro is Revealed through Pharmacological Inhibition and Genetic Deletion

    Get PDF
    In contrast to the adult brain, the adult spinal cord is a non-neurogenic environment. Understanding how to manipulate the spinal cord environment to promote the formation of new neurons is an attractive therapeutic strategy for spinal cord injury and disease. The cannabinoid 1 receptor (CB1R) has been implicated as a modulator of neural progenitor cell proliferation and fate specification in the brain; however, no evidence exists for modulation of adult spinal cord progenitor cells. Using adult rat spinal cord primary cultures, we demonstrated that CB1R antagonism with AM251 significantly decreased the number of Nestin(+) cells, and increased the number of βIII tubulin(+) and DCX(+) cells, indicative of neuronal differentiation. AM251’s effect was blocked by co-application of the CB1R agonists, WIN 55, 212-2, or ACEA. Consistent with our hypothesis, cultures, and spinal cord slices derived from CB1R knock-out (CB1−/−) mice had significantly higher levels of DCX(+) cells compared to those derived from wild type (CB1+/+) mice, indicative of enhanced neuronal differentiation in CB1−/− spinal cords. Moreover, AM251 promoted neuronal differentiation in CB1+/+, but not in CB1−/− cultures. Since CB1R modulates synaptic transmission, and synaptic transmission has been shown to influence progenitor cell fate, we evaluated whether AM251-induced neuronal differentiation was affected by chronic inactivity. Either the presence of the voltage-dependent sodium channel blocker tetrodotoxin (TTX), or the removal of mature neurons, inhibited the AM251-induced increase in DCX(+) cells. In summary, antagonism or absence of CB1R promotes neuronal differentiation in adult spinal cords, and this action appears to require TTX-sensitive neuronal activity. Our data suggest that the previously detected elevated levels of endocannabinoids in the injured adult spinal cord could contribute to the non-neurogenic environment and CB1R antagonists could potentially be used to enhance replacement of damaged neurons

    The Nexus of Dis/Ability, Education and Social Inequality: Vocational Training and Higher Education in Germany

    Get PDF
    Education increasingly determines social status and opportunities for meaningful participation. To ensure more equity among diverse student bodies, inclusive education has become a human right and a global norm. Sociological research has to some extent analyzed the nexus of dis/ability, education, and inequalities, yet far more attention has been paid to socio-economic status, gender, and race and ethnicity. While studies of educational opportunities of disabled youth and young adults exist, systematic approaches to understand stigmatization, segregation, and educational and social exclusion as well as their consequences are less advanced than for other ascriptive characteristics. Examining constrained learning opportunities in vocational training and higher education in Germany’s selective and segregated education system, we explore the nexus of dis/ability, education, and social inequality

    From coinductive proofs to exact real arithmetic: theory and applications

    Full text link
    Based on a new coinductive characterization of continuous functions we extract certified programs for exact real number computation from constructive proofs. The extracted programs construct and combine exact real number algorithms with respect to the binary signed digit representation of real numbers. The data type corresponding to the coinductive definition of continuous functions consists of finitely branching non-wellfounded trees describing when the algorithm writes and reads digits. We discuss several examples including the extraction of programs for polynomials up to degree two and the definite integral of continuous maps
    corecore