458 search results - page 45 / 92 » Synthetic biology - putting engineering into biology |
107
click to vote
ASM
2010
ASM
15 years 3 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
104
click to vote
CIBCB
2007
IEEE
15 years 1 months ago
2007
IEEE
—In metabolic engineering it is difficult to identify which set of genetic manipulations will result in a microbial strain that achieves a desired production goal, due to the co...
120
click to vote
AR
2007
14 years 12 months ago
2007
—Researchers in robotics and artificial intelligence have often looked at biology as a source of inspiration for solving their problems. From the opposite perspective, neuroscie...
BIOSYSTEMS
2007
14 years 12 months ago
2007
Neuro-engineering is providing biomedical engineers with technology to interface the nervous system, which is useful to create prosthetic devices to palliate sensorial or motor di...
JCO
2010
14 years 10 months ago
2010
Abstract Polynomial-time data reduction is a classical approach to hard graph problems. Typically, particular small subgraphs are replaced by smaller gadgets. We generalize this ap...