PhageBox: An Open Source Digital Microfluidic Extension With Applications for Phage Discovery

OBJECTIVE

Recent advancements demonstrate the significant role of digital microfluidics in automating laboratory work with DNA and on-site viral testing. However, since commercially available instruments are limited to droplet manipulation, our work addresses the need for accelerated integration of other components, such as temperature control, that can expand the application domain.

METHODS

We developed PhageBox-an accessible device that can be used as a biochip extension. At hardware level, PhageBox integrates temperature and electromagnetic control modules. At software level, PhageBox is controlled by embedded software containing a unique model for bio-protocol programming, and a graphical user interface for visual device feedback and operation.

RESULTS

To evaluate PhageBox's efficacy for biomedical applications, we performed functional testing. Similarly, we validated the temperature control using thermography, obtaining a range of ±0.2[Formula: see text]. The electromagnets produced a magnetic force of 15 milliTesla, demonstrating precise immobilization of magnetic beads. We show the potential of PhageBox for bacteriophage research through three initial protocols: a universal framework for PCR, T7 bacteriophage restriction enzyme digestion, and concentrating ϕX174 RF genomic DNA.

CONCLUSION

Our work presents an open-source hardware and software extension for digital microfluidics devices. This extension integrates temperature and electromagnetic modules, demonstrating efficacy in biomedical applications and potential for bacteriophage research.

SIGNIFICANCE

We developed PhageBox to be accessible: the components are off-the-shelf at a low cost ( ≤ $200), and the hardware designs and software code are open-source. With the long aim of ensuring reproducibility and accelerating collaboration, we also provide a DIY-build document.

Ten simple rules for managing laboratory information

Information is the cornerstone of research, from experimental (meta)data and computational processes to complex inventories of reagents and equipment. These 10 simple rules discuss best practices for leveraging laboratory information management systems to transform this large information load into useful scientific findings.

Investigating and Modeling the Factors That Affect Genetic Circuit Performance

Over the past 2 decades, synthetic biology has yielded ever more complex genetic circuits that are able to perform sophisticated functions in response to specific signals. Yet, genetic circuits are not immediately transferable to an outside-the-lab setting where their performance is highly compromised. We propose introducing a broader test step to the design-build-test-learn workflow to include factors that might contribute to unexpected genetic circuit performance. As a proof of concept, we have designed and evaluated a genetic circuit in various temperatures, inducer concentrations, nonsterilized soil exposure, and bacterial growth stages. We determined that the circuit's performance is dramatically altered when these factors differ from the optimal lab conditions. We observed significant changes in the time for signal detection as well as signal intensity when the genetic circuit was tested under nonoptimal lab conditions. As a learning effort, we then proceeded to generate model predictions in untested conditions, which is currently lacking in synthetic biology application design. Furthermore, broader test and learn steps uncovered a negative correlation between the time it takes for a gate to turn ON and the bacterial growth phases. As the synthetic biology discipline transitions from proof-of-concept genetic programs to appropriate and safe application implementations, more emphasis on test and learn steps (i.e., characterizing parts and circuits for a broad range of conditions) will provide missing insights on genetic circuit behavior outside the lab.

Experimental Data Connector (XDC): Integrating the Capture of Experimental Data and Metadata Using Standard Formats and Digital Repositories

Accelerating the development of synthetic biology applications requires reproducible experimental findings. Different standards and repositories exist to exchange experimental data and metadata. However, the associated software tools often do not support a uniform data capture, encoding, and exchange of information. A connection between digital repositories is required to prevent siloing and loss of information. To this end, we developed the Experimental Data Connector (XDC). It captures experimental data and related metadata by encoding it in standard formats and storing the converted data in digital repositories. Experimental data is then uploaded to Flapjack and the metadata to SynBioHub in a consistent manner linking these repositories. This produces complete connected experimental data sets that are exchangeable. The information is captured using a single template Excel Workbook, which can be integrated into existing experimental workflow automation processes and semiautomated capture of results.

Specifications of standards in systems and synthetic biology: status and developments in 2022 and the COMBINE meeting 2022

This special issue of the Journal of Integrative Bioinformatics contains updated specifications of COMBINE standards in systems and synthetic biology. The 2022 special issue presents three updates to the standards: CellML 2.0.1, SBML Level 3 Package: Spatial Processes, Version 1, Release 1, and Synthetic Biology Open Language (SBOL) Version 3.1.0. This document can also be used to identify the latest specifications for all COMBINE standards. In addition, this editorial provides a brief overview of the COMBINE 2022 meeting in Berlin.

Robustness and reproducibility of simple and complex synthetic logic circuit designs using a DBTL loop

Computational tools addressing various components of design–build–test–learn (DBTL) loops for the construction of synthetic genetic networks exist but do not generally cover the entire DBTL loop. This manuscript introduces an end-to-end sequence of tools that together form a DBTL loop called Design Assemble Round Trip (DART). DART provides rational selection and refinement of genetic parts to construct and test a circuit. Computational support for experimental process, metadata management, standardized data collection and reproducible data analysis is provided via the previously published Round Trip (RT) test–learn loop. The primary focus of this work is on the Design Assemble (DA) part of the tool chain, which improves on previous techniques by screening up to thousands of network topologies for robust performance using a novel robustness score derived from dynamical behavior based on circuit topology only. In addition, novel experimental support software is introduced for the assembly of genetic circuits. A complete design-through-analysis sequence is presented using several OR and NOR circuit designs, with and without structural redundancy, that are implemented in budding yeast. The execution of DART tested the predictions of the design tools, specifically with regard to robust and reproducible performance under different experimental conditions. The data analysis depended on a novel application of machine learning techniques to segment bimodal flow cytometry distributions. Evidence is presented that, in some cases, a more complex build may impart more robustness and reproducibility across experimental conditions.

SynBioSuite: A Tool for Improving the Workflow for Genetic Design and Modeling

