Time for actions in lucid dreams: effects of task modality, length, and complexity

The relationship between time in dreams and real time has intrigued scientists for centuries. The question if actions in dreams take the same time as in wakefulness can be tested by using lucid dreams where the dreamer is able to mark time intervals with prearranged eye movements that can be objectively identified in EOG recordings. Previous research showed an equivalence of time for counting in lucid dreams and in wakefulness (LaBerge, 1985; Erlacher and Schredl, 2004), but Erlacher and Schredl (2004) found that performing squats required about 40% more time in lucid dreams than in the waking state. To find out if the task modality, the task length, or the task complexity results in prolonged times in lucid dreams, an experiment with three different conditions was conducted. In the first condition, five proficient lucid dreamers spent one to three non-consecutive nights in the sleep laboratory. Participants counted to 10, 20, and 30 in wakefulness and in their lucid dreams. Lucidity and task intervals were time stamped with left-right-left-right eye movements. The same procedure was used for these condition where eight lucid dreamers had to walk 10, 20, or 30 steps. In the third condition, eight lucid dreamers performed a gymnastics routine, which in the waking state lasted the same time as walking 10 steps. Again, we found that performing a motor task in a lucid dream requires more time than in wakefulness. Longer durations in the dream state were present for all three tasks, but significant differences were found only for the tasks with motor activity (walking and gymnastics). However, no difference was found for relative times (no disproportional time effects) and a more complex motor task did not result in more prolonged times. Longer durations in lucid dreams might be related to the lack of muscular feedback or slower neural processing during REM sleep. Future studies should explore factors that might be associated with prolonged durations.

BPAG1a and b Associate with EB1 and EB3 and Modulate Vesicular Transport, Golgi Apparatus Structure, and Cell Migration in C2.7 Myoblasts.

BPAG1a and BPAG1b (BPAG1a/b) constitute two major isoforms encoded by the dystonin (Dst) gene and show homology with MACF1a and MACF1b. These proteins are members of the plakin family, giant multi-modular proteins able to connect the intermediate filament, microtubule and microfilament cytoskeletal networks with each other and to distinct cell membrane sites. They also serve as scaffolds for signaling proteins that modulate cytoskeletal dynamics. To gain better insights into the functions of BPAG1a/b, we further characterized their C-terminal region important for their interaction with microtubules and assessed the role of these isoforms in the cytoskeletal organization of C2.7 myoblast cells. Our results show that alternative splicing does not only occur at the 5' end of Dst and Macf1 pre-mRNAs, as previously reported, but also at their 3' end, resulting in expression of additional four mRNA variants of BPAG1 and MACF1. These isoform-specific C-tails were able to bundle microtubules and bound to both EB1 and EB3, two microtubule plus end proteins. In the C2.7 cell line, knockdown of BPAG1a/b had no major effect on the organization of the microtubule and microfilament networks, but negatively affected endocytosis and maintenance of the Golgi apparatus structure, which became dispersed. Finally, knockdown of BPAG1a/b caused a specific decrease in the directness of cell migration, but did not impair initial cell adhesion. These data provide novel insights into the complexity of alternative splicing of Dst pre-mRNAs and into the role of BPAG1a/b in vesicular transport, Golgi apparatus structure as well as in migration in C2.7 myoblasts.

Michel decay spectrum for a muon bound to a nucleus

The spectrum of electrons from muons decaying in an atomic bound state is significantly modified by their interaction with the nucleus. Somewhat unexpectedly, its first measurement, at the Canadian laboratory TRIUMF, differed from basic theory. We show, using a combination of techniques developed in atomic, nuclear, and high-energy physics, that radiative corrections eliminate the discrepancy. In addition to solving that outstanding problem, our more precise predictions are potentially useful for interpreting future high-statistics muon experiments that aim to search for exotic interactions at 10−16 sensitivity.

tRNA-derived fragments target the small ribosomal subunit to fine-tune translation

