Title
Exploring Human Mobility with Multi-Source Data at Extremely Large Metropolitan Scales
Agile requirements engineering via paraconsistent reasoning
Efficient Runtime Enforcement Techniques for Policy Weaving
A Modular Degree-of-Interest Specification for the Visual Analysis of Large Dynamic Networks
Network decomposition into fixed points of degree peeling
Environment Optimization for Crowd Evacuation
Beta-band frequency peaks inside the subthalamic nucleus as a biomarker for motor improvement after deep brain stimulation in Parkinson's disease
Target Assignment in Robotic Networks: Distance Optimality Guarantees and Hierarchical Strategies
Imagination and Convention
A Bayesian model of grounded color semantics

Page 5 of 13