Synthetic biology research has led to the development of many software tools for designing, constructing, editing, simulating, and sharing genetic parts and circuits. Among these tools are SBOLCanvas, iBioSim, and SynBioHub, which can be used in conjunction to create a genetic circuit design following the design-build-test-learn process. However, although automation works within these tools, most of these software tools are not integrated, and the process of transferring information between them is a very manual, error-prone process. To address this problem, this work automates some of these processes and presents SynBioSuite, a cloud-based tool that eliminates many of the drawbacks of the current approach by automating the setup and reception of results for simulating a designed genetic circuit via an application programming interface.

A Comparison of Weighted Stochastic Simulation Methods for the Analysis of Genetic Circuits

Rare events are of particular interest in synthetic biology because rare biochemical events may be catastrophic to a biological system by, for example, triggering irreversible events such as off-target drug delivery. To estimate the probability of rare events efficiently, several weighted stochastic simulation methods have been developed. Under optimal parameters and model conditions, these methods can greatly improve simulation efficiency in comparison to traditional stochastic simulation. Unfortunately, the optimal parameters and conditions cannot be deduced a priori. This paper presents a critical survey of weighted stochastic simulation methods. It shows that the methods considered here cannot consistently, efficiently, and exactly accomplish the task of rare event simulation without resorting to a computationally expensive calibration procedure, which undermines their overall efficiency. The results suggest that further development is needed before these methods can be deployed for general use in biological simulations.

Excel-SBOL Converter: Creating SBOL from Excel Templates and Vice Versa

Standards support synthetic biology research by enabling the exchange of component information. However, using formal representations, such as the Synthetic Biology Open Language (SBOL), typically requires either a thorough understanding of these standards or a suite of tools developed in concurrence with the ontologies. Since these tools may be a barrier for use by many practitioners, the Excel-SBOL Converter was developed to facilitate the use of SBOL and integration into existing workflows. The converter consists of two Python libraries: one that converts Excel templates to SBOL and another that converts SBOL to an Excel workbook. Both libraries can be used either directly or via a SynBioHub plugin.

Engineering genetic circuits: advancements in genetic design automation tools and standards for synthetic biology

Synthetic biology (SynBio) is a field at the intersection of biology and engineering. Inspired by engineering principles, researchers use defined parts to build functionally defined biological circuits. Genetic design automation (GDA) allows scientists to design, model, and analyze their genetic circuits in silico before building them in the lab, saving time, and resources in the process. Establishing SynBio's future is dependent on GDA, since the computational approach opens the field to a broad, interdisciplinary community. However, challenges with part libraries, standards, and software tools are currently stalling progress in the field. This review first covers recent advancements in GDA, followed by an assessment of the challenges ahead, and a proposed automated genetic design workflow for the future.

Genetic circuit design automation with Cello 2.0

Cells interact with their environment, communicate among themselves, track time and make decisions through functions controlled by natural regulatory genetic circuits consisting of interacting biological components. Synthetic programmable circuits used in therapeutics and other applications can be automatically designed by computer-aided tools. The Cello software designs the DNA sequences for programmable circuits based on a high-level software description and a library of characterized DNA parts representing Boolean logic gates. This process allows for design specification reuse, modular DNA part library curation and formalized circuit transformations based on experimental data. This protocol describes Cello 2.0, a freely available cross-platform software written in Java. Cello 2.0 enables flexible descriptions of the logic gates' structure and their mathematical models representing dynamic behavior, new formal rules for describing the placement of gates in a genome, a new graphical user interface, support for Verilog 2005 syntax and a connection to the SynBioHub parts repository software environment. Collectively, these features expand Cello's capabilities beyond Escherichia coli plasmids to new organisms and broader genetic contexts, including the genome. Designing circuits with Cello 2.0 produces an abstract Boolean network from a Verilog file, assigns biological parts to each node in the Boolean network, constructs a DNA sequence and generates highly structured and annotated sequence representations suitable for downstream processing and fabrication, respectively. The result is a sequence implementing the specified Boolean function in the organism and predictions of circuit performance. Depending on the size of the design space and users' expertise, jobs may take minutes or hours to complete.

Sequence-Based Searching for SynBioHub Using VSEARCH

The ability to search for a part by its sequence is crucial for a large repository of parts. Prior to this work, however, this was not possible on SynBioHub. Sequence-based search is now integrated into SynBioHub, allowing users to find a part by a sequence provided in plain text or a supported file format. This sequence-based search feature is accessible to users via SynBioHub's web interface, or programmatically through its API. The core implementation of the tool uses VSEARCH, an open source, global alignment search tool, and it is integrated into SBOLExplorer, an open source distributed search engine used by SynBioHub. We present a new approach to scoring part similarity using SBOLExplorer, which takes into account both the popularity and percentage match of parts.

Measurement of the Cross Sections of Ξ_{c}^{0} and Ξ_{c}^{+} Baryons and of the Branching-Fraction Ratio BR(Ξ_{c}^{0}→Ξ^{-}e^{+}ν_{e})/BR(Ξ_{c}^{0}→Ξ^{-}π^{+}) in pp Collisions at sqrt[s]=13 TeV

The p_{T}-differential cross sections of prompt charm-strange baryons Ξ_{c}^{0} and Ξ_{c}^{+} were measured at midrapidity (|y|<0.5) in proton-proton (pp) collisions at a center-of-mass energy sqrt[s]=13  TeV with the ALICE detector at the LHC. The Ξ_{c}^{0} baryon was reconstructed via both the semileptonic decay (Ξ^{-}e^{+}ν_{e}) and the hadronic decay (Ξ^{-}π^{+}) channels. The Ξ_{c}^{+} baryon was reconstructed via the hadronic decay (Ξ^{-}π^{+}π^{+}) channel. The branching-fraction ratio BR(Ξ_{c}^{0}→Ξ^{-}e^{+}ν_{e})/BR(Ξ_{c}^{0}→Ξ^{-}π^{+})=1.38±0.14(stat)±0.22(syst) was measured with a total uncertainty reduced by a factor of about 3 with respect to the current world average reported by the Particle Data Group. The transverse momentum (p_{T}) dependence of the Ξ_{c}^{0}- and Ξ_{c}^{+}-baryon production relative to the D^{0} meson and to the Σ_{c}^{0,+,++}- and Λ_{c}^{+}-baryon production are reported. The baryon-to-meson ratio increases toward low p_{T} up to a value of approximately 0.3. The measurements are compared with various models that take different hadronization mechanisms into consideration. The results provide stringent constraints to these theoretical calculations and additional evidence that different processes are involved in charm hadronization in electron-positron (e^{+}e^{-}) and hadronic collisions.

