Department - PDFSEARCH.IO - Document Search Engine

Department
Results: 775307

#	Item
81	What is a Vulnerability Disclosure Policy and Why You Need One VDPs work and they protect assets. That’s why the U.S. Department of Justice, the European Commission, and the U.S. Food & Drug Administration recommend th Add to Reading List Source URL: www.hackerone.com Language: English - Date: 2018-08-30 11:58:33 Computer security Prevention Security engineering Cyberwarfare Vulnerability Cryptography National security HackerOne Bug bounty program Information security Social vulnerability
82	Optimization Approaches to Multi-robot Planning and Scheduling Kyle E. C. Booth Department of Mechanical & Industrial Engineering University of Toronto, Toronto, Ontario, Canada Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:20 Artificial intelligence Robotics Machine learning Robot Humanrobot interaction Motion planning Automated planning and scheduling Mobile robot Simultaneous localization and mapping Cognitive robotics Ayorkor Korsah Cloud robotics
83	Stochastic Hillclimbing as a Baseline Method for Evaluating Genetic Algorithms Ari Juels Department of Computer Science Add to Reading List Source URL: pdfs.semanticscholar.org Language: English - Date: 2017-03-10 11:15:03 Genetic algorithms Evolutionary algorithms Artificial intelligence Applied mathematics Cybernetics Mathematical optimization Mathematics Genetic programming Algorithm Crossover
84	TRADITION SEF, Inc. Scot J. Halvorsen Senior Regulatory Counsel and Secretary Legal Department Add to Reading List Source URL: www.traditionsef.com Language: English - Date: 2018-09-06 18:10:44 Commodity Futures Trading Commission Commodity Exchange Act Regulatory compliance Securities Exchange Act Economy of the United States Finance Commodity markets Swap Execution Facility
85	Modelling Dynamic Web Data ? Philippa Gardner, Sergio Maffeis ∗ Department of Computing 180 Queen’s Gate, South Kensington Campus, Imperial College London SW7 2AZ, UK. Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-14 07:09:04 Process calculi Theoretical computer science -calculus Process calculus Computability theory Markov models Computer science Normal distribution Cognitive science Algorithm characterizations
86	Category Theory for Program Construction by Calculation Lambert Meertens CWI, Amsterdam and Department of Computing Science, Utrecht University Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-03 13:27:17 Lambda calculus Theoretical computer science Mathematical logic Declarative programming Adjoint functors Anonymous function Type theory Lambda lifting
87	Asking and evaluating natural language questions Anselm Rothe1 , Brenden M. Lake2 , and Todd M. Gureckis1 1 Department of Psychology, 2 Center for Data Science, New York University Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2016-05-13 20:53:50 Learning Education Human behavior Educational psychology Educational practices Philosophy of education Curricula Bayesian network Active learning Question Bayesian inference Machine learning
88	Towards Measuring Real-World Performance of Android Devices Pascal Bissig, Gino Brunner, Florian Gubler, Roger Wattenhofer, Andreas Zingg Department of Electrical Engineering and Information Technology ETH Zurich, Switze Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2018-09-20 07:32:16 Computing Software Computer architecture Smartphones Cloud clients Personal computing Android Benchmark Google Play HERE WeGo IOS BlackBerry Priv
89	Advances and Challenges of Probabilistic Model Checking Marta Kwiatkowska Gethin Norman David Parker Computing Laboratory Department of Computing Science Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2011-12-22 18:19:34 Statistical randomness Temporal logic Theoretical computer science Probability Markov models Model checkers Markov processes Model checking PRISM model checker Markov decision process Linear temporal logic Computation tree logic