In this paper, we introduce the concept of generalized -contractivityof a pair of maps w.r.t. another pair. We establish a common fixed point result fortwo pairs of self-mappings, when one of these pairs is generalized -contractionw.r.t. the other and study the well-posedness of their fixed point problem. Inparticular, our fixed point result extends the main result of a recent paper ofQingnian ...

We introduce and  study  fuzzy (co-)inner product and fuzzy(co-)norm of hyperspaces. In this regard by considering  the notionof hyperspaces, as a generalization of vector spaces, first we willintroduce the notion of fuzzy (co-)inner product in hyperspaces and will apply it to formulate the notions offuzzy (co-)norm and fuzzy (co-)orthogonality  in hyperspaces. Inparticular, we will prove that ...

This paper presents a new method for real-time optimization of process systems with a decentralized structure where the idea is to improve computational efficiency and transparency of a solution. The contribution lies in the application and assessment of the Lagrange relaxation and the Dantzig–Wolfe methods, which allows us to efficiently decompose a real-time optimization problem. Furthermore,...

O’Hearn, Reynolds and Yang introduced Separation Logic to providemodular reasoning about simple,mutable data structures inmemory. They were able to construct small specifications of programs, by reasoning about the local parts of memory accessed by programs. Gardner, Calcagno and Zarfaty generalised this work, introducing Context Logic to reasonaboutmore complex data structures. Inparticular, t...

We study the problem of computing the k-visibility region in the memory-constrained model. In this model, the input resides in a randomly accessible read-only memory of O(n) words, with O(logn) bits each. An algorithm can read and write O(s) additional words of workspace during its execution, and it writes its output to write-only memory. In a given polygon P and for a given point q ∈ P , we sa...

Testing two-port memories requires the use of single-port tests as well as special two-port tests; the test strategy determines which tests to be used. Many two-port memories have ports which are read-only or write-only; this impacts the possible fault models, the tests for single-port and two-port memories, as well as the test strategy. This paper presents a test strategy for two-port memories...

If these statements are taken literally (which the theory allows us to do), they imply that God modified the design of the universe after the Fall (cf. Rom. 8:20−22). If he carried this through consistently, so that all parts of the universe conformed to the new design, then, after the Curse, the universe would again have been a going concern, and would again have appeared to have a history tha...

[no abstract available]