Computational logic and formal languages
Recently Published Articles
GEMDAT: a Python toolkit for site-resolved diffusion analysis in solid-state molecular dynamics
Anastasia K Lavrinenko, Theodosios Famprikis, Victor Landgraf, Jouke R Heringa, Stef Smeets, Victor Azizi, Simone Ciarella, Marnix Wagemaker, Alexandros Vasileiadis
Longitudinal Assessment of Low Luminance Questionnaire Scores in Early and Intermediate AMD
Richmond Woodward, Pali Singh, Sandra Stinnett, Ulrich F O Luhmann, Gunay Uludag Kirimli, Eleonora M Lad
Restorative versus non-restorative total proctocolectomy: Who doesn't pouch and how do they do?
Imran Khan, Nicholas G Berger, Arielle Kanters, Olga Lavryk, Jeremy Lipman, Scott R Steele, David Liska, Stefan D Holubar
Deep Learning-Driven Computational Imaging for Noninvasive Monitoring System of Brain Temperature and Metabolism: A Hypothermia Validation for Acute Ischemic Stroke
Tianhang Yang, Qihan Zhang, Yilun Huang, Yuan Wang, Fuzhi Cao, Xin Zhang, Ming Wei, Qingfeng Ma, Hongzhi Kuai, Ming Li, Jianzhuo Yan, Miaowen Jiang, Xunming Ji
Media-Dependent Effects in Heart Rate Variability Biofeedback: A Systematic Review of Extended Reality and Screen-Based Training Approaches
Nathan Miner, Karmen Gill, Casper Harteveld, Christopher Bono, Darshan H Mehta
Beyond Doppler: Scalable AI Detection of LVOT Obstruction in HCM
Owen R Crystal, Juan M Farina, Isabel G Scalia, Chadi Ayoub, Cecilia V Etchegoyen, Laurève Chollet, Hyung Bok Park, Kyung An Kim, Reza Arsanjani, Steven J Lester, Imon Banerjee
Characteristics and management of low-level viraemia in people living with HIV in a resource-limited setting: A multicentre retrospective study in Greece
Lydia Leonidou, Giota Lourida, Konstantinos Protopapas, Charalampos D Moschopoulos, Dimitrios Zoulas, Charisis Totsikas, Dimitrios Basoulis, Elpida Mastrogianni, Apostolos Beloukas, Maria Lagadinou, Markos Marangos, Vasileios Papastamopoulos, Antonios Papadopoulos, Mina Psichogiou
Massive Bochdalek Hernia in an Adult Presenting With Cardiac Arrhythmias: A Case Report
Edgar A Rodriguez, Raymundo Zavala Salazar, Jorge A Garcia Garza