Post-transcriptional cleavage of RNA molecules to generate smaller fragments is a widespread mechanism that enlarges the structural and functional complexity of cellular RNomes. In particular, fragments deriving from both precursor and mature tRNAs represent one of the rapidly growing classes of post-transcriptional RNA pieces. Importantly, these tRNA-derived fragments (tRFs) possess distinct expression patterns, abundance, cellular localizations, or biological roles compared with their parental tRNA molecules (1). Here we present evidence that tRFs from the archaeon Haloferax volcanii directly bind to ribosomes. In a previous genomic screen for ribosome-associated small RNAs we have identified a 26 residue long fragment originating from the 5’ part of valine tRNA (Val-tRF) to be by far the most abundant tRF in H. volcanii (2). The Val-tRF is processed in a stress- dependent manner and was found to primarily target the small ribosomal subunit in vitro and in vivo. Translational activity was markedly reduced in the presence of Val-tRF, while control RNA fragments of similar length did not show inhibition of protein biosynthesis. Crosslinking experiments and subsequent primer extension analyses revealed the Val-tRF interaction site to surround the mRNA path in the 30S subunit. In support of this, binding experiments demonstrated that Val-tRF does compete with mRNAs for ribosome binding. Therefore this tRF represents a ribosome-bound non-protein-coding RNA (ncRNA) capable of regulating gene expression in H. volcanii under environmental stress conditions probably by fine-tuning the rate of protein production (1). (1) Gebetsberger J. and Polacek N. (2013), RNA Biol. 10:1798-1808 (2) Gebetsberger J. et. al. (2012), Archaea, Article ID 260909

Temperate Mountain Forest Biodiversity under Climate Change: Compensating Negative Effects by Increasing Structural Complexity

Species adapted to cold-climatic mountain environments are expected to face a high risk of range contractions, if not local extinctions under climate change. Yet, the populations of many endothermic species may not be primarily affected by physiological constraints, but indirectly by climate-induced changes of habitat characteristics. In mountain forests, where vertebrate species largely depend on vegetation composition and structure, deteriorating habitat suitability may thus be mitigated or even compensated by habitat management aiming at compositional and structural enhancement. We tested this possibility using four cold-adapted bird species with complementary habitat requirements as model organisms. Based on species data and environmental information collected in 300 1-km2 grid cells distributed across four mountain ranges in central Europe, we investigated (1) how species’ occurrence is explained by climate, landscape, and vegetation, (2) to what extent climate change and climate-induced vegetation changes will affect habitat suitability, and (3) whether these changes could be compensated by adaptive habitat management. Species presence was modelled as a function of climate, landscape and vegetation variables under current climate; moreover, vegetation-climate relationships were assessed. The models were extrapolated to the climatic conditions of 2050, assuming the moderate IPCC-scenario A1B, and changes in species’ occurrence probability were quantified. Finally, we assessed the maximum increase in occurrence probability that could be achieved by modifying one or multiple vegetation variables under altered climate conditions. Climate variables contributed significantly to explaining species occurrence, and expected climatic changes, as well as climate-induced vegetation trends, decreased the occurrence probability of all four species, particularly at the low-altitudinal margins of their distribution. These effects could be partly compensated by modifying single vegetation factors, but full compensation would only be achieved if several factors were changed in concert. The results illustrate the possibilities and limitations of adaptive species conservation management under climate change.

A Compact Tetrathiafulvalene-Benzothiadiazole Dyad and Its Highly Symmetrical Charge-Transfer Salt: Ordered Donor π-Stacks Closely Bound to Their Acceptors

A compact and planar donor–acceptor molecule 1 comprising tetrathiafulvalene (TTF) and benzothiadiazole (BTD) units has been synthesised and experimentally characterised by structural, optical, and electrochemical methods. Solution-processed and thermally evaporated thin films of 1 have also been explored as active materials in organic field-effect transistors (OFETs). For these devices, hole field-effect mobilities of μFE=(1.3±0.5)×10−3 and (2.7±0.4)×10−3 cm2 V s−1 were determined for the solution-processed and thermally evaporated thin films, respectively. An intense intramolecular charge-transfer (ICT) transition at around 495 nm dominates the optical absorption spectrum of the neutral dyad, which also shows a weak emission from its ICT state. The iodine-induced oxidation of 1 leads to a partially oxidised crystalline charge-transfer (CT) salt {(1)2I3}, and eventually also to a fully oxidised compound {1I3}⋅1/2I2. Single crystals of the former CT compound, exhibiting a highly symmetrical crystal structure, reveal a fairly good room temperature electrical conductivity of the order of 2 S cm−1. The one-dimensional spin system bears compactly bonded BTD acceptors (spatial localisation of the LUMO) along its ridge.

