Uppsala University

About: Uppsala University is a education organization based out in Uppsala, Sweden. It is known for research contribution in the topics: Population & Gene. The organization has 36485 authors who have published 107509 publications receiving 4220668 citations. The organization is also known as: Uppsala universitet & uu.se.

Timed Automata: Semantics, Algorithms and Tools

Abstract: This chapter is to provide a tutorial and pointers to results and related work on timed automata with a focus on semantical and algorithmic aspects of verification tools. We present the concrete and abstract semantics of timed automata (based on transition rules, regions and zones), decision problems, and algorithms for verification. A detailed description on DBM (Difference Bound Matrices) is included, which is the central data structure behind several verification tools for timed systems. As an example, we give a brief introduction to the tool Uppaal.

Specific C-Receptors for Itch in Human Skin

Abstract: In microneurography experiments 56 unmyelinated nerve fibers were studied in the cutaneous branch of the peroneal nerve of healthy volunteers. Units were identified with the “marking” technique as mechanically and heat-responsive (CMH; n = 30), heat-responsive (CH; n = 13), or unresponsive to mechanical and heat stimulation (CM i H i ; n = 13). None of the units showed spontaneous activity. These units were tested for responsiveness to iontophoresis of histamine (1 mA, 20 sec) from a small probe (diameter, 6 mm), which induced itch sensations lasting several minutes. Twenty-three units were unresponsive to histamine, and 25 units responded weakly with a few spike discharges after iontophoresis. Eight units, however, responded with sustained discharges to histamine, and their discharge patterns were matching the time course of the itch sensations. All C-units in this group were mechanically insensitive, and five of them were heat-responsive. They had very low conduction velocities of only 0.5 m/sec, on average, which is significantly lower than conduction velocities of the “polymodal” CMH units. This slow conduction velocities attributable to small axon diameters may be one reason why these units have not been encountered in previous studies. Histamine-sensitive C-units had very large innervation territories extending up to a diameter of 85 mm on the lower leg. We conclude that these C-fibers represent a new class of afferent nerve fibers with particularly thin axons but excessive terminal branching. This type of C-fiber probably represents the afferent units long searched for mediating itch sensations.

K+ Channel Mutations in Adrenal Aldosterone-Producing Adenomas and Hereditary Hypertension

Abstract: Endocrine tumors such as aldosterone-producing adrenal adenomas (APAs), a cause of severe hypertension, feature constitutive hormone production and unrestrained cell proliferation; the mechanisms linking these events are unknown. We identify two recurrent somatic mutations in and near the selectivity filter of the potassium (K+) channel KCNJ5 that are present in 8 of 22 human APAs studied. Both produce increased sodium (Na+) conductance and cell depolarization, which in adrenal glomerulosa cells produces calcium (Ca2+) entry, the signal for aldosterone production and cell proliferation. Similarly, we identify an inherited KCNJ5 mutation that produces increased Na+ conductance in a Mendelian form of severe aldosteronism and massive bilateral adrenal hyperplasia. These findings explain pathogenesis in a subset of patients with severe hypertension and implicate loss of K+ channel selectivity in constitutive cell proliferation and hormone production.

National differences in gender–science stereotypes predict national sex differences in science and math achievement

Abstract: About 70% of more than half a million Implicit Association Tests completed by citizens of 34 countries revealed expected implicit stereotypes associating science with males more than with females. We discovered that nation-level implicit stereotypes predicted nation-level sex differences in 8th-grade science and mathematics achievement. Self-reported stereotypes did not provide additional predictive validity of the achievement gap. We suggest that implicit stereotypes and sex differences in science participation and performance are mutually reinforcing, contributing to the persistent gender gap in science engagement.