Characteristic automated search of cryptographic algorithms for distinguishing attacks (CASCADA)
status: published
Statistical learning of across-trial regularities during serial search
Previous studies have shown that attention becomes biased toward those locations that frequently contain a target and is biased away from locations that have a high probability to contain a distractor. A recent study showed that participants also learned regularities that exist across trials: Participants were faster to find the singleton when its ...
Logic of informal provability with truthvalues
Classical logic of formal provability includes Lob's theorem, but not reflection. In contrast, intuitions about the inferential behavior of informal provability (in informal mathematics) seem to invalidate Lob's theorem and validate reflection (after all, the intuition is, whatever mathematicians prove holds!). We employ a non-deterministic many-va...
Randomness is inherently imprecise
Attribution of typhoons-induced torrential precipitation in Central Vietnam, October 2020
...
In October 2020, Central Vietnam was struck by heavy rain resulting from a sequence of 5 tropical depressions and typhoons. The immense amount of water led to extensive flooding and landslides that killed more than 200 people, injured more than 500 people and caused direct damages valued at approximately 1.2 billion USD. Here, we quantify how the i...
Incorporation of tumor motion directionality in margin recipe: The directional MidP strategy
PURPOSE: Planning target volume (PTV) definition based on Mid-Position (Mid-P) strategy typically integrates breathing motion from tumor positions variances along the conventional axes of the DICOM coordinate system. Tumor motion directionality is thus neglected even though it is one of its stable characteristics in time. We therefore propose the d...
A polynomial eigenvalue decomposition MUSIC approach for broadband sound source localization
Direction of arrival (DoA) estimation for sound source localization is increasingly prevalent in modern devices. In this paper, we explore a polynomial extension to the multiple signal classification (MUSIC) algorithm, spatio-spectral polynomial (SSP)-MUSIC, and evaluate its performance when using speech sound sources. In addition, we also propose ...
Digital clone testing platform for the assessment of SHM systems under uncertainty
The performance of a Structural Health Monitoring (SHM) system can be assessed using Probability of Detection (PoD) curves, which is a common tool for the evaluation of Non-Destructive Testing (NDT) methods. This study presents a novel digital clone platform to quantify and account for uncertainties that can be detrimental to the reliability of a S...
Low-order modeling of high-altitude relight of jet engine combustors
A physics-based, low-order ignition model is used to assess the ignition performance of a kerosene-fueled gas-turbine combustor under high-altitude relight conditions. The ignition model used in this study is based on the motion of virtual flame particles and their extinction according to a Karlovitz number criterion, and a stochastic procedure is ...
Randomness and imprecision : a discussion of recent results
We discuss our recent work on incorporating imprecision in the field of algorithmic randomness, based on the martingale-theoretic approach of game-theoretic probability. We consider several notions of randomness associated with interval, rather than precise, forecasting systems. We study their properties and argue that there are quite a number of r...
