3 - PDFSEARCH.IO - Document Search Engine

3
Results: 546187

#	Item
1	Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3 Add to Reading List Source URL: repository.ist.ac.at Language: English - Date: 2018-02-08 07:01:31 Algebra Mathematics Convex geometry Linear algebra Convex analysis Convex cone Abstract interpretation Octahedron Polyhedron Linear programming Linear inequality Convex set
2	FROMM MUSIC FOUNDATION HARVARD UNIVERSITY 3 Oxford Street Cambridge, Massachusetts 02138, USA Tel: • Fax: CONTACT: Lesley Bannatyne Add to Reading List Source URL: www.gf.org Language: English - Date: 2018-10-11 16:09:59 Guggenheim Fellows Classical music Music Paul Fromm Eugene O'Brien Chihchun Chi-sun Lee
3	M´emoire d’habilitation: G´eom´etrie `a grande ´echelle et analyse sur les groupes localement compacts 3 janvier 2016 Pr´ Add to Reading List Source URL: www.normalesup.org Language: French - Date: 2016-01-03 06:36:30
4	October 3, 2018 The Honorable Michael S. Lee Chairman U.S. Senate Committee on the Judiciary Subcommittee on Antitrust, Competition Policy and Consumer Rights Add to Reading List Source URL: www.epic.org Language: English - Date: 2018-10-03 09:41:40 World Wide Web Computing Digital media Terms of service Social media Electronic Privacy Information Center Politics and technology Online advertising Human rights Federal Trade Commission Marc Rotenberg Privacy policy
5	Compositional Semantics of Spiking Neural P Systems Roberto Barbutia , Andrea Maggiolo-Schettinia, Paolo Milazzoa,∗, Simone Tinib a Dipartimento di Informatica, Universit` a di Pisa, Largo B. Pontecorvo 3, 56127 Pisa, Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Computational neuroscience Neural networks Artificial neural networks Neuroscience Cybernetics Nervous system Spiking neural network Neuron Artificial neuron Nervous system network models GalvesLcherbach model
6	THE DUCKDUCKGO $500,000 PRIVACY CHALLENGE $3,000 DOLLAR FOR DOLLAR DONATION MATCHING INCENTIVE OFFICIAL RULES The DuckDuckGo $500,000 Privacy Challenge (the “Challenge”) $3,000 Dollar-for-Dollar Donation Matching Inc Add to Reading List Source URL: cdncustom.crowdrise.com Language: English - Date: 2018-02-26 13:14:04 Crowdrise Gamification Arbitration Arbitral tribunal American Arbitration Association Law GoFundMe Economy
7	1.3 ISMS POLICY It is the policy of Porism to maintain an information management system designed to meet the requirements of ISO 27001:2013 in pursuit of its primary Add to Reading List Source URL: porism.com Language: English - Date: 2018-08-16 07:40:11 Prevention Security Computer security Computing Data security ISO/IEC 27001 Safety Information security Management system ISMS ISO/IEC 27006 Information security management
8	Weeve Network 3/4 Weeve Network ・ Add to Reading List Source URL: weeve.network Language: English - Date: 2018-10-20 14:31:57
9	Thinking Fast and Slow with Deep Learning and Tree Search Thomas Anthony1, , Zheng Tian1 , and David Barber1,2 arXiv:1705.08439v4 [cs.AI] 3 Dec 2017 Add to Reading List Source URL: arxiv.org Language: English - Date: 2017-12-04 21:14:29 Artificial intelligence Applied mathematics Learning Machine learning Computational neuroscience Artificial neural networks Computational statistics Monte Carlo tree search Convolutional neural network Reinforcement learning Q-learning Structured prediction
10	Microsoft Word - OpenAIRE2020_D3.3.docx Add to Reading List Source URL: www.coar-repositories.org Language: English - Date: 2018-06-27 09:18:23 Academic publishing Publishing Open access Knowledge Scholarly communication Communication Research JISC Institutional repository Open-access repository OpenDOAR COnnecting REpositories