Maxwell Shinn

According to our database, Maxwell Shinn authored at least 6 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Generative modeling of brain maps with spatial autocorrelation.

Joshua B. Burt, Markus Helmer, Maxwell Shinn, Alan Anticevic, John D. Murray

NeuroImage, 2020

Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis.

Hongce Zhang, Maxwell Shinn, Aarti Gupta, Arie Gurfinkel, Nham Le, Nina Narodytska

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Refinement Type Contracts for Verification of Scientific Investigative Software.

Maxwell Shinn

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

2018

Structural covariance networks are coupled to expression of genes enriched in supragranular layers of the human cortex.

Rafael Romero-Garcia, Kirstie J. Whitaker, Frantisek Vása, Jakob Seidlitz, Maxwell Shinn, Peter Fonagy, Raymond J. Dolan, Peter B. Jones, Ian M. Goodyer, Edward T. Bullmore, Petra E. Vértes

NeuroImage, 2018

2017

Versatility of nodal affiliation to communities.

Maxwell Shinn, Rafael Romero-Garcia, Jakob Seidlitz, Frantisek Vása, Petra E. Vértes, Edward T. Bullmore

CoRR, 2017

2016

Phasic Burst Stimulation: A Closed-Loop Approach to Tuning Deep Brain Stimulation Parameters for Parkinson's Disease.

Abbey B. Holt, Dan Wilson, Max Shinn, Jeff Moehlis, Theoden I. Netoff

PLoS Comput. Biol., 2016