FOR-A - PDFSEARCH.IO - Document Search Engine

FOR-A
Results: 646152

#	Item
241	Predicate Abstraction for Programmable Logic Controllers Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Embedded Software Laboratory, RWTH Aachen University, Germany Abstract. In this paper, we present a predic Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2018-05-10 06:54:27 Mathematical logic Predicate logic Mathematics Logic Predicate variable Scope Atomic sentence FO First-order logic Variable Structured text Assignment
242	Designing a Secret Handshake: Authenticated Key Exchange as a Capability System Dominic Tarr July 10, 2015 Abstract Capability Based Security is a conceptual framework for designing Add to Reading List Source URL: dominictarr.github.io Language: English - Date: 2015-07-10 14:55:46 Cryptography Public-key cryptography Transport Layer Security Key management Public key infrastructure Man-in-the-middle attack Secure Shell Forward secrecy Elliptic-curve DiffieHellman Replay attack Cryptographic protocol Handshaking
243	DynamoGraph: A Distributed System for Large-scale, Temporal Graph Processing, its Implementation and First Observations Matthias Steinbauer Gabriele Anderst-Kotsis Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:56:15 Graph theory NP-complete problems Crowdsourcing PageRank Search engine optimization Graph Line graph Planar separator theorem
244	PRESUMED INNOCENT FOR A PRICE: The Impact of Cash Bail Across Eight New York Counties MARCH 2018 PRESUMED INNOCENT FOR A PRICE: Add to Reading List Source URL: www.nyclu.org Language: English - Date: 2018-03-13 13:02:22 Law Criminal procedure Criminal law Bail Remand Probation Bail in the United States Pretrial services programs
245	Instructions for Submission to ASPLOS 2019 ASPLOS Submission #XXX– Confidential Draft – Do Not Distribute! Abstract This document is intended to serve as a sample for submissions to the 23rd International Conference Add to Reading List Source URL: asplos-conference.org Language: English - Date: 2018-07-24 21:51:17 Science Knowledge Academic publishing Research Digital media Publishing Scholarly peer review Scientific method Electronic submission ArXiv Computer architecture International Conference on Architectural Support for Programming Languages and Operating Systems
246	A Graph-Coarsening Approach for Tag Recommendation Manel Hmimida Rushed Kanawati LIPN-CNRS UMR 7030 Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:40:31 Graph theory Networks Hypergraph Community structure Recommender system Graph Bipartite graph Line graph Multipartite graph Directed graph Draft:FolkRank Graph partition
247	Application for Membership of a Special Category Add to Reading List Source URL: www.acs.org.au Language: English Central Region Singapore Anglo-Chinese School Association of Caribbean States Australian Computer Society
248	PARTIESBRISTOL LAPTOP BATTLE Laptop audio producers battle it out for the title crown. Plus a 2nd room of music and hip-hop DJ Add to Reading List Source URL: www.randomartists.org Language: English - Date: 2007-12-03 16:26:59 Economy Money Finance Banking Debt Loans Mortgage loan Interest Low-emission zone Bank
249	Diceland Consolidated Special Effect Rules A supplement for the Diceland Paper Dice Game available from _http://www.diceland.com_ Document version: 2008-May-23 This document is a supplement for Diceland players. It is a Add to Reading List Source URL: wanderinghorse.net Language: English - Date: 2018-10-25 11:40:39 Gaming Human behavior Diceland Entertainment Dice Cheapass Games

UPDATE