Filtyp
In the last couple of decades, developments in SAT-based optimization have led to highly efficient maximum satisfiability (MaxSAT) solvers, but in contrast to the SAT solvers on which MaxSAT solving rests, there has been little parallel development of techniques to prove the correctness of MaxSAT results. We show how pseudo-Boolean proof logging can be used to certify state-of-the-art core-guided
Molecular radiotherapy combines the advantages of systemic administration of highly specific antibodies or peptides and the localized potency of ionizing radiation. A potential target for molecular radiotherapy is the cell surface antigen CD44v6, which is overexpressed in numerous cancers, with limited expression in normal tissues. The aim of the present study was to generate and characterize a pa
In this paper, we propose a joint transmit and receive antenna selection scheme for frequency diverse array (FDA) radar that aims at finding an optimal selection of employed FDA antennas, formed by minimizing the Cramér–Rao lower bound (CRLB) of the target localization problem given the available a priori knowledge of potential target locations. The resulting problem is a non-convex Boolean proble
Human chorionic gonadotropin (hCG), a glycoprotein produced in the placenta, is crucial for a healthy pregnancy. We investigated the relationship between hCG levels and adverse pregnancy outcomes. We conducted a systematic review including studies measuring hCG blood levels in the first or second trimester, reporting on any of the 12 predefined adverse pregnancy outcomes with logistic regression-a
Background: Acute kidney injury (AKI) is a serious complication following major surgery. This study examined the incidence and risk factors of AKI following orthopaedic surgeries in an Icelandic cohort, as well as the association between AKI and patient- and surgery-related factors. Methods: This retrospective cohort study comprised all patients 18 years and older who underwent orthopaedic surgeri
Males and females often exhibit different behaviours during mate acquisition, pair-bonding and parenting, and a convenient label to characterize these behaviours is sex role. The diverse roles that male and female shorebirds (plovers, sandpipers and allies) exhibit in mating and parenting have played a key role in advancing mainstream theories in avian ecology and behavioural biology including sex
Safety measures need to be systemically investigated to what extent they evaluate the intended performance of Deep Neural Networks (DNNs) for critical applications. Due to a lack of verification methods for high-dimensional DNNs, a trade-off is needed between accepted performance and handling of out-of-distribution (OOD) samples.This work evaluates rejecting outputs from semantic segmentation DNNs
Objective: Much of psychological research has suffered from small sample sizes and low statistical power, resulting in unstable parameter estimates. The Bayesian approach offers a promising solution by incorporating prior knowledge into statistical models, which may lead to improved stability compared to a frequentist approach. Methods: Simulated data from four populations with known bivariate cor
A novel approach for demand side management (DSM) in urban areas was introduced previously based on collective intelligence (CI), called CI-DSM. It was shown that CI-DSM can enhance energy flexibility and climate resilience in urban areas while having a simple communication logic and light computation. The communication signal (0 or 1) is (gradually) distributed among the agents in the energy syst
The well-publicized disinformation campaigns surrounding recent elections, pandemic vaccination adoption, as well as supply-chain disruptions and shortages have made historical problems of disinformation more apparent. When disinformation targets transportation infrastructure, supply chains can be disrupted, resulting in commodities shortages such as food and fuel, consequently jeopardizing the he
Background: A common method of pain assessment is the numerical rating scale, where patients are asked to rate their pain on a scale from 0 to 10, where 0 is “no pain” and 10 is “pain as bad as you can imagine”. We hypothesize such language is suboptimal as it involves a test of a cognitive skill, imagination, in the assessment of symptom severity. Methods: We used a large-scale online research re
Automated sorption balances are increasingly used to determine sorption isotherms of hygroscopic materials like wood. The sorption isotherms are constructed based on a number of equilibrium states between a specimen and the surrounding conditioning environment. In recent years, the uncertainty of these equilibrium states has been thoroughly discussed related to the time at constant environmental c
Evaluating the trade interdependence among countries is the key to understanding critical metal minerals security. By constructing a novel interdependence network, this paper reveals a more comprehensive world hierarchy and risk system of critical metals, and focuses on the interdependencies between China and the US-led MSP countries before and after the Sino-US trade disputes. The results indicat
