User contributions for Import240305080351
From MaRDI portal
A user with 802,612 edits. Account created on 5 March 2024.
6 March 2024
- 01:3801:38, 6 March 2024 diff hist +15 N Spectral-null codes and null spaces of Hadamard submatrices Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +98 Dense time logic programming (Q679332) Added link to MaRDI item.
- 01:3801:38, 6 March 2024 diff hist +98 The new minimum distance bounds of Goppa codes and their decoding (Q679428) Added link to MaRDI item. current
- 01:3801:38, 6 March 2024 diff hist +15 N Dense time logic programming Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +15 N The new minimum distance bounds of Goppa codes and their decoding Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +98 Temporal annotated constraint logic programming (Q679329) Added link to MaRDI item.
- 01:3801:38, 6 March 2024 diff hist +98 Almost MDS codes (Q679427) Added link to MaRDI item.
- 01:3801:38, 6 March 2024 diff hist +15 N Temporal annotated constraint logic programming Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +15 N Almost MDS codes Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +98 Deriving liveness goals from temporal logic specifications (Q679327) Added link to MaRDI item.
- 01:3801:38, 6 March 2024 diff hist +98 Singly-even self-dual codes of length 40 (Q679425) Added link to MaRDI item. current
- 01:3801:38, 6 March 2024 diff hist +15 N Singly-even self-dual codes of length 40 Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +98 Constraint logic programming and integer programming approaches and their collaboration in solving an assignment scheduling problem (Q679422) Added link to MaRDI item.
- 01:3801:38, 6 March 2024 diff hist +15 N Constraint logic programming and integer programming approaches and their collaboration in solving an assignment scheduling problem Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +98 Interval propagation to reason about sets: Definition and implementation of a practical language (Q679421) Added link to MaRDI item.
- 01:3801:38, 6 March 2024 diff hist +15 N Deriving liveness goals from temporal logic specifications Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +15 N Interval propagation to reason about sets: Definition and implementation of a practical language Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +98 Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class (Q679419) Added link to MaRDI item.
- 01:3801:38, 6 March 2024 diff hist +15 N Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +98 Timed default concurrent constraint programming (Q679325) Added link to MaRDI item.
- 01:3801:38, 6 March 2024 diff hist +15 N Timed default concurrent constraint programming Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +98 A 2D finite element procedure for magnetic field analysis taking into account a vector Preisach model (Q679417) Added link to MaRDI item. current
- 01:3801:38, 6 March 2024 diff hist +98 The radius rigidity theorem for manifolds of positive curvature (Q679324) Added link to MaRDI item.
- 01:3801:38, 6 March 2024 diff hist +15 N A 2D finite element procedure for magnetic field analysis taking into account a vector Preisach model Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +98 Relaxation process modeling in a turbulent boundary layer with nonzero free stream turbulence (Q679414) Added link to MaRDI item. current
- 01:3801:38, 6 March 2024 diff hist +15 N The radius rigidity theorem for manifolds of positive curvature Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +15 N Relaxation process modeling in a turbulent boundary layer with nonzero free stream turbulence Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +98 M/G/1 vacation model with limited service discipline and hybrid switching-on policy (Q679411) Added link to MaRDI item. current
- 01:3801:38, 6 March 2024 diff hist +98 Bubble tree convergence for harmonic maps (Q679323) Added link to MaRDI item.
- 01:3801:38, 6 March 2024 diff hist +15 N Bubble tree convergence for harmonic maps Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +98 Whitney formula in higher dimensions (Q679321) Added link to MaRDI item.
- 01:3801:38, 6 March 2024 diff hist +15 N M/G/1 vacation model with limited service discipline and hybrid switching-on policy Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +15 N Whitney formula in higher dimensions Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +98 A decomposition of smooth simply-connected \(h\)-cobordant 4-manifolds (Q679319) Added link to MaRDI item.
- 01:3801:38, 6 March 2024 diff hist +15 N A decomposition of smooth simply-connected \(h\)-cobordant 4-manifolds Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +98 Short time behavior of the heat kernel and its logarithmic deviatives (Q679316) Added link to MaRDI item.
- 01:3801:38, 6 March 2024 diff hist +15 N Short time behavior of the heat kernel and its logarithmic deviatives Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +98 Rigidity of the Lie algebra of unimodular vector fields (Q679314) Added link to MaRDI item.
- 01:3801:38, 6 March 2024 diff hist +15 N Rigidity of the Lie algebra of unimodular vector fields Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +98 Curvy slicing proves that triple junctions locally minimize area (Q679312) Added link to MaRDI item.
- 01:3801:38, 6 March 2024 diff hist +15 N Curvy slicing proves that triple junctions locally minimize area Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +98 The symplectic geometry of polygons in Euclidean space (Q679309) Added link to MaRDI item.
- 01:3801:38, 6 March 2024 diff hist +15 N The symplectic geometry of polygons in Euclidean space Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +98 Entropy of massive quantum fields in de Sitter space-time (Q680003) Added link to MaRDI item.
- 01:3801:38, 6 March 2024 diff hist +15 N Entropy of massive quantum fields in de Sitter space-time Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +98 Rational solutions to the KPI equation and multi rogue waves (Q680002) Added link to MaRDI item.
- 01:3801:38, 6 March 2024 diff hist +15 N Rational solutions to the KPI equation and multi rogue waves Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +98 Algorithms for construction of efficient frontier for nonconvex models on the basis of optimization methods (Q680001) Added link to MaRDI item. current
- 01:3801:38, 6 March 2024 diff hist +15 N Algorithms for construction of efficient frontier for nonconvex models on the basis of optimization methods Created automatically from import240305080351 current
- 01:3801:38, 6 March 2024 diff hist +98 Observers and a moving object in \(\mathbb{R}^3\) (Q680000) Added link to MaRDI item. current