A functional correspondence between call-by-need evaluators and lazy abstract machines

We bridge the gap between compositional evaluators and abstract machines for the lambda-calculus, using closure conversion, transformation into continuation-passing style, and defunctionalization of continuations. This article is a followup of our article at PPDP 2003, where we consider call by name and call by value. Here, however, we consider call by need.We derive a lazy abstract machine from an ordinary call-by-need evaluator that threads a heap of updatable cells. In this resulting abstract machine, the continuation fragment for updating a heap cell naturally appears as an ‘update marker’, an implementation technique that was invented for the Three Instruction Machine and subsequently used to construct lazy variants of Krivine's abstract machine. Tuning the evaluator leads to other implementation techniques such as unboxed values. The correctness of the resulting abstract machines is a corollary of the correctness of the original evaluators and of the program transformations used in the derivation.     

Intramyocardial Inflammation after COVID-19 Vaccination: An Endomyocardial Biopsy-Proven Case Series

Myocarditis in response to COVID-19 vaccination has been reported since early 2021. In particular, young male individuals have been identified to exhibit an increased risk of myocardial inflammation following the administration of mRNA-based vaccines. Even though the first epidemiological analyses and numerous case reports investigated potential relationships, endomyocardial biopsy (EMB)-proven cases are limited. Here, we present a comprehensive histopathological analysis of EMBs from 15 patients with reduced ejection fraction (LVEF = 30 (14–39)%) and the clinical suspicion of myocarditis following vaccination with Comirnaty^® (Pfizer-BioNTech) (n = 11), Vaxzevria^® (AstraZenica) (n = 2) and Janssen^® (Johnson & Johnson) (n = 2). Immunohistochemical EMB analyses reveal myocardial inflammation in 14 of 15 patients, with the histopathological diagnosis of active myocarditis according the Dallas criteria (n = 2), severe giant cell myocarditis (n = 2) and inflammatory cardiomyopathy (n = 10). Importantly, infectious causes have been excluded in all patients. The SARS-CoV-2 spike protein has been detected sparsely on cardiomyocytes of nine patients, and differential analysis of inflammatory markers such as CD4⁺ and CD8⁺ T cells suggests that the inflammatory response triggered by the vaccine may be of autoimmunological origin. Although a definitive causal relationship between COVID-19 vaccination and the occurrence of myocardial inflammation cannot be demonstrated in this study, data suggest a temporal connection. The expression of SARS-CoV-2 spike protein within the heart and the dominance of CD4⁺ lymphocytic infiltrates indicate an autoimmunological response to the vaccination.     

Copper‐Free Clickable Coatings

The copper‐catalyzed azide–alkyne 1,3‐dipolar cycloaddition (CuAAC) is extensively used for the functionalization of well‐defined polymeric materials. However, the necessity for copper, which is inherently toxic, limits the potential applications of these materials in the area of biology and biomedicine. Therefore, the first entirely copper‐free procedure for the synthesis of clickable coatings for the immobilization of functional molecules is reported. In the first step, azide‐functional coatings are prepared by thermal crosslinking of side‐chain azide‐functional polymers and dialkyne linkers. In a second step, three copper‐free click reactions (i.e., the Staudinger ligation, the dibenzocyclooctyne‐based strain‐promoted azide–alkyne [3+2] cycloaddition, and the methyl‐oxanorbornadiene‐based tandem cycloaddition?retro‐Diels?Alder (crDA) reaction) are used to functionalize the azide‐containing surfaces with fluorescent probes, allowing qualitative comparison with the traditional CuAAC.     

Engineering the Thermoelectrical Properties of PEDOT:PSS by Alkali Metal Ion Effect

Engineering the electrical properties of poly(3,4-ethylenedioxythiophene):poly(styrenesulfonate)(PEDOT:PSS)holds great potential for various applications such a...     

Modelling collective decision making in groups and crowds: Integrating social contagion and interacting emotions, beliefs and intentions

Collective decision making involves on the one hand individual mental states such as beliefs, emotions and intentions, and on the other hand interaction with others with possibly different mental states. Achieving a satisfactory common group decision on which all agree requires that such mental states are adapted to each other by social interaction. Recent developments in social neuroscience have revealed neural mechanisms by which such mutual adaptation can be realised. These mechanisms not only enable intentions to converge to an emerging common decision, but at the same time enable to achieve shared underlying individual beliefs and emotions. This paper presents a computational model for such processes. As an application of the model, an agent-based analysis was made of patterns in crowd behaviour, in particular to simulate a real-life incident that took place on May 4, 2010 in Amsterdam. From available video material and witness reports, useful empirical data were extracted. Similar patterns were achieved in simulations, whereby some of the parameters of the model were tuned to the case addressed, and most parameters were assigned default values. The results show the inclusion of contagion of belief, emotion, and intention states of agents results in better reproduction of the incident than non-inclusion.     

Implementing knowledge building: Analysis of a face‐to‐face discussion by grade‐four students

Abstract:

Researchers say that teachers can implement an educational innovation without adhering to the principles underpinning its design. Such principles may not adequately take typical classroom conditions into account. The goal of this study was to explore tensions between attempts to implement the principles underpinning knowledge building and the influence of contextual factors that compete for the teacher's attention. To this end, we discuss five excerpts from a discussion of the motion of spinning tops held by a class of Grade‐4 students, coming at the end of a five‐month implementation of knowledge building. Each excerpt is followed first by the teacher's perspective and then by the researcher's perspective. Our analysis highlights two tensions that constrain agency, arising from the students’ need for social development and their need to learn scientific concepts. We offer some suggestions for addressing these tensions.