Almost Linear B\"uchi Automata

We introduce a new fragment of Linear temporal logic (LTL) called LIO and a new class of Buechi automata (BA) called Almost linear Buechi automata (ALBA). We provide effective translations between LIO and ALBA showing that the two formalisms are expressively equivalent. While standard translations of LTL into BA use some intermediate formalisms, the presented translation of LIO into ALBA is direct. As we expect applications of ALBA in model checking, we compare the expressiveness of ALBA with other classes of Buechi automata studied in this context and we indicate possible applications

Translating Mentoring Interventions Research Into Practice: Evaluation of an Evidence-Based Workshop for Research Mentors on Developing Trainees’ Scientific Communication Skills

A key part of keeping doctoral and postdoctoral trainees in STEM research careers is mentoring. Our previous research indicates that mentoring trainees in scientific communication (SC) skill development increases research career intention through two social-cognitive constructs, self-efficacy in and outcome expectations for acquiring SC skills, as well as science identity. While many mentor training interventions exist, no programs focus on developing SC skills specifically. The Scientific Communication Advances Research Excellence (SCOARE) program trains mentors to address trainee scientific communication (SC) skill development as an innovative approach to increase trainee research career persistence. The SCOARE training is a half-day workshop for faculty mentors of research trainees at five sites nationally. Informed by previous research, workshop content focuses on practical, effective mentoring strategies to develop trainee speaking and writing skills. Anonymous evaluation data collected after each workshop indicates participant satisfaction and reported positive increases in skills and knowledge in applying new and various techniques when mentoring trainees (skills) and how linguistic bias influences our perception of others (knowledge). This article outlines the research-based development of the SCOARE program, the first two years\u27 of workshop evaluations showing positive increases in skills and knowledge, and lessons learned to increase participant satisfaction with the program

Multi-proteomic profiling of the varicella-zoster virus–host interface reveals host susceptibilities to severe infection

Varicella-zoster virus (VZV) infects most humans and causes chickenpox, shingles and central nervous system pathologies. The molecular basis for these phenotypes remains elusive. Here we conducted a multi-proteomic survey on 64 individual VZV proteins and infection-induced perturbations in a neuronal cell line, identifying 900 interactors and 3,618 regulated host proteins. Data integration suggested molecular functions of viral proteins, such as a mechanism for the ORF61-mediated IFI16 degradation via the recruitment of E3 ligase co-factors. Moreover, we identified proviral host factors (MPP8 and ZNF280D) as potential targets to limit infection. Integration of exome sequencing analysis from patients with VZV-associated central nervous system pathologies identified nephrocystin 4 as a viral restriction factor, and its S862N variant, which showed reduced activity and decreased binding to the regulatory proteins 14-3-3. Collectively, our study provides a comprehensive herpesvirus–host interface resource, which aids our understanding of disease-associated molecular perturbations and data-driven identification of antiviral treatment options

Das Verbundprojekt StaPlaRes: N-Stabilisierung und wurzelnahe Platzierung als innovative Technologien zur Optimierung der Ressourceneffizienz bei der Harnstoff-Düngung

Das F&E-Verbundvorhaben StaPlaRes entwickelt, untersucht und bewertet neuartige Technologien im Rahmen der Harnstoff (HS)-Düngung mit dem Ziel größtmöglicher Ressourceneffizienz und Umweltschonung