Videos

Synthetic Biology: New Tools for an Industry at an Inflection Point

Synthetic Biology: New Tools for an Industry at an Inflection Point

1 year ago
Since the popularization of the term ‘synthetic biology’ over a decade ago, a new community of biological engineers has emerged on to the scene. Thousands of practitioners, students, and entrepreneurs have joined the movement to “make biology easier to engineer” and as a result, both the field and the industry has developed at a rapid […]
Satisfiability of Ordering CSPs Above Average Is Fixed-Parameter Tractable

Satisfiability of Ordering CSPs Above Average Is Fixed-Parameter Tractable

1 year ago
We study the satisfiability of ordering constraint satisfaction problems (CSPs) above average. We prove the conjecture of Gutin, van Iersel, Mnich, and Yeo that the satisfiability above average of ordering CSPs of arity k is fixed-parameter tractable for every k. Previously, this was only known for k = 2 and k = 3. We also […]
National Parks Conservation Association (NPCA)

National Parks Conservation Association (NPCA)

1 year ago
Join National Parks Conservation Association (NPCA) and Microsoft host Monica Rosenberg for an exploration of our continued efforts to help protect, connect and restore our iconic parks and surrounding wild places in the Northwest and around the U.S. Learn about our work to help restore iconic wildlife populations in the North Cascades, and our advocacy […]
A Greater Light to Rule the Day: The Sun, the Stars, and Climate Change

A Greater Light to Rule the Day: The Sun, the Stars, and Climate Change

1 year ago
Our seemingly steady Sun is a variable and violent place, with its activity rising and falling roughly every 11 years, most notably manifested as the sunspot cycle. However, solar activity is not just about spots: the Sun’s overall brightness changes as its activity rises and falls, and therefore the solar energy reaching Earth’s atmosphere is […]
Greedy Transition-Based Dependency Parsing with Stack-LSTMs

Greedy Transition-Based Dependency Parsing with Stack-LSTMs

1 year ago
We propose a technique for learning representations of parser states in transition-based dependency parsers. Our primary innovation is a new control structure for sequence-to-sequence neural networks — the stack LSTM. Like the conventional stack data structures used in transition-based parsing, elements can be pushed to or popped from the top of the stack in constant […]
Interactive Biotechnology: Cloud Labs, Biotic Games, DIY kits, and more

Interactive Biotechnology: Cloud Labs, Biotic Games, DIY kits, and more

1 year ago
No abstract available.
Automated SMT-based Verification for Reasoning about Approximations

Automated SMT-based Verification for Reasoning about Approximations

1 year ago
Approximate computing is an emerging area for trading off the accuracy of an application for improved performance, lower energy costs, and tolerance to unreliable hardware. However, care has to be taken to ensure that the approximations do not cause significant divergence from the reference implementation. Previous research has proposed various metrics to guarantee several relaxed […]
Inter-Active Learning with Queries on Instances and Features

Inter-Active Learning with Queries on Instances and Features

1 year ago
In this talk, I will discuss a few projects aimed at “closing the loop” for interactive natural language annotation and learning. In particular, I describe two systems that combine active and semi-supervised learning by asking humans to label both instance queries (e.g., passages of text) and feature queries (e.g., advice about words or capitalization patterns, […]
The Strange Logic of Galton-Watson Trees

The Strange Logic of Galton-Watson Trees

1 year ago
The Galton-Watson tree is a basic demographic model. The classic equation for a Galton-Watson tree being infinite has two solutions, only one of which is “correct.” What about other properties. (Example: Some node has precisely two children.) We show that when the property is what is called first order than there is a unique solution […]
Reverse Engineering Autonomous Language Acquisition

Reverse Engineering Autonomous Language Acquisition

1 year ago
Speech recognition and understanding technologies rely on supervised learning techniques which typically require tens or hundreds of hours of good quality, human annotated speech in order to train acoustic and language models. In this talk, I argue that it is worthwhile considering an alternative approach, based on unsupervised algorithms, and grounded on the study of […]
Mobile Sensor Big Data Challenges in Realizing Precision Medicine

Mobile Sensor Big Data Challenges in Realizing Precision Medicine

1 year ago
National Center of Excellence for Mobile Sensor Data-to-Knowledge (MD2K) is one of the 11 national Centers of Excellence funded by the Big Data-to-knowledge (BD2K) program of the National Institutes of Health (NIH). While other centers are addressing various aspects of biomedical big data (e.g., genomics, informatics), MD2K is leading the effort on development of big […]
Comics and Stuff: An Introduction

Comics and Stuff: An Introduction

1 year ago
The status and nature of comics are under transition, as comics move from a disposable medium to one which is perceived as having enduring value. The emergence of the so-called “graphic novel” represents a shift in how comics are published, in terms of what kind of cultural status they command, in terms of who reads […]