Research Area
Year Published

634 Results

July 6, 2018

DeepFocus: Learned Image Synthesis for Computational Display

ACM SIGGRAPH (Talks Program)

In this paper, we introduce Deep-Focus, a generic, end-to-end trainable convolutional neural network designed to efficiently solve the full range of computational tasks for accommodation-supporting HMDs.

By: Lei Xiao, Anton Kaplanyan, Alexander Fix, Matt Chapman, Douglas Lanman

July 1, 2018

We Need a Testability Transformation Semantics

16th International Conference on Software Engineering and Formal Methods

This paper briefly reviews Testability Transformation, its formal definition, and the open problem of constructing a set of formal test adequacy semantics to underpin the current practice of deploying transformations to help testing and verification activities.

By: Mark Harman

June 29, 2018

Understanding the Loss Surface of Neural Networks for Binary Classification

International Conference on Machine Learning (ICML)

Here we focus on the training performance of neural networks for binary classification, and provide conditions under which the training error is zero at all local minima of appropriately chosen surrogate loss functions.

By: Shiyu Liang, Ruoyu Sun, Yixuan Li, R. Srikant

June 28, 2018

Hardware Remediation At Scale

International Conference on Dependable Systems and Networks (DSN)

Large scale services have automated hardware remediation to maintain the infrastructure availability at a healthy level. In this paper, we share the current remediation flow at Facebook, and how it is being monitored.

By: Fan (Fred) Lin, Matt Beadon, Harish Dattatraya Dixit, Gautham Vunnam, Amol Desai, Sriram Sankar

June 25, 2018

“I’m Never Happy with What I Write”: Challenges and Strategies of People with Dyslexia on Social Media

International Conference on Web and Social Media

This work studies the experiences, challenges, and strategies of people with dyslexia when using social media. We interviewed 11 people with dyslexia to understand their general experiences with reading and writing content on Facebook. The interview study findings highlight the challenges they face when writing content on Social Networking Sites (SNSs), and their strategies for mitigating these challenges.

By: Lindsay Reynolds, Shaomei Wu

June 25, 2018

Do Diffusion Protocols Govern Cascade Growth?

International AAAI Conference on Web and Social Media (ICWSM)

Large cascades can develop in online social networks as people share information with one another. Though simple reshare cascades have been studied extensively, the full range of cascading behaviors on social media is much more diverse. Here we study how diffusion protocols, or the social exchanges that enable information transmission, affect cascade growth, analogous to the way communication protocols define how information is transmitted from one point to another.

By: Justin Cheng, Jon Kleinberg, Jure Leskovec, David Liben-Nowell, Bogdan State, Karthik Subbian, Lada Adamic

June 25, 2018

Deep Learning Coordinated Beamforming for Highly-Mobile Millimeter Wave Systems

IEEE Access 2018

Supporting high mobility in millimeter wave (mmWave) systems enables a wide range of important applications such as vehicular communications and wireless virtual/augmented reality. Realizing this in practice, though, requires overcoming several challenges.

By: Ahmed Alkhateeb, Sam Alex, Paul Varkey, Ying Li, Qi Qu, Djordje Tujkovic

June 25, 2018

HALE Multidisciplinary Design Optimization Part I: Solar-Powered Single and Multiple-Boom Aircraft

AIAA Aviation

In this paper (Part I), optimization case studies for single and dual-boom configurations are discussed.

By: Dorian F. Colas, Nicholas H. Roberts, Vishvas S. Suryakumar

June 25, 2018

HALE Multidisciplinary Design Optimization Part II: Solar-Powered Flying-Wing Aircraft

AIAA Aviation

In this paper (Part II), we describe how a solar-powered flying-wing configuration may be optimized using a strategy similar to that described in Part I.

By: Dorian F. Colas, Nicholas H. Roberts, Vishvas S. Suryakumar

June 25, 2018

Solar Aircraft Design Trade Studies Using Geometric Programming

AIAA Aviation

Solar aircraft design is a multidisciplinary problem in which tradeoffs between aerodynamic performance, structural integrity, component performance, cost, and manufacturability are complex and non-intuitive.

By: Michael Burton, Christopher Courtin, Mark Drela, Dorian Colas, Nicholas Roberts, Vishvas Suryakumar