搜索结果: 1-15 共查到“Independence”相关记录104条 . 查询时间(0.093 秒)
UK looks to nuclear to bolster energy independence（图）
UK 核能 能源独立
font style='font-size:12px;'>
2023/3/31
The UK government is committed to a programme of new nuclear projects beyond Sizewell C, giving industry and investors the confidence they need to deliver projects at speed, according to a new policy ...
Sharing Independence & Relabeling: Efficient Formal Verification of Higher-Order Masking
masking formal verification domain-oriented masking
font style='font-size:12px;'>
2018/11/2
The efficient verification of the security of masked hardware implementations is an important issue that hinders the development and deployment of randomness-efficient masking techniques. At EUROCRYPT...
Statistical and Linear Independence of Binary Random Variables
Xiao-Massey lemma block cipher linear cryptanalysis
font style='font-size:12px;'>
2017/5/23
Linear cryptanalysis makes use of statistical models that consider linear approximations over block cipher and random permutation as binary random variables. In this note we show that linear and stati...
昆明理工大学理学院概率论与数理统计课件Chapter 3 Multionariate Random Variables--Independence
昆明理工大学理学院 概率论与数理统计 课件 Chapter 3 Multionariate Random Variables Independence
font style='font-size:12px;'>
2017/4/17
昆明理工大学理学院概率论与数理统计课件Chapter 3 Multionariate Random Variables--Independence.
Is Howard's separability principle a sufficient condition for outcome independence?
Bell inequalities Howard separability
font style='font-size:12px;'>
2016/6/12
In order to motivate his claim that the violation of the Bell inequalities forces us into a certain kind of holism, Howard (1985,1989,1992) develops a formal equivalence proof supposed to ground the s...
General Covariance and Background Independence in Quantum Gravity
general covariance background independence quantum gravity string theory loop quantum gravity spin foam models
font style='font-size:12px;'>
2016/5/27
The history of general relativity suggests that in absence of experi-mental data, constructing a theory on philosophical first principles can lead to a very useful theory as well as to ground-breaking...
Legion: Expressing Locality and Independence with Logical Regions
Legion Expressing Locality Independence Logical Regions
font style='font-size:12px;'>
2016/5/24
Modern parallel architectures have both heterogeneous processors and deep, complex memory hierarchies. We present Legion, a programming model and runtime system for achieving high performance on these...
Verifying Atomicity via Data Independence
concurrency linearizability verification composed operations dataindependence collections
font style='font-size:12px;'>
2016/5/24
We present a technique for automatically verifying atomicity of composed concurrent operations. The main observation behind our approach is that many composed concurrent operations which occur in prac...
New Bounds for Keyed Sponges with Extendable Output: Independence between Capacity and Message Length
PRF XOF game playing
font style='font-size:12px;'>
2016/3/18
We provide new bounds for the pseudo-random function security
of keyed sponge constructions. For the case c ≤ b/2 (c the capacity
and b the permutation size), our result improves over all previously...
Marginal empirical likelihood and sure independence screening
Empirical likelihood high dimensional data analysis independence sure screening large deviation
font style='font-size:12px;'>
2016/1/25
We study a marginal empirical likelihood approach in scenarios when the num-ber of variables grows exponentially with the sample size. The marginal empirical likelihood ratios as functions of the para...
Marginal empirical likelihood and sure independence screening
Empirical likelihood high dimensional data analysis independence sure screening large deviation
font style='font-size:12px;'>
2016/1/20
We study a marginal empirical likelihood approach in scenarios when the num-ber of variables grows exponentially with the sample size. The marginal empirical likelihood ratios as functions of the para...
Computational Independence
independence indistinguishability computational encryption
font style='font-size:12px;'>
2016/1/5
We will introduce different notions of independence, especially computational independence (or more precise independence by polynomial-size circuits (PSC)), which is the analog to computational indist...
Secrecy and independence for election schemes
Elections Helios independence
font style='font-size:12px;'>
2015/12/22
We study ballot secrecy and ballot independence for election schemes.
First, we propose a definition of ballot secrecy as an indistinguishability
game in the computational model of cryptography. Our...
A Practical Oblivious Map Data Structure with Secure Deletion and History Independence
oblivious RAM ORAM oblivious data structures
font style='font-size:12px;'>
2015/12/21
We present a new oblivious RAM that supports variable-sized storage blocks (vORAM), which is
the first ORAM to allow varying block sizes without trivial padding. We also present a new historyindepend...
THE NONCOMMUTATIVE WIENER LEMMA,LINEAR INDEPENDENCE,AND SPECTRAL PROPERTIES OF THE ALGEBRA OF TIME-FREQUENCY SHIFT OPERATORS
NONCOMMUTATIVE WIENER LEMMA LINEAR INDEPENDENCE SPECTRAL PROPERTIES OF THE ALGEBRA TIME-FREQUENCY SHIFT OPERATORS
font style='font-size:12px;'>
2015/9/29
In this paper we analyze the Banach *-algebra of time-frequency shifts with absolutely summable coefficients. We prove a noncommutative version of the Wiener lemma. We also construct a faithful tracia...