Engineering - PDFSEARCH.IO - Document Search Engine

Engineering
Results: 482474

#	Item
21	Poster: Design of Backdoor on Android Devices Junsung Cho, Geumhwan Cho, Sangwon Hyun and Hyoungshick Kim Department of Computer Science and Engineering, Sungkyunkwan University, Republic of Korea Email: {js.cho, geumhwa Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-13 08:11:56 Computing Cyberwarfare Computer security Cryptography Cybercrime Computer network security Backdoor Rootkits Google Play Android Firebase Password
22	Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Logic Mathematical logic Non-classical logic Markov logic network Software testing Probabilistic logic Software bug Code coverage Debugging Inference First-order logic Buggy
23	Learning gem5 – Part IV gem5 execution model, ISAs, and CPUs Jason Lowe-Power http://learning.gem5.org/ https://faculty.engineering.ucdavis.edu/lowepower/ Add to Reading List Source URL: learning.gem5.org Language: English - Date: 2018-09-17 11:50:25 Computer architecture Computing Central processing unit Instruction set architectures Reduced instruction set computer ARM architecture RISC-V System call X86
24	A Personal View of Average-Case Complexity Russell Impagliazzo Computer Science and Engineering UC, San Diego 9500 Gilman Drive La Jolla, CA Add to Reading List Source URL: www.karlin.mff.cuni.cz Language: English - Date: 2011-12-13 09:31:41 Computational complexity theory Complexity classes Analysis of algorithms Mathematical optimization Structural complexity theory P versus NP problem NP Average-case complexity Computational complexity Reduction Randomized algorithm BPP
25	in Knowledge Engineering Reviews, 2001 Synthesis of EÆcient Constraint Satisfaction Programs Stephen J. Westfold and Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:59:14 Constraint programming Mathematics Lattice theory Mathematical optimization Applied mathematics Constraint satisfaction Local consistency Semilattice Linear programming Optimization problem Constraint Feasible region
26	HES-SO \| Master of Science in Engineering Cloud Computing — Introduction to Cloud Foundry Academic year Add to Reading List Source URL: mse-cloud.s3-website-eu-west-1.amazonaws.com Language: English - Date: 2016-01-11 05:04:00 Cloud computing Computing Cloud infrastructure Web services Cloud storage Network file systems Cloud Foundry BOSH VMware VCloud Air HPE Helion OpenStack
27	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
28	Evolving Specification Engineering Dusko Pavlovic, Peter Pepper, Doug Smith Email: {dusko,smith}@kestrel.edu, Kestrel Institute and Technische Universit¨ at Berlin Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:29:47 Concurrent computing Liveness Temporal logic Safety property Category theory Computation tree logic Morphism Dual Category Natural transformation Mathematics Mathematical logic
29	The Achieve Foundation proudly presents this fun event to showcase the exciting new world of STEAM (Science, Technology, Engineering, the Arts and Math) education to the community. Find out about a few of the cutting-edg Add to Reading List Source URL: achievefoundation.org Language: English - Date: 2018-05-14 20:02:20 Human behavior Culture Matter Harmonograph Pendulums Marble Polyvinyl chloride Toy Batik Slime
30	Feature Engineering for Clustering Student Solutions Elena L. Glassman Rishabh Singh Robert C. Miller MIT CSAIL, 32 Vassar St. Cambridge, MA {elg,rishabhs,rcm}@mit.edu Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Information theory Mathematics K-means clustering Adjusted mutual information Hierarchical clustering Applied mathematics Algorithm Mutual information Machine learning Cognitive science Consensus clustering Cluster analysis