Loading...
Derniers dépôts
-
Zhengcao Cao, Xiang Xiao, Yang Zhao, Yihan Jiang, Cong Xie, et al.. Targeting the pathological network: Feasibility of network-based optimization of transcranial magnetic stimulation coil placement for treatment of psychiatric disorders. Frontiers in Neuroscience, 2023, 16, pp.1079078. ⟨10.3389/fnins.2022.1079078⟩. ⟨hal-04471327⟩
-
Yann Leray, Gaëtan Gilbert, Nicolas Tabareau, Théo Winterhalter. The Rewster: Type Preserving Rewrite Rules for the Coq Proof Assistant. International Conference on Interactive Theorem Proving (ITP 2024), Yves Bertot; Temur Kutsia; Michael Norrish, Sep 2024, Tbilisi, Georgia. pp.18, ⟨10.4230/LIPIcs.ITP.2024.26⟩. ⟨hal-04511667v2⟩
-
Raka Maitra, Charlotte Horne, Owen O’daly, Evangelos Papanastasiou, Christian Gaser, et al.. Psychotic Like Experiences in Healthy Adolescents are Underpinned by Lower Fronto-Temporal Cortical Gyrification: a Study from the IMAGEN Consortium. Schizophrenia Bulletin, 2023, 49 (2), pp.309-318. ⟨10.1093/schbul/sbac132⟩. ⟨hal-04542924⟩