Targeting membrane-bound viral RNA synthesis reveals potent inhibition of diverse coronaviruses including the middle East respiratory syndrome virus.

Coronaviruses raise serious concerns as emerging zoonotic viruses without specific antiviral drugs available. Here we screened a collection of 16671 diverse compounds for anti-human coronavirus 229E activity and identified an inhibitor, designated K22, that specifically targets membrane-bound coronaviral RNA synthesis. K22 exerts most potent antiviral activity after virus entry during an early step of the viral life cycle. Specifically, the formation of double membrane vesicles (DMVs), a hallmark of coronavirus replication, was greatly impaired upon K22 treatment accompanied by near-complete inhibition of viral RNA synthesis. K22-resistant viruses contained substitutions in non-structural protein 6 (nsp6), a membrane-spanning integral component of the viral replication complex implicated in DMV formation, corroborating that K22 targets membrane bound viral RNA synthesis. Besides K22 resistance, the nsp6 mutants induced a reduced number of DMVs, displayed decreased specific infectivity, while RNA synthesis was not affected. Importantly, K22 inhibits a broad range of coronaviruses, including Middle East respiratory syndrome coronavirus (MERS-CoV), and efficient inhibition was achieved in primary human epithelia cultures representing the entry port of human coronavirus infection. Collectively, this study proposes an evolutionary conserved step in the life cycle of positive-stranded RNA viruses, the recruitment of cellular membranes for viral replication, as vulnerable and, most importantly, druggable target for antiviral intervention. We expect this mode of action to serve as a paradigm for the development of potent antiviral drugs to combat many animal and human virus infections.

A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics T0

We partially solve a long-standing problem in the proof theory of explicit mathematics or the proof theory in general. Namely, we give a lower bound of Feferman’s system T0 of explicit mathematics (but only when formulated on classical logic) with a concrete interpretat ion of the subsystem Σ12-AC+ (BI) of second order arithmetic inside T0. Whereas a lower bound proof in the sense of proof-theoretic reducibility or of ordinalanalysis was already given in 80s, the lower bound in the sense of interpretability we give here is new. We apply the new interpretation method developed by the author and Zumbrunnen (2015), which can be seen as the third kind of model construction method for classical theories, after Cohen’s forcing and Krivine’s classical realizability. It gives us an interpretation between classical theories, by composing interpretations between intuitionistic theories.

A component of the mitochondrial outer membrane proteome of T. brucei probably contains covalent bound fatty acids

A subclass of eukaryotic proteins is subject to modification with fatty acids, the most common of which are palmitic and myristic acid. Protein acylation allows association with cellular membranes in the absence of transmembrane domains. Here we examine POMP39, a protein previously described to be present in the outer mitochondrial membrane proteome (POMP) of the protozoan parasite Trypanosoma brucei. POMP39 lacks canonical transmembrane domains, but is likely both myristoylated and palmitoylated on its N-terminus. Interestingly, the protein is also dually localized on the surface of the mitochondrion as well as in the flagellum of both insect-stage and the bloodstream form of the parasites. Upon abolishing of global protein acylation or mutation of the myristoylation site, POMP39 relocates to the cytosol. RNAi-mediated ablation of the protein neither causes a growth phenotype in insect-stage nor bloodstream form trypanosomes.

Complexity and non-linearity in earth surface processes - concepts, methods and applications

Complexity has long been recognized and is increasingly becoming mainstream in geomorphology. However, the relative novelty of various concepts and techniques associated to it means that ambiguity continues to surround complexity. In this commentary, we present and discuss a variety of recent contributions that have the potential to help clarify issues and advance the use of complexity in geomorphology.

Applicative theories for logarithmic complexity classes

We present applicative theories of words corresponding to weak, and especially logarithmic, complexity classes. The theories for the logarithmic hierarchy and alternating logarithmic time formalise function algebras with concatenation recursion as main principle. We present two theories for logarithmic space where the first formalises a new two-sorted algebra which is very similar to Cook and Bellantoni's famous two-sorted algebra B for polynomial time [4]. The second theory describes logarithmic space by formalising concatenation- and sharply bounded recursion. All theories contain the predicates WW representing words, and VV representing temporary inaccessible words. They are inspired by Cantini's theories [6] formalising B.