Metric sparsification and operator norm localization Xiaoman Chen, Romain Tessera, Xianjin Wang, Guoliang Yu November 13, 2007 Abstract We study an operator norm localization property and its applications

Source URL: www.normalesup.org

• Mathematics
• Mathematical analysis
• Algebra
• Field theory
• Measure theory
• Commutative algebra
• Localization
• Valuation ring
• Metric space
• Ergodic flow
• Abelian von Neumann algebra

Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo

Source URL: unsat.cs.washington.edu

• Computer architecture
• Computing
• Formal methods
• Logic in computer science
• Kernel
• Linux kernel
• L4 microkernel family
• Mach
• Verification
• X86-64
• Formal verification
• Satisfiability modulo theories

Reliability as an Interdomain Service Hao Wang⋆ Yang Richard Yang⋆ Paul H. Liu⋆ Jia Wang† Alexandre Gerber† Albert Greenberg§ AT&T Labs – Research† Microsoft Research§

Source URL: thev.net

KITP-93: An Automated Inference System for Program Analysis T. C. Wang and Allen Goldberg Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94304

Source URL: www.kestrel.edu

• Mathematical logic
• Logic
• Type theory
• Theoretical computer science
• Logic in computer science
• Automated theorem proving
• Reasoning
• Program analysis
• Natural deduction
• Logical framework
• Resolution
• First-order logic

Walkie-Talkie: An Efficient Defense Against Passive Website Fingerprinting Attacks Tao Wang Department of Computer Science and Engineering Hong Kong University of Science and Technology

Source URL: www.cypherpunks.ca

Geospatial Mapping and Navigation for Autonomous Vehicles Prof. Jinling Wang School of Civil & Environmental Engineering University of New South Wales, Sydney, Australia GNSS, used for mapping and positioning, is an ess

Source URL: event.lsgi.polyu.edu.hk

Off-board Visual Odometry and Control of an Ultralight Quadrotor MAV Kun Li∗, Rui Huang, Swee King Phang, Shupeng Lai, Fei Wang, Ping Tan, Ben M. Chen and Tong Heng Lee Department of Electrical and Computer Engineering

Source URL: www.imavs.org

1 Towards Hybrid Intelligence for Robotics SAI R. GOURAVAJHALA, JEAN YOUNG SONG, JINYEONG YIM, RAYMOND FOK, YANDA HUANG, FAN YANG, KYLE WANG, YILEI AN, and WALTER S. LASECKI, University of Michigan

Source URL: web.eecs.umich.edu

INDAPSON: An Incentive Data Plan Sharing System Based on Self-Organizing Network Tuo Yu∗ , Zilong Zhou∗ , Da Zhang∗ , Xinbing Wang∗ , Yunxin Liu† , Songwu Lu§ ∗ Dept. of Electronic Engineering, Shanghai Jiao

Source URL: iwct.sjtu.edu.cn

2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Delving into Internet DDoS Attacks by Botnets: Characterization and Analysis An Wang George Mason University

Source URL: www.cs.ucf.edu