搜索结果: 1-3 共查到“计算机科学技术基础学科 Minimum”相关记录3条 . 查询时间(0.062 秒)
Minimum Satisfying Assignments for SMT
Minimum Satisfying Assignments SMT
font style='font-size:12px;'>
2016/5/24
A minimum satisfying assignment of a formula is a minimumcost partial assignment of values to the variables in the formula that guarantees the formula is true. Minimum satisfying assignments have appl...
Practical Leakage-Resilient Pseudorandom Objects with Minimum Public Randomness
Practical Leakage-Resilient Pseudorandom Objects Minimum Public Randomness
font style='font-size:12px;'>
2016/1/23
One of the main challenges in leakage-resilient cryptography is to ob-tain proofs of security against side-channel attacks, under realistic assumptions and for efficient constructions. In a recent wor...
Minimum Control Latency of Dynamic Networks
Structural controllability Minimum control la- tency Controlling pattern design
font style='font-size:12px;'>
2016/1/22
Controlling a dynamic network is interesting and important in practical applications, which is to drive the network from any initial state to any desired state. Much research has been conducted in rev...