Ordered Treemap Layouts Martin Wattenberg Dow Jones / SmartMoney.com and Digital Media Center, Columbia University

Source URL: cvs.cs.umd.edu

• Infographics
• Visualization
• Treemapping
• Computing
• Communication design
• Mathematics
• Humancomputer interaction
• Graph drawing software
• Ben Shneiderman
• Data visualization
• JUNG
• Algorithm

United States Court of Appeals FOR THE DISTRICT OF COLUMBIA CIRCUIT Argued November 12, 2013 Decided April 11, 2014

Source URL: www.cadc.uscourts.gov

• SeaWorld Orlando
• SeaWorld Parks & Entertainment
• Entertainment
• Predation
• Tilikum
• SeaWorld
• The Blackstone Group
• Shamu
• Dawn Brancheau
• Whale
• Killer whale
• Animal training

WYECIP Pre-Qualified Energy Services Company: About the ESCo Company Name: APOLLO SOLUTIONS GROUP Corporate Address: 1133 W COLUMBIA DRIVE, KENNEWICK WAAddress of Regional Office Serving Wyoming (if different than

Source URL: www.wyomingbusiness.org

• Energy
• Energy conservation
• Universe
• Sustainable energy
• Energy policy
• Energy efficiency
• Energy Savings Performance Contract
• Energy service company
• Renewable energy

HVLearn: Automated Black-box Analysis of Hostname Verification in SSL/TLS Implementations Suphannee Sivakorn, George Argyros, Kexin Pei, Angelos D. Keromytis, and Suman Jana Department of Computer Science Columbia Univer

Source URL: www.ieee-security.org

• Cryptography
• Computing
• Internet
• Internet Standards
• Internet protocols
• Cryptographic protocols
• E-commerce
• Public-key cryptography
• Transport Layer Security
• Hostname
• X.509
• Public key certificate

Journal of Elections, Public Opinion and Parties, 2013 Vol. 23, No. 1, 27 –48, http://dx.doi.orgField Experiments and the Study of Voter Turnout1 Downloaded by [Columbia University] at 07:

Source URL: www.mcmcgrath.com

• Elections
• Voting
• Politics
• Get out the vote
• Group decision-making
• Canvassing
• Voter turnout
• Democracy
• Experiment
• Compulsory voting
• Peer pressure
• Donald Green

Deciding Unbounded Heaps  in an SMT Framework  Zvonimir Rakamarić 1 , Roberto Bruttomesso 2 , Alan Hu 1 ,  Alessandro Cimatti 2  1 University of British Columbia; 2 ITC­IRST

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Constraint programming
• Electronic design automation
• Logic in computer science
• Satisfiability modulo theories
• Heap
• FO
• Transitive closure

FRANGOUDIS LAYOUT:11 PM

Source URL: www.cs.columbia.edu

• Wireless networking
• Wireless
• Information and communications technology
• Computing
• Local area networks
• Athens Wireless Metropolitan Network
• Wireless LAN
• Wireless mesh network
• Wireless community network
• Mesh networking
• Wi-Fi
• Wireless access point

Roads and the Real Exchange Rate Qingyuan Du Monash University Shang-Jin Wei Columbia University

Source URL: www.hkimr.org

• Economy
• Economics
• International macroeconomics
• Macroeconomics
• Currency
• Purchasing power
• Foreign exchange market
• BalassaSamuelson effect
• Exchange rate

New Foundations: Strategic Plan for the British Columbia Arts Council

Source URL: www.bcartscouncil.ca

Pyramid: Enhancing Selectivity in Big Data Protection with Count Featurization Mathias Lecuyer∗1 , Riley Spahn∗1 , Roxana Geambasu1 , Tzu-Kuo Huang†2 , and Siddhartha Sen3 1 Columbia University, 2 Uber Advanced Tec

Source URL: www.ieee-security.org

• Information
• Data management
• Computing
• Cryptography
• Big data
• Technology forecasting
• Transaction processing
• Differential Privacy
• Data retention
• Internet privacy
• Geographic information system
• Privacy