Archive: 19/03/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 that can't ...

dateMar 19, 2013 in Computer Sciences
shares0 comments 8

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 ...

dateMar 19, 2013 in Biotechnology
shares0 comments 0

Kryptonite for cancer cells

( —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 than blood vessels, ...

dateMar 19, 2013 in Bio & Medicine
shares0 comments 1