Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Computing
• Computer graphics
• 3D rendering
• Video game development
• Computer programming
• Graphics hardware
• Graphics libraries
• Texture atlas
• Graphics processing unit
• Texture mapping
• Optimizing compiler
• Rendering

Verifying Curve25519 Software Yu-Fang Chen1 , Chang-Hong Hsu2 , Hsin-Hung Lin3 , Peter Schwabe4 , Ming-Hsien Tsai1 , Bow-Yaw Wang1 , Bo-Yin Yang1 , and Shang-Yi Yang1 ? 1 Institute of Information Science

Source URL: precision.moscito.org

• X86 architecture
• X86-64
• Z3
• Computing
• Computer hardware
• Computer engineering

AUTOMATIC OUTLIER DETECTION IN MUSIC GENRE DATASETS Yen-Cheng Lu1 Chih-Wei Wu2 Chang-Tien Lu1

Source URL: m.mr-pc.org

• Statistics
• Data mining
• Robust statistics
• Statistical classification
• Outlier
• Statistical analysis
• Local outlier factor
• Anomaly detection
• K-nearest neighbors algorithm
• Random sample consensus
• Hans-Peter Kriegel
• Support vector machine

AUTOMATIC OUTLIER DETECTION IN MUSIC GENRE DATASETS Yen-Cheng Lu1 Chih-Wei Wu2 Chang-Tien Lu1

Source URL: wp.nyu.edu

• Data mining
• Robust statistics
• Outlier
• Statistical analysis
• Local outlier factor
• Anomaly detection
• Statistical theory
• K-nearest neighbors algorithm
• RANSAC
• Hans-Peter Kriegel
• Support vector machine
• Cluster analysis

ARTICLE Microfluidic Delivery of Small Molecules Into Mammalian Cells Based on Hydrodynamic Focusing Fen Wang,1 Hao Wang,2 Jun Wang,1 Hsiang-Yu Wang,3 Peter L. Rummel,1 Suresh V. Garimella,2 Chang Lu1,3 1

Source URL: www.microfluidics.che.vt.edu

AsthmaGuru: A Framework to Improve Adherence to Asthma Medication ∗ † ‡ Rajoshi Biswas Peter Chang

Source URL: sh.rice.edu

Celebrating New Horizons Gala | Friday, October 30, 2015 EXECUTIVE COMMITTEE Peter Chang, M.D., Chair Kenneth Li, Vice-Chair Ting-Ling Sha, Ph.D., Secretary Victoria Chin, Treasurer

Source URL: ccchouston.org

GDA Quick Start Guide Release 8.10 Jun Aishima Mark Basham Peter Chang

Source URL: www.opengda.org

• Software
• Computing
• Debuggers
• IBM software
• Integrated development environments
• Java platform
• Software development kits
• PyDev
• Eclipse
• Nullsoft Scriptable Install System
• Workspace
• Jython

Quantitative Screening of Embryonic Stem Cell Differentiation: Endoderm Formation as a Model Karen H. Chang, Peter W. Zandstra Institute of Biomaterials and Biomedical Engineering and Department of Chemical Engineering a

Source URL: stemcell.ibme.utoronto.ca

Verifying Curve25519 Software Yu-Fang Chen1 , Chang-Hong Hsu2 , Hsin-Hung Lin3 , Peter Schwabe4 , Ming-Hsien Tsai1 , Bow-Yaw Wang1 , Bo-Yin Yang1 , and Shang-Yi Yang1 ? 1 Institute of Information Science

Source URL: cryptojedi.org