Synthetic Biology Curation Tools (SYNBICT)

Much progress has been made in developing tools to generate component-based design representations of biological systems from standard libraries of parts. Most biological designs, however, are still specified at the sequence level. Consequently, there exists a need for a tool that can be used to automatically infer component-based design representations from sequences, particularly in cases when those sequences have minimal levels of annotation. Such a tool would assist computational synthetic biologists in bridging the gap between the outputs of sequence editors and the inputs to more sophisticated design tools, and it would facilitate their development of automated workflows for design curation and quality control. Accordingly, we introduce Synthetic Biology Curation Tools (SYNBICT), a Python tool suite for automation-assisted annotation, curation, and functional inference for genetic designs. We have validated SYNBICT by applying it to genetic designs in the DARPA Synergistic Discovery & Design (SD2) program and the International Genetically Engineered Machines (iGEM) 2018 distribution. Most notably, SYNBICT is more automated and parallelizable than manual design editors, and it can be applied to interpret existing designs instead of only generating new ones.

Λ_{c}^{+} Production and Baryon-to-Meson Ratios in pp and p-Pb Collisions at sqrt[s_{NN}]=5.02 TeV at the LHC

The prompt production of the charm baryon Λ_{c}^{+} and the Λ_{c}^{+}/D^{0} production ratios were measured at midrapidity with the ALICE detector in pp and p-Pb collisions at sqrt[s_{NN}]=5.02  TeV. These new measurements show a clear decrease of the Λ_{c}^{+}/D^{0} ratio with increasing transverse momentum (p_{T}) in both collision systems in the range 2<p_{T}<12  GeV/c, exhibiting similarities with the light-flavor baryon-to-meson ratios p/π and Λ/K_{S}^{0}. At low p_{T}, predictions that include additional color-reconnection mechanisms beyond the leading-color approximation, assume the existence of additional higher-mass charm-baryon states, or include hadronization via coalescence can describe the data, while predictions driven by charm-quark fragmentation processes measured in e^{+}e^{-} and e^{-}p collisions significantly underestimate the data. The results presented in this Letter provide significant evidence that the established assumption of universality (colliding-system independence) of parton-to-hadron fragmentation is not sufficient to describe charm-baryon production in hadronic collisions at LHC energies.

Experimental Evidence for an Attractive p-ϕ Interaction

This Letter presents the first experimental evidence of the attractive strong interaction between a proton and a ϕ meson. The result is obtained from two-particle correlations of combined p-ϕ⊕ p[over ¯]-ϕ pairs measured in high-multiplicity pp collisions at sqrt[s]=13  TeV by the ALICE Collaboration. The spin-averaged scattering length and effective range of the p-ϕ interaction are extracted from the fully corrected correlation function employing the Lednický-Lyuboshits approach. In particular, the imaginary part of the scattering length vanishes within uncertainties, indicating that inelastic processes do not play a prominent role for the p-ϕ interaction. These data demonstrate that the interaction is dominated by elastic p-ϕ scattering. Furthermore, an analysis employing phenomenological Gaussian- and Yukawa-type potentials is conducted. Under the assumption of the latter, the N-ϕ coupling constant is found to be g_{N-ϕ}=0.14±0.03(stat)±0.02(syst). This work provides valuable experimental input to accomplish a self-consistent description of the N-ϕ interaction, which is particularly relevant for the more fundamental studies on partial restoration of chiral symmetry in nuclear medium.

Specifications of standards in systems and synthetic biology: status and developments in 2021

This special issue of the Journal of Integrative Bioinformatics contains updated specifications of COMBINE standards in systems and synthetic biology. The 2021 special issue presents four updates of standards: Synthetic Biology Open Language Visual Version 2.3, Synthetic Biology Open Language Visual Version 3.0, Simulation Experiment Description Markup Language Level 1 Version 4, and OMEX Metadata specification Version 1.2. This document can also be consulted to identify the latest specifications of all COMBINE standards.

Stochastic Hazard Analysis of Genetic Circuits in iBioSim and STAMINA

In synthetic biology, combinational circuits are used to program cells for various new applications like biosensors, drug delivery systems, and biofuels. Similar to asynchronous electronic circuits, some combinational genetic circuits may show unwanted switching variations (glitches) caused by multiple input changes. Depending on the biological circuit, glitches can cause irreversible effects and jeopardize the circuit's functionality. This paper presents a stochastic analysis to predict glitch propensities for three implementations of a genetic circuit with known glitching behavior. The analysis uses STochastic Approximate Model-checker for INfinite-state Analysis (STAMINA), a tool for stochastic verification. The STAMINA results were validated by comparison to stochastic simulation in iBioSim resulting in further improvements of STAMINA. This paper demonstrates that stochastic verification can be utilized by genetic designers to evaluate design choices and input restrictions to achieve a desired reliability of operation.

Curation Principles Derived from the Analysis of the SBOL iGEM Data Set

