The dynein motor protein transports proteins away from the cell membrane along the microtubule network. Recently, we found the microtubule network was important for regulating the membrane abundance of voltage-gated Kv7.4 potassium channels in vascular smooth muscle. Here, we aimed to investigate the influence of dynein on the microtubule-dependent internalization of the Kv7.4 channel. Patch-clamp

We apply two sparse reconstruction techniques, the least absolute shrinkage and selection operator (LASSO) and the sparse exponential mode analysis (SEMA), to two-dimensional (2D) spectroscopy. The algorithms are first tested on model data, showing that both are able to reconstruct the spectra using only a fraction of the data required by the traditional Fourier-based estimator. Through the analys

Acute myocardial infarction (AMI) can progress to heart failure, which has a poor prognosis. Normally, 60% of stroke volume (SV) is attributed to the longitudinal ventricular shortening and lengthening evident in the atrioventricular plane displacement (AVPD) during the cardiac cycle, but there is no information on how the relationship changes between SV and AVPD before and after AMI. Therefore, t

We investigate with in situ surface X-ray diffraction (SXRD) and X-ray reflectivity (XRR) experiments the cathodic stability of an ultrathin single-crystalline IrO2(110) film with a regular array of mesoscopic rooflike structures that is supported on a RuO2(110)/Ru(0001) template. It turns out that the planarity of the single-crystalline IrO2(110) film is lost in that IrO2(110) oxide domains delam

Taking inspiration in Barbro Klein’s work, this article focuses on the production of a particular type of institutional lore that we call heritagelore. Heritagelore, as we are advancing the concept here, is composed of the discursive practices within the walls and the organizations of museums. It is the lore that shapes and at least partially structures the types of stories that directors, museum

As part of the “enlightened” reform activity, Gustav III issued a Tolerance Edict for “foreign believers” in 1781. This law allowed Catholic immigrants to publicly practice their religion. The members of the Reformed communities had already been granted the same rights, and in 1782 the ban on Jewish immigration was abolished. According to previous research, these edicts of toleration, in addition

Self-assembly of nanoparticles into vertical structures or larger ensembles can be a powerful method to achieve a strong collective behavior while still obtaining many of the same properties of the individual nanoparticles. In this study, we achieve directed self-assembly of magnetic nanoparticles into nanochains when depositing in a combined magnetic and electric field (M-ESP). We show that the C

In 2010, Spence and Van Gelder presented a family of CNF formulas based on combinatorial block designs. They showed empirically that this construction yielded small instances that were orders of magnitude harder for state-of-the-art SAT solvers than other benchmarks of comparable size, but left open the problem of proving theoretical lower bounds. We establish that these formulas are exponentially

This talk is intended as a selective survey of proof complexity, focusing on some comparatively weak proof systems that are of particular interest in connection with SAT solving. We will review resolution, polynomial calculus, and cutting planes (related to conflict-driven clause learning, Gröbner basis computations, and pseudo-Boolean solvers, respectively) and some proof complexity measures that

We prove that there are 3-CNF formulas over n variables that can be refuted in resolution in width w but require resolution proofs of size nω(w). This shows that the simple counting argument that any formula refutable in width w must have a proof in size nO(ω) is essentially tight. Moreover, our lower bounds can be generalized to polynomial calculus resolution (PCR) and Sherali-Adams, implying tha

During the last decade, an active line of research in proof complexity has been to study space complexity and time-space trade-offs for proofs. Besides being a natural complexity measure of intrinsic interest, space is also an important issue in SAT solving. For the polynomial calculus proof system, the only previously known space lower bound is for CNF formulas of unbounded width in [Alekhnovich

Electrical resistivity tomography (ERT) can be used to monitor the interior of hydropower embankments dams, and thereby detect zones with anomalous material properties and flow induced variation in the resistivity caused by changes in total dissolved solids (TDS) and temperature. Furthermore, monitoring of embankment dams in connection with a substantial change in the reservoir water level can det

The cosmic origin of fluorine, the ninth element of the periodic table, is still under debate. The reason for this fact is the large difficulties in observing stellar diagnostic lines, which can be used for the determination of the fluorine abundance in stars. Here we discuss some recent work on the chemical evolution of fluorine in the Milky Way and discuss the main contributors to the cosmic bud

In order to simultaneously generalize matrix rings and group graded crossed products, we introduce category crossed products. For such algebras we describe the center and the commutant of the coefficient ring. We also investigate the connection between on the one hand maximal commutativity of the coefficient ring and on the other hand nonemptyness of intersections of the coefficient ring by nonzer