https://research-portal.st-andrews.ac.uk/en/publications/structural-refactorings-for-exploring-dependently-typed-programmi/projects/?status=FINISHED
Structural refactorings for exploring dependently typed programming - Projects - University of St...
dependently typed programmingstructuralrefactoringsexploringprojects
https://www.frontiersin.org/journals/neural-circuits/articles/10.3389/fncir.2020.585624/full
Frontiers | Continuous Theta-Burst Stimulation Intensity Dependently Facilitates Motor-Evoked...
Although theta burst stimulation (TBS) is known to differentially modify motor cortical excitability according to stimulus conditions in humans, whether simi...
theta burst stimulationfrontierscontinuousintensitydependently