User contributions for CorrectionBot

30 July 2025

• 13:1013:10, 30 July 2025 diff history +26 Evolutionary dynamics under partner preferences (Q2105509) ‎Changed label, description and/or aliases in en, and other parts
• 13:1013:10, 30 July 2025 diff history +26 A computational model of cell membrane bioelectric polarization and depolarization, connected with cell proliferation, in different tissue geometries (Q2105508) ‎Changed label, description and/or aliases in en, and other parts
• 13:1013:10, 30 July 2025 diff history +26 Exploring COVID-19 transmission patterns and key factors during epidemics caused by three major strains in Asia (Q2105507) ‎Changed label, description and/or aliases in en, and other parts
• 13:1013:10, 30 July 2025 diff history +26 Subsistence of sib altruism in different mating systems and Haldane's arithmetic (Q2105502) ‎Changed label, description and/or aliases in en, and other parts
• 13:1013:10, 30 July 2025 diff history +26 Modified susceptible-exposed-infectious-recovered model for assessing the effectiveness of non-pharmaceutical interventions during the COVID-19 pandemic in Seoul (Q2105501) ‎Changed label, description and/or aliases in en, and other parts
• 13:1013:10, 30 July 2025 diff history +26 On tumoural growth and treatment under cellular dedifferentiation (Q2105497) ‎Changed label, description and/or aliases in en, and other parts
• 13:1013:10, 30 July 2025 diff history +26 Ecological release and patch geometry can cause nonlinear density-area relationships (Q2105494) ‎Changed label, description and/or aliases in en, and other parts
• 13:1013:10, 30 July 2025 diff history +26 Application of a count data model to evaluate the anti-metastatic efficacy of QAP14 in 4T1 breast cancer allografts (Q2105491) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1013:10, 30 July 2025 diff history +26 Mechanisms of detachment in fibrillar adhesive systems (Q2105484) ‎Changed label, description and/or aliases in en, and other parts
• 13:1013:10, 30 July 2025 diff history +26 The existence and stability of spikes in the one-dimensional Keller-Segel model with logistic growth (Q2105480) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1013:10, 30 July 2025 diff history +26 Special issue: selected papers of the 11th international symposium on games, automata, logics, and formal verification (GandALF 2020) (Q2105478) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1013:10, 30 July 2025 diff history +26 Local higher-order fixpoint iteration (Q2105477) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1013:10, 30 July 2025 diff history +26 Model checking hyperproperties for Markov decision processes (Q2105474) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1013:10, 30 July 2025 diff history +26 Comparison of algorithms for simple stochastic games (Q2105472) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1013:10, 30 July 2025 diff history +26 Decisiveness of stochastic systems and its application to hybrid models (Q2105467) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1013:10, 30 July 2025 diff history +26 Synthesis in presence of dynamic links (Q2105465) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1013:10, 30 July 2025 diff history +26 Special issue: formal verification of cyber-physical systems (Q2105464) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1013:10, 30 July 2025 diff history +26 Special issue of SSS 2020 (Q2105463) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1013:10, 30 July 2025 diff history +26 Learning residual alternating automata (Q2105462) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1013:10, 30 July 2025 diff history +26 \textsc{LTL} falsification in infinite-state systems (Q2105460) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1013:10, 30 July 2025 diff history +26 A pumping lemma for regular closure of prefix-free languages (Q2105458) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1013:10, 30 July 2025 diff history +26 Deterministic algorithms for the hidden subgroup problem (Q2105456) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1013:10, 30 July 2025 diff history +26 A robust class of linear recurrence sequences (Q2105454) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1013:10, 30 July 2025 diff history +26 Combination of roots and Boolean operations: an application to state complexity (Q2105451) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1013:10, 30 July 2025 diff history +26 Efficient and competitive broadcast in multi-channel radio networks (Q2105449) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1013:10, 30 July 2025 diff history +26 Distance labeling schemes for \(K_4\)-free bridged graphs (Q2105446) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1013:10, 30 July 2025 diff history +26 Bounded complete domains and their logical form (Q2105444) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1013:10, 30 July 2025 diff history +26 Survey on mining signal temporal logic specifications (Q2105443) ‎Changed label, description and/or aliases in en, and other parts current
• 13:1013:10, 30 July 2025 diff history +26 Beyond PCSP (\textbf{1-in-3}, \textbf{NAE}) (Q2105441) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0913:09, 30 July 2025 diff history +26 Intensional Kleene and Rice theorems for abstract program semantics (Q2105439) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0913:09, 30 July 2025 diff history +26 Linear-time parameterized algorithms with limited local resources (Q2105436) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0913:09, 30 July 2025 diff history +26 Exploring sparse graphs with advice (Q2105435) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0913:09, 30 July 2025 diff history +26 Almost uniform deployment of mobile agents in dynamic rings (Q2105434) ‎Changed label, description and/or aliases in en, and other parts
• 13:0913:09, 30 July 2025 diff history +26 Polymorphic lambda calculus with context-free session types (Q2105433) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0913:09, 30 July 2025 diff history +26 Hierarchical identification of nonlinear hybrid systems in a Bayesian framework (Q2105431) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0913:09, 30 July 2025 diff history +26 Unambiguous injective morphisms in free groups (Q2105430) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0913:09, 30 July 2025 diff history +26 Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} (Q2105429) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0913:09, 30 July 2025 diff history +26 Parameterized complexity of stable roommates with ties and incomplete lists through the lens of graph parameters (Q2105427) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0913:09, 30 July 2025 diff history +26 On enumerating algorithms of novel multiple leaf-distance granular regular \(\alpha\)-subtrees of trees (Q2105426) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0913:09, 30 July 2025 diff history +26 Parameter synthesis of polynomial dynamical systems (Q2105425) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0913:09, 30 July 2025 diff history +26 Exploiting social influence to control elections based on positional scoring rules (Q2105422) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0913:09, 30 July 2025 diff history +26 Abstract processes in the absence of conflicts in general place/transition systems (Q2105420) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0913:09, 30 July 2025 diff history +26 Converting nondeterministic two-way automata into small deterministic linear-time machines (Q2105419) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0913:09, 30 July 2025 diff history +26 Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) (Q2105418) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0913:09, 30 July 2025 diff history +26 On Boolean threshold functions with minimum specification number (Q2105416) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0913:09, 30 July 2025 diff history +26 Noisy beeping networks (Q2105415) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0913:09, 30 July 2025 diff history +26 Order-preserving pattern matching indeterminate strings (Q2105413) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0913:09, 30 July 2025 diff history +26 Satisfiability checking for mission-time \textsf{LTL} (MLTL) (Q2105410) ‎Changed label, description and/or aliases in en, and other parts current
• 13:0913:09, 30 July 2025 diff history +26 Asymptotic degree distribution in a homogeneous evolving network model (Q2105409) ‎Changed label, description and/or aliases in en, and other parts
• 13:0913:09, 30 July 2025 diff history +26 Generalized Markov chain tree theorem and Kemeny's constant for a class of non-Markovian matrices (Q2105408) ‎Changed label, description and/or aliases in en, and other parts current