Filetype
This study examined Poles’ acculturation preferences profiles toward two groups: people from Ukraine and the Middle East, and their relation to perceived cultural distance. The study framework emphasizes the juxtaposition of media and political narratives surrounding migrants arriving in Poland. Representative data from 924 participants was analysed. Regarding the preference toward individuals fro
The Bregman distance is a central tool in convex optimization, particularly in first-order gradient descent and proximal-based algorithms. Such methods enable optimization of functions without Lipschitz continuous gradients by leveraging the concept of relative smoothness, with respect to a reference function h. A key factor in determining the full range of allowed step sizes in Bregman schemes is
We consider the verification of neural network policies for discrete-time stochastic systems with respect to reach-avoid specifications. We use a learner-verifier procedure that learns a certificate for the specification, represented as a neural network. Verifying that this neural network certificate is a so-called reach-avoid supermartingale (RASM) proves the satisfaction of a reach-avoid specifi
The vast bandwidth available at sub-THz frequencies holds great promise for high-speed wireless access, precise localization, and advanced sensing applications. However, fundamental physical constraints and technological limitations make the deployment of reliable sub-THz networks challenging. We propose a new paradigm for sub-THz coverage by transmitting the RF signals over polymer microwave fibe
Urbanization in coastal megacities leads to trade-offs between development and ecology, degrading carbon sinks and disrupting spatial-functional balance. Current models often fail to integrate land use, carbon dynamics, and ecological zoning. This study created a system that brings together Patch-generating Land Use Simulation (PLUS), Integrated Valuation of Ecosystem Services and Trade-offs (InVE
Given that the climate emergency is accelerating, transformative climate action becomes increasingly urgent. Considering social and fairness implications of climate action is critical to avoid widening inequalities and public opposition. The just transitions (JT) and sustainable welfare/eco-social policy (SW/ESP) literatures both address social and fairness issues related to climate action. Howeve
BACKGROUND: Peptic gastroduodenal stenosis is a rare but disabling condition causing gastric outlet obstruction. This study aimed to evaluate endoscopic balloon dilation in terms of treatment effectiveness, durability, and identify potential early predictors of unsatisfactory outcomes.METHODS: We conducted a retrospective cohort study of patients who underwent endoscopic balloon dilation for sympt
Background: Air pollution is a known risk factor for chronic respiratory diseases, including asthma and chronic obstructive pulmonary disease (COPD). However, evidence regarding the role of black carbon (BC) remains mixed and sparse. This study aimed to examine the association of long-term exposure to air pollution, focusing on BC, with incident asthma and COPD in adults. Method: We followed 28,73
Background: Type 2 diabetes (T2D) is a well-established risk factor for cataract. However, whether the causal effect on cataract differs by sex remains unclear. Determining whether this causal effect differs by sex could help resolve discrepancies in epidemiological studies regarding cataract risk in populations with diabetes. Methods: Using summary statistics of East Asian and European population
Short-duration extreme rainfall can cause severe impacts in built environments and flood mitigation measures require high-resolution rainfall data to be effective. It is a particular challenge to observe convective storms, which are expected to intensify with climate change. However, rainfall monitoring networks operated by national meteorological and hydrological services generally have limited a
We develop a Lyapunov-based analysis of Korpelevich’s extragradient method and show that it achieves an o(1/k) last-iterate convergence rate of the constructed Lyapunov function. This Lyapunov function simultaneously upper bounds several standard measures of optimality, which allows our analysis to sharpen existing last-iterate convergence guarantees for these measures. Moreover, the same analysis
Whereas theoretical attacks on standardized crypto primitives rarely lead to actual practical attacks, the situation is different for side-channel attacks. Improvements in the performance of side-channel attacks are of utmost importance.In this paper, we propose a framework to be used in key-recovery side-channel attacks on CCA-secure post-quantum encryption schemes. The basic idea is to construc
In this work, we introduce novel techniques for adapting the SCA-LDPC framework to NTRU-style Key Encapsulation Mechanisms (KEMs). Our approach significantly reduces the required measurements compared to prior analyses under similar oracle noise, validated through extensive simulations, and shows robustness against decision errors in the constructed oracle. Furthermore, we present the first docume
In this work, we introduce novel techniques for adapting the SCA-LDPC framework to conduct efficient plaintext-checking (PC) oracle-based side-channel attacks on NTRU-style Key Encapsulation Mechanisms (KEMs). We specifically address the unique algebraic structure of the NTRU and NTRU Prime schemes, demonstrating how to extract information related to secret variables from side channels and modeled
As the Hamming Quasi-Cyclic (HQC) cryptosystem was recently selected by NIST for standardization, a thorough evaluation of its implementation security is critical before its widespread deployment. This paper presents single-trace side-channel attacks that recover the full long-term secret key of HQC, experimentally evaluated on a protected Cortex-M4 implementation. We introduce two distinct attack
This is the Replicated Computational Results (RCR) Report for the article “Testing Abstractions for Cyber-Physical Control Systems.” The article empirically studies how substituting different components in Cyber-Physical Systems (CPSs) testing with simulators impacts the fault-exposition. This RCR report describes the artefacts used in the article, how to use the testing setups used in the article
Acute postoperative pain remains common despite advances in surgical techniques and enhanced recovery protocols, suggesting that patient-specific factors and individualised approaches may be key to improving outcomes. Real-time intraoperative nociceptive monitoring has emerged as a potential tool to guide analgesia and predict postoperative pain bur their role in an individualised anaesthesia fram
We train and compare the performance of two machine learning methods, a multi-variate regression network and a ResNet-50-based neural network, to learn and forecast plant biomass as well as the relative growth rate from a short sequence of temporal images from plants in aeroponic cultivation. The training dataset consists of images of 57 plants taken from two different angles every hour during a 5
An aging population is associated with an increased prevalence of cognitive decline and related diseases. Gradual cognitive decline is a natural feature of aging, but may also develop into a more severe loss of cognitive function, manifesting as mild cognitive impairment or severe cognitive disease. Currently, no medical treatments can fully prevent these conditions or diseases. One approach is to
Systems that interact with the environment around them generally run some periodic tasks. This class of systems include, among others, embedded control systems. Embedded controllers have been proven vulnerable to various security attacks, including attacks that alter sensor and actuator data and attacks that disrupt the calculation of the control signals. In this paper, we propose, and implement,
