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.

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

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