Upcoming Events

Thursday, February 16, 2012 at 4:00 PM in SAS 1102
Erich Kaltofen, NC State: Distinguished Faculty Colloquium
The art of hybrid computation
Hybrid symbolic-numeric computation is the fifth of the “Seven Dwarfs of Symbolic Computation”, which I listed in my 2008 SNSC talk in Hagenberg. “Hybrid” means that the solution of a computational problem uses both numeric and symbolic algorithmic components.

I will survey some important results about hybrid methodology and discuss the lessons I have learned from them. In particular I will discuss approximate GCD, approximate sparse interpolant (signal) from noise, outlier errors in the input scalars, and analysis of the random distribution of matrix condition numbers in randomized hybrid algorithms.

One can bypass this analysis by producing an exact certificate, and I will give sum-of-squares certificates in global optimization via our ArtinProver software. Specifically, I will discuss exact certificates of impossibility of sum-of-squares representation based on the Farkas Lemma of semidefinite programming.

This work is in collaboration with Matthew Comer, Feng Guo, Wen-shin Lee, Zhengfeng Yang, and Lihong Zhi.

Thursday, March 15, 2012 at 4:00 PM in SAS 1102
Tim Kelley, NC State: Distinguished Faculty Colloquium
Pseudo-Transient Continuation

Thursday, April 12, 2012 at 4:00 PM in SAS 1102
Jack Silverstein, NC State: Distinguished Faculty Colloquium
TBA

Tuesday, April 17, 2012 at 4:00 PM in SAS 1102
Donald Saari, University of California, Irvine
TBA

Past Colloquia

You can add or remove yourself from a seminar mailing list by visiting this link.