FOR-A - PDFSEARCH.IO - Document Search Engine

FOR-A
Results: 646152

#	Item
131	A Paged Domain Name System for Query Privacy Daniele E. Asoni, Samuel Hitz, and Adrian Perrig Network Security Group Department of Computer Science, ETH Zürich {daniele.asoni,samuel.hitz,adrian.perrig}@inf.ethz.ch Add to Reading List Source URL: www.netsec.ethz.ch Language: English Domain name system Internet Internet Standards Network architecture Computing Domain Name System Security Extensions Name server Domain name Root name server WHOIS Fully qualified domain name Second-level domain
132	The Lambrechts–Stanley Model of Configuration Spaces Najib Idrissi∗ November 30, 2016 We prove the validity over R of a CDGA model of configuration spaces for Add to Reading List Source URL: idrissi.eu Language: English - Date: 2018-10-19 04:32:45 Algebra Abstract algebra Mathematics Algebraic topology Homotopy theory Category theory Operad theory Rational homotopy theory Homotopy Lie algebra Comodule Sheaf
133	BUILDING A REGULATED INVESTMENT PLATFORM AND SECURITY TOKEN EXCHANGE FOR START-UPS AND SMEs Q4 2018 Disclaimer Add to Reading List Source URL: www.kambio.io Language: English - Date: 2018-10-18 01:47:00 Stock market Finance Initial public offering 73rd United States Congress U.S. Securities and Exchange Commission Prospectus Securities Act Initial coin offering Security Money Economy
134	For Immediate Release TENCENT ANNOUNCES 2016 FIRST QUARTER RESULTS Hong Kong, May 18, 2016 – Tencent Holdings Limited (“Tencent” or the “Company”, SEHK 00700), a leading provider of Internet value added servic Add to Reading List Source URL: www.tencent.com Language: English - Date: 2018-07-12 03:03:12 Economy Money Instant messaging clients Tencent Cash flow Mergers and acquisitions Corporate finance Earnings before interest taxes depreciation and amortization Income statement Balance sheet International Financial Reporting Standards Financial ratio
135	SMTCoq: A plug-in for integrating SMT solvers into Coq? Burak Ekici1 , Alain Mebsout1 , Cesare Tinelli1 , Chantal Keller2 , Guy Katz3 , Andrew Reynolds1 , and Clark Barrett3 t Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Theoretical computer science Mathematics Formal methods Mathematical logic Logic in computer science Electronic design automation NP-complete problems Boolean algebra Satisfiability modulo theories Coq Solver Proof assistant
136	APPENDIX Tracking Outcomes: A Guide for Civil Legal Aid Providers & Funders JUNE 20, 2018 Add to Reading List Source URL: ncforaj.org Language: English - Date: 2018-06-19 23:00:08 Epidemiology Outcomes research Business process management Big data Information technology Information Computing
137	Targeted Sponsorship Policy What is a Targeted Sponsor? Targeted sponsors support the foundation by helping specific parts of the foundation. For example, targeted sponsors today donate cloud services, fund project hacka Add to Reading List Source URL: apache.org Language: English - Date: 2018-10-05 14:42:08 Economy Fundraising Philanthropy Sponsor The Apache Software Foundation Proposal Allstate Finance
138	NITI Aayog, Intel and TIFR collaborate to set up a Model International Center for Transformative AI (ICTAI) Aiming to solve major challenges in India, the center will focus on application-based AI research in healthcare, Add to Reading List Source URL: www.tifr.res.in Language: English - Date: 2018-09-14 14:21:25 Technology Computational neuroscience Computing NITI Aayog Niti Artificial intelligence Intel Ai Tata Institute of Fundamental Research
139	Symbolic Optimal Expected Time Reachability Computation and Controller Synthesis for Probabilistic Timed Automata Aleksandra Jovanovi´ca , Marta Kwiatkowskaa , Gethin Normanb , Quentin Peyrasc a Department Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-02-20 06:08:48 Dynamic programming Markov processes Stochastic control Markov decision process Approximation algorithms Probability Computational complexity theory
140	Support and Technical Account Management Fastly Support Plans At Fastly, we know what it takes to deliver excellent support. Our edge cloud platform was built by developers for developers, so we have a unique Add to Reading List Source URL: www.fastly.com Language: English - Date: 2018-08-02 13:22:26 Software Computing Computer architecture Fastly Internet security Slack

UPDATE