Style - PDFSEARCH.IO - Document Search Engine

Style
Results: 22981

#	Item
1	Draft version October 9, 2018 Preprint typeset using LATEX style emulateapj vCAN MOONS HAVE MOONS? Juna A. Kollmeier1 & Sean N. Raymond2 Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-10-08 20:33:21 Astronomy Planetary science Local Interstellar Cloud Moons Exomoon Subsatellite Natural satellite Regular moon Jupiter Callisto Titan Formation and evolution of the Solar System
2	Federal Register / Vol. 66, NoFriday, August 31, Notices Images of Glamour and Style (Photographs by Horst and HoyningenHuene),’’ imported from abroad for the Add to Reading List Source URL: otexa.trade.gov Language: English - Date: 2001-09-04 09:25:48 Economy 106th United States Congress African Growth and Opportunity Act Government World Noise pollution Federal Aviation Administration Airport Noise regulation Botswana Tariff
3	Paper Title (use style: paper title) Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-12 13:30:48 Computer network security Computing Multi-agent systems Cyberwarfare Botnets Spamming Cybercrime Serverless computing Bot herder Computer security Internet bot
4	Paper Title (use style: paper title) Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-12 16:10:18 Computing Free software Internet privacy File sharing Peer-to-peer computing Distributed data storage Internet protocols Dark web ZeroNet Peer-to-peer I2P Distributed hash table
5	Integrating a SAT Solver with an LCF-style Theorem Prover A Fast Decision Procedure for Propositional Logic for the Isabelle System Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:26 Proof assistants Theoretical computer science Logic in computer science Mathematical logic Isabelle Logic for Computable Functions Mathematics Resolution Constructible universe Theorem prover LCF Formal methods
6	Paper Title (use style: paper title) Add to Reading List Source URL: prof.ict.ac.cn Language: English - Date: 2018-03-11 22:52:23 Computing Electronic engineering Computer architecture Application-specific integrated circuits Computer optimization Field-programmable gate array Hardware acceleration Reconfigurable computing OpenCL Apache Hadoop
7	Paper Title (use style: paper title) Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-12 21:00:14 Computing Information and communications technology Technology Networking hardware Wireless networking Computer network security Server appliance Internet of things Router Mirai Computer network Computer security
8	Distributed Computing Prof. R. Wattenhofer Advanced Topics in Deep Learning - Understanding and Evaluating Music Style Transfer Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2018-08-02 04:01:33 Cybernetics Education Cognition Technology Educational psychology Learning Computational neuroscience Open educational resources Deep learning Artificial intelligence Machine learning Andrew Ng
9	Muse Accessibility Style Guide Add to Reading List Source URL: about.muse.jhu.edu Language: English - Date: 2018-06-12 13:54:50 Web accessibility Computer accessibility Web development Urban planning Web Content Accessibility Guidelines Section 508 Amendment to the Rehabilitation Act Voluntary Product Accessibility Template Accessibility Americans with Disabilities Act Disability Assistive technology Section 504 of the Rehabilitation Act
10	Using a SAT Solver as a Fast Decision Procedure for Propositional Logic in an LCF-style Theorem Prover Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:36 Theoretical computer science NP-complete problems Formal methods Boolean algebra Boolean satisfiability problem Electronic design automation Logic in computer science Isabelle Constructible universe LCF Mathematics (SAT -UNSAT)