News tagged with dynamical systems

Can control theory make software better?

"Formal verification" is a set of methods for mathematically proving that a computer program does what it's supposed to do. It's universal in hardware design and in the development of critical control software ...

Mar 19, 2013
5 / 5 (6) 8 | with audio podcast

Untangling life's origins

Researchers in the Evolutionary Bioinformatics Laboratory at the University of Illinois in collaboration with German scientists have been using bioinformatics techniques to probe the world of proteins for answers to questions ...

Mar 11, 2013
5 / 5 (5) 3 | with audio podcast