University - PDFSEARCH.IO - Document Search Engine

University
Results: 634567

#	Item
611	Bisimulation for demonic schedulers? Konstantinos Chatzikokolakis1 , Gethin Norman2 , and David Parker2 1 Eindhoven University of Technology 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2009-01-08 10:00:18 Theoretical computer science Formal methods Logic in computer science Bisimulation Applied mathematics Mathematics Scheduling Transition system -calculus
612	Detecting Task Phases from Power Traces Joseph Granados, Jake Probst, Nick Armour, Jeffrey Bahns, Suzanne Rivoire Sonoma State University Chung-Hsing Hsu Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:47 Machine learning Learning Artificial intelligence Physics Image segmentation Training test and validation sets K-means clustering Data analysis Time series Phase Trace
613	Probabilistic Model Checking of Contention Resolution in the IEEELow-Rate Wireless Personal Area Network Protocol Matthias Fruth School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B15 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2007-06-27 11:48:43 Media access control IEEE 802 Computing Data transmission Ethernet Wireless networking IEEE 802.15.4 Carrier-sense multiple access with collision avoidance Carrier-sense multiple access Medium access control Zigbee Exponential backoff
614	University of Birmingham Chiara Mingarelli Posted on Tuesday 14th April 2015 Marie Curie Postdoctoral Fellow, California Institute of Technology PhD Astrophysics (2014) Add to Reading List Source URL: www.chiaramingarelli.com Language: English - Date: 2015-05-06 01:44:17 California Institute of Technology faculty Chiara Mingarelli University of Birmingham Birmingham Supervisor Doctor of Philosophy Science and technology in Canada Science and technology in Italy Science
615	The University of York Department of Computer Science Programming Languages and Systems Group Unfailing Haskell Qualifying Dissertation Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional languages Functional programming Recursion Higher-order functions Programming language comparisons Haskell Lazy evaluation ML Conditional
616	A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 C Data types Software engineering Computing Computer programming Pointer Compatibility of C and C++ Const Typedef
617	Characterizing overstretched NTRU attacks Gabrielle De Micheli, Nadia Heninger and Barak Shani University of Pennsylvania Abstract Overstretched NTRU, an NTRU variant with a large modulus, has been used as a building Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2018-06-25 14:23:34 Algebra Abstract algebra Mathematics Lie groups Post-quantum cryptography Algebraic structures Lattice-based cryptography Analytic geometry Lattice Field extension Ring Order
618	Effective Attacks and Provable Defenses for Website Fingerprinting Tao Wang, University of Waterloo; Xiang Cai, Rishab Nithyanand, and Rob Johnson, Stony Brook University; Ian Goldberg, University of Waterloo https://www Add to Reading List Source URL: www.usenix.org Language: English - Date: 2016-02-20 08:19:38 Computing Internet Internet security Secure communication Free software Transmission Control Protocol Tor Support vector machine
619	James Caldwell Department of Computer Science University of Wyoming Laramie, WYDATE: October 31, 2016 Add to Reading List Source URL: www.cs.uwyo.edu Language: English - Date: 2016-10-31 17:07:05 Automated theorem proving Theoretical computer science Computing Mathematics Nuprl Interactive Theorem Proving Proof assistant Robert Lee Constable ACL2 Formal methods Computer science Automated reasoning

UPDATE