Org - PDFSEARCH.IO - Document Search Engine

Org
Results: 4040769

#	Item
721	Adding APFS Support to The Sleuthkit Framework Presented by: Joe T. Sylve, Ph.D. Director of R&D Add to Reading List Source URL: www.dfrws.org Language: English - Date: 2018-08-06 13:59:01 Computing Software engineering Computer architecture Cross-platform software Disk file systems High-level programming languages Const Apple File System ZFS File system C++ Snapshot
722	ANNUAL ELEMENT PROGRESS REPORT Housing Element Implementation (CCR Title 25 §Jurisdiction LOS ANGELES Add to Reading List Source URL: cityplanning.lacity.org Language: English - Date: 2016-02-17 17:26:02 Acoustics Decibel Telecommunications engineering Physics
723	Microsoft Word - Ad cycling 0.25 page Add to Reading List Source URL: www.adventurecycling.org Language: English - Date: 2015-01-26 14:10:42 Sustainable transport Transport Cycling Sustainable development Schwinn Bicycle Company Cruiser bicycle Bicycle Local bike shop
724	Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:45 Probability Dynamic programming Markov decision process Stochastic control PRISM model checker Reinforcement learning Probabilistic CTL Application software
725	FOR IMMEDIATE RELEASE 300+ Law Professors Issue Letter Urging Senators Collins and Murkowski to Vote Against Judge Brett Kavanaugh, Warning that the Future of Abortion Rights is in Jeopardy August 29, 2018: Today, a grou Add to Reading List Source URL: www.reproductiverights.org Language: English - Date: 2018-09-05 18:25:20 Supreme Court of the United States Law Catholic Church in the United States Brett Kavanaugh Lisa Murkowski Susan Collins Roe v. Wade Abortion-rights movements Anthony Kennedy
726	TECHNICA TERMS AND CODE OF CONDUCT BY PARTICIPATING IN TECHNICA, YOU AGREE TO THE FOLLOWING TERMS AND ALL Add to Reading List Source URL: gotechnica.org Language: English - Date: 2018-10-24 21:42:12 Hackathon Hacker culture Internet slang OpenBSD Indemnity Culture
727	2018 Ohio Elections Calendar My My Right ote Add to Reading List Source URL: boe.muskingumcounty.org Language: English - Date: 2017-09-18 13:58:28 Elections Voting Politics Absentee ballot Election Day Write-in candidate Government Federal Voting Assistance Program Elections in the United States
728	Towards Evaluating the Robustness of Neural Networks Nicholas Carlini David Wagner University of California, Berkeley A BSTRACT Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 16:02:30 Artificial neural networks Applied mathematics Cybernetics Mathematics Deep learning CIFAR-10 MNIST database Rectifier Softmax function Feedforward neural network Gradient descent Activation function
729	Tackling Large Software Verification Problems with Spin Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:28:50 Model checkers Software engineering Computing Theoretical computer science Model checking Promela Formal verification SPIN model checker Abstraction Sizeof Const

UPDATE