Archive: 03/19/2013

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

How proteins read meta DNA code

Three-quarters of the DNA in evolved organisms is wrapped around proteins, forming the basic unit of DNA packaging called nucleosomes, like a thread around a spool. The problem lies in understanding how DNA can then be read ...

Mar 19, 2013
4.3 / 5 (3) 0

Kryptonite for cancer cells

(Phys.org) —Every available cancer drug is susceptible to resistance, according to Mansoor Amiji, Distinguished Professor and chair of the Department of Pharmaceutical Sciences. Tumors grow more quickly ...

Mar 19, 2013
5 / 5 (5) 1