A wide range of both volatile organic compounds (VOCs) and non-volatile metabolites are generated by almost all biological systems, and are now thought to represent end products associated with organism physiology and metabolism. This applies to many different types of systems ranging from humans, bacteria, trees, and plants. In humans, several thousand metabolic chemical compounds have been...

The area of data science lacks efficient computational methods with provable guarantees that can cope with the large-scale nature and the high nonlinearity of many real-world systems. Practitioners often design heuristic algorithms tailored to specific applications, but the theoretical underpinnings of these methods remain a mystery and this limits their usage in safety-critical systems. In this...

In the early part of the 20th century, Gödel, Turing, and Tarski showed that no consistent system of reasoning can contain proofs of important properties of the natural numbers or of computations. In these cases, the difficulty stems from the need to reason about infinities of numbers or time that don't show up in our everyday world. In contrast, proofs of properties in a bounded size world...

Ian Leighton is a digital product designer from the Bay Area, now based in Lisbon. He graduated from UC Berkeley in Mechanical Engineering (2011). He founded a startup, Embark which created a dozen public transit apps for iPhone, and was acquired by Apple in 2013. At Apple, Ian worked on a large part of the design for Apple Maps Transit. His talk will explore "Design in Transit."

The nuclear energy industry is at a crossroads: existing nuclear reactors are struggling to operate economically in some tough markets, and construction of new designs in the U.S. is slow and over budget. At the same time, interest in and development of the next generation of nuclear reactors is growing at an unprecedented rate, and some other nations are building new reactors efficiently. Can...

University of Washington's Xuegang (Jeff) Ban will present Modeling Dynamic Transportation Networks Using Differential Complementarity Systems on November 30, 2018 at 4 p.m. in 290 Hearst Memorial Mining Building. Join us for cookies and beverages at 3:30 p.m.

Map-based data viewers have been available for several years that reveal where coastal flooding is likely to occur as oceans warm and ice sheets melt. Recently, geologists have begun to study the influence of sea level rise on groundwater, and have concluded that in some coastal areas, as much or more land could flood as a result of rising groundwater than will flood directly from saltwater. Yet...