paper - PDFSEARCH.IO - Document Search Engine

paper
Results: 146959

#	Item
71	Microsoft Word - Faith Okpotor -Journeys 2018 Paper.docx Add to Reading List Source URL: www.saramitchell.org Language: English - Date: 2018-10-23 08:53:53 Crime Dispute resolution Ethics Human behavior Social conflict Violence Armed Conflict Location and Event Data Project Development economics Behavior Psychology
72	Instructions for Backup Optical Scan Paper Ballots for Voter in Counties that Use DRE Voting Machines as their Voting System Add to Reading List Source URL: www.sos.state.oh.us Language: English - Date: 2018-08-09 11:10:22 Voting Election technology Ballot Electronic voting Voting machine Politics Elections Group decision-making Government
73	Open Access policy effectiveness: A briefing paper for research funders Author: Alma Swan (ΕΟS) Reviewer: Eloy Rodrigues (University of Minho) September 2015 Add to Reading List Source URL: www.pasteur4oa.eu Language: English - Date: 2015-09-18 03:04:13 Open access Academic publishing Publishing Open-access mandate Human behavior Knowledge Registry of Open Access Repositories Policy Open educational resources policy Tri-Agency Open Access Policy on Publications
74	/nas/dft/ire/yossi/RiskLensPaper/Paper/Figures/uncon_corr.eps Add to Reading List Source URL: www.twosigma.com Language: English - Date: 2018-10-04 15:27:11 Economy Finance Money Financial risk modeling Actuarial science Financial markets Financial risk Investment management Portfolio optimization Asset allocation Asset classes Market risk
75	The attached white paper is meant to describe the currently anticipated plans of Messari Inc. (“Messari”) for developing a new blockchain token mechanism (“Token”) that will be used on the network spo Add to Reading List Source URL: messari.github.io Language: English - Date: 2018-10-11 11:52:47 Behavior modification Behaviorism Token economy Token coin Cryptocurrencies Economy Psychology Money Computer access control
76	Considering Typestate Verification for Quantified Event Automata Giles Reger University of Manchester, Manchester, UK Abstract. This paper discusses how the existing static analyses developed for Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-08-10 12:12:08 Program analysis Typestate analysis Mathematical logic Logic Mathematics Runtime verification Quantifier Type system Sheaf
77	White Paper Wireless Health: Powerful Heuristics for Smarter Troubleshooting Add to Reading List Source URL: meraki.cisco.com Language: English - Date: 2018-06-20 13:04:25 Computing Wireless networking Information and communications technology Wireless Local area networks Computer network security Wireless LAN Wi-Fi Cisco Meraki Computer network Cisco Systems Dynamic Host Configuration Protocol
78	Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1 Add to Reading List Source URL: cubicle.lri.fr Language: English - Date: 2013-07-31 06:15:38 Theoretical computer science Logic in computer science Temporal logic Constraint programming Electronic design automation Satisfiability modulo theories Alt-Ergo Computation tree logic Model theory
79	An Object-Oriented Framework for Explicit-State Model Checking Mark Kattenbelt1 and Theo C. Ruys2 and Arend Rensink2 Abstract. This paper presents a conceptual architecture for an object-oriented framework to support the Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-02-25 10:26:47 Theoretical computer science Formal methods Computing Mathematics Logic in computer science Graph rewriting Model checking Algorithm Formal verification Abstraction Generic programming Finite-state machine
80	September 8, 2014 ACPM Target Benefit Plan Supplemental Paper ACPM CONTACT INFORMATION Add to Reading List Source URL: www.acpm.com Language: English - Date: 2016-11-03 10:40:10 Economy Pensions Money Finance Defined benefit pension plan Pension Target benefit plan Defined contribution plan Retirement

UPDATE