window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} gtag('js', new Date()); gtag('config', 'G-LEGL4CGWNL');

Key INDRC Publications

    1. Angelucci F, et al: Integrating AI in fighting advancing Alzheimer: diagnosis, prevention, treatment, monitoring, mechanisms, and clinical trials, ScienceDirect 2024; 87, 102857
    2. Khachaturian A, et al: Accelerating Innovations for Enhanced Brain Health. Can Artificial Intelligence Advance New Pathways for Drug Discovery for Alzheimer’s and other Neurodegenerative Disorders?, The Journal of Prevention of Alzheimer’s Disease 2023; 10, 1-4.
    3. Kaliszyk C, et al: Combining Higher-Order Logic with Set Theory Formalizations, Journal of Automated Reasoning
    4. Zhang L, et al: Learning Proof Transformations and Its Applications in Interactive Theorem Proving, Frontiers of Combining Systems 2023; 14279, 236–254.
    5. Jakubův J, et al: MizAR 60 for Mizar 50, arXiv 2023; 06686
    6. Parsert J, et al: Experiments on Infinite Model Finding in SMT Solving, EasyChair 2023; 94, 317-328

INDRC Annual Reports

2022
Click to view English or Czech

2023
Click to view English or Czech

Gender Equality Plan

2024-2026
Click to view and download here

INDRC – International
Neurodegenerative Disorders
Research Center
Privacy Policy

Email: info@indrc.cz

Copyright © 2024 | INDRC All Rights Reserved

This website uses cookies and third-party services. By clicking "ACCEPT", you confirm that you have read and are agreeing to our privacy policy and the use of ALL cookies. ACCEPT
Go to Top