Automated rewriting for higher categories and applications to quantum theory od Bar, K

Groupoid Semantics for Thermal Computing od Bar, K, Vicary, J

Data structures for quasistrict higher categories od Bar, K, Vicary, J

Groupoid Semantics for Thermal Computing od Bar, K, Vicary, J

Globular: an online proof assistant for higher-dimensional rewriting od Vicary, J, Kissinger, A, Bar, K

Globular: an online proof assistant for higher-dimensional rewriting od Bar, K, Kissinger, A, Vicary, J

The large-scale neural network for spatial attention displays multifunctional overlap but differential asymmetry. od Kim, Y, Gitelman, DR, Nobre, A, Parrish, T, LaBar, K, Mesulam, M

Hunger selectively modulates corticolimbic activation to food stimuli in humans. od LaBar, K, Gitelman, DR, Parrish, T, Kim, Y, Nobre, A, Mesulam, M

A large-scale distributed network for covert spatial attention: further anatomical delineation based on stringent behavioural and cognitive controls. od Gitelman, DR, Nobre, A, Parrish, T, LaBar, K, Kim, Y, Meyer, JR, Mesulam, M