Why Separation Logic Works
Sign Up to like & getrecommendations! Published in 2018 at "Philosophy & Technology"
DOI: 10.1007/s13347-018-0312-8
Abstract: One might poetically muse that computers have the essence both of logic and machines. Through the case of the history of Separation Logic, we explore how this assertion is more than idle poetry. Separation Logic… read more here.
Keywords: separation; separation logic; computer scientists; logic works ... See more keywords
AI Applications in Renal Pathology.
Sign Up to like & getrecommendations! Published in 2021 at "Kidney international"
DOI: 10.1016/j.kint.2021.01.015
Abstract: The explosive growth of artificial intelligence (AI) technologies, especially deep learning methods, has been translated at revolutionary speed to efforts in AI-assisted healthcare. New applications of AI to renal pathology have recently become available, driven… read more here.
Keywords: renal pathology; applications renal; pathology; renal pathologists ... See more keywords