We verify safety of a nonlinear continuous-time system controlled by a neural network controller. The system is decomposed into low-dimensional subsystems connected in a feedback loop. Our application is a rocket landing, and open-loop properties of the two-dimensional altitude subsystem are verified using worst-case simulations. Closed-loop safety properties (crash-avoidance) of the full system a

Extraterrestrial chrome spinel and chromite extracted from the sedimentary rock record are relicts from coarse micrometeorites and rarely meteorites. They are studied to reconstruct the paleoflux of meteorites to the Earth and the collisional history of the asteroid belt. Minor element concentrations of Ti and V, and oxygen isotopic compositions of these relict minerals were used to classify the m

Hormone-sensitive lipase (HSL) is active throughout the brain and its genetic ablation impacts brain function. Its activity in the brain was proposed to regulate bioactive lipid availability, namely eicosanoids that are inflammatory mediators and regulate cerebral blood flow (CBF). We aimed at testing whether HSL deletion increases susceptibility to neuroinflammation and impaired brain perfusion u

Critical constructive feedback (CCF), is said to be a key ingredient in learning. However, if and how learners engage in CCF is rarely studied in collaborative learning situations. This study aims to filling this research gap by analyzing data logs from dyads of middle school students using an educational game in history, evaluating their inclination to dismiss or attend to feedback when making er

Liver transplantation is a highly complex, life-saving, treatment for many patients with advanced liver disease. Liver transplantation requires multidisciplinary teams, system-wide adaptations and significant investment, as well as being an expensive treatment. Several metrics have been proposed to monitor processes and outcomes, however these lack patient focus and do not capture all aspects of t

BACKGROUND: Suicidal behavior and substance use disorders (SUDs) are important public health concerns. Prior suicide attempts and SUDs are two of the most consistent predictors of suicide death, and clarifying the role of SUDs in the transition from suicide attempt to suicide death could inform prevention efforts. METHODS: We used national Swedish registry data to identify individuals born 1960-19

The dating of moraine deposits can present challenges to standard geochronological methods; terrestrial cosmogenic nuclide (TCN), sediment luminescence and radiocarbon dating may suffer from problems of incomplete resetting (by inheritance, intermittent cover/exposure, transport under unfavourable conditions) and/or a lack of suitable (organic) material. Rock surface luminescence burial dating (RS

Coarse-graining techniques play a central role in reducing the complexity of stochastic models and are typically characterized by a mapping which projects the full state of the system onto a smaller set of variables which captures the essential features of the system. Starting with a continuous-time Markov chain, in this work we propose and analyze an effective dynamics, which approximates the dyn

We here report the synthesis of the homoleptic iron(II) N-heterocyclic carbene (NHC) complex [Fe(miHpbmi)2](PF6)4 (miHpbmi = 4-((3-methyl-1H-imidazolium-1-yl)pyridine-2,6-diyl)bis(3-methylimidazol-2-ylidene)) and its electrochemical and photophysical properties. The introduction of the π-electron-withdrawing 3-methyl-1H-imidazol-3-ium-1-yl group into the NHC ligand framework resulted in stabilizat

The article discusses the importance of adopting a human rights-based approach in addressing the lessons learned from the Covid-19 pandemic. The article highlights the case of a human rights-based hospital in Sweden that actively reached out to vulnerable individuals in the community during the pandemic, emphasizing how the human rights-based approach contributes to building trust and thereby real

Introduction: We have previously adapted a clinical linear accelerator (Elekta Precise, Elekta AB) for ultra-high dose rate (UHDR) electron delivery. To enhance reliability in future clinical FLASH radiotherapy trials, the aim of this study was to introduce and evaluate an upgraded beam control system and beam tuning process for safe and precise UHDR delivery. Materials and Methods: The beam contr

Background: Intraductal papillary neoplasm of the bile ducts (IPNB) is a rare disease in Western countries. The aim of this study was to compare tumor characteristics, management strategies, and outcomes between Western and Eastern patients who underwent surgical resection for IPNB. Methods: A multi-institutional retrospective series of patients with IPNB undergoing surgery between January 2010 an

Luminescence properties of a palmierite-type K5Eu(MoO4)4 crystal were studied in a wide temperature range of 7-650 K. Eu3+ ions are shown to occupy at least three non-equivalent positions in the palmierite-type structure, forming emission centres with slightly different characteristics due to an incommensurate modulated disordering. The relative intensity of the Eu3+ emission bands originating fro

The accumulation of studies delimiting species in Amazonia has not only shed light on the patterns of its outstanding species richness but also allowed a better understanding of the processes of diversification within this immense region. Nevertheless, vast knowledge gaps remain even for prominent anuran species complexes, such as the Rhinella margaritifera species group. This clade of toads compr

Dicarbonyl compounds are highly reactive precursors of Advanced Glycation End-products (AGEs), produced endogenously, present in certain foods, and formed during food processing. AGEs contribute to development of adverse metabolic outcomes but health effects of dietary dicarbonyls are largely unexplored. We investigated associations between three dietary dicarbonyl compounds, methylglyoxal (MGO),