Kagan, V., A. Nerode and V.S. Subrahmanian, Computing definite logic programs by partial instantiation, Annals of Pure and Applied Logic 67 (1994) 161-182. Query processing in ground definite deductive databases is known to correspond precisely to a linear programming problem. However, the “groundedness” requirement is a huge drawback to using linear programming techniques for logic program com...

RETURN TO ISSUEEditorialNEXTThe Philip S. Portoghese Journal of MedicinalChemistry/Division Medicinal Chemistry Joint Lectureship AwardsCraig W. LindsleyCraig LindsleyMore by Craig Lindsleyhttp://orcid.org/0000-0003-0168-1445 and Jacob B. SchwarzJacob SchwarzMore SchwarzCite this: J. Med. Chem. 2021, 64, 5, 2311Publication Date (Web):March 2, 2021Publication History Published online2 March 2021...

PSES is a chimeric enhancer containing enhancer elements from prostate-specific antigen (PSA) and prostate-specific membrane antigen (PSMA) genes that are prevalently expressed in androgen-independent prostate cancers. PSES shows strong activity equivalent to cytomegalovirus (CMV) promoter, specifically in PSA/PSMA-positive prostate cancer cells, the major cell types in prostate cancer in the a...

ADVERTISEMENT RETURN TO ARTICLES ASAPEditorialNEXTVirtual Special Issue: New Drug Modalities in Medicinal Chemistry, Pharmacology, and Translational ScienceJeffrey AubéJeffrey AubéMore by Jeffrey Aubéhttps://orcid.org/0000-0003-1049-5767, Craig W. LindsleyCraig LindsleyMore Lindsleyhttps://orcid.org/0000-0003-0168-1445, Christa E. MüllerChrista MüllerMore Müllerhttps://orcid.org/0000-0002-0013-...

Real-time haptic rendering of three-dimensional fluid flow will improve the interactivity and realism of video games and surgical simulators, but it remains a challenging undertaking due to its high computational cost. In this work we propose an innovative GPUbased approach that enables real-time haptic rendering of highresolution 3D Navier-Stokes fluids. We show that moving the vast majority o...

506 0168-9525/98/$ – see front matter © 1998 Elsevier Science All rights reserved. PII: S0168-9525(98)01623-0 12 Le Beau, M.M. et al. (1998) Hum. Mol. Genet. 7, 755–761 13 Sbrana, I., Zavattari, P., Barale, R. and Musio, A. (1998) Hum. Genet. 102, 409–414 14 Huang, H., Qian, C., Jenkins, R.B. and Smith, D.I. (1998) Genes Chromosomes Cancer 21, 152–159 15 Yu, A., Bailey, A.D. and Wiener, A.M. (1...

We establish a series of equivalences between type systems and control-flow analyses. Specifically, we take four type systems from the literature (involving simple types, subtypes and recursion) and conservatively enrich them to reason about control-flow information. Similarly, we take four standard control-flow systems and conservatively enrich them to reason about type consistency. Our main r...