In booted sleeper floating track systems wherein the concrete bed, rail, and sleeper are structurally separated, mismatches can occur between the substructure and track owing to deformations.Nevertheless, the mutual behavior between substructures and track systems has not been studied extensively.To address this limitation, the effect of substructu
Intrinsically disordered regions in eukaryotic proteomes contain key signaling and regulatory modules and mediate interactions with many proteins.Many viral proteomes encode disordered proteins and modulate host factors through the use of short linear motifs (SLiMs) embedded within disordered regions.However, the degree of viral protein disorder ac
Parametric timed automata (PTA) are a powerful formalism to model and reason about concurrent systems with some unknown timing delays.In this paper, we address the bar drain board (untimed) language- and trace-preservation problems: given a reference parameter valuation, does there exist another parameter valuation with the same untimed language, o