Filtyp
We study the realizability and strong satisfiability problems for SAFETY LTL, a syntactic fragment of Linear Temporal Logic ([Formula presented]) capturing safe formulas. While it is well-known that realizability for this fragment lies in [Formula presented], the best-known lower bound is [Formula presented]-hardness. Surprisingly, closing this gap has proven an elusive task. Previous works have c
Quantitatively identifying the impact of climatic and underlying surface condition changes on runoff is crucial for the efficient utilization of water resources and understanding hydroclimatic variability processes. This study aims to employ both Grid-RCCC-WBM model and Fu's equation based on Budyko hypothesis to quantitatively analyze the spatial patterns of runoff changes, driving forces, and up
More than a quarter of all meteorites falling on Earth today originate from the breakup of the L-chondrite parent body (LCPB) ∼470 Ma ago, the largest documented asteroid breakup in the past ∼3 Ga. The event had a profound impact on the inner Solar System, resulting in an orders-of-magnitude increase in L-chondritic material in mid-Ordovician sediments on Earth. Here we show based on Ordovician st
The chemical forms of zinc in fly ash from municipal solid waste incineration (MSWI) crucially affect ash management, influencing both material recovery options and the risk of unwanted leaching into ecosystems. The zinc speciation was investigated in fly ash samples sourced from full-scale MSWI plants, including four grate fired boilers (GB) and one fluidized bed boiler (FB). We applied X-ray Abs
Background Hexavalent chromium (Cr(VI)) is a carcinogen. Exposure to Cr(VI) may occur in different industrial processes such as chrome plating and stainless steel welding. The aim of this study was to assess occupational exposure to Cr(VI) in Denmark. Methods This cross-sectional study included 28 workers and 8 apprentices with potential Cr(VI) exposure and 24 within company controls, all recruite
Groundwater is an essential resource for drinking water, food production, and industrial applications worldwide. Over-exploitation and pollution pose significant risks to groundwater sustainability. Groundwater models can be powerful tools for optimizing use, managing risks, and aiding decision making. For this purpose, models should assimilate pertinent data and quantify uncertainties in outcomes
Electrons from a laser wakefield accelerator have a limited energy gain due to dephasing and are prone to emittance growth, causing a large divergence. In this paper, we experimentally show that adjusting the plasma density profile can address both issues. Shock-assisted ionisation injection is used to produce 100 MeV quasi-monoenergetic electron bunches in the primary part of the accelerator. Dow
Background: Adjunctive pharmacological treatment may improve nerve regeneration. We investigated nerve regeneration processes of PXL01 - a lactoferrin-derived peptide - after repair of the sciatic nerve in healthy Wistar rats. Materials & methods: PXL01, sodium hyaluronate (carrier) or sodium chloride was administered around the repair. After 6 days axonal outgrowth, Schwann cell response, pa
On December 9, 2016, South Korea's National Assembly voted to impeach the country's president, Park Geun-hye, over abuse of power among other charges. Three months later, the Constitutional Court upheld the impeachment and she was dismissed from office-the first South Korean president to be removed this way. New elections were called. Park was then made the subject of a criminal investigation and
Background: Persistent non-plateauing adverse event rates in patients who underwent percutaneous coronary intervention (PCI) remain a challenge. A bioadaptor is a novel implant that addresses this issue by restoring the haemodynamic modulation of the artery, allowing cyclic pulsatility, vasomotion, and adaptative remodelling, by unlocking and providing dynamic support to the artery. We aimed to as
This comparative analysis aims to capture the complex roles and positionings of the International Baccalaureate (IB) in conjunction with local education systems in Hong Kong, Singapore, and South Korea. Our analysis focused on how the IB’s institutional legitimacy is presented in the three societies. We conducted a documentary analysis of texts on the introduction and implementation of IB programm
This paper introduces incommensurability, its potential relevance to population-level bioethics, and thecontributions to the special issue. It provides an overview of recent research on incommensurability, outlines somereasons to believe in its possibility and relevance, and presents some problems and opportunities that arise onceone accepts that incommensurability is possible.
This article analyzes approaches to nondeterminacy (e.g., incommensurability, indeterminacy, parity) that suggest that one can make justified choices when primary criteria fail to fully determine a best alternative by introducing a secondary criterion. It is shown that these approaches (in the article called “two-step models”) risk violating Basic Contraction Consistency. Some ways of adjusting tw
How should states and international organizations allocate global health resources? This paper examines proposals for distributing these resources in the literature. First, we look at the literature on the metrics for measuring what matters and consider how they might be modified to avoid some common objections—e.g., that these measures discriminate against the disabled or fail to give due weight
Semiconductor nanowires can enhance the signal of fluorescent molecules, thus significantly improving the limits of fluorescence detection in optical biosensing. In this work, we explore how the sensitivity can further be enhanced through "digital"detection of adequately spaced vertically aligned nanowires, employing single-emitter localization methods, and bright-field microscopy. Additionally, w
A medium-scale experimental setup located in Revinge, Sweden, is used to generate new repeated experimental datasets focussed on measuring a set of key variables, including time-temperature curves and temperature profiles. A total of 6 repeated fire tests were conducted and are here used to exemplify typical issues associated with repeatability, uncertainty and variability in tunnel fire experimen
Background: The Organ Care System and Non-ischemic Heart Preservation methods have emerged as significant advancements in heart transplantation, designed to mitigate ischemic injury and extend preservation times. However, their high costs and logistical complexities necessitate strategic utilization. Methods: We evaluated data from 83,761 heart transplants registered in the International Society f
Body dysmorphic disorder (BDD) is an obsessive–compulsive disorder-related psychiatric condition characterized by an intense preoccupation with perceived physical flaws that are not observable by others. BDD affects ~2% of the adult population but is underdiagnosed, partly owing to limited clinician awareness, and undertreated, partly due to limited access to treatment. Research on the aetiology o
Traumatic brain injury (TBI) often leads to impaired regulation of cerebral blood flow, which may be caused by pathological changes of the vascular smooth muscle cells (VSMCs) in the arterial wall. Moreover, these cerebrovascular changes may contribute to the development of various neurodegenerative disorders such as Alzheimer’s-like pathologies that include amyloid beta aggregation. Despite its i
An ecological metaphor can enable transitions towards regenerative circular economies. Yet, this potential remains latent because its conceptual development, which is a prerequisite for its practical operationalization, is in its incipient phase and largely vague. To strengthen its epistemological underpinning, we propose a forward-looking interdisciplinary research agenda which brings together th
