Learn More
In the Western world, peripheral vascular disease (PVD) has a high prevalence with high morbidity and mortality. In a large percentage of these patients, lower limb amputation is still required. Studies of ischaemic skeletal muscle disclosed evidence of endogenous angiogenesis and adaptive skeletal muscle metabolic changes in response to hypoxia. Chemokines(More)
We describe here the Act Ontology, a formalism for uniformly describing biochemical function, and its use in building an enzymatic pathway synthesizer. A formal description of biochemical function allows us to reason about it, and for the particular case of enzymes, this function allows us to build a synthesizer tool that given a target chemical can(More)
Transactional Memory (TM) is a high-level abstraction for synchronizing access to shared data that allows programmers to easily group shared data accesses into atomic blocks. Intel's latest processor generation, Haswell, provides support for the Transactional Synchronization Extensions (TSX), an extension to the x86 instruction set that provides TM(More)
Synthetic biology makes biology engineerable. One objective of this engineering is to modify the chemical reactions within the cell, i.e., the biochemistry, to produce non-native compounds of commercial interest. To do this at scale, ideas from language design, verification, and synthesis will be useful. In this talk, we present our lessons learnt, future(More)
  • 1