79 results found (page 5 of 6)
http://www.computchem.org

…led the mechanism of inverse temperature dependence and polymorphism. Effective quantum descriptors for Michael acceptors Liu et al, J Chem Inf Model, 2023 Low-cost quantum descriptors can predict the SAR of Michael acceptor warheads. Towards covalently drugging the ERK pathway k…

https://www.computchem.org

…led the mechanism of inverse temperature dependence and polymorphism. Effective quantum descriptors for Michael acceptors Liu et al, J Chem Inf Model, 2023 Low-cost quantum descriptors can predict the SAR of Michael acceptor warheads. Towards covalently drugging the ERK pathway k…

https://www.umassd.edu/sitemap

…stener's Guide - Spring NUR 331: Exp Learn:Com Health Nursing - Spring PHY 631: Quantum Mechanics II - Spring PHY 621: Adv Math Physics I - Spring PHY 690: Graduate Thesis - Spring PHY 680: Graduate Project - Spring PHY 596: Directed Study - Spring PHY 696: Directed Study - Sprin…

https://verifiability.org

… Mousavi, Mohammad Reza A Multi-Lingual Benchmark for Property-Based Testing of Quantum Programs Inproceedings In: Proceedings of the 3rd International Workshop on Quantum Software Engineering, pp. 1–7, Association for Computing Machinery, Pittsburgh, Pennsylvania, 2023 ISBN: 978…

http://webpages.charlotte.edu/yonwang

…gainst Cryptocurrency Mining Pools. DPM/CBT@ESORICS 2018: 140-154. ( pdf ) Post-Quantum Cryptgraphy Liu, Jingang, Yongge Wang, Zongxinag Yi, and Dingyi Pei. "Quantum Resistant Public Key Encryption Scheme polarRLCE." In International Conference on Algebra, Codes and Cryptology, p…

https://dblp.org/pid/p/JPalsberg.html

…g Ye Jiyuan Wang Yifan Qiao Jens Palsberg HALO: A Fine-Grained Resource Sharing Quantum Operating System. CoRR abs/2602.07191 2026 2025 [j74] Shuyang Liu Doug Lea Jens Palsberg Soundness of Predictive Concurrency Analyses. Proc. ACM Program. Lang. OOPSLA1 590-616 2025 [c100] Prad…

https://homes.cs.washington.edu/~jrl

…ng, and optimization WI 23 Analytic and geometric methods in TCS AU 22 Intro to quantum computing AU 21 Theory of optimization and continuous algorithms SP 21 The art and science of positive definite matrices SP 19 Randomized algorithms WI 16 Entropy optimality Students: Farzam E…