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

Gaiak: “...solid mathematical justification...”

An instance of the IPP that can be solved by applying the algorithms for the DPP. nork Jordan Moutet (21800145)

Gaiak: “...solid mathematical justification...”

A depiction of the labeled gaps constructed by the bottom-up phase on the input shown in Fig 1. nork Jordan Moutet (21800145)

Gaiak: “...solid mathematical justification...”

Depiction of how the label of is assigned as a function of whether are identical (row =), nested (rows ), or partially overlapping (row “else”), and as a function of the labels of... nork Jordan Moutet (21800145)

Gaiak: “...solid mathematical justification...”

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

Gaiak: “...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... nork Thien-Minh Le (22075988)

Gaiak:

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

Gaiak: “...solid mathematical justification...”

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

Gaiak:

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

Gaiak:

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

Gaiak: “...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... nork Jordan Moutet (21800145)

Gaiak: “...solid mathematical justification...”

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

Gaiak: “...solid mathematical justification...”

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

Gaiak:

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

Gaiak: “...solid mathematical justification...”

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

Gaiak:

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

Gaiak: “...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... nork Thien-Minh Le (22075988)

Gaiak:

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). nork Thien-Minh Le (22075988)

Gaiak:

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

Measurement model verification. nork Yuxin Yang (694142)