John O’Leary
- CREST: Hardware Formal Verification with ANSI-C Reference Specifications
2019/08/04 by Andreas Tiemeyer, Tiemeyer, Andreas, Tom Melham +5 · 1 citation
Computer Science · #Formal Methods in Verification #Security and Verification in Computing #Software Testing and Debugging Techniques
- Metropolis-Hastings transition kernel couplings
2021/01/31 by John O’Leary, Guanyang Wang, O'Leary, John +1 · 1 citation
Mathematics · Medicine · #60J22 #62D05 #65C05 #Advanced MRI Techniques and Applications #Computation (stat.CO) #FOS: Computer and information sciences #FOS: Mathematics #Markov Chains and Monte Carlo Methods #Probability (math.PR) #Statistical Methods and Inference #Statistics Theory (math.ST)
- Chemotherapy alters thrombomodulin and factor VIIIc expression resulting in acquired activated protein C resistance and enhanced thrombin generation in cancer associated thrombosis
2024/12/30 by Mark P. Ward, M.P. Ward, Ezzeldin M. Ibrahim +11 · 1 voice · 1 citation
Medicine · #Blood Coagulation and Thrombosis Mechanisms #Cerebral Venous Sinus Thrombosis #Venous Thromboembolism Diagnosis and Management