Works matching DE "COMPUTER storage capacity"


Results: 198
    1
    2
    3

    FDR3: a parallel refinement checker for CSP.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 2, p. 149, doi. 10.1007/s10009-015-0377-y
    By:
    • Gibson-Robinson, Thomas;
    • Armstrong, Philip;
    • Boulgakov, Alexandre;
    • Roscoe, A.
    Publication type:
    Article
    4

    rMSIproc: an R package for mass spectrometry imaging data processing.

    Published in:
    Bioinformatics, 2020, v. 36, n. 11, p. 3618, doi. 10.1093/bioinformatics/btaa142
    By:
    • Ràfols, Pere;
    • Heijs, Bram;
    • Castillo, Esteban del;
    • Yanes, Oscar;
    • McDonnell, Liam A;
    • Brezmes, Jesús;
    • Pérez-Taboada, Iara;
    • Vallejo, Mario;
    • García-Altares, María;
    • Correig, Xavier
    Publication type:
    Article
    5

    EPGA2: memory-efficient de novo assembler.

    Published in:
    Bioinformatics, 2015, v. 31, n. 24, p. 3988, doi. 10.1093/bioinformatics/btv487
    By:
    • Junwei Luo;
    • JianxinWang;
    • Weilong Li;
    • Zhen Zhang;
    • Fang-Xiang Wu;
    • Min Li;
    • Yi Pan
    Publication type:
    Article
    6
    7
    8
    9
    10

    Metals Have Memory.

    Published in:
    Antennae: The Journal of Nature in Visual Culture, 2019, n. 47, p. 88
    By:
    • Dubbin, Melissa;
    • Davidson, Aaron S.
    Publication type:
    Article
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23

    A formal verification framework for static analysis.

    Published in:
    Software & Systems Modeling, 2016, v. 15, n. 4, p. 987, doi. 10.1007/s10270-015-0476-y
    By:
    • Albert, Elvira;
    • Bubel, Richard;
    • Genaim, Samir;
    • Hähnle, Reiner;
    • Puebla, Germán;
    • Román-Díez, Guillermo
    Publication type:
    Article
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    42
    43
    44
    45
    46
    47
    48
    49
    50