CONTENTS REVIEW ARTICLE PENG, J., JIANG, Z., HU, J. Status and conservation of giant panda (Ailuropoda melanoleuca): a review ..................... 81 FULL PAPERS HOMOLKA, M., HEROLDOVÁ, M.

Source URL: www.ivb.cz

T-Check: Bug Finding for Sensor Networks Peng Li John Regehr School of Computing, University of Utah, USA

Source URL: www.cs.utah.edu

• Data
• Software engineering
• Wireless sensor network
• NesC
• Model checking
• Stack
• Collection Tree Protocol
• Java Pathfinder
• Communications protocol
• Software bugs
• Computing
• TinyOS

334 IEEE/ACM TRANSACTIONS ON NETWORKING, VOL. 15, NO. 2, APRIL 2007 Maximizing Lifetime of Sensor Surveillance Systems Hai Liu, Xiaohua Jia, Peng-Jun Wan, Chih-Wei Yi, S. Kami Makki, and Niki Pissinou

Source URL: www.cs.cityu.edu.hk

• Wireless sensor network
• Matrices
• Matching
• Matrix
• Sensor node
• Google matrix
• Algebra
• Mathematics
• Wireless networking

A Mixed Bag of Emotions: Model, Predict, and Transfer Emotion Distributions Kuan-Chuan Peng, Tsuhan Chen Cornell University Amir Sadovnik Lafayette College

Source URL: www.cv-foundation.org

• Feeling
• Philosophy of mind
• Concepts
• Limbic system
• Affect
• Face
• Mind
• Emotion
• Cognitive science

Biography of Zhigang Peng Dr. Zhigang Peng is an associate professor of geophysics in the School of Earth and Atmospheric Sciences at Georgia Institute of Technology. His research mainly focuses on active fault zone stru

Source URL: geophysics.eas.gatech.edu

• Year of birth missing
• Geology
• Earthquake engineering
• Seismological Society of America
• Geophysics
• Science

E3 WP-082 Economic Impacts of Climate Change on Agriculture: The Importance of Humidity and Other Climatic Variables Peng Zhang, Junjie Zhang, and Minpeng Chen

Source URL: www.uce3.berkeley.edu

• Climate change
• Global warming
• Climate
• Humidity
• Rice
• Rain
• Climate change and agriculture
• Effects of global warming
• Atmospheric sciences
• Meteorology
• Climate history

Curriculum Vitae of Zhigang Peng School of Earth and Atmospheric Sciences Georgia Institute of Technology Office: ES&T Building, RmFerst Drive, Atlanta, GA,

Source URL: geophysics.eas.gatech.edu

• Earthquake
• Sichuan earthquake
• Remotely triggered earthquakes
• Aftershock
• Indian Ocean earthquake and tsunami
• Geology of Japan
• Seismology
• Geology
• Mechanics

Call for Papers Communication and Control Theory Symposium Symposium Co-Chairs Peng Cheng, Zhejiang University, China Tony Q.S. Quek, Singapore University of Technology and Design, Singapore

Source URL: www.ieee-iccc.org

A Understanding Integer Overflow in C/C++1 WILL DIETZ, University of Illinois at Urbana-Champaign PENG LI and JOHN REGEHR, University of Utah VIKRAM ADVE, University of Illinois at Urbana-Champaign

Source URL: www.cs.utah.edu

• Data types
• Computer arithmetic
• Primitive types
• Type theory
• Software bugs
• Integer overflow
• C
• Type system
• Bitwise operation
• Computing
• Software engineering
• Computer programming

DINNER June 2015 EXECUTIVE CHEF: YANG PENG

Source URL: www.woodtavern.net

• Food and drink
• Top Chef
• Vinaigrette