School - PDFSEARCH.IO - Document Search Engine

School
Results: 468043

#	Item
41	Poster：A New Approach to Detecting Ransomware with Deception Yun Feng, Chaoge Liu, Baoxu Liu Institute of Information Engineering, Chinese Academy of Sciences School of Cyber Security, University of Chinese Academy of Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-24 15:44:20 Security Security breaches Prevention Ransomware Cybercrime Malware Locky Computer security
42	McGill University School of Computer Science Sable Research Group WebAssembly and JavaScript Challenge: Numerical program performance using Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2018-03-15 14:14:31 Software Computing Web programming Web browsers Mozilla Cloud clients Portable software JavaScript Asm.js Firefox Microsoft Edge Google Chrome
43	Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:45 Software Automated theorem proving Theoretical computer science Formal methods TPTP Proof assistant Frama-C Theorem prover E theorem prover Theorem Isabelle
44	Enabling SDN in old school networks with Software-Controlled Routing Protocols Laurent Vanbever† and Stefano Vissicchio†† ? Princeton University† , Universit´e catholique de Louvain†† Add to Reading List Source URL: inl.info.ucl.ac.be Language: English - Date: 2018-05-31 05:55:37 Computing Network architecture Information and communications technology Internet architecture Routing protocols Routing Internet Standards Computer networking Software-defined networking OpenFlow Router Interior gateway protocol
45	SAT-based Finite Model Generation for Isabelle/HOL Tjark Weber Summer School Marktoberdorf, August 9, 2005 Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:34 Mathematical logic Computability theory Type theory Theoretical computer science Metalogic Model theory Lambda calculus Constructible universe Mathematics
46	North Dakota Board of University and School Lands: Surface Land Management Add to Reading List Source URL: land.nd.gov Language: English - Date: 2018-09-28 11:30:26 Economy Leasing Law Finance Landlordtenant law Business law Lease Property law South African law of lease Finance lease
47	2013 IEEE 10th International Conference on Services Computing Design and Implementation of a Uniﬁed Network Information Service Ahmed El-Hassany∗ , Ezra Kissel∗ , Dan Gunter† , Martin Swany∗ , School of Inform Add to Reading List Source URL: people.ee.ethz.ch Language: English - Date: 2017-02-01 15:47:49 Computing Information and communications technology Data transmission Decentralization Local area networks Computer networking PerfSONAR Network architecture File sharing Computer network Network topology Distributed computing
48	SCHOOL OF COMPUTER SCIENCE POSTGRADUATE STUDIES IN COMPUTER SCIENCE Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-04-10 06:51:54 Security engineering Electromagnetism Computer engineering Computer science Electrical engineering Electronic engineering Computer security Computing Carnegie Mellon School of Computer Science University of Colombo School of Computing
49	Exploiting Search Space Structure in Classical Planning: Analyses and Algorithms (Dissertation Abstract) Masataro Asai Graduate School of Arts and Sciences University of Tokyo Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:18 Game artificial intelligence Routing algorithms Computer programming Computing Mathematics Automated planning and scheduling Theoretical computer science Macro Satisficing A* search algorithm Planning Domain Definition Language Heuristic
50	The Impact of Length of the School Year on Student Performance and Earnings: Evidence from the German Short School Years Jörn-Ste¤en Pischke LSE January 2006 Add to Reading List Source URL: econ.lse.ac.uk Language: English - Date: 2006-05-11 09:57:03 Secondary education Education Student Education in Germany Tenth grade Ninth grade Academic degree Seventh grade