Short Paper: Blockcheck the Typechain

Recent efforts have sought to design new smart contract programming languages that make writing blockchain programs safer. But programs on the blockchain are beholden only to the safety properties enforced by the blockchain itself: even the strictest language-only properties can be rendered moot on a language-oblivious blockchain due to inter-contract interactions. Consequently, while safer languages are a necessity, fully realizing their benefits necessitates a language-aware redesign of the blockchain itself. To this end, we propose that the blockchain be viewed as a typechain: a chain of typed programs-not arbitrary blocks-that are included iff they typecheck against the existing chain. Reaching consensus, or blockchecking, validates typechecking in a byzantine fault-tolerant manner. Safety properties traditionally enforced by a runtime are instead enforced by a type system with the aim of statically capturing smart contract correctness. To provide a robust level of safety, we contend that a typechain must minimally guarantee (1) asset linearity and liveness, (2) physical resource availability, including CPU and memory, (3) exceptionless execution, or no early termination, (4) protocol conformance, or adherence to some state machine, and (5) inter-contract safety, including reentrancy safety. Despite their exacting nature, typechains are extensible, allowing for rich libraries that extend the set of verified properties. We expand on typechain properties and present examples of real-world bugs they prevent

Mutagenesis and Functional Studies with Succinate Dehydrogenase Inhibitors in the Wheat Pathogen Mycosphaerella graminicola

A range of novel carboxamide fungicides, inhibitors of the succinate dehydrogenase enzyme (SDH, EC 1.3.5.1) is currently being introduced to the crop protection market. The aim of this study was to explore the impact of structurally distinct carboxamides on target site resistance development and to assess possible impact on fitness

Refinement and Pattern Formation in Neural Circuits by the Interaction of Traveling Waves with Spike-Timing Dependent Plasticity

Traveling waves in the developing brain are a prominent source of highly correlated spiking activity that may instruct the refinement of neural circuits. A candidate mechanism for mediating such refinement is spike-timing dependent plasticity (STDP), which translates correlated activity patterns into changes in synaptic strength. To assess the potential of these phenomena to build useful structure in developing neural circuits, we examined the interaction of wave activity with STDP rules in simple, biologically plausible models of spiking neurons. We derive an expression for the synaptic strength dynamics showing that, by mapping the time dependence of STDP into spatial interactions, traveling waves can build periodic synaptic connectivity patterns into feedforward circuits with a broad class of experimentally observed STDP rules. The spatial scale of the connectivity patterns increases with wave speed and STDP time constants. We verify these results with simulations and demonstrate their robustness to likely sources of noise. We show how this pattern formation ability, which is analogous to solutions of reaction-diffusion systems that have been widely applied to biological pattern formation, can be harnessed to instruct the refinement of postsynaptic receptive fields. Our results hold for rich, complex wave patterns in two dimensions and over several orders of magnitude in wave speeds and STDP time constants, and they provide predictions that can be tested under existing experimental paradigms. Our model generalizes across brain areas and STDP rules, allowing broad application to the ubiquitous occurrence of traveling waves and to wave-like activity patterns induced by moving stimuli

Einfluss der Verarbeitungstechnologie und Werkstoffzusammensetzung auf die Struktur-Eigenschafts-Beziehungen von thermoplastischen Nanoverbundwerkstoffen

