User contributions for Import241228121202

28 December 2024

• 00:2200:22, 28 December 2024 diff hist 0 Feedback boundary control of linear hyperbolic systems with relaxation (Q286226) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Lifted generative learning of Markov logic networks (Q285935) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Maximum likelihood least squares identification method for active noise control systems with autoregressive moving average noise (Q286225) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Lower bounds on individual sequence regret (Q285930) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Multi-agent zero-sum differential graphical games for disturbance rejection in distributed control (Q286232) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Efficient decentralized coordination of large-scale plug-in electric vehicle charging (Q286237) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Families of multiweights and pseudostars (Q285916) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 The Lipschitzianity of convex vector and set-valued functions (Q286214) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 On optimality conditions for quasi-relative efficient solutions in set-valued optimization (Q286212) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Generic case complexity of the graph isomorphism problem (Q285911) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Hausdorff continuity of approximate solution maps to parametric primal and dual equilibrium problems (Q286211) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 The automorphism group of a finitely generated virtually abelian group. (Q285908) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 The excess formulations and related results for the normalized Banzhaf index and the Shapley value (Q286209) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Memory-saving computation of the pairing final exponentiation on BN curves (Q285907) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 A multi-objective genetic algorithm for a bi-objective facility location problem with partial coverage (Q286207) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Faster Ate pairing computation on Selmer's model of elliptic curves (Q285904) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Stability of approximate solution mappings for generalized Ky Fan inequality (Q286204) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 A class of hash functions based on the Algebraic Eraser\(^{\text{TM}}\) (Q285901) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 An optimization model for aggregation of prescribed burn units (Q286203) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 A PTIME solution to the restricted conjugacy problem in generalized Heisenberg groups (Q285898) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 A precedence constraint value revisited (Q286200) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Factoring multi-power RSA moduli with primes sharing least or most significant bits (Q285897) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Pricing and lot sizing for an EPQ inventory model with rework and multiple shipments (Q286196) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Thompson's group \(F\) is 1-counter graph automatic. (Q285894) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Evidence algorithm and inference search in first-order logics (Q286802) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Pluriassociative algebras. II: The polydendriform operad and related operads. (Q285913) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Four decades of {\textsc{Mizar}}. Foreword (Q286794) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Andrzej Trybulec -- in memoriam (1941--2013) (Q286793) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Pluriassociative algebras. I: The pluriassociative operad. (Q285912) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Reconsidering pairs and functions as sets (Q286796) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Retracted: Sharp geometrical properties of \(a\)-rarefied sets via fixed point index for the Schrödinger operator equations (Q285890) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Formal proofs of hypergeometric sums. Dedicated to the memory of Andrzej Trybulec (Q286798) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Existence and convergence theorems of fixed points for multi-valued SCC-, SKC-, KSC-, SCS- and C-type mappings in hyperbolic spaces (Q285882) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Positive fixed points for convex and decreasing operators in probabilistic Banach spaces with an application to a two-point boundary value problem (Q285881) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Improving legibility of formal proofs based on the close reference principle is NP-hard (Q286805) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Some results on approximate solutions of variational inequality problems for inverse strongly monotone operators (Q285886) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Mechanizing complemented lattices within Mizar type system (Q286797) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Higher-order Lipschitz mappings (Q285888) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver (Q286803) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 New fixed point theorems for generalized \(F\)-contractions in complete metric spaces (Q285876) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (Q286801) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Coincidence point theorems for generalized contractions with application to integral equations (Q285873) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 MizAR 40 for Mizar 40 (Q286800) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Erratum to: ``Extension of a decision procedure for a fragment of hybrid logic with binders'' (Q286791) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Best proximity point theorems for probabilistic proximal cyclic contraction with applications in nonlinear programming (Q285874) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 The reflective Milawa theorem prover is sound (down to the machine code that runs it) (Q286790) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Distance matching in punctured planar triangulations (Q286771) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Topological fixed point theory and applications to variational inequalities (Q285883) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Cyclable sets of vertices in 3-connected graphs (Q286770) Normalize DOI. current
• 00:2200:22, 28 December 2024 diff hist 0 Narrowing down the gap on cycle-star Ramsey numbers (Q286769) Normalize DOI. current