A sequence of intermediate solutions produced by the top-down phase on the input of Fig 1, leading to an optimal solution (step 5). por Jordan Moutet (21800145)

Subjects: “...solid mathematical justification...”

Comparing transmission rates of two networks with three infected nodes (1,2,3): (a) partially connected network with the total transmission rate of 2.1, and (b) fully connected net... por Thien-Minh Le (22075988)

Subjects:

Example input of the DPP: a phylogenetic tree T and an alignment A for L(T). por Jordan Moutet (21800145)

Subjects: “...solid mathematical justification...”

Comparison of the mass-action and the naive method. por Thien-Minh Le (22075988)

Subjects:

Three different spreading processes: (a) the SI spreading process, (b) the SIR spreading process, and (c) the SITAD spreading process. por Thien-Minh Le (22075988)

Subjects:

(Right:) A candidate solution <i>A</i>⁺ for the example in Fig 1. por Jordan Moutet (21800145)

Subjects: “...solid mathematical justification...”

Experiment on the two OrthoMaM amino acid alignments datasets. For each dataset, we show the total number of sites with gaps (across 15,868 alignments), and the percentages of thes... por Jordan Moutet (21800145)

Subjects: “...solid mathematical justification...”

An optimal solution <i>A</i>⁺ for the example in Fig 1, found following the steps detailed in Fig 4. por Jordan Moutet (21800145)

Subjects: “...solid mathematical justification...”

The connection in transmission rate between network model and mass-action model. por Thien-Minh Le (22075988)

Subjects:

Graph representation of all possible , where <i>A</i>⁺ is constrained to be an optimal solution for the example in Fig 1. por Jordan Moutet (21800145)

Subjects: “...solid mathematical justification...”

Comparison of the 95% confidence band for the mass-action model and the ATMM. por Thien-Minh Le (22075988)

Subjects:

An instance of the DPP that provides a solution of the first half of the IPP problem in Fig 8. por Jordan Moutet (21800145)

Subjects: “...solid mathematical justification...”

Comparison of the SI process of the proposed network spreading rule (Proposed) on fully connected graphs, the conventional network spreading rule (Conventional), and the mass-actio... por Thien-Minh Le (22075988)

Subjects:

Approximation of different approaches for the SI, SIR, and SITAD spreading processes on the BA network (left) and modified ER network with a single connected component (right). por Thien-Minh Le (22075988)

Subjects:

Left and right-side shoulder kinematics for model verification for: A) the static verification task, and B) the dynamic verification task. por Zoe M. Moore (22331721)

Measurement model verification. por Yuxin Yang (694142)

Verification of RNAi knockdowns. por Monnette F. Summers (22075935)

The robustness verification result. por Jiaqiang Sun (176863)

Verification of non-repudiation. por Chin-Ling Chen (17542074)

Grids independence verification. por Baifeng Yang (22766110)