User contributions for CorrectionBot

30 July 2025

• 15:0115:01, 30 July 2025 diff hist +26 Explorable uncertainty in scheduling with non-uniform testing times (Q2117694) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0115:01, 30 July 2025 diff hist +26 To close is easier than to open: dual parameterization to \(k\)-median (Q2117693) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0115:01, 30 July 2025 diff hist +26 A constant-factor approximation algorithm for vertex guarding a WV-polygon (Q2117689) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0115:01, 30 July 2025 diff hist +26 Distributed algorithms for matching in hypergraphs (Q2117684) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0115:01, 30 July 2025 diff hist +26 LP-based algorithms for multistage minimization problems (Q2117680) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0115:01, 30 July 2025 diff hist +26 Approximate hashing for bioinformatics (Q2117679) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0115:01, 30 July 2025 diff hist +26 Efficient string matching based on a two-step simulation of the suffix automaton (Q2117677) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0115:01, 30 July 2025 diff hist +26 Boolean kernels of context-free languages (Q2117675) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0115:01, 30 July 2025 diff hist +26 Ambiguity hierarchies for weighted tree automata (Q2117674) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0115:01, 30 July 2025 diff hist +26 Algorithms for probabilistic and stochastic subsequential failure transducers (Q2117672) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 State complexity of permutation and related decision problems on alphabetical pattern constraints (Q2117669) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Guessing the buffer bound for k-synchronizability (Q2117668) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 The range of state complexities of languages resulting from the cascade product -- the unary case (extended abstract) (Q2117666) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Degrees of restriction for two-dimensional automata (Q2117665) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Efficient enumeration of regular expressions for faster regular expression synthesis (Q2117664) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 The commutative closure of shuffle languages over group languages is regular (Q2117662) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Memoized regular expressions (Q2117661) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Regularity conditions for iterated shuffle on commutative regular languages (Q2117658) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Say no to case analysis: automating the drudgery of case-based proofs (Q2117657) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Back to the future: a fresh look at linear temporal logic (Q2117656) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Machine learning algorithms of relaxation subgradient method with space extension (Q2117655) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 K-means clustering via a nonconvex optimization approach (Q2117651) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Optimization of regulation and infrastructure of the electricity market (Q2117649) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 On contractual approach for non-convex production economies (Q2117647) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Dixit-Stiglitz-Krugman model with investments in R\&D (Q2117646) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Feedback maximum principle for a class of linear continuity equations inspired by optimal impulsive control (Q2117645) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Multicriteria dynamic games with random horizon (Q2117644) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Altruistic-like equilibrium in a differential game of renewable resource extraction (Q2117643) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 A discrete game problem with a non-convex terminal set and a possible breakdown in dynamics (Q2117641) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Optimal boundary control of string vibrations with given shape of deflection at a certain moment of time (Q2117640) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Two-machine routing open shop: How long is the optimal makespan? (Q2117636) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 On solving bilevel optimization problems with a nonconvex lower level: the case of a bimatrix game (Q2117635) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Sample approximations of bilevel stochastic programming problems with probabilistic and quantile criteria (Q2117634) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 A penalty approach to linear programs with many two-sided constraints (Q2117633) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Duality gap estimates for a class of greedy optimization algorithms in Banach spaces (Q2117632) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Convex optimization with inexact gradients in Hilbert space and applications to elliptic inverse problems (Q2117629) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 An approach for simultaneous finding of multiple efficient decisions in multi-objective optimization problems (Q2117623) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 On some variants of the merging variables based \((1+1)\)-evolutionary algorithm with application to MaxSAT problem (Q2117621) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 An FPTAS for the \(\varDelta \)-modular multidimensional knapsack problem (Q2117618) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 On asymptotically optimal approach for the problem of finding several edge-disjoint spanning trees of given diameter in an undirected graph with random edge weights (Q2117617) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Serving rides of equal importance for time-limited dial-a-ride (Q2117614) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 A local search scheme for the inequality-constrained optimal control problem (Q2117613) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Equilibrium traffic flow assignment in a multi-subnet urban road network (Q2117612) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines (Q2117610) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Models and modelling in computer science (Q2117608) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 The combined use of the web ontology language (OWL) and abstract state machines (ASM) for the definition of a specification language for business processes (Q2117607) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Computation on structures. Behavioural theory, logic, complexity (Q2117601) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 Flashix: modular verification of a concurrent and crash-safe flash file system (Q2117600) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 The ASMETA approach to safety assurance of software systems (Q2117597) ‎Changed label, description and/or aliases in en, and other parts current
• 15:0015:00, 30 July 2025 diff hist +26 What is the natural abstraction level of an algorithm? (Q2117593) ‎Changed label, description and/or aliases in en, and other parts current