DAVID - PDFSEARCH.IO - Document Search Engine

DAVID
Results: 76632

#	Item
111	International comparison of information available from charity regulators David Kane - June 2018 Introduction This report aims to summarise the current state of data gathering and data sharing by charity Add to Reading List Source URL: www.threesixtygiving.org Language: English - Date: 2018-10-22 07:59:52 Charity regulators Government Administrative law Law Office of the Scottish Charity Regulator Charity Commission for England and Wales Charity Commission for Northern Ireland Australian Charities and Not-for-profits Commission Charitable incorporated organisation Form 990 Charities Commission Linear regulator
112	CLARK COUNTY BOARD OF ELECTIONS Board Members  Sue DeVoe Allen, Chairperson  Lynda Smith  David Hartley  John Pickarski Director  Jason Baker Deputy Director  Amber Lopez April 12, 2017 The Board will h Add to Reading List Source URL: clark.ohioboe.com - Date: 2017-04-21 08:14:02
113	Electrum Lightweight specification of behavioral models with rich configurations Julien Brunel1 , David Chemouil1 , Alcino Cunha2 , Nuno Macedo2 et al. Workshop on the Future of Alloy, April 30 & May 1, 2018, MIT. Add to Reading List Source URL: alloytools.org Language: English - Date: 2018-06-13 06:07:43 Theoretical computer science Formal methods Temporal logic Software engineering Alloy Massachusetts Institute of Technology Z notation Concurrency Model checking TLA+ Linear temporal logic Computation tree logic
114	One TPM to Bind Them All: Fixing TPM 2.0 for Provably Secure Anonymous Attestation Jan Camenisch1 , Liqun Chen2 , Manu Drijvers1,3 , Anja Lehmann1 , David Novick4 , and Rainer Urian5 1 IBM Research – Zurich Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2017-06-28 09:41:56 Cryptography Computer security Direct Anonymous Attestation Trusted Platform Module Trusted Computing Group Trusted Computing Proof of knowledge FiatShamir heuristic Non-interactive zero-knowledge proof Zero-knowledge proof
115	Cambridge University PressThe Evolution and Extinction of the Dinosaurs, Second Edition David E. Fastovsky and David B. Weishampel Excerpt More information Add to Reading List Source URL: assets.cambridge.org Language: English - Date: 2006-11-25 11:38:07 Tyrannosaurus Late Cretaceous Environment of the United States Dinosaur Fossil Specimens of Tyrannosaurus Origin of birds Mesozoic David B. Weishampel Taphonomy Outline of dinosaurs
116	CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted A. McClenen, Chairperson  Lynda Smith  David Hartley  Max Cordle Director  Jason Baker Deputy Director  Amber Lopez August 14, 2016 The Board will hold Add to Reading List Source URL: clark.ohioboe.com - Date: 2017-04-21 08:14:09
117	Automated Verification Techniques for Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-10-06 19:34:00 Markov models Probability Dynamic programming Markov processes Stochastic control Markov decision process Markov chain Linear temporal logic S2 Reinforcement learning S0
118	T DR AF Quantitative Verification Techniques for Biological Processes Marta Kwiatkowska, Gethin Norman, and David Parker Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-01-12 07:51:06 Protein kinases Cell biology Biology Signal transduction Cell signaling Biochemistry Mitogen-activated protein kinase kinase Mitogen-activated protein kinase MAPK phosphatase Mitogen MAP kinase kinase kinase
119	Inferring Internet Denial-of-Service Activity David Moore CAIDA San Diego Supercomputer Center University of California, San Diego Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2001-05-18 13:11:42 Denial-of-service attacks Cyberwarfare Computing Computer security Denial-of-service attack Transmission Control Protocol IP address spoofing SYN flood Ping Port scanner LAND UDP flood attack
120	SCMon: Leveraging Segment Routing to Improve Network Monitoring Franc¸ois Aubry, David Lebrun, Stefano Vissicchio, Minh Thanh Khong, Yves Deville, Olivier Bonaventure ICTEAM, Universit´e catholique de Louvain, Louvain- Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-11-17 12:53:02 Mathematics Routing algorithms Computing Combinatorial optimization Search algorithms Applied mathematics Network theory Internet architecture Shortest path problem Dijkstra's algorithm Image segmentation Routing