搜索结果: 1-15 共查到“-Sigma”相关记录72条 . 查询时间(0.197 秒)
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Prescribing sigma-2 curvature and boundary mean curvature on compact manifolds
紧致流形 sigma-2曲率 边界平均曲率
2023/11/15
On a smooth compact manifold of dimensions three and four with totally non-umbilic boundary，imposing non-negativity assumptions on curvatures of the background metric, we establish that there exists a...
中国科学院微电子研究所专利：一种Sigma-Delta调制器及模数转换器
3维O(N)线性sigma模型的大N极限
3维O(N) 线性sigma模型 大N极限
2023/1/5
In this paper we study the large N limit of the O(N)-invariant linear sigma model, which is a vector-valued generalization of the Φ4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasys...
O(N)线性sigma模型的大N极限：随机量子化
O(N)线性 sigma模型 大N极限 随机量子化
2023/1/5
This article studies large $N$ limits of a coupled system of $N$ interacting $\Phi^4$ equations posed over $\mathbb{T}^{d}$ for $d=2$, known as the $O(N)$ linear sigma model. Uniform in $N$ bounds on ...
中国科学院半导体研究所半导体超晶格国家重点实验室高速图像传感及信息处理课题组的刘力源研究员等研制出一款低功耗、高性能 Delta-Sigma调制器。相关研究成果以题目为 “A Discrete-Time Audio Modulator Using Dynamic Amplifier With Speed Enhancement and Flicker Noise Reduction Techniq...
On sigma protocols with helper for MQ and PKP, fishy signature schemes and more
zero knowledge Post-Quantum digital signatures Multivariate cryptography
2019/5/21
We then remove the helper from the protocol with a "cut-and-choose" protocol and we apply the Fiat-Shamir transform to obtain signature schemes with security proof in the QROM. We show that the result...
Optimally Sound Sigma Protocols Under DCRA
Culpable soundness designated verifier homomorphic encryption
2017/7/24
Given a well-chosen additively homomorphic cryptosystem and a ΣΣ protocol with a linear answer, Damgård, Fazio, and Nicolosi proposed a non-interactive designated-verifier zero knowledge argument...
Online/Offline OR Composition of Sigma Protocols
Sigma protocols round efficiency adaptive input
2016/2/24
Proofs of partial knowledge allow a prover to prove knowledge of witnesses for k out of n
instances of NP languages. Cramer, Schoenmakers and Damgⅹard [CDS94] provided an efficient
construction of a...
An Efficient Transform from Sigma Protocols to NIZK with a CRS and Non-Programmable Random Oracle
zero knowledge Sigma protocols Fiat-Shamir
2016/1/7
In this short paper, we present a Fiat-Shamir type transform that takes any Sigma protocol
for a relation R and outputs a non-interactive zero-knowledge proof (not of knowledge) for the
associated l...
An Efficient Transform from Sigma Protocols to NIZK with a CRS and Non-Programmable Random Oracle
Public-key cryptosystem Multivariate PKC Code-based PKC
2016/1/7
In this short paper, we present a Fiat-Shamir type transform that takes any Sigma protocol
for a relation R and outputs a non-interactive zero-knowledge proof (not of knowledge) for the
associated l...
In [CDS94] Cramer, Damgⅹard and Schoenmakers (CDS) devise an OR-composition technique
for ヒ-protocols that allows to construct highly-efficient proofs for compound statements. Since
then, such techn...
NEW EXAMPLES OF S-UNIMODAL MAPS WITH A SIGMA-FINITE ABSOLUTELY CONTINUOUS INVARIANT MEASURE
S-UNIMODAL MAPS SIGMA-FINITE ABSOLUTELY CONTINUOUS INVARIANT MEASURE
2015/9/25
We combine the technique of inducing with a method of Johnson boxes and construct new examples of S-unimodal maps ϕ which do not have a finite absolutely continuous invariant measure, but do have...
Quantitative Study of High Dynamic Range Sigma Delta-based Focal Plane Array Architectures
IR focal plane array ROIC high dynamic range vertical integration sigma-delta extended counting
2015/8/17
The paper investigates the suitability of Σ∆ modulation based FPA readout schemes for use in Vertically Interconnected Sensor Arrays requiring ultra high dynamic range and frame rate. It is show...
On Incremental Sigma-Delta Modulation with Optimal Filtering
Sigma-Delta (Σ∆ ) incremental A/D converter optimal filter Σ∆ transfer function time-domain analysis
2015/8/12
The paper presents a quantization-theoretic framework for studying incremental Σ∆ data conversion systems. The framework makes it possible to efficiently compute the quantization intervals and h...
LAAS Sigma-Mean Monitor Analysis and Failure-Test Verification
LAAS Sigma-Mean Monitor Analysis Failure-Test Verification
2015/6/29
The Local Area Augmentation System (LAAS) is a ground-based differential GPS system being developed to support aircraft precision approach and landing navigation with guaranteed integrity. Stanford Un...