As an engineering endeavor, synthetic biology requires effective sharing of genetic design information that can be reused in the construction of new designs. While there are a number of large community repositories of design information, curation of this information has been limited. This in turn limits the ways in which design information can be put to use. The aim of this work was to improve this situation by creating a curated library of parts from the International Genetically Engineered Machines (iGEM) registry data set. To this end, an analysis of the Synthetic Biology Open Language (SBOL) version of the iGEM registry was carried out using four different approaches-simple statistics, SnapGene autoannotation, SYNBICT autoannotation, and expert analysis-the results of which are presented herein. Key challenges encountered include the use of free text, insufficient part provenance, part duplication, lack of part removal, and insufficient continuous curation. On the basis of these analyses, the focus has shifted from the creation of a curated iGEM part library to instead the extraction of a set of lessons, which are presented here. These lessons can be exploited to facilitate the creation and curation of other part libraries using a simpler and less labor intensive process.

Synthetic Biology Knowledge System

The Synthetic Biology Knowledge System (SBKS) is an instance of the SynBioHub repository that includes text and data information that has been mined from papers published in ACS Synthetic Biology. This paper describes the SBKS curation framework that is being developed to construct the knowledge stored in this repository. The text mining pipeline performs automatic annotation of the articles using natural language processing techniques to identify salient content such as key terms, relationships between terms, and main topics. The data mining pipeline performs automatic annotation of the sequences extracted from the supplemental documents with the genetic parts used in them. Together these two pipelines link genetic parts to papers describing the context in which they are used. Ultimately, SBKS will reduce the time necessary for synthetic biologists to find the information necessary to complete their designs.

Multiharmonic Correlations of Different Flow Amplitudes in Pb-Pb Collisions at sqrt[s_{NN}]=2.76 TeV

The event-by-event correlations between three flow amplitudes are measured for the first time in Pb-Pb collisions, using higher-order symmetric cumulants. We find that different three-harmonic correlations develop during the collective evolution of the medium when compared to correlations that exist in the initial state. These new results cannot be interpreted in terms of previous lower-order flow measurements since contributions from two-harmonic correlations are explicitly removed in the new observables. A comparison to Monte Carlo simulations provides new and independent constraints for the initial conditions and system properties of nuclear matter created in heavy-ion collisions.

VisBOL2-Improving Web-Based Visualization for Synthetic Biology Designs

VisBOL is a web-based visualization tool used to depict genetic circuit designs. This tool depicts simple DNA circuits adequately, but it has become increasingly outdated as new versions of SBOL Visual were released. This paper introduces VisBOL2, a heavily redesigned version of VisBOL that makes a number of improvements to the original VisBOL, including proper functional interaction rendering, dynamic viewing, a more maintainable code base, and modularity that facilitates compatibility with other software tools. This modularity is demonstrated by incorporating VisBOL2 into a sequence visualization plugin for SynBioHub.

Soft-Dielectron Excess in Proton-Proton Collisions at sqrt[s]=13 TeV

A measurement of dielectron production in proton-proton (pp) collisions at sqrt[s]=13  TeV, recorded with the ALICE detector at the CERN LHC, is presented in this Letter. The data set was recorded with a reduced magnetic solenoid field. This enables the investigation of a kinematic domain at low dielectron (ee) invariant mass m_{ee} and pair transverse momentum p_{T,ee} that was previously inaccessible at the LHC. The cross section for dielectron production is studied as a function of m_{ee}, p_{T,ee}, and event multiplicity dN_{ch}/dη. The expected dielectron rate from hadron decays, called hadronic cocktail, utilizes a parametrization of the measured η/π^{0} ratio in pp and proton-nucleus collisions, assuming that this ratio shows no strong dependence on collision energy at low transverse momentum. Comparison of the measured dielectron yield to the hadronic cocktail at 0.15<m_{ee}<0.6  GeV/c^{2} and for p_{T,ee}<0.4  GeV/c indicates an enhancement of soft dielectrons, reminiscent of the "anomalous" soft-photon and soft-dilepton excess in hadron-hadron collisions reported by several experiments under different experimental conditions. The enhancement factor over the hadronic cocktail amounts to 1.61±0.13(stat)±0.17(syst,data)±0.34(syst,cocktail) in the ALICE acceptance. Acceptance-corrected excess spectra in m_{ee} and p_{T,ee} are extracted and compared with calculations of dielectron production from hadronic bremsstrahlung and thermal radiation within a hadronic many-body approach.

SBOLCanvas: A Visual Editor for Genetic Designs

SBOLCanvas is a web-based application that can create and edit genetic constructs using the SBOL data and visual standards. SBOLCanvas allows a user to create a genetic design visually and structurally from start to finish. It also allows users to incorporate existing SBOL data from a SynBioHub repository. By the nature of being a web-based application, SBOLCanvas is readily accessible and easy to use. A live version of the latest release can be found at https://sbolcanvas.org.

Quantitative characterization of recombinase-based digitizer circuits enables predictable amplification of biological signals

Many synthetic gene circuits are restricted to single-use applications or require iterative refinement for incorporation into complex systems. One example is the recombinase-based digitizer circuit, which has been used to improve weak or leaky biological signals. Here we present a workflow to quantitatively define digitizer performance and predict responses to different input signals. Using a combination of signal-to-noise ratio (SNR), area under a receiver operating characteristic curve (AUC), and fold change (FC), we evaluate three small-molecule inducible digitizer designs demonstrating FC up to 508x and SNR up to 3.77 dB. To study their behavior further and improve modularity, we develop a mixed phenotypic/mechanistic model capable of predicting digitizer configurations that amplify a synNotch cell-to-cell communication signal (Δ SNR up to 2.8 dB). We hope the metrics and modeling approaches here will facilitate incorporation of these digitizers into other systems while providing an improved workflow for gene circuit characterization.

Elliptic Flow of Electrons from Beauty-Hadron Decays in Pb-Pb Collisions at sqrt[s_{NN}]=5.02 TeV

