Derivation

Results: 734



#Item
661Cryptographic protocols / Key management / HMAC / Key derivation function / Cryptographic hash function / Transport Layer Security / Key / CMAC / Symmetric-key algorithm / Cryptography / Message authentication codes / Hashing

NIST SP[removed]Revision 1, Recommendation for Existing Application-Specific Key Derivation Functions

Add to Reading List

Source URL: csrc.nist.gov

Language: English - Date: 2012-02-09 17:44:46
662Soil / Earth / Soil mechanics / Aquifers / Hydraulic conductivity / Water content / Water retention curve / Infiltration / Vadose zone / Soil physics / Hydrology / Water

Derivation of Soil Moisture Retention Characteristics from Saturated Hydraulic Conductivity C. P. KUMAR 1 AND S. M. SETH National Institute of Hydrology, Roorkee[removed]Uttaranchal) Abstract: Knowledge of the physic

Add to Reading List

Source URL: www.angelfire.com

Language: English - Date: 2002-06-10 23:08:54
663Quantum information science / Quantum information theory / Quantum measurement / Quantum state / Quantum logic / Density matrix / Quantum operation / POVM / Quantum entanglement / Physics / Quantum mechanics / Theoretical computer science

Selected for a Viewpoint in Physics PHYSICAL REVIEW A 84, [removed]Informational derivation of quantum theory Giulio Chiribella∗ Perimeter Institute for Theoretical Physics, 31 Caroline Street North, Ontario, Cana

Add to Reading List

Source URL: www.quantumoptics.it

Language: English - Date: 2011-07-12 06:26:16
664Digital electronics / Field-programmable gate array / Hardware description language / Computer architecture / CPU design / Logic synthesis / Ring / Computer / Electronic engineering / Central processing unit / Electronics

Final Report for NSF Grant MIP89-21842: Algebra for Digital Design Derivation 1 June 1990 – 30 November 1992 Steven D. Johnson, Principal Investigator ([removed])

Add to Reading List

Source URL: www.cs.indiana.edu

Language: English - Date: 2001-09-19 16:08:15
665Logic in computer science / Digital electronics / Logic synthesis / Logic simulation / High-level synthesis / Verilog / Actor model / Abstraction / Programming language / Electronic engineering / Electronic design automation / Electronic design

Digital Design Derivation 1. Introduction This research applies formal methods in logic, verification, and synthesis to digital design engineering. The work centers on the use of applicative notation for system descript

Add to Reading List

Source URL: www.cs.indiana.edu

Language: English - Date: 2001-09-19 15:58:20
666Digital electronics / Integrated circuits / Logic design / Electronic design / Hardware description language / Logic synthesis / Actor model / Logic simulation / Application-specific integrated circuit / Electronic engineering / Electronics / Electronic design automation

Expanded Final Report for NSF Grant MIP87[removed]Digital Design Derivation (November 30, 1990) Steven D. Johnson, P.I. Computer Science Department

Add to Reading List

Source URL: www.cs.indiana.edu

Language: English - Date: 2001-09-19 15:58:32
667Automated theorem proving / Rules of inference / Resolution / Logic programming / Propositional calculus / First-order logic / Derivation / SLD resolution / SL / Logic / Mathematical logic / Theoretical computer science

227 ARTIFICIAL INTELLIGENCE Linear Resolution with Selection Function Robert Kowalski and Donald Kuehnm

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2006-12-18 06:42:49
668Formal methods / Digital electronics / Logic synthesis / Formal verification / High-level synthesis / Logic gate / Standard cell / Programming language / Function model / Electronic engineering / Electronic design automation / Electronic design

algebra for digital design derivation Research Prospectus Algebra for Digital Design Derivation August, 1989

Add to Reading List

Source URL: www.cs.indiana.edu

Language: English - Date: 2001-09-19 16:08:06
669Flowers / Peony

American Peony Society Cultivar Registration Form Date: PROPOSED NAME: Name Derivation: ORIGINATOR

Add to Reading List

Source URL: www.americanpeonysociety.org

Language: English - Date: 2013-04-06 04:05:11
670Petroleum production / Oil wells

WellDev WellDev for Windows has been developed by Hydro Projects Limited to help minimise computational errors in the derivation of deviated well trajectories. The majority of well trajectory computations have traditiona

Add to Reading List

Source URL: www.hydroprojects.co.uk

Language: English - Date: 2010-07-29 06:37:09
UPDATE