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

Artificial intelligence to defeat brain degeneration? The world leaders in Alzheimer’s research and artificial intelligence will for the first time meet in the Czech Republic

2022-08-29T21:43:17+00:00August 28, 2022|
Read More

Forbes: Tolar founded a global AI institute in the Czech Republic. He expects that artificial intelligence will bring a revolution in the treatment of neurodegenerative disorders

2022-08-09T20:02:29+00:00March 8, 2022|
Read More

Key INDRC Publications

    1. 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.
    2. Kaliszyk C, et al: Combining Higher-Order Logic with Set Theory Formalizations, Journal of Automated Reasoning
    3. Zhang L, et al: Learning Proof Transformations and Its Applications in Interactive Theorem Proving, Frontiers of Combining Systems 2023; 14279, 236–254.
    4. Jakubův J, et al: MizAR 60 for Mizar 50, arXiv 2023; 06686
    5. 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

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