Collapsing Ivory Towers? A hyperlink analysis of the German academic blogosphere

In a substantial analysis of over 500 German-speaking science blogs, Jonas Kaiser and Benedikt Fecher look at what hyperlinks are used within prominent science blogs to investigate how scientists link to each other and outside sources. Using visualisation and mapping software, their results show how science blogs form new networks beyond traditional disciplines and interact with the wider general blogosphere

Ups and downs on “r/science” — exploring the dynamics of science communication on Reddit

This exploratory study analyzed user-generated science communication on Reddit from May 2007 to October 2018 (n = 694.147 posts). We used automated content analyses and topic modelling to explore patterns that the user-generated communication exhibits. Results indicate that science communication on r/science refers to a broad range of different topics and disciplines. Specific upvote features of Reddit result in increased attention to sources and topics. Especially, social media sources and content that is self-referential to Reddit lead to high controversy in discussions

Formal verification of the equivalence of system F and the pure type system L2

We develop a formal proof of the equivalence of two different variants of System F. The first is close to the original presentation where expressions are separated into distinct syntactic classes of types and terms. The second, L2 (also written as λ2), is a particular pure type system (PTS) where the notions of types and terms, and the associated expressions are unified in a single syntactic class. The employed notion of equivalence is a bidirectional reduction of the respective typing relations. A machine-verified proof of this result turns out to be surprisingly intricate, since the two variants noticeably differ in their expression languages, their type systems and the binding of local variables. Most of this work is executed in the Coq theorem prover and encompasses a general development of the PTS metatheory, an equivalence result for a stratified and a PTS variant of the simply typed λ-calculus as well as the subsequent extension to the full equivalence result for System F. We utilise nameless de Bruijn syntax with parallel substitutions for the representation of variable binding and develop an extended notion of context morphism lemmas as a structured proof method for this setting. We also provide two developments of the equivalence result in the proof systems Abella and Beluga, where we rely on higher-order abstract syntax (HOAS). This allows us to compare the three proof systems, as well as HOAS and de Bruijn for the purpose of developing formal metatheory.Wir präsentieren einen maschinell verifizierten Beweis der Äquivalenz zweier Darstellungen des Lambda-Kalküls System F. Die erste unterscheidet syntaktisch zwischen Termen und Typen und entspricht somit der geläufigen Form. Die zweite, L2 bzw. λ2, ist ein sog. Pure Type System (PTS), bei welchem alle Ausdrücke in einer syntaktischen Klasse zusammen fallen. Unser Äquivalenzbegriff ist eine bidirektionale Reduktion der jeweiligen Typrelationen. Ein formaler Beweis dieser Eigenschaft ist aufgrund der Unterschiede der Ausdruckssprachen, der Typrelationen und der Bindung lokaler Variablen überraschend anspruchsvoll. Der Hauptteil dieser Arbeit wurde in dem Beweisassistenten Coq entwickelt und umfasst eine Abhandlung der PTS Metatheorie, sowie einen Äquivalenzbeweis für das einfach getypte Lambda-Kalkül, welcher dann zu dem vollen Ergebnis für System F skaliert wird. Für die Darstellung lokaler Variablenbindung verwenden wir de Bruijn Syntax, gepaart mit parallelen Substitutionen. Außerdem entwickeln wir eine generalisierte Form von Kontext-Morphismen Lemmas, welche eine strukturierte Beweismethodik in diesem Umfeld liefern. Darüber hinaus betrachten wir zwei weitere Formalisierungen des Äquivalenzresultats in den Beweissystemen Abella und Beluga, welche beide höherstufige abstrakte Syntax (HOAS) zur Darstellung lokaler Bindung verwenden. Dies ermöglicht es uns, sowohl die drei Beweissysteme, als auch den HOAS und den de Bruijn Ansatz mit Hinblick auf die Entwicklung formaler Metatheorie zu vergleichen

Measuring teacher noticing : A scoping review of standardized instruments

This scoping review provides an overview of standardized instruments used to measure teacher noticing. A systematic literature search identified 37 publications in English-language peer-reviewed journals describing 22 different test instruments. Regarding the underlying conceptualization of noticing, instruments commonly distinguish mental processes (e.g., attending and interpreting) using heterogeneous nomenclatures and focus on various aspects of teaching. Regarding the test design, the instruments are predominantly video-based and vary considerably with respect to measurement approach and test requirements. High test quality was demonstrated for established test instruments. However, on a general level, desiderata became apparent regarding construct and criterion-related validity

Die Eurozone im Schatten des Ukraine-Kriegs: alte und neue Herausforderungen gefährden die Stabilität des Währungsraums

Der russische Krieg gegen die Ukraine markiert nicht nur für Europas Sicherheits­politik einen Wendepunkt, sondern auch für seine Wirtschaft. Dies gilt insbesondere für die Eurozone, deren ungelöste Probleme in einen neuen Kontext gestellt werden. Erstens wurden die Ansätze soliden Wachstums, die sich nach der Pandemie gezeigt hatten, durch eine Phase des wirtschaftlichen Abschwungs und eine Rekordinflation abgelöst. Zweitens dürften sich die Normalisierung der Geldpolitik und die Energiekrise zunehmend negativ auf die Fiskalpolitik auswirken. Und drittens muss zu der langen Liste an Herausforderungen, vor denen der Euroraum steht, auch in wirtschaftlicher Hinsicht die Sicherheit hinzugefügt werden. Notwendig ist vor allem, die ökonomische Abhängigkeit von Drittländern zu überwachen und zu verringern, denn sie kann zu Versorgungsschocks führen, die die Stabilität der Währungszone bedrohen. (Autorenreferat

The Structure of a Conserved Piezo Channel Domain Reveals a Topologically Distinct β Sandwich Fold

Piezo has recently been identified as a family of eukaryotic mechanosensitive channels composed of subunits containing over 2,000 amino acids, without recognizable sequence similarity to other channels. Here, we present the crystal structure of a large, conserved extramembrane domain located just before the last predicted transmembrane helix of C. elegans PIEZO, which adopts a topologically distinct β sandwich fold. The structure was also determined of a point mutation located on a conserved surface at the position equivalent to the human PIEZO1 mutation found in dehydrated hereditary stomatocytosis patients (M2225R). While the point mutation does not change the overall domain structure, it does alter the surface electrostatic potential that may perturb interactions with a yet-tobe- identified ligand or protein. The lack of structural similarity between this domain and any previously characterized fold, including those of eukaryotic and bacterial channels, highlights the distinctive nature of the Piezo family of eukaryotic mechanosensitive channels