University - PDFSEARCH.IO - Document Search Engine

University
Results: 634567

#	Item
741	Eﬀec%ve Real-‐Time Android Applica%on Audi%ng Mingyuan Xia, Lu Gong, Yuanhao Lyu, Zhengwei Qi, Xue Liu McGill University, Shanghai J Add to Reading List Source URL: mxia.me Language: English - Date: 2017-02-08 07:01:32 Computing Computer architecture System software Alphabet Inc. Android Smartphones
742	Open, networked and connected learning: Bridging the formal/informal learning divide in higher education Catherine Cronin Centre for Excellence in Learning and Teaching, National University of Ireland, Galway, catherine. Add to Reading List Source URL: www.networkedlearningconference.org.uk Language: English - Date: 2017-05-04 14:07:56 Education Learning Behavior modification Educational technology Educational psychology Open educational resources Educational practices Networked learning Informal learning Open education Open learning Openness
743	Securing Frame Communication in Browsers Adam Barth Stanford University Collin Jackson Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2015-03-02 09:43:24 Computing Cyberwarfare Computer security Computer network security World Wide Web Hacking Transport Layer Security Cryptographic protocols Same-origin policy Cross-site scripting Browser security Framing
744	Comparing the Usability of Cryptographic APIs Yasemin Acar, Michael Backes, Sascha Fahl, Simson Garfinkel∗ , Doowon Kim† , Michelle L. Mazurek† , and Christian Stransky CISPA, Saarland University; ∗ National Inst Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 15:56:35 Cryptography Cryptographic software Technical communication E-commerce Microsoft CryptoAPI Public-key cryptography Key Usability RSA Application programming interface Symmetric-key algorithm OpenSSL
745	Robustness Analysis of Networked Systems? Roopsha Samanta1 , Jyotirmoy V. Deshmukh2 , and Swarat Chaudhuri3 1 University of Texas at Austin 2 Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Mathematics Elementary mathematics Formal languages Theoretical computer science Finite automata Linguistics Dynamic programming String Levenshtein distance Finite-state transducer Term Sequence
746	MuJoCo: A physics engine for model-based control Emanuel Todorov, Tom Erez and Yuval Tassa University of Washington Abstract— We describe a new physics engine tailored to model-based control. Multi-joint dynamics are r Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2012-07-24 02:47:44 Mathematical optimization Mechanics Physics Dynamical systems Mechanical engineering Contact dynamics Linear complementarity problem Multibody system Trajectory optimization Constraint Degrees of freedom Inverse dynamics
747	Brenden Lake Positions: New York University Assistant Professor Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2018-06-27 09:40:50 Cognitive science Neuroscience Artificial intelligence Computational neuroscience Conference on Neural Information Processing Systems International Conference on Machine Learning Deep learning Cognitive Science Society Vasant Honavar Amir Hussain
748	UFO: Verification with Interpolants and Abstract Interpretation Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Compilers LLVM Carnegie Mellon University Unidentified flying object Mellon Carnegie Arie Software
749	1 Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) VINCENT ST-AMOUR, DANIEL FELTEY, SPENCER P. FLORENCE, SHU-HUNG YOU, and ROBERT BRUCE FINDLER, PLT @ Northwestern University, USA Add to Reading List Source URL: www.ece.northwestern.edu Language: English - Date: 2017-07-17 18:35:27 Mathematics Algebra Fractals L-system Fractal curves Hygienic macro Arity Constructible universe
750	A Pattern-Based Approach to Parametric Specification Mining Giles Reger , Howard Barringer, David Rydeheard University of Manchester Abstract—This paper presents a technique for using execution Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 12:50:25 Theoretical computer science Formal languages Logic in computer science Runtime verification Finite-state machine Geographic information system Regular expression Software engineering Computing

UPDATE