Implementation - PDFSEARCH.IO - Document Search Engine

Implementation
Results: 49373

#	Item
41	Poster: Security Analysis of HSTS Implementation in Browsers Yan Jia1,2, Yuqing Zhang2,1 1 2 Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-14 22:48:20 Computing Software Cryptography Transport Layer Security HTTP Strict Transport Security HTTP Public Key Pinning HTTP cookie Browser security HTTPS Public key certificate Google Chrome Firefox
42	COSC 544 Probabilistic Proof SystemsThe GKR Protocol and Its Efficient Implementation Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-06 11:09:52 Computational complexity theory Mathematics Complexity classes IP Circuit complexity True quantified Boolean formula NP SchwartzZippel lemma NC
43	Implementation of Mesh Routing for the Matrix Step in Number Field Sieving Factoring Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2005-03-13 11:15:52 Numerical linear algebra Integer factorization algorithms General number field sieve Matrix Sparse matrix LU decomposition Incomplete Cholesky factorization
44	Illicit Trade in Tobacco Products after Implementation of an FDA Product Standard Add to Reading List Source URL: www.fda.gov Language: English Tobacco Smoking Human behavior Tobacco control Cigarettes Electronic cigarettes Habits Food and Drug Administration Family Smoking Prevention and Tobacco Control Act Illicit cigarette trade Ventilated cigarette Roll-your-own cigarette
45	NSDI ’18: 15th USENIX Symposium on Networked Systems Design and Implementation April 9–11, 2018 Renton, WA, USA New Hardware Add to Reading List Source URL: www.usenix.org Language: English - Date: 2018-03-08 20:36:19 Higher education in China Education in China C9 League Project 211 Project 985 Scott Shenker Sylvia Ratnasamy University of Science and Technology of China Hari Balakrishnan Microsoft Research University of California Berkeley Ion Stoica
46	PRESS RELEASE 2 May 2011 Gearing up for UCITS IV The countdown to the implementation of Undertakings for Collective Investment in Transferable Securities (UCITS) IV in July 2011 is compelling the investment Add to Reading List Source URL: mfia.org.mt Language: English - Date: 2012-01-31 15:04:03 Economy Investment European Union law Undertakings for Collective Investment in Transferable Securities Directive Funds Investment fund Malta
47	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen Add to Reading List Source URL: homes.sice.indiana.edu Language: English - Date: 2013-08-15 14:47:07 Type theory Software engineering Programming language theory Computing Scheme System F Type system HindleyMilner type system Racket Boolean data type Macro Typing environment
48	Incentives to centrally clear over-the-counter (OTC) derivatives: A post-implementation evaluation of the effects of the G20 financial regulatory reforms Add to Reading List Source URL: www.iosco.org Language: English - Date: 2018-08-23 04:11:54 Economy Finance Money Financial markets Systemic risk Mathematical finance Financial risk Over-the-counter Stock market Trade Repository Derivative Central counterparty clearing
49	HOL with Definitions: Semantics, Soundness, and a Verified Implementation Ramana Kumar1 , Rob Arthan2 , Magnus O. Myreen1 , and Scott Owens3 2 1 Add to Reading List Source URL: cakeml.org Language: English - Date: 2014-04-20 08:49:44 Mathematical logic Metalogic Logic Model theory Logic in computer science Proof theory Proof assistants Programming language semantics HOL Operational semantics Gdel's completeness theorem Type theory
50	Implementation Plan on Security and Defence Building on the EU Global Strategy for foreign and security Policy put forward in June 2016, High Representative/ Vice-President Federica Mogherini presented in November 2016 a Add to Reading List Source URL: eeas.europa.eu Language: English - Date: 2018-03-06 03:09:25 Politics of the European Union European Union Foreign relations of the European Union Military Common Security and Defence Policy European External Action Service Military Planning and Conduct Capability EU Battlegroup European Defence Agency Permanent Structured Cooperation Committee for Civilian Aspects of Crisis Management High Representative of the Union for Foreign Affairs and Security Policy

UPDATE