The elliptic flow of electrons from beauty hadron decays at midrapidity (|y|<0.8) is measured in Pb-Pb collisions at sqrt[s_{NN}]=5.02  TeV with the ALICE detector at the LHC. The azimuthal distribution of the particles produced in the collisions can be parametrized with a Fourier expansion, in which the second harmonic coefficient represents the elliptic flow, v_{2}. The v_{2} coefficient of electrons from beauty hadron decays is measured for the first time in the transverse momentum (p_{T}) range 1.3-6  GeV/c in the centrality class 30%-50%. The measurement of electrons from beauty-hadron decays exploits their larger mean proper decay length cτ≈500  μm compared to that of charm hadrons and most of the other background sources. The v_{2} of electrons from beauty hadron decays at midrapidity is found to be positive with a significance of 3.75  σ. The results provide insights into the degree of thermalization of beauty quarks in the medium. A model assuming full thermalization of beauty quarks is strongly disfavored by the measurement at high p_{T}, but is in agreement with the results at low p_{T}. Transport models including substantial interactions of beauty quarks with an expanding strongly interacting medium describe the measurement within uncertainties.

Measurement of the Low-Energy Antideuteron Inelastic Cross Section

In this Letter, we report the first measurement of the inelastic cross section for antideuteron-nucleus interactions at low particle momenta, covering a range of 0.3≤p<4  GeV/c. The measurement is carried out using p-Pb collisions at a center-of-mass energy per nucleon-nucleon pair of sqrt[s_{NN}]=5.02  TeV, recorded with the ALICE detector at the CERN LHC and utilizing the detector material as an absorber for antideuterons and antiprotons. The extracted raw primary antiparticle-to-particle ratios are compared to the results from detailed ALICE simulations based on the geant4 toolkit for the propagation of (anti)particles through the detector material. The analysis of the raw primary (anti)proton spectra serves as a benchmark for this study, since their hadronic interaction cross sections are well constrained experimentally. The first measurement of the inelastic cross section for antideuteron-nucleus interactions averaged over the ALICE detector material with atomic mass numbers ⟨A⟩=17.4 and 31.8 is obtained. The measured inelastic cross section points to a possible excess with respect to the Glauber model parametrization used in geant4 in the lowest momentum interval of 0.3≤p<0.47  GeV/c up to a factor 2.1. This result is relevant for the understanding of antimatter propagation and the contributions to antinuclei production from cosmic ray interactions within the interstellar medium. In addition, the momentum range covered by this measurement is of particular importance to evaluate signal predictions for indirect dark-matter searches.

The Synthetic Biology Open Language (SBOL) Version 3: Simplified Data Exchange for Bioengineering

The Synthetic Biology Open Language (SBOL) is a community-developed data standard that allows knowledge about biological designs to be captured using a machine-tractable, ontology-backed representation that is built using Semantic Web technologies. While early versions of SBOL focused only on the description of DNA-based components and their sub-components, SBOL can now be used to represent knowledge across multiple scales and throughout the entire synthetic biology workflow, from the specification of a single molecule or DNA fragment through to multicellular systems containing multiple interacting genetic circuits. The third major iteration of the SBOL standard, SBOL3, is an effort to streamline and simplify the underlying data model with a focus on real-world applications, based on experience from the deployment of SBOL in a variety of scientific and industrial settings. Here, we introduce the SBOL3 specification both in comparison to previous versions of SBOL and through practical examples of its use.

SBML Level 3: an extensible format for the exchange and reuse of biological models

Systems biology has experienced dramatic growth in the number, size, and complexity of computational models. To reproduce simulation results and reuse models, researchers must exchange unambiguous model descriptions. We review the latest edition of the Systems Biology Markup Language (SBML), a format designed for this purpose. A community of modelers and software authors developed SBML Level 3 over the past decade. Its modular form consists of a core suited to representing reaction-based models and packages that extend the core with features suited to other model types including constraint-based models, reaction-diffusion models, logical network models, and rule-based models. The format leverages two decades of SBML and a rich software ecosystem that transformed how systems biologists build and interact with models. More recently, the rise of multiscale models of whole cells and organs, and new data sources such as single-cell measurements and live imaging, has precipitated new ways of integrating data with models. We provide our perspectives on the challenges presented by these developments and how SBML Level 3 provides the foundation needed to support this evolution.

Systems Biology Markup Language (SBML) Level 3 Package: Distributions, Version 1, Release 1

Biological models often contain elements that have inexact numerical values, since they are based on values that are stochastic in nature or data that contains uncertainty. The Systems Biology Markup Language (SBML) Level 3 Core specification does not include an explicit mechanism to include inexact or stochastic values in a model, but it does provide a mechanism for SBML packages to extend the Core specification and add additional syntactic constructs. The SBML Distributions package for SBML Level 3 adds the necessary features to allow models to encode information about the distribution and uncertainty of values underlying a quantity.

Probing the Effects of Strong Electromagnetic Fields with Charge-Dependent Directed Flow in Pb-Pb Collisions at the LHC

The first measurement at the LHC of charge-dependent directed flow (v_{1}) relative to the spectator plane is presented for Pb-Pb collisions at sqrt[s_{NN}]=5.02  TeV. Results are reported for charged hadrons and D^{0} mesons for the transverse momentum intervals p_{T}>0.2  GeV/c and 3<p_{T}<6  GeV/c in the 5%-40% and 10%-40% centrality classes, respectively. The difference between the positively and negatively charged hadron v_{1} has a positive slope as a function of pseudorapidity η, dΔv_{1}/dη=[1.68±0.49(stat)±0.41(syst)]×10^{-4}. The same measurement for D^{0} and D[over ¯]^{0} mesons yields a positive value dΔv_{1}/dη=[4.9±1.7(stat)±0.6(syst)]×10^{-1}, which is about 3 orders of magnitude larger than the one of the charged hadrons. These measurements can provide new insights into the effects of the strong electromagnetic field and the initial tilt of matter created in noncentral heavy ion collisions on the dynamics of light (u, d, and s) and heavy (c) quarks. The large difference between the observed Δv_{1} of charged hadrons and D^{0} mesons may reflect different sensitivity of the charm and light quarks to the early time dynamics of a heavy ion collision. These observations challenge some recent theoretical calculations, which predicted a negative and an order of magnitude smaller value of dΔv_{1}/dη for both light flavor and charmed hadrons.

