ENGINEERED BACTERIOPHAGES: A PANACEA AGAINST PATHOGENIC AND DRUG RESISTANT BACTERIA


Symbolic BDD and ADD Algorithms for Energy Games

Energy games, which model quantitative consumption of a limited resource, e.g., time or energy, play a central role in quantitative models for reactive systems.Reactive synthesis constructs a controller which satisfies a given specification, if one exists.For energy games a synthesized controller ensures to satisfy not only the safety constraints o

read more


Functional Roles of DYRK2 as a Tumor Regulator

The dual-specificity tyrosine phosphorylation-regulated kinase 2 (DYRK2) regulates the induction of apoptosis and DNA repair, metastasis inhibition, cell cycle G1/S transition, protein scaffold stability for E3 ligase complexes, and embryogenesis.Owing to these functions, DYRK2 is thought to regulate tumorigenesis, and its function in cancer has be

read more