Recent changes
From MaRDI portal
Track the most recent changes to the wiki on this page.
List of abbreviations:
- D
- MaRDI portal edit
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
17 May 2024
b 12:10 | Abstract specification of structures and methods in symbolic mathematical computation (Q1199931) diffhist +1,673 ReferenceBot talk contribs (Changed an Item) |
b 12:10 | A semi-algorithm for algebraic implementation proofs (Q1199928) diffhist +4,986 ReferenceBot talk contribs (Changed an Item) |
b 12:10 | Termination and completion modulo associativity, commutativity and identity (Q1199927) diffhist +4,158 ReferenceBot talk contribs (Changed an Item) |
b 12:10 | Generalizing completeness results for loop checks in logic programming (Q1199926) diffhist +4,988 ReferenceBot talk contribs (Changed an Item) |
b 12:10 | A logic for reasoning with inconsistent knowledge (Q1199925) diffhist +3,743 ReferenceBot talk contribs (Changed an Item) |
b 12:10 | How to reason defeasibly (Q1199924) diffhist +5,816 ReferenceBot talk contribs (Changed an Item) |
b 12:10 | A theory of abstraction (Q1199923) diffhist +12,458 ReferenceBot talk contribs (Changed an Item) |
b 12:10 | A generic arc-consistency algorithm and its specializations (Q1199922) diffhist +4,573 ReferenceBot talk contribs (Changed an Item) |
b 12:10 | A logic of knowledge and justified assumption (Q1199920) diffhist +7,891 ReferenceBot talk contribs (Changed an Item) |
b 12:10 | On the complexity of propositional knowledge base revision, updates, and counterfactuals (Q1199919) diffhist +17,434 ReferenceBot talk contribs (Changed an Item) |
b 12:10 | Theory and algorithms for plan merging (Q1199918) diffhist +2,501 ReferenceBot talk contribs (Changed an Item) |
b 12:10 | Linear resolution for consequence finding (Q1199916) diffhist +12,454 ReferenceBot talk contribs (Changed an Item) |
b 12:10 | Reasoning about model accuracy (Q1199915) diffhist +8,302 ReferenceBot talk contribs (Changed an Item) |
b 12:10 | On the complexity of blocks-world planning (Q1199914) diffhist +3,743 ReferenceBot talk contribs (Changed an Item) |
b 12:10 | Characterizing diagnoses and systems (Q1199913) diffhist +4,156 ReferenceBot talk contribs (Changed an Item) |
b 12:10 | Qualitative superposition (Q1199912) diffhist +1,671 ReferenceBot talk contribs (Changed an Item) |
b 12:10 | Links and polar flows on 4-manifolds (Q1199911) diffhist +5,397 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | Almost alternating links (Q1199910) diffhist +5,401 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | Quasicontinuity and Namioka's theorem (Q1199903) diffhist +9,136 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | Characterizations of strongly countable-dimensional and locally finite- dimensional spaces (Q1199902) diffhist +6,231 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | Homotopy-epimorphisms, homotopy-monomorphisms and homotopy-equivalences (Q1199901) diffhist +2,915 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | Decomposition of a compactum into small geometric measure sets (Q1199900) diffhist +845 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | Separation properties of continuous maps in codimension 1 and geometrical applications (Q1199899) diffhist +3,327 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | A tree-like continuum admitting fixed point free maps with arbitrarily small trajectories (Q1199898) diffhist +4,156 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | Almost discrete SV-space (Q1199897) diffhist +2,085 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | On the Toda criterion (Q1199896) diffhist +3,329 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | A note on Heisenberg's uncertainty principle and Cantorian space-time (Q1199895) diffhist +2,501 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | Performance of a neural network method with set partitioning (Q1199894) diffhist +6,229 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | Time-delayed map extension to \(n\)-dimensions (Q1199892) diffhist +2,499 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | On bifurcations and chaos in predator-prey models with delay (Q1199891) diffhist +6,233 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | Compact billiards in phase space (Q1199890) diffhist +2,085 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | Fractal curves in higher-dimensional space from functional equations (Q1199889) diffhist +845 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | From simple to complex oscillatory behaviour via intermittent chaos in the Rose-Hindmarsh model for neuronal activity (Q1199888) diffhist +1,259 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | A relationship between nondeterministic turing machines and 1-inkdot turing machines with small space (Q1199887) diffhist +2,501 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | Voronoi diagrams of rigidly moving sets of points (Q1199886) diffhist +2,085 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | On sorting in the presence of erroneous information (Q1199884) diffhist +2,913 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | Lazy dynamic-programming can be eager (Q1199883) diffhist +2,085 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | Minimum separation for single-layer channel routing (Q1199882) diffhist +845 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | A new upper bound on the complexity of the all pairs shortest path problem (Q1199881) diffhist +3,741 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | A fast and efficient parallel algorithm for finding a satisfying truth assignment to a 2-CNF formula (Q1199880) diffhist +1,259 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | Intersection and union of regular languages and state complexity (Q1199879) diffhist +2,085 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | Fast computation of the Euclidean distance maps for binary images (Q1199878) diffhist +431 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | Safety analysis versus type inference for partial types (Q1199876) diffhist +2,501 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | Highly resilient correctors for polynomials (Q1199875) diffhist +1,673 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | Qualms about \(BC_ a\) bootstrap confidence intervals (Q1199873) diffhist +3,329 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | Moderate deviations for some weakly dependent random processes (Q1199871) diffhist +843 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | The variance matrix of sample second-order moments in multivariate linear relations (Q1199870) diffhist +5,399 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | Moments of functions of order statistics (Q1199869) diffhist +2,501 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | Uniform strong estimation under \(\alpha\)-mixing, with rates (Q1199868) diffhist +5,818 ReferenceBot talk contribs (Changed an Item) |
b 12:09 | On the stability problem for conditional expectation (Q1199867) diffhist +843 ReferenceBot talk contribs (Changed an Item) |