「Provably」の共起表現一覧(1語右で並び替え)
該当件数 : 18件
| He Jifeng, | Provably Correct Systems: Modelling of Communication L |
| part of the European ESPRIT ProCoS project on | Provably Correct Systems. |
| e method of truth tables illustrated above is | provably correct - the truth table for a tautology wil |
| ivation of linear algebra algorithms that are | provably correct. |
| Some of these stories are | provably false, while others could be true but lack an |
| e for multithreaded programming, which uses a | provably good work-stealing algorithm for scheduling. |
| ents are alternatively uncited, poorly cited, | provably incorrect, or unverifiable opinion. |
| se of Bernoulli processes, Golomb coding is a | provably optimal run-length code. |
| itive recursion; in this system all functions | provably recursive in Peano arithmetic are definable. |
| efficient message authentication code that is | provably reducible in security to the underlying block |
| over a range of bytecode instructions can be | provably reversed. |
| is to automatically construct a program that | provably satisfies a given high-level specification. |
| linear S-boxes (now known as Nyberg S-boxes), | provably secure block cipher design (resulting in KN-C |
| reference monitors for building efficient and | provably secure systems. |
| ctive it can describe all functions which are | provably total in second-order logic. |
| The formula F is | provably true in intuitionist propositional calculus. |
| , with Glass calling the story "obviously and | provably untrue." |
| ent policies, etcetera), but in many cases is | provably within a constant factor of a more realistic |
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|