Search
Search Results
-
Probabilistic Related-Key Statistical Saturation Cryptanalysis
The related-key statistical saturation (RKSS) attack is a cryptanalysis method proposed by Li et al. at FSE 2019. It can be seen as the extension of... -
Empirical Validation of Probabilistic Indexing Methods
The proposed probabilistic framework and most of the specific approaches, algorithms, assumptions, and claims discussed throughout the previous... -
Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities
“Type 1” statements were introduced by Halpern in 1990 with the goal to represent statistical information about a domain of interest. These are of... -
Review of Sublinear Modeling in Probabilistic Graphical Models by Statistical Mechanical Informatics and Statistical Machine Learning Theory
We review sublinear modeling in probabilistic graphical models by statistical mechanical informatics and statistical machine learning theory. Our... -
Formal Models of Probabilistic Grammar
To enable computers to process natural languages, Chomsky’s context-free grammar is often used for rule-based syntactic parsing. Based on... -
Beyond Search Applications of Probabilistic Indexing
PrIx development was originally driven by the need of searching for textual information in large collections of untranscribed text images. The spots... -
Debugging convergence problems in probabilistic programs via program representation learning with SixthSense
Probabilistic programming aims to open the power of Bayesian reasoning to software developers and scientists, but identification of problems during...
-
DeepAR-Attention probabilistic prediction for stock price series
Stock price prediction is a significant research domain, intersecting statistics, finance, and economics. Accurately forecasting stock price trends...
-
Statistical Model Checking for Entanglement Swap** in Quantum Networks
Given the fragile, stochastic and time critical nature of quantum communication systems, it is useful to analyse them with the rigour of formal... -
Generating probabilistic forecasts from arbitrary point forecasts using a conditional invertible neural network
In various applications, probabilistic forecasts are required to quantify the inherent uncertainty associated with the forecast. However, many...
-
Tri-fuzzy interval arithmetic with deep learning and hybrid statistical approach for analysis and prognosis of cardiovascular disease
In the era of artificial intelligence, healthcare informatics holds significant promise for cardiovascular disease (CVD) analysis. This study employs...
-
A Cognitive Uncertainty Calculation Method Based on Probabilistic Linguistic Term Set and Applications in Geopolitical Risk Assessment
Risk is essentially uncertain, including objective uncertainty of natural attributes and subjective uncertainty of human cognition. The latter is...
-
Probabilistic load forecasting based on quantile regression parallel CNN and BiGRU networks
In the dynamic smart grid landscape, accurate probabilistic forecasting of electric load is critical. This paper presents a novel 24-hour-ahead...
-
Probabilistic Interpretation of Traditional KWS Approaches
In this chapter traditional ideas and approaches forKWS are reviewed under the probabilistic framework proposed in Chapter 3. Both QbE and QbS... -
Generalised Diffusion Probabilistic Scale-Spaces
Diffusion probabilistic models excel at sampling new images from learned distributions. Originally motivated by drift-diffusion concepts from...
-
Correlation-aware probabilistic data summarization for large-scale multi-block scientific data visualization
In this paper, we propose a correlation-aware probabilistic data summarization technique to efficiently analyze and visualize large-scale multi-block...
-
Probabilistic Models for Handwritten Text
As discussed in the previous chapter, PrIx (and KWS), can be fruitfully seen under a handwritten text recognition (HTR) viewpoint. So, this chapter... -
Lexicon-based probabilistic indexing of handwritten text images
Keyword Spotting (KWS) is here considered as a basic technology for Probabilistic Indexing (PrIx) of large collections of handwritten text images to...
-
Model Checking for Probabilistic Multiagent Systems
In multiagent systems, agents usually do not have complete information of the whole system, which makes the analysis of such systems hard. The...
-
Distribution Estimation for Probabilistic Loops
We present an algorithmic approach to estimate the value distributions of random variables of probabilistic loops whose statistical moments are...