An extendable essay as extendable lecturenotes is a web resource that makes it easier for the user mastery of the material of a particular lecture course. For example, we consider such a course on a chapter of comput...
Transformer-based methods have made favorable breakthroughs in image super-resolution (SR) due to the strong ability of capturing long-range dependencies in images. However, these methods mainly concentrate on capturi...
详细信息
Human brains are natural learning systems which inherently recognise image objects in a hierarchical pattern. Similar association exists among different categories of images which interact while training a deep learni...
详细信息
We consider the problem of how to verify the security of probabilistic oblivious algorithms formally and systematically. Unfortunately, prior program logics fail to support a number of complexities that feature in the...
详细信息
ISBN:
(纸本)9783031711619;9783031711626
We consider the problem of how to verify the security of probabilistic oblivious algorithms formally and systematically. Unfortunately, prior program logics fail to support a number of complexities that feature in the semantics and invariants needed to verify the security of many practical probabilistic oblivious algorithms. We propose an approach based on reasoning over perfectly oblivious approximations, using a program logic that combines both classical Hoare logic reasoning and probabilistic independence reasoning to support all the needed features. We formalise and prove our new logic sound in Isabelle/HOL and apply our approach to formally verify the security of several challenging case studies beyond the reach of prior methods for proving obliviousness.
Two Latin squares of order n are r-orthogonal if, when superimposed, there are exactly r distinct ordered pairs. The spectrum of all values of r for Latin squares of order n is known. A Latin square A of order n is r-...
详细信息
The extraction and analysis of insights from medical data, primarily stored in free-text formats by healthcare workers, presents significant challenges due to its unstructured nature. Medical coding, a crucial process...
详细信息
In this paper, we specialise a more general theory for testing symbolic finite state machines (SFSM) to an important sub-class of SFSMs. This specialisation allows for a significant reduction of test cases needed for ...
详细信息
Background noise significantly impacts speech intelligibility, reducing the accuracy and reliability of the speaker verification system. Most existing noise reduction algorithms are specific to certain types of noise ...
详细信息
Crowd counting has gained significant popularity due to its practical applications. However, mainstream counting methods ignore precise individual localization and suffer from annotation noise because of counting from...
详细信息
Given the incredible popularity of video games in contexts from entertainment to education, and the capacity of internet-connected games to record fine-grained telemetry data, there exists an unprecedented opportunity...
详细信息
ISBN:
(纸本)9783031741371;9783031741388
Given the incredible popularity of video games in contexts from entertainment to education, and the capacity of internet-connected games to record fine-grained telemetry data, there exists an unprecedented opportunity to investigate gameplay behaviors, outcomes, and their relationships to learning processes. However, with these opportunities come the need for technical infrastructures to manage the collection and analysis of massive amounts of game event data. In this work, we build upon existing literature to develop an architectural design for such infrastructure. We address issues of play data collection across many games;regular, repeatable extraction of gameplay features from raw data;and access to data for secondary analyses. In addition, we describe an implementation of this infrastructure and provide real-world examples of the implementation's usage in prior large-scale analysis work.
暂无评论