Works matching Annotated codes


Results: 220
    1
    2
    4
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25

    Practical JFSL verification using TACO.

    Published in:
    Software: Practice & Experience, 2014, v. 44, n. 3, p. 317, doi. 10.1002/spe.2237
    By:
    • Chicote, M.;
    • Ciolek, D.;
    • Galeotti, J.P.
    Publication type:
    Article
    26
    27
    28
    29
    30
    31

    Deep Learning Classification of Lake Zooplankton.

    Published in:
    Frontiers in Microbiology, 2021, v. 12, p. 1, doi. 10.3389/fmicb.2021.746297
    By:
    • Kyathanahally, Sreenath P.;
    • Hardeman, Thomas;
    • Merz, Ewa;
    • Bulas, Thea;
    • Reyes, Marta;
    • Isles, Peter;
    • Pomati, Francesco;
    • Baity-Jesi, Marco
    Publication type:
    Article
    32
    33
    34
    35
    36
    37
    38

    A tutorial on pharmacometric Markov models.

    Published in:
    CPT: Pharmacometrics & Systems Pharmacology, 2025, v. 14, n. 2, p. 197, doi. 10.1002/psp4.13278
    By:
    • Ooi, Qing Xi;
    • Plan, Elodie;
    • Bergstrand, Martin
    Publication type:
    Article
    39
    40
    41
    42
    43
    44

    DIGESTS.

    Published in:
    American Business Law Journal, 1967, v. 5, n. 2, p. 230
    By:
    • Kane, Ronald G.
    Publication type:
    Article
    45
    46
    47
    48
    49
    50