Evidence of Spin-Orbital Angular Momentum Interactions in Relativistic Heavy-Ion Collisions

The first evidence of spin alignment of vector mesons (K^{*0} and ϕ) in heavy-ion collisions at the Large Hadron Collider (LHC) is reported. The spin density matrix element ρ_{00} is measured at midrapidity (|y|<0.5) in Pb-Pb collisions at a center-of-mass energy (sqrt[s_{NN}]) of 2.76 TeV with the ALICE detector. ρ_{00} values are found to be less than 1/3 (1/3 implies no spin alignment) at low transverse momentum (p_{T}<2  GeV/c) for K^{*0} and ϕ at a level of 3σ and 2σ, respectively. No significant spin alignment is observed for the K_{S}^{0} meson (spin=0) in Pb-Pb collisions and for the vector mesons in pp collisions. The measured spin alignment is unexpectedly large but qualitatively consistent with the expectation from models which attribute it to a polarization of quarks in the presence of angular momentum in heavy-ion collisions and a subsequent hadronization by the process of recombination.

The first 10 years of the international coordination network for standards in systems and synthetic biology (COMBINE)

This paper presents a report on outcomes of the 10th Computational Modeling in Biology Network (COMBINE) meeting that was held in Heidelberg, Germany, in July of 2019. The annual event brings together researchers, biocurators and software engineers to present recent results and discuss future work in the area of standards for systems and synthetic biology. The COMBINE initiative coordinates the development of various community standards and formats for computational models in the life sciences. Over the past 10 years, COMBINE has brought together standard communities that have further developed and harmonized their standards for better interoperability of models and data. COMBINE 2019 was co-located with a stakeholder workshop of the European EU-STANDS4PM initiative that aims at harmonized data and model standardization for in silico models in the field of personalized medicine, as well as with the FAIRDOM PALs meeting to discuss findable, accessible, interoperable and reusable (FAIR) data sharing. This report briefly describes the work discussed in invited and contributed talks as well as during breakout sessions. It also highlights recent advancements in data, model, and annotation standardization efforts. Finally, this report concludes with some challenges and opportunities that this community will face during the next 10 years.

Synthetic biology open language (SBOL) version 3.0.0

Synthetic biology builds upon genetics, molecular biology, and metabolic engineering by applying engineering principles to the design of biological systems. When designing a synthetic system, synthetic biologists need to exchange information about multiple types of molecules, the intended behavior of the system, and actual experimental measurements. The Synthetic Biology Open Language (SBOL) has been developed as a standard to support the specification and exchange of biological design information in synthetic biology, following an open community process involving both wet bench scientists and dry scientific modelers and software developers, across academia, industry, and other institutions. This document describes SBOL 3.0.0, which condenses and simplifies previous versions of SBOL based on experiences in deployment across a variety of scientific and industrial settings. In particular, SBOL 3.0.0, (1) separates sequence features from part/sub-part relationships, (2) renames Component Definition/Component to Component/Sub-Component, (3) merges Component and Module classes, (4) ensures consistency between data model and ontology terms, (5) extends the means to define and reference Sub-Components, (6) refines requirements on object URIs, (7) enables graph-based serialization, (8) moves Systems Biology Ontology (SBO) for Component types, (9) makes all sequence associations explicit, (10) makes interfaces explicit, (11) generalizes Sequence Constraints into a general structural Constraint class, and (12) expands the set of allowed constraints.

SBOL Visual 2 Ontology

Standardizing the visual representation of genetic parts and circuits is essential for unambiguously creating and interpreting genetic designs. To this end, an increasing number of tools are adopting well-defined glyphs from the Synthetic Biology Open Language (SBOL) Visual standard to represent various genetic parts and their relationships. However, the implementation and maintenance of the relationships between biological elements or concepts and their associated glyphs has up to now been left up to tool developers. We address this need with the SBOL Visual 2 Ontology, a machine-accessible resource that provides rules for mapping from genetic parts, molecules, and interactions between them, to agreed SBOL Visual glyphs. This resource, together with a web service, can be used as a library to simplify the development of visualization tools, as a stand-alone resource to computationally search for suitable glyphs, and to help facilitate integration with existing biological ontologies and standards in synthetic biology.

Scattering Studies with Low-Energy Kaon-Proton Femtoscopy in Proton-Proton Collisions at the LHC

The study of the strength and behavior of the antikaon-nucleon (K[over ¯]N) interaction constitutes one of the key focuses of the strangeness sector in low-energy quantum chromodynamics (QCD). In this Letter a unique high-precision measurement of the strong interaction between kaons and protons, close and above the kinematic threshold, is presented. The femtoscopic measurements of the correlation function at low pair-frame relative momentum of (K^{+}p⊕K^{-}p[over ¯]) and (K^{-}p⊕K^{+}p[over ¯]) pairs measured in pp collisions at sqrt[s]=5, 7, and 13 TeV are reported. A structure observed around a relative momentum of 58  MeV/c in the measured correlation function of (K^{-}p⊕K^{+}p[over ¯]) with a significance of 4.4σ constitutes the first experimental evidence for the opening of the (K[over ¯]^{0}n⊕K^{0}n[over ¯]) isospin breaking channel due to the mass difference between charged and neutral kaons. The measured correlation functions have been compared to Jülich and Kyoto models in addition to the Coulomb potential. The high-precision data at low relative momenta presented in this work prove femtoscopy to be a powerful complementary tool to scattering experiments and provide new constraints above the K[over ¯]N threshold for low-energy QCD chiral models.

Measurement of ϒ(1S) Elliptic Flow at Forward Rapidity in Pb-Pb Collisions at sqrt[s_{NN}]=5.02 TeV

