Trust Region Policy Optimization arXiv:1502.05477v4 [cs.LG] 6 Jun 2016 John Schulman JOSCHU @ EECS . BERKELEY. EDU

Source URL: arxiv.org

• Numerical analysis
• Applied mathematics
• Statistics
• Markov models
• Mathematical optimization
• Operations research
• Reinforcement learning
• Expectationmaximization algorithm
• Sine
• Proximal gradient method
• Gradient method
• Loss function

Continued Relevance of Bit-Level Verification Research R. Brayton, N. Een, A. Mishchenko Berkeley Verification and Synthesis Research Center EECS Dept., University of California, Berkeley Introduction

Source URL: fm.csl.sri.com

• Theoretical computer science
• Formal methods
• Logic in computer science
• Electronic design automation
• NP-complete problems
• Boolean algebra
• Boolean satisfiability problem
• Solver
• Formal equivalence checking
• Formal verification
• Model checking
• Uclid

Incorporating Drivability Metrics into Optimal Energy Management Strategies for Hybrid Vehicles Part 1: Model, Methods, and Government Test Cycles Daniel F. Opila, Xiaoyong Wang, Ryan McGee, R. Brent Gillespie, Jeffrey A

Source URL: web.eecs.umich.edu

• Mechanical engineering
• Transport
• Physics
• Dynamometer
• Internal combustion engine
• Fuel economy in automobiles
• Tesla Model S
• Transmission

Quick Guide to EECS Majors The Electrical Engineering and Computer Science Department offers three majors: Computer Science (CS), Computer Engineering (CE) and Electrical Engineering (EE). Read on to learn more and see w

Source URL: www.cse.umich.edu

• Engineering
• Electromagnetism
• Electronic engineering
• Electrical engineering
• Computer engineering
• Computer science
• EECS
• Computing
• Software engineer
• Computer
• Software

4 Juno: A Middleware Platform for Supporting Delivery-Centric Applications GARETH TYSON, Queen Mary, University of London ANDREAS MAUTHE, Lancaster University SEBASTIAN KAUNE, Technical University of Darmstadt

Source URL: www.eecs.qmul.ac.uk

• Computing
• Concurrent computing
• Distributed computing
• File sharing networks
• File sharing
• BitTorrent
• Distributed data storage
• Internet television
• Content delivery network
• Middleware
• Akamai Technologies
• Ono

SCONE: A Tool to Estimate Shared Congestion Among Internet Paths Weidong Cui, Sridhar Machiraju, Randy H. Katz, Ion Stoica EECS Department, University of California, Berkeley

Source URL: sahara.cs.berkeley.edu

• Computer networking
• Flow control
• Network performance
• TCP congestion control
• Network topology
• Scone
• Perth and Kinross
• End-to-end delay

Can SPDY Really Make the Web Faster? 1 Yehia 1 Lancaster University, UK

Source URL: www.eecs.qmul.ac.uk

• Computing
• Network architecture
• Internet
• World Wide Web
• Internet protocols
• Hypertext Transfer Protocol
• Web development
• Internet security
• SPDY
• HTTP/2
• HTTP pipelining
• WebSocket

PDF Document

Source URL: web.eecs.umich.edu

IDNS: A SIMPLE APPROACH TO INTERNET HOST PORTABILITY Yu Chen, Terrance Boult Lehigh University 27 Memorial Drive West, Bethlehem, PAUSA Tel: +, Fax: +, E-mail: {yuc3, tboult}@eecs.lehi

Source URL: www.vast.uccs.edu

• Computing
• Network architecture
• Internet
• Internet Standards
• Dynamic Host Configuration Protocol
• IP address
• DHCPv6
• Domain Name System
• Dynamic DNS
• DHCPD
• Mobile IP
• IPv6

Control Lyapunov Functions and Hybrid Zero Dynamics Aaron D. Ames, Kevin Galloway, and J. W. Grizzle Abstract— Hybrid zero dynamics extends the Byrnes-Isidori notion of zero dynamics to a class of hybrid models called

Source URL: web.eecs.umich.edu

• Nonlinear control
• Systems theory
• Systems science
• Control theory
• Dynamical systems
• Cybernetics
• Lyapunov stability
• Stability theory
• Feedback linearization
• Vertex operator algebra