Derivation - PDFSEARCH.IO - Document Search Engine

Derivation
Results: 734

#	Item
141	Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions Kazutaka Matsuda† Zhenjiang Hu† Add to Reading List Source URL: www.cs.gunma-u.ac.jp Language: English - Date: 2008-05-14 16:47:26
142	Journal of Computer Security–482 IOS Press 423 A derivation system and compositional logic Add to Reading List Source URL: seclab.stanford.edu Language: English - Date: 2010-07-17 01:14:12 Cryptography Cryptographic protocols Public-key cryptography Internet protocols DiffieHellman key exchange NeedhamSchroeder protocol Communications protocol Key exchange Protocol composition logic Interlock protocol
143	Derivation of a Micro-Macro Link for Collective Decision-Making Systems: Uncover Network Features Based on Drift Measurements Heiko Hamann1 , Gabriele Valentini2 , Yara Khaluf1 , Marco Dorigo2 2 Add to Reading List Source URL: heikohamann.de Language: English - Date: 2014-06-03 06:48:56
144	Summer Term 2015: Lecture: „Adaptive Filters” Example questions on Lecture 7 (Adaptation procedures (II): The LMS & NLMS algorithms): 1) Which error criterion is used for the derivation of the LMS procedure? 2) What Add to Reading List Source URL: www2.spg.tu-darmstadt.de Language: English
145	Grant Agreement N° Title: Derivation of QoS And SLA Specifications Add to Reading List Source URL: www.s-cube-network.eu Language: English - Date: 2011-06-09 14:56:57
146	Supporting information for Are parasites “prudent” in space? Sébastien Lion and Mike Boots July 30, 2010 In this appendix, we sketch the important steps of the derivation of the selection gradient in the Add to Reading List Source URL: evolepid.cefe.cnrs.fr Language: English - Date: 2015-02-25 10:03:37
147	NeoScrypt, a Strong Memory Intensive Key Derivation Function Add to Reading List Source URL: www.ftc-c.com Language: English - Date: 2014-07-28 11:00:04
148	Introduction A few examples Derivation of mean-field games Stationary problems Time dependent mean-field games Time dependent Hamiltonians - the proof Add to Reading List Source URL: gfm.cii.fc.ul.pt Language: English - Date: 2014-07-10 17:11:52
149	Qt 4 Livre Page 15 Jeudi, 7. décembre:Créer des boîtes de dialogue Au sommaire de ce chapitre ✔ Dérivation de QDialog Add to Reading List Source URL: www.coyotus.com Language: French - Date: 2012-10-10 08:38:12
150	PDF Document Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:27:15 Formal methods Specification language Refinement Abstract state machines Specification Object Process Methodology Domain-specific language Programming language Integrated circuit design Formal specification Isabelle Program derivation

UPDATE