The first measurement of the ϒ(1S) elliptic flow coefficient (v_{2}) is performed at forward rapidity (2.5<y<4) in Pb-Pb collisions at sqrt[s_{NN}]=5.02  TeV with the ALICE detector at the LHC. The results are obtained with the scalar product method and are reported as a function of transverse momentum (p_{T}) up to 15  GeV/c in the 5%-60% centrality interval. The measured ϒ(1S)v_{2} is consistent with 0 and with the small positive values predicted by transport models within uncertainties. The v_{2} coefficient in 2<p_{T}<15  GeV/c is lower than that of inclusive J/ψ mesons in the same p_{T} interval by 2.6 standard deviations. These results, combined with earlier suppression measurements, are in agreement with a scenario in which the ϒ(1S) production in Pb-Pb collisions at LHC energies is dominated by dissociation limited to the early stage of the collision, whereas in the J/ψ case there is substantial experimental evidence of an additional regeneration component.

SBOLExplorer: Data Infrastructure and Data Mining for Genetic Design Repositories

This paper describes SBOLExplorer, a system that is used to provide intuitive searching within the SynBioHub genetic design repository. SynBioHub stores genetic constructs encoded in the SBOL data format. These constructs can represent genetic parts, circuits, and sequences. These constructs are often numerous, exist in various states of completeness and documentation, and do not lend themselves to simple searching and discovery. In particular, this paper focuses on improving the search capabilities of SynBioHub. Inspiration is drawn from the techniques used to organize and search over the World Wide Web, a linked data set with many of the same properties of the SBOL data in SynBioHub. SBOLExplorer integrates these methods into SynBioHub's data representation and search, providing significant improvement over the previous search implementation based on pattern-matching.

Investigations of Anisotropic Flow Using Multiparticle Azimuthal Correlations in pp, p-Pb, Xe-Xe, and Pb-Pb Collisions at the LHC

Measurements of anisotropic flow coefficients (v_{n}) and their cross-correlations using two- and multiparticle cumulant methods are reported in collisions of pp at sqrt[s]=13  TeV, p-Pb at a center-of-mass energy per nucleon pair sqrt[s_{NN}]=5.02  TeV, Xe-Xe at sqrt[s_{NN}]=5.44  TeV, and Pb-Pb at sqrt[s_{NN}]=5.02  TeV recorded with the ALICE detector. The multiplicity dependence of v_{n} is studied in a very wide range from 20 to 3000 particles produced in the midrapidity region |η|<0.8 for the transverse momentum range 0.2<p_{T}<3.0  GeV/c. An ordering of the coefficients v_{2}>v_{3}>v_{4} is found in pp and p-Pb collisions, similar to that seen in large collision systems, while a weak v_{2} multiplicity dependence is observed relative to nucleus-nucleus collisions in the same multiplicity range. Using a novel subevent method, v_{2} measured with four-particle cumulants is found to be compatible with that from six-particle cumulants in pp and p-Pb collisions. The magnitude of the correlation between v_{n}^{2} and v_{m}^{2}, evaluated with the symmetric cumulants SC(m,n) is observed to be positive at all multiplicities for v_{2} and v_{4}, while for v_{2} and v_{3} it is negative and changes sign for multiplicities below 100, which may indicate a different v_{n} fluctuation pattern in this multiplicity range. The observed long-range multiparticle azimuthal correlations in high multiplicity pp and p-Pb collisions can neither be described by pythia 8 nor by impact-parameter-Glasma, music, and ultrarelativistic quantum molecular dynamics model calculations, and hence, provide new insights into the understanding of collective effects in small collision systems.

First Observation of an Attractive Interaction between a Proton and a Cascade Baryon

This Letter presents the first experimental observation of the attractive strong interaction between a proton and a multistrange baryon (hyperon) Ξ^{-}. The result is extracted from two-particle correlations of combined p-Ξ^{-}⊕p[over ¯]-Ξ[over ¯]^{+} pairs measured in p-Pb collisions at sqrt[s_{NN}]=5.02  TeV at the LHC with ALICE. The measured correlation function is compared with the prediction obtained assuming only an attractive Coulomb interaction and a standard deviation in the range [3.6, 5.3] is found. Since the measured p-Ξ^{-}⊕p[over ¯]-Ξ[over ¯]^{+} correlation is significantly enhanced with respect to the Coulomb prediction, the presence of an additional, strong, attractive interaction is evident. The data are compatible with recent lattice calculations by the HAL-QCD Collaboration, with a standard deviation in the range [1.8, 3.7]. The lattice potential predicts a shallow repulsive Ξ^{-} interaction within pure neutron matter and this implies stiffer equations of state for neutron-rich matter including hyperons. Implications of the strong interaction for the modeling of neutron stars are discussed.

pySBOL: A Python Package for Genetic Design Automation and Standardization

This paper presents pySBOL, a software library for computer-aided design of synthetic biological systems in the Python scripting language. This library provides an easy-to-use, object-oriented, application programming interface (API) with low barrier of entry for synthetic biology application developers. The pySBOL library enables reuse of genetic parts and designs through standardized data exchange with biological parts repositories and software tools that communicate using the Synthetic Biology Open Language (SBOL). In addition, pySBOL supports data management of design-build-test-learn workflows for individual laboratories as well as large, distributed teams of synthetic biologists. PySBOL also lets users add custom data to SBOL files to support the specific data requirements of their research. This extensibility helps users integrate software tool chains and develop workflows for new applications. These features and others make the pySBOL library a valuable tool for supporting engineering practices in synthetic biology. Documentation and installation instructions can be found at pysbol2.readthedocs.io .

Specifying Combinatorial Designs with the Synthetic Biology Open Language (SBOL)

