
Sincera
 Referenced in 1 article
[sw23915]
 pipeline (SINCERA: a computational pipeline for SINgle CEll RNAseq 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. MLstyle updateable memory cells) that can be used as an escape ... proving system, Athena is based on manysorted firstorder logic. Manysorted firstorder...

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 cellbased access control and a serverside...

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 Bcell immunoglobulin repertoires, presents challenges for analysis requiring ... processes raw sequences to produce errorcorrected, 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 multiscale 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 highlevel language and interactive...

MiniSat
 Referenced in 531 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...