Related papers: Erratum to "On Operations and Linear Extensions of…
The numerical values in the sixth and seventh columns of table 1 of the paper Molec. Phys., 1999, 96, 1185-1188 are not correct. Consequently, some of the comments made in the paper are wrong. The corrected version of table 1 is reprinted…
In the note two errors in Low and Lapsley's article "Optimization Flow Control, I: Basic Algorithm and Convergence", "IEEE/ACM Transactions on Networking", 7(6), pp. 861-874, 1999, are shown. Because of these errors the proofs of both…
This note corrects a discrepancy between the semantics and the algorithm of the multiple until operator of CSL, like in Pr_{> 0.0025} (a until[1,2] b until[3,4] c), of the article: Model-checking continuous-time Markov chains by Aziz,…
The oblique part of the radiative corrections to the Left-Right model is described. The leading non-logarithmic terms are explicitly written. It is argued, on the basis of a comparison with the Standard Model, that one cannot use the loop…
We obtain a new general extension theorem in Banach spaces for operators which are not required to be symmetric, and apply it to obtain Harnack estimates and a priori regularity for solutions of fractional powers of several second order…
We correct a mistake in the paper with the mentioned title and reference: Calc. Var. Partial Differential Equations 58 (2019), no. 1, 58:21. It corresponds with the preprint arXiv:1712.04727.
We prove an extension of the Regularity Lemma with vertex and edge weights which can be applied for a large class of graphs. The applications involve random graphs and a weighted version of the Erd\H{o}s-Stone theorem. We also provide means…
Sectional pseudocomplementation (sp-complementation) on a poset is a partial operation $*$ which associates with every pair $(x,y)$ of elements, where $x \ge y$, the pseudocomplement $x*y$ of $x$ in the upper section $[y)$. Any total…
Erratum to cond-mat 9309014
In this paper, theorem 3.2 and theorem 4.1 of \"{O}z\c{c}a\u{g} and Eysen [S. \"{O}z\c{c}a\u{g} and A.E. Eysen, Almost Menger property in bitopological spaces, Ukrainian Math. J., {\bf 68}, No 6, 950-958 (2016)] are proven to be incorrect.…
Within the study of uncertain dynamical systems, iterated random functions are a key tool. There, one samples a family of functions according to a stationary distribution. Here, we introduce an extension, where one sample functions…
Well-quasi orders such as homeomorphic embedding are commonly used to ensure termination of program analysis and program transformation, in particular supercompilation. We compare eight well-quasi orders on how discriminative they are and…
We consider a simple model of higher order, functional computation over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable errors, taken separately or jointly. We show that the models so defined…
A research paper in this journal vol. 61, no. 3, pp. 427-434, 2012, by M. Darouach, provides a functional observer design for linear descriptor systems under the partial impulse observability condition. The observer design is correct, but…
In this paper, a detrimental mathematical mistake is pointed out in the proof of \textit{Theorem 1} presented in the paper\textit{ [Generalization of the gradient method with fractional order gradient direction, J. Franklin Inst., 357…
We study classes of objects whose combinatorics are closely related to those of posets. The framework of operads and operad algebras allows us to make this relationship precise and provides tools for a deeper understanding of their…
A poset $\bfp$ is well-partially ordered (WPO) if all its linear extensions are well orders~; the supremum of ordered types of these linear extensions is the {\em length}, $\ell(\bfp)$ of $\bfp$. We prove that if the vertex set $X$ of…
We present a construction of graph-directed invariant sets of weak contractions in the sense of Matkowski-Rus on semi-metric spaces. We follow the approach by Bessenyei and P\'enzes, which applies the Kuratowski noncompactness measure…
This paper has been withdrawn by the author due to an error in Lemma 3, making the (bijective) proof of Theorem 4 and Corollary 5 invalid (symmetry of k-nonnesting and k-noncrossing set partitions).
We modify arguments in Vladimir Kanovei, Linearization of definable order relations, APAL, 102(1-2):69--100, 2000, to reprove a linearization theorem on real-ordinal definable partial quasi-orderings in the Solovay model.