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

About indrcdev

This author has not yet filled in any details.
So far indrcdev has created 21 blog entries.

INDRC submitted a project proposal “CLARA – Center for Artificial Intelligence and Quantum Computing in System Brain Research” to the second round of the European Commission´s call “Teaming for Excellence”

2024-03-12T12:54:59+00:00March 12, 2024|
Read More

Alzheon CEO Dr. Martin Tolar Awarded Eliška and Zdeněk Strmiska Award from Alzheimer’s Foundation for Significant Contribution Towards Research and Treatment of Alzheimer’s Disease, and Donated Cash Prize to INDRC Institute

2023-12-28T23:19:34+00:00January 3, 2024|
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