• Sincera

  • Referenced in 1 article [sw23915]
  • pipeline (SINCERA: a computational pipeline for SINgle CEll RNA-seq profiling Analysis) for processing scRNA ... data from a whole organ or sorted cells. The pipeline supports the analysis...
  • ProtNet

  • Referenced in 1 article [sw29365]
  • estimated crowding of proteins in the cell cytoplasm. Proteins or protein complexes are free ... lattice that represents a sort of naïve unstructured cell (devoid of compartments). At each time ... complexes) that happen to be in neighboring cells may interact and form larger complexes ... sort of ”discrete molecular dynamics” applied to interacting proteins in a cell. We have tested...
  • Athena

  • Referenced in 10 articles [sw09967]
  • imperative features (e.g. ML-style updateable memory cells) that can be used as an escape ... proving system, Athena is based on many-sorted first-order logic. Many-sorted first-order...
  • Accumulo

  • Referenced in 3 articles [sw17032]
  • Apache Accumulo™ is a sorted, distributed key/value store that provides robust, scalable data storage ... Accumulo has several novel features such as cell-based access control and a server-side...
  • flan

  • Referenced in 1 article [sw27218]
  • cells. Parametric estimation and hypothesis testing are also implemented, enabling inference on different sorts...
  • SEXIE

  • Referenced in 1 article [sw10752]
  • coordinates of nonequivalent atoms in the unit cell, we expand the cluster of atoms ... symmetry- generated atom to the central atom, sort the distances into shells and attempt...
  • pRESTO

  • Referenced in 2 articles [sw23143]
  • germline and somatic diversity, especially of B-cell immunoglobulin repertoires, presents challenges for analysis requiring ... processes raw sequences to produce error-corrected, sorted and annotated sequence sets, along with...
  • ATLAS

  • Referenced in 197 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • CGAL

  • Referenced in 355 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Chaste

  • Referenced in 44 articles [sw00122]
  • Chaste: incorporating a novel multi-scale spatial and...
  • Coq

  • Referenced in 1784 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 2850 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Gmsh

  • Referenced in 576 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • Isabelle

  • Referenced in 606 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

  • Referenced in 1626 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Magma

  • Referenced in 2857 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5040 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5883 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12074 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 531 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...