Distributed Object Location in a Dynamic Network
Kirsten Hildrum, John D. Kubiatowicz, Satish Rao and Ben Y. Zhao Computer Science Division, University of California at Berkeley hildrum, kubitron, satishr, ravenben@cs

Source URL: oceanstore.cs.berkeley.edu

• Software
• Tapestry
• Distributed hash table
• Chord
• Routing
• Pastry
• Network topology
• Tree traversal
• Tree
• Distributed data storage
• Computing
• Concurrent computing

A Practical Logic Framework for Verifying Safety Properties of Executables Lu Zhao Guodong Li

Source URL: www.cs.utah.edu

• Mathematics
• Hoare logic
• Separation logic
• Axiomatic semantics
• Assertion
• Postcondition
• Precondition
• Judgment
• Rust
• Theoretical computer science
• Logic in computer science
• Mathematical logic

Motion Primitives for Human-Inspired Bipedal Robotic Locomotion: Walking and Stair Climbing Matthew J. Powell, Huihua Zhao, and Aaron D. Ames Abstract— This paper presents an approach to the development of bipedal robo

Source URL: ames.tamu.edu

• Humanoid robot
• Robot locomotion
• Bipedalism
• Motion planning
• Mecha
• Walking
• Zero moment point
• Kinematics
• Robotics
• Robot control
• Locomotion

Social Security, Differential Fertility, and the Dynamics of the Earnings Distribution by Kai Zhao

Source URL: economics.uwo.ca

• Science
• Human geography
• Economics
• Fertility
• Demographic economics
• Demographic transition
• Total fertility rate
• Social Security
• Economic inequality
• Demography
• Population
• Academia

Automated Planning for iFab Satyandra K. Gupta, Krishna Kaipa, Carlos Morato, Ian Wang, Boxuan Zhao, and Petr Svec University of Maryland, College Park Sponsor: DARPA iFab Program

Source URL: terpconnect.umd.edu

Jordan Journal of Mathematics and Statistics (JJMS) 6(4), 2013, ppWEIGHTED LIPSCHITZ ESTIMATES FOR MULTILINEAR COMMUTATOR OF MARCINKIEWICZ OPERATOR ZHAO QIAO ZHEN

Source URL: journals.yu.edu.jo

Energy-Aware Web Browsing in 3G Based Smartphones Bo Zhao, Qiang Zheng, Guohong Cao The Pennsylvania State University Email: {bzhao,quz103,gcao}@cse.psu.edu Abstract—Smartphone based web browsing wastes a lot of

Source URL: mcn.cse.psu.edu

• Smartphones
• Cross-platform software
• JavaScript
• Universal Serial Bus
• Web page
• Form
• Computing
• World Wide Web
• Software

MEDIA RELEASE FINALISTS OF THE ASIA PACIFIC BREWERIES FOUNDATION SIGNATURE ART PRIZE 2014 REVEALED Works by two Singaporean artists Ho Tzu Nyen and Zhao Renhui in the running for Grand Prize of SGD 60,August 2014,

Source URL: www.singaporeartmuseum.sg

• Singapore Art Museum
• Art history
• Culture
• Modern art
• Downtown Core
• National Art Gallery of Singapore
• Contemporary art

Bipedal Robotic Running with Partial Hybrid Zero Dynamics and Human-Inspired Optimization Huihua Zhao, Shishir Nadubettu Yadukumar and Aaron D. Ames Abstract— This paper presents a method for achieving stable “human-

Source URL: www.bipedalrobotics.com

• Robotics
• Forcing
• Hamiltonian mechanics

Ensuring Safety in Human Robot Collaboration in Assembly Applications Satyandra K. Gupta, Krishnanand Kaipa, Carlos Morato, and Boxuan Zhao Human Robot Collaboration

Source URL: terpconnect.umd.edu

• Massachusetts Institute of Technology
• Robot
• Cognitive robotics
• Cog
• Mechanical engineering
• Robotics
• Humanoid robots
• Artificial intelligence