Die Einarbeitung von nanoskaligen Füllstoffen zur Steigerung von polymeren Eigenschaftsprofilen ist sehr viel versprechend und stößt daher heutzutage sowohl in der Forschung als auch in der Industrie auf großes Interesse. Bedingt durch ausgeprägte Oberflächen und hohe Anziehungskräfte, liegen Nanopartikel allerdings nicht singulär sondern als Partikelanhäufungen, so genannten Agglomeraten oder Aggregaten, vor. Zur Erzielung der gewünschten Materialverbesserungen gilt es, diese aufzuspalten und homogen in der polymeren Matrix zu verteilen. Bei thermoplastischen Kunststoffen ist die gleichläufige Doppelschneckenextrusion eines der gängigsten Verfahren zur Einarbeitung von Additiven und Füllstoffen. Aus diesem Grund war es Ziel dieser Arbeit, mittels dieses Verfahrens verbesserte Verbundwerkstoffe mit Polyamid 66- und Polyetheretherketon-Matrix, durch Einarbeitung von nanoskaligem Titandioxid (15 und 300 nm), zu generieren. In einem ersten Schritt wurden die verfahrenstechnischen Parameter, wie Drehzahl und Durchsatz, sowie die Prozessführung und damit deren Einfluss auf die Materialeigenschaften beleuchtet. Der spezifische Energieeintrag ist ausschlaggebend zur Deagglomeration der Nanopartikel. Dieser zeigte leichte Abhängigkeiten von der Drehzahl und dem Durchsatz und verursachte bei der Einarbeitung der Partikel keine wesentlichen Unterschiede in der Aufspaltung der Partikel sowie gar keine in den resultierenden mechanischen Eigenschaften. Die Prozessführung wurde unterteilt in Mehrfach- und Einfachextrusion. Die Herstellung eines hochgefüllten Masterbatches, dessen mehrfaches Extrudieren und anschließendes Verdünnen, führte zu einer sehr guten Deagglomeration und stark verbesserten Materialeigenschaften. Mittels Simulation des Extrusionsprozesses konnte festgestellt werden, dass das Vorhandensein von ungeschmolzenem Granulat in der Verfahrenszone zu einer Schmelze/Nanopartikel/ Feststoffreibung führt, die die Ursache für eine sehr gute Aufspaltung der Partikel zu sein scheint. Durch Modifikation des Extrusionsprozesses erreichte die Einfachextrusion annähernd den Grad an Deagglomeration bei Mehrfachextrusion, wobei die Materialien bei letzterem Verfahren die besten Eigenschaftsprofile aufwiesen. In einem zweiten Schritt wurde ein Vergleich der Einflüsse von unterschiedlichen Partikelgrößen und –gehalten auf die polymeren Matrizes vollzogen. Die 15 nm Partikel zeigten signifikant bessere mechanische Ergebnisse auf als die 300 nm Partikel, und die Wirkungsweise des 15 nm Partikels auf Polyetheretherketon war stärker als auf Polyamid 66. Es konnten Steigerungen in Steifigkeit, Festigkeit und Zähigkeit erzielt werden. Rasterelektronenmikroskopische Aufnahmen bestätigten diese Ergebnisse. Eine Berechnung der Plan-Selbstkosten von einem Kilogramm PEEK-Nanoverbundwerkstoff im Vergleich zu einem Kilogramm unverstärktem PEEK verdeutlichte, dass ein Material kreiert wurde, welches deutlich verbesserte Eigenschaften bei gleichem Preis aufweist. Zusammenfassend konnte in dieser Arbeit ein tieferes Verständnis des Extrusionsvorganges zur Herstellung von kostengünstigen und verbesserten Thermoplasten durch das Einbringen von Nanopartikeln gewonnen werden

Effect of angiotensin-converting enzyme inhibitor and angiotensin receptor blocker initiation on organ support-free days in patients hospitalized with COVID-19

IMPORTANCE Overactivation of the renin-angiotensin system (RAS) may contribute to poor clinical outcomes in patients with COVID-19. Objective To determine whether angiotensin-converting enzyme (ACE) inhibitor or angiotensin receptor blocker (ARB) initiation improves outcomes in patients hospitalized for COVID-19. DESIGN, SETTING, AND PARTICIPANTS In an ongoing, adaptive platform randomized clinical trial, 721 critically ill and 58 non–critically ill hospitalized adults were randomized to receive an RAS inhibitor or control between March 16, 2021, and February 25, 2022, at 69 sites in 7 countries (final follow-up on June 1, 2022). INTERVENTIONS Patients were randomized to receive open-label initiation of an ACE inhibitor (n = 257), ARB (n = 248), ARB in combination with DMX-200 (a chemokine receptor-2 inhibitor; n = 10), or no RAS inhibitor (control; n = 264) for up to 10 days. MAIN OUTCOMES AND MEASURES The primary outcome was organ support–free days, a composite of hospital survival and days alive without cardiovascular or respiratory organ support through 21 days. The primary analysis was a bayesian cumulative logistic model. Odds ratios (ORs) greater than 1 represent improved outcomes. RESULTS On February 25, 2022, enrollment was discontinued due to safety concerns. Among 679 critically ill patients with available primary outcome data, the median age was 56 years and 239 participants (35.2%) were women. Median (IQR) organ support–free days among critically ill patients was 10 (–1 to 16) in the ACE inhibitor group (n = 231), 8 (–1 to 17) in the ARB group (n = 217), and 12 (0 to 17) in the control group (n = 231) (median adjusted odds ratios of 0.77 [95% bayesian credible interval, 0.58-1.06] for improvement for ACE inhibitor and 0.76 [95% credible interval, 0.56-1.05] for ARB compared with control). The posterior probabilities that ACE inhibitors and ARBs worsened organ support–free days compared with control were 94.9% and 95.4%, respectively. Hospital survival occurred in 166 of 231 critically ill participants (71.9%) in the ACE inhibitor group, 152 of 217 (70.0%) in the ARB group, and 182 of 231 (78.8%) in the control group (posterior probabilities that ACE inhibitor and ARB worsened hospital survival compared with control were 95.3% and 98.1%, respectively). CONCLUSIONS AND RELEVANCE In this trial, among critically ill adults with COVID-19, initiation of an ACE inhibitor or ARB did not improve, and likely worsened, clinical outcomes. TRIAL REGISTRATION ClinicalTrials.gov Identifier: NCT0273570