-
brainlife.io: A decentralized and open source cloud platform to support neuroscience research
Authors:
Soichi Hayashi,
Bradley A. Caron,
Anibal Sólon Heinsfeld,
Sophia Vinci-Booher,
Brent McPherson,
Daniel N. Bullock,
Giulia Bertò,
Guiomar Niso,
Sandra Hanekamp,
Daniel Levitas,
Kimberly Ray,
Anne MacKenzie,
Lindsey Kitchell,
Josiah K. Leong,
Filipi Nascimento-Silva,
Serge Koudoro,
Hanna Willis,
Jasleen K. Jolly,
Derek Pisner,
Taylor R. Zuidema,
Jan W. Kurzawski,
Kyriaki Mikellidou,
Aurore Bussalb,
Christopher Rorden,
Conner Victory
, et al. (39 additional authors not shown)
Abstract:
Neuroscience research has expanded dramatically over the past 30 years by advancing standardization and tool development to support rigor and transparency. Consequently, the complexity of the data pipeline has also increased, hindering access to FAIR (Findable, Accessible, Interoperabile, and Reusable) data analysis to portions of the worldwide research community. brainlife.io was developed to red…
▽ More
Neuroscience research has expanded dramatically over the past 30 years by advancing standardization and tool development to support rigor and transparency. Consequently, the complexity of the data pipeline has also increased, hindering access to FAIR (Findable, Accessible, Interoperabile, and Reusable) data analysis to portions of the worldwide research community. brainlife.io was developed to reduce these burdens and democratize modern neuroscience research across institutions and career levels. Using community software and hardware infrastructure, the platform provides open-source data standardization, management, visualization, and processing and simplifies the data pipeline. brainlife.io automatically tracks the provenance history of thousands of data objects, supporting simplicity, efficiency, and transparency in neuroscience research. Here brainlife.io's technology and data services are described and evaluated for validity, reliability, reproducibility, replicability, and scientific utility. Using data from 4 modalities and 3,200 participants, we demonstrate that brainlife.io's services produce outputs that adhere to best practices in modern neuroscience research.
△ Less
Submitted 11 August, 2023; v1 submitted 3 June, 2023;
originally announced June 2023.
-
Automated Weed Detection in Aerial Imagery with Context
Authors:
Delia Bullock,
Andrew Mangeni,
Tyr Wiesner-Hanks,
Chad DeChant,
Ethan L. Stewart,
Nicholas Kaczmar,
Judith M. Kolkman,
Rebecca J. Nelson,
Michael A. Gore,
Hod Lipson
Abstract:
In this paper, we demonstrate the ability to discriminate between cultivated maize plant and grass or grass-like weed image segments using the context surrounding the image segments. While convolutional neural networks have brought state of the art accuracies within object detection, errors arise when objects in different classes share similar features. This scenario often occurs when objects in i…
▽ More
In this paper, we demonstrate the ability to discriminate between cultivated maize plant and grass or grass-like weed image segments using the context surrounding the image segments. While convolutional neural networks have brought state of the art accuracies within object detection, errors arise when objects in different classes share similar features. This scenario often occurs when objects in images are viewed at too small of a scale to discern distinct differences in features, causing images to be incorrectly classified or localized. To solve this problem, we will explore using context when classifying image segments. This technique involves feeding a convolutional neural network a central square image along with a border of its direct surroundings at train and test times. This means that although images are labelled at a smaller scale to preserve accurate localization, the network classifies the images and learns features that include the wider context. We demonstrate the benefits of this context technique in the object detection task through a case study of grass (foxtail) and grass-like (yellow nutsedge) weed detection in maize fields. In this standard situation, adding context alone nearly halved the error of the neural network from 7.1% to 4.3%. After only one epoch with context, the network also achieved a higher accuracy than the network without context did after 50 epochs. The benefits of using the context technique are likely to particularly evident in agricultural contexts in which parts (such as leaves) of several plants may appear similar when not taking into account the context in which those parts appear.
△ Less
Submitted 19 November, 2019; v1 submitted 1 October, 2019;
originally announced October 2019.
-
Anatomically-Informed Multiple Linear Assignment Problems for White Matter Bundle Segmentation
Authors:
Giulia Bertò,
Paolo Avesani,
Franco Pestilli,
Daniel Bullock,
Bradley Caron,
Emanuele Olivetti
Abstract:
Segmenting white matter bundles from human tractograms is a task of interest for several applications. Current methods for bundle segmentation consider either only prior knowledge about the relative anatomical position of a bundle, or only its geometrical properties. Our aim is to improve the results of segmentation by proposing a method that takes into account information about both the underlyin…
▽ More
Segmenting white matter bundles from human tractograms is a task of interest for several applications. Current methods for bundle segmentation consider either only prior knowledge about the relative anatomical position of a bundle, or only its geometrical properties. Our aim is to improve the results of segmentation by proposing a method that takes into account information about both the underlying anatomy and the geometry of bundles at the same time. To achieve this goal, we extend a state-of-the-art example-based method based on the Linear Assignment Problem (LAP) by including prior anatomical information within the optimization process. The proposed method shows a significant improvement with respect to the original method, in particular on small bundles.
△ Less
Submitted 16 July, 2019;
originally announced July 2019.
-
Reflection high-energy electron diffraction and scanning tunneling microscopy study of InP(001) surface reconstructions
Authors:
V. P. LaBella,
Z. Ding,
D. W. Bullock,
C. Emery,
P. M. Thibado
Abstract:
The reconstructions of the InP(001) surface prepared by molecular beam epitaxy have been studied with in situ reflection high-energy electron diffraction (RHEED) and scanning tunneling microscopy (STM). The growth chamber contains a highly accurate temperature measurement system and uses a solid-source, cracked phosphorus, valved effusion cell. Five InP(001) reconstructions are observed with RHEED…
▽ More
The reconstructions of the InP(001) surface prepared by molecular beam epitaxy have been studied with in situ reflection high-energy electron diffraction (RHEED) and scanning tunneling microscopy (STM). The growth chamber contains a highly accurate temperature measurement system and uses a solid-source, cracked phosphorus, valved effusion cell. Five InP(001) reconstructions are observed with RHEED by analyzing patterns in three principal directions. Under a fixed P2 flux, decreasing the substrate temperature gives the following reconstructions: c(2x8), (2x4), (2x1), (2x2), and c(4x4). In situ STM images reveal that only two of these reconstructions yields long-range periodicity in real space. InP(001) does not form the metal rich (4x2) reconstruction, which is surprising because the (4x2) reconstruction has been coined the universal surface reconstruction since all III-V(001) surfaces were thought to favor its formation.
△ Less
Submitted 13 March, 2015;
originally announced March 2015.
-
Time-evolution of the GaAs(0 0 1) pre-roughening process
Authors:
Z. Ding,
D. W. Bullock,
P. M. Thibado,
V. P. LaBella,
K. Mullen
Abstract:
The GaAs(0 0 1) surface is observed to evolve from being perfectly flat to a surface half covered with one-monolayer high spontaneously formed GaAs islands. The dynamics of this process are monitored with atomic-scale resolution using scanning tunneling microscopy. Surprisingly, pit formation dominates the early stages of island formation. Insight into the nucleation process is reported.
The GaAs(0 0 1) surface is observed to evolve from being perfectly flat to a surface half covered with one-monolayer high spontaneously formed GaAs islands. The dynamics of this process are monitored with atomic-scale resolution using scanning tunneling microscopy. Surprisingly, pit formation dominates the early stages of island formation. Insight into the nucleation process is reported.
△ Less
Submitted 12 March, 2015;
originally announced March 2015.
-
Origins of GaN(0 0 0 1) surface reconstructions
Authors:
S. Vezian,
F. Semond,
J. Massies,
D. W. Bullock,
Z. Ding,
P. M. Thibado
Abstract:
The reconstructions of the Ga polarity GaN(0 0 0 1) surface with and without trace amounts of arsenic and prepared by molecular beam epitaxy (MBE) have been studied with in situ reflection high-energy electron diffraction (RHEED) and scanning tunneling microscopy (STM). Various reconstructions are observed with RHEED by analyzing patterns while the substrate is exposed to a fixed NH3 flux or after…
▽ More
The reconstructions of the Ga polarity GaN(0 0 0 1) surface with and without trace amounts of arsenic and prepared by molecular beam epitaxy (MBE) have been studied with in situ reflection high-energy electron diffraction (RHEED) and scanning tunneling microscopy (STM). Various reconstructions are observed with RHEED by analyzing patterns while the substrate is exposed to a fixed NH3 flux or after depositing known amounts of Ga as a function of substrate temperature. In situ STM images reveal that only a few of these reconstructions yield long-range periodicity in real space. The controversial role of arsenic on Ga induced reconstructions was also investigated using two independent MBE chambers and X-ray photoelectron spectroscopy.
△ Less
Submitted 31 December, 2014;
originally announced January 2015.
-
Klein-Gordon Solutions on Non-Globally Hyperbolic Standard Static Spacetimes
Authors:
David M. A. Bullock
Abstract:
We construct a class of solutions to the Cauchy problem of the Klein-Gordon equation on any standard static spacetime. Specifically, we have constructed solutions to the Cauchy problem based on any self-adjoint extension (satisfying a technical condition: "acceptability") of (some variant of) the Laplace-Beltrami operator defined on test functions in an $L^2$-space of the static hypersurface. The…
▽ More
We construct a class of solutions to the Cauchy problem of the Klein-Gordon equation on any standard static spacetime. Specifically, we have constructed solutions to the Cauchy problem based on any self-adjoint extension (satisfying a technical condition: "acceptability") of (some variant of) the Laplace-Beltrami operator defined on test functions in an $L^2$-space of the static hypersurface. The proof of the existence of this construction completes and extends work originally done by Wald. Further results include the uniqueness of these solutions, their support properties, the construction of the space of solutions and the energy and symplectic form on this space, an analysis of certain symmetries on the space of solutions and of various examples of this method, including the construction of a non-bounded below acceptable self-adjoint extension generating the dynamics.
△ Less
Submitted 18 April, 2012;
originally announced April 2012.
-
The Kauffman bracket skein module of a twist knot exterior
Authors:
Doug Bullock,
Walter Lo Faro
Abstract:
We compute the Kauffman bracket skein module of the complement of a twist knot, finding that it is free and infinite dimensional. The basis consists of cables of a two-component link, one component of which is a meridian of the knot. The cabling of the meridian can be arbitrarily large while the cabling of the other component is limited to the number of twists.
We compute the Kauffman bracket skein module of the complement of a twist knot, finding that it is free and infinite dimensional. The basis consists of cables of a two-component link, one component of which is a meridian of the knot. The cabling of the meridian can be arbitrarily large while the cabling of the other component is limited to the number of twists.
△ Less
Submitted 18 February, 2005; v1 submitted 6 February, 2004;
originally announced February 2004.
-
Dark state suppression and narrow fluorescent feature in a laser-driven lambda atom
Authors:
Joerg Evers,
David Bullock,
Christoph H. Keitel
Abstract:
We discuss quantum interference effects in a three-level atom in lambda-configuration, where both transitions from the upper state to the lower states are driven by a single monochromatic laser field. Although the system has two lower states, quantum interference is possible because there are interfering pathways to each of the two lower states. The additional interference terms allow for intere…
▽ More
We discuss quantum interference effects in a three-level atom in lambda-configuration, where both transitions from the upper state to the lower states are driven by a single monochromatic laser field. Although the system has two lower states, quantum interference is possible because there are interfering pathways to each of the two lower states. The additional interference terms allow for interesting effects such as the suppression of a dark state which is present without the interference. Finally we examine a narrow spectral feature in the resonance fluorescence of the atom with quantum interference.
△ Less
Submitted 26 July, 2002; v1 submitted 29 April, 2002;
originally announced April 2002.
-
The Kauffman bracket skein as an algebra of observables
Authors:
D. Bullock,
C. Frohman,
J. Kania-Bartoszynska
Abstract:
We prove that the Kauffman bracket skein algebra of a cylinder over a surface with boundary, defined over complex numbers, is isomorphic to the observables of an appropriate lattice gauge field theory.
We prove that the Kauffman bracket skein algebra of a cylinder over a surface with boundary, defined over complex numbers, is isomorphic to the observables of an appropriate lattice gauge field theory.
△ Less
Submitted 31 October, 2000;
originally announced October 2000.
-
The Yang-Mills Measure in the Kauffman Bracket Skein Module
Authors:
Doug Bullock,
Charles Frohman,
Joanna Kania-Bartoszynska
Abstract:
For each closed, orientable surface F, we construct a local, diffeomorphism invariant trace on the Kauffman bracket skein module K_t(F x [0,1]). The trace is defined when |t| is neither 0 nor 1, and at certain roots of unity. At t = - 1, the trace is integration against the symplectic measure on the SU(2) character variety of the fundamental group of F.
For each closed, orientable surface F, we construct a local, diffeomorphism invariant trace on the Kauffman bracket skein module K_t(F x [0,1]). The trace is defined when |t| is neither 0 nor 1, and at certain roots of unity. At t = - 1, the trace is integration against the symplectic measure on the SU(2) character variety of the fundamental group of F.
△ Less
Submitted 22 May, 2000;
originally announced May 2000.
-
Multiplicative structure of Kauffman bracket skein module quantizations
Authors:
Doug Bullock,
Jozef H. Przytycki
Abstract:
We describe, for a few small examples, the Kauffman bracket skein algebra of a surface crossed with an interval. If the surface is a punctured torus the result is a quantization of the symmetric algebra in three variables (and an algebra closely related to a cyclic quantization of $U(so_3$). For a torus without boundary we obtain a quantization of "the symmetric homologies" of a torus (equivalen…
▽ More
We describe, for a few small examples, the Kauffman bracket skein algebra of a surface crossed with an interval. If the surface is a punctured torus the result is a quantization of the symmetric algebra in three variables (and an algebra closely related to a cyclic quantization of $U(so_3$). For a torus without boundary we obtain a quantization of "the symmetric homologies" of a torus (equivalently, the coordinate ring of the $SL_2(C)$-character variety of $Z \oplus Z$). Presentations are also given for the four punctured sphere and twice punctured torus. We conclude with an investigation of central elements and zero divisors.
△ Less
Submitted 19 February, 1999;
originally announced February 1999.
-
Skein Modules and Lattice Gauge Field Theory
Authors:
Doug Bullock,
Charles Frohman,
Joanna Kania-Bartoszynska
Abstract:
See q-alg/9710003 for the corrected version of this paper.
See q-alg/9710003 for the corrected version of this paper.
△ Less
Submitted 9 February, 1998; v1 submitted 4 February, 1998;
originally announced February 1998.
-
Topological Interpretations of Lattice Gauge Field Theory
Authors:
Doug Bullock,
Charles Frohman,
Joanna Kania-Bartoszyńska
Abstract:
We construct lattice gauge field theory based on a quantum group on a lattice of dimension 1. Innovations include a coalgebra structure on the connections, and an investigation of connections that are not distinguishable by observables. We prove that when the quantum group is a deformation of a connected algebraic group (over the complex numbers), then the algebra of observables forms a deformat…
▽ More
We construct lattice gauge field theory based on a quantum group on a lattice of dimension 1. Innovations include a coalgebra structure on the connections, and an investigation of connections that are not distinguishable by observables. We prove that when the quantum group is a deformation of a connected algebraic group (over the complex numbers), then the algebra of observables forms a deformation quantization of the ring of characters of the fundamental group of the lattice with respect to the corresponding algebraic group. Finally, we investigate lattice gauge field theory based on quantum SL(2,C), and conclude that the algebra of observables is the Kauffman bracket skein module of a cylinder over a surface associated to the lattice.
△ Less
Submitted 1 October, 1997;
originally announced October 1997.
-
Skein Homology
Authors:
Doug Bullock,
Charles Frohman,
Joanna Kania-Bartoszynska
Abstract:
For each skein module we describe a homology theory which, for any three manifold recovers the skein module at its zero level. The theory measures skein-like relations among skein relations, mimicking Hilbert's theory of syzygies. We work explicit examples for the homology groups corresponding to the Kauffman bracket. It is shown, in particular, that for every manifold most of the groups are non…
▽ More
For each skein module we describe a homology theory which, for any three manifold recovers the skein module at its zero level. The theory measures skein-like relations among skein relations, mimicking Hilbert's theory of syzygies. We work explicit examples for the homology groups corresponding to the Kauffman bracket. It is shown, in particular, that for every manifold most of the groups are non-trivial.
△ Less
Submitted 17 January, 1997;
originally announced January 1997.
-
Skein Quantization and Lattice Gauge Field Theory
Authors:
Doug Bullock,
Charles Frohman,
Joanna Kania-Bartoszynska
Abstract:
This is a survey article describing the various ways in which the Kauffman bracket skein module is a quantization of surface group characters. These include a purely heuristic sense of deformation of a presentation, a Poisson quantization, and a lattice gauge field theory quantization.
This is a survey article describing the various ways in which the Kauffman bracket skein module is a quantization of surface group characters. These include a purely heuristic sense of deformation of a presentation, a Poisson quantization, and a lattice gauge field theory quantization.
△ Less
Submitted 20 September, 1996;
originally announced September 1996.
-
Rings of $SL_2({\mathbb C})$-Characters and the Kauffman Bracket Skein Module
Authors:
Doug Bullock
Abstract:
Let $M$ be a compact orientable 3-manifold. The set of characters of $SL_2({\mathbb C})$ representations of the fundamental group of $M$ forms a closed affine algebraic set. We show that its coordinate ring is isomorphic to a specialization of the Kauffman bracket skein module modulo its nilradical. This is accomplished by making the module into a combinatorial analog of the ring, in which tools…
▽ More
Let $M$ be a compact orientable 3-manifold. The set of characters of $SL_2({\mathbb C})$ representations of the fundamental group of $M$ forms a closed affine algebraic set. We show that its coordinate ring is isomorphic to a specialization of the Kauffman bracket skein module modulo its nilradical. This is accomplished by making the module into a combinatorial analog of the ring, in which tools of skein theory are exploited to illuminate relations among characters. We conclude with an application, proving that a small manifold's specialized module is necessarily finite dimensional.
△ Less
Submitted 19 April, 1996;
originally announced April 1996.
-
Understanding the Kauffman bracket skein module
Authors:
Doug Bullock,
Charles Frohman,
Joanna Kania-Bartoszynska
Abstract:
The Kauffman bracket skein module $K(M)$ of a 3-manifold $M$ is defined over formal power series in the variable $h$ by letting $A=e^{h/4}$. For a compact oriented surface $F$, it is shown that $K(F \times I)$ is a quantization of the $\g$-characters of the fundamental group of $F$, corresponding to a geometrically defined Poisson bracket. Finite type invariants for unoriented knots and links ar…
▽ More
The Kauffman bracket skein module $K(M)$ of a 3-manifold $M$ is defined over formal power series in the variable $h$ by letting $A=e^{h/4}$. For a compact oriented surface $F$, it is shown that $K(F \times I)$ is a quantization of the $\g$-characters of the fundamental group of $F$, corresponding to a geometrically defined Poisson bracket. Finite type invariants for unoriented knots and links are defined. Topologically free Kauffman bracket modules are shown to generate finite type invariants. It is shown for compact $M$ that $K(M)$ can be generated as a module by cables on a finite set of knots. Moreover, if $M$ contains no incompressible surfaces, the module is finitely generated.
△ Less
Submitted 19 April, 1996;
originally announced April 1996.