Background: Phenylalanine dehydrogenase (PheDH EC 1.4.1.20) is a NAD+-dependent enzyme that performs the reversible oxidative deamination of L-phenylalanine to phenylpyruvate. It plays an important role in detection and screening of phenylketonuria (PKU) diseases and production of chiral intermediates as well. The main goal of this study was to find a simple and rapid alternative method for pur...

Asymmetric cell division is common in biology and plays critical roles in differentiation and development. Unicellular organisms are often used as model systems for understanding the origins and consequences of asymmetry during cell division. Although basic as compared to mammalian cells, these are already quite complex. We report complete budding and asymmetric fission of very simple nonliving...

BACKGROUND The recent UK Government paper 'Five year forward view' describes the need to move much patient management from secondary to primary care, and this will require a significant increase in the numbers of General Practice Nurses (GPNs). Until recently, there has been no clear recruitment strategy to address this. There have however been a number of proposed solutions to address the impe...

Software verification is one of the most prominent application areas for automatic reasoning systems, but their potential improvement is limited by shortage of good benchmarks. Current benchmarks are usually large but shallow, require decision procedures, or have soundness problems. In contrast, we propose a family of benchmarks in first-order logic with equality which is scalable, relatively s...

Sledgehammer integrates external automatic theorem provers (ATPs) in the Isabelle/HOL proof assistant. To guard against bugs, ATP proofs must be reconstructed in Isabelle. Reconstructing complex proofs involves translating them to detailed Isabelle proof texts, using suitable proof methods to justify the inferences. This has been attempted before with little success, but we have addressed the m...

Automated theorem provers (ATPs) struggle to solve problems with large sets of possibly superfluous axiom. Several algorithms have been developed to reduce the number of axioms, optimally only selecting the necessary axioms. However, most of these algorithms consider only single problems. In this paper, we describe an axiom selection method for series of related problems that is based on logica...

We propose a unique process to generate non-spherical hydrogel microstructures using an aqueous two-phase system (ATPS) in a non-equilibrium state. A dextran (Dex) solution containing cells and hydrogel precursor (sodium alginate; NaA) was introduced into microfabricated chambers, which was gradually shrunk and deformed after pouring a polyethylene glycol (PEG) solution. Following the addition ...