Progress - PDFSEARCH.IO - Document Search Engine

Progress
Results: 49149

#	Item
1	Efficient Traffic Routing with Progress Guarantees Stefan Blumer Manuel Eichelberger Roger Wattenhofer Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2018-08-16 04:03:22 Routing algorithms Edsger W. Dijkstra Mathematics Game artificial intelligence Combinatorial optimization Search algorithms Computing Applied mathematics Pathfinding Shortest path problem Deadlock Routing
2	Language and Proofs for Higher-Order SMT (Work in Progress)∗ Haniel Barbosa Jasmin Christian Blanchette Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Theoretical computer science Mathematics Algebra Formal methods Logic in computer science Computability theory Models of computation Lambda calculus Satisfiability modulo theories -ring De Bruijn index
3	THE FEDERAL INTERAGENCY REENTRY COUNCIL A Record of Progress and a Roadmap for the Future Employment AUGUST 2016 Add to Reading List Source URL: csgjusticecenter.org Language: English - Date: 2018-01-30 09:58:44 Criminal records Recruitment Human behavior Law Politics Background check Law enforcement Security Disparate impact Equal Employment Opportunity Commission Ban the Box Second Chance Act
4	ZKProof Standards Security Track Proceedings 1 August 2018 + subsequent revisions This document is an ongoing work in progress. Feedback and contributions are encouraged. Track chairs: Add to Reading List Source URL: zkproof.org Language: English - Date: 2018-10-25 10:32:39 Cryptography Computational complexity theory Complexity classes Cryptographic protocols Non-interactive zero-knowledge proof Interactive proof system Proof of knowledge Zero-knowledge proof NP Zero knowledge IP Soundness
5	Completing Your Charting Impact Report Discussion Materials Your organization is committed to maximizing your impact and to telling the story of your progress in an accessible, concise way. People want to help you make a Add to Reading List Source URL: independentsector.org Language: English - Date: 2017-07-18 22:17:45 Economy Auditors Business analysis GuideStar Media in Washington D.C. Theory of change Business World Wide Web
6	THE FEDERAL INTERAGENCY REENTRY COUNCIL A Record of Progress and a Roadmap for the Future Education AUGUST 2016 Add to Reading List Source URL: csgjusticecenter.org Language: English - Date: 2018-01-30 09:58:44 Penology Crime Criminology Criminal law Council for Christian Colleges and Universities Nyack College Recidivism Prison education United States Department of Education Alternatives to imprisonment
7	Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Software engineering Computer programming Computing Interpolation Video Video signal Craig interpolation Pure Foreach loop
8	Hat Day 2005: work in progress on the Hat tracing system for Haskell Colin Runciman (Editor) Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Programming language theory Computer programming Functional languages Debugging Literate programming Haskell Program slicing Insertion sort
9	ZKProof Standards Applications Track Proceedings 1 August 2018 + subsequent revisions This document is an ongoing work in progress. Feedback and contributions are encouraged. Track Chairs: Add to Reading List Source URL: zkproof.org Language: English - Date: 2018-10-25 10:32:39 Identity management Cryptography Computer security Identity Federated identity Computer access control Zero-knowledge proof Credential Cryptographic protocol NP Credit card Digital identity
10	THE WHITE HOUSE Office of the Press Secretary FOR IMMEDIATE RELEASE September 15, 2016 FACT SHEET: New Progress on Using Behavioral Science Insights to Better Serve the American People Add to Reading List Source URL: sbst.gov Language: English - Date: 2017-05-02 18:15:57 Tax Liberalism in the United States Healthcare reform in the United States Social programs Economy Government General Services Administration Social and Behavioral Sciences Team Earned income tax credit Social Security Microcredit Financial market