As improvements in DNA synthesis technology and assembly methods make combinatorial assembly of genetic constructs increasingly accessible, methods for representing genetic constructs likewise need to improve to handle the exponential growth of combinatorial design space. To this end, we present a community accepted extension of the SBOL data standard that allows for the efficient and flexible encoding of combinatorial designs. This extension includes data structures for representing genetic designs with "variable" components that can be implemented by choosing one of many linked designs for existing genetic parts or constructs. We demonstrate the representational power of the SBOL combinatorial design extension through case studies on metabolic pathway design and genetic circuit design, and we report the expansion of the SBOLDesigner software tool to support users in creating and modifying combinatorial designs in SBOL.

The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core Release 2

Computational models can help researchers to interpret data, understand biological functions, and make quantitative predictions. The Systems Biology Markup Language (SBML) is a file format for representing computational models in a declarative form that different software systems can exchange. SBML is oriented towards describing biological processes of the sort common in research on a number of topics, including metabolic pathways, cell signaling pathways, and many others. By supporting SBML as an input/output format, different tools can all operate on an identical representation of a model, removing opportunities for translation errors and assuring a common starting point for analyses and simulations. This document provides the specification for Release 2 of Version 2 of SBML Level 3 Core. The specification defines the data structures prescribed by SBML as well as their encoding in XML, the eXtensible Markup Language. Release 2 corrects some errors and clarifies some ambiguities discovered in Release 1. This specification also defines validation rules that determine the validity of an SBML document, and provides many examples of models in SBML form. Other materials and software are available from the SBML project website at http://sbml.org/.

Azimuthal Anisotropy of Heavy-Flavor Decay Electrons in p-Pb Collisions at sqrt[s_{NN}]=5.02 TeV

Angular correlations between heavy-flavor decay electrons and charged particles at midrapidity (|η|<0.8) are measured in p-Pb collisions at sqrt[s_{NN}]=5.02  TeV. The analysis is carried out for the 0%-20% (high) and 60%-100% (low) multiplicity ranges. The jet contribution in the correlation distribution from high-multiplicity events is removed by subtracting the distribution from low-multiplicity events. An azimuthal modulation remains after removing the jet contribution, similar to previous observations in two-particle angular correlation measurements for light-flavor hadrons. A Fourier decomposition of the modulation results in a positive second-order coefficient (v_{2}) for heavy-flavor decay electrons in the transverse momentum interval 1.5<p_{T}<4  GeV/c in high-multiplicity events, with a significance larger than 5σ. The results are compared with those of charged particles at midrapidity and those of inclusive muons at forward rapidity. The v_{2} measurement of open heavy-flavor particles at midrapidity in small collision systems could provide crucial information to help interpret the anisotropies observed in such systems.

sboljs: Bringing the Synthetic Biology Open Language to the Web Browser

The Synthetic Biology Open Language (SBOL) is a data standard for the representation of engineered biological systems. SBOL is implemented in the form of software libraries which can be used to add SBOL support to both new and existing software tools. While existing libraries allow for software to be developed that runs on a server or is installed locally, they lack the capability to create SBOL software that runs directly in a Web browser. Here, we address this issue by presenting sboljs, a JavaScript software library for SBOL that is capable of being used both on the server and in the Web browser.

Correction to: Meeting report from the fourth meeting of the Computational Modeling in Biology Network (COMBINE)

[This corrects the article DOI: 10.4056/sigs.5279417.].

The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 1 Core

Computational models can help researchers to interpret data, understand biological functions, and make quantitative predictions. The Systems Biology Markup Language (SBML) is a file format for representing computational models in a declarative form that different software systems can exchange. SBML is oriented towards describing biological processes of the sort common in research on a number of topics, including metabolic pathways, cell signaling pathways, and many others. By supporting SBML as an input/output format, different tools can all operate on an identical representation of a model, removing opportunities for translation errors and assuring a common starting point for analyses and simulations. This document provides the specification for Release 2 of Version 1 of SBML Level 3 Core. The specification defines the data structures prescribed by SBML, their encoding in XML (the eXtensible Markup Language), validation rules that determine the validity of an SBML document, and examples of models in SBML form. No design changes have been made to the description of models between Release 1 and Release 2; changes are restricted to the format of annotations, the correction of errata and the addition of clarifications. Other materials and software are available from the SBML project website at http://sbml.org/.

D-Meson Azimuthal Anisotropy in Midcentral Pb-Pb Collisions at sqrt[s]_{NN}=5.02 TeV

The azimuthal anisotropy coefficient v_{2} of prompt D^{0}, D^{+}, D^{*+}, and D_{s}^{+} mesons was measured in midcentral (30%-50% centrality class) Pb-Pb collisions at a center-of-mass energy per nucleon pair sqrt[s_{NN}]=5.02  TeV, with the ALICE detector at the LHC. The D mesons were reconstructed via their hadronic decays at midrapidity, |y|<0.8, in the transverse momentum interval 1<p_{T}<24  GeV/c. The measured D-meson v_{2} has similar values as that of charged pions. The D_{s}^{+} v_{2}, measured for the first time, is found to be compatible with that of nonstrange D mesons. The measurements are compared with theoretical calculations of charm-quark transport in a hydrodynamically expanding medium and have the potential to constrain medium parameters.

The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core

Computational models can help researchers to interpret data, understand biological functions, and make quantitative predictions. The Systems Biology Markup Language (SBML) is a file format for representing computational models in a declarative form that different software systems can exchange. SBML is oriented towards describing biological processes of the sort common in research on a number of topics, including metabolic pathways, cell signaling pathways, and many others. By supporting SBML as an input/output format, different tools can all operate on an identical representation of a model, removing opportunities for translation errors and assuring a common starting point for analyses and simulations. This document provides the specification for Version 2 of SBML Level 3 Core. The specification defines the data structures prescribed by SBML, their encoding in XML (the eXtensible Markup Language), validation rules that determine the validity of an SBML document, and examples of models in SBML form. The design of Version 2 differs from Version 1 principally in allowing new MathML constructs, making more child elements optional, and adding identifiers to all SBML elements instead of only selected elements. Other materials and software are available from the SBML project website at http://sbml.org/.