Can control theory make software better?
March 19, 2013Techniques used to ensure that airplanes won’t stall out in flight could be adapted to prove that computer programs won’t divide by zero.
More is less
June 2, 2010Complex computer models can involve thousands of variables. But paradoxically, adding more variables can sometimes make them easier to work with.
January 29, 2010With techniques for translating complicated equations into ‘sums of squares,’ Pablo Parrilo helps make sense of previously insoluble problems.