We show that the variety of n-dimensional weakly higher order cylindric algebras, introduced in Németi [9], [8], is finitely axiomatizable when n > 2. Our result implies that in certain non-well-founded set theories the finitization problem of algebraic logic admits a positive solution; and it shows that this variety is a good candidate for being the cylindric algebra theoretic counterpart of T...

A virtual interior design system based on mixed reality technology is proposed in this paper. The mixed reality technology is a concept covering augmented reality that shows graphic objects integrated to a real environment. This paper describes design of a virtual interior design system that can change and display building inside interior design using mixed reality technologies in a ubiquitous ...

In this paper, a mixed reality system for virtual interior design is proposed. The mixed reality technology is a concept covering augmented reality that shows graphic objects integrated to a real environment. This paper describes design of a virtual interior design system that can change and display building inside interior design using mixed reality technologies in a ubiquitous computing envir...

In this paper we describe a variant of the Inexact Newton method for solving nonlinear systems of equations. We define a nonmonotone Inexact Newton step and a nonmonotone backtracking strategy. For this nonmonotone Inexact Newton scheme we present the convergence theorems. Finally, we show how we can apply these strategies to Inexact Newton Interior–Point method and we present some numerical ex...

We ask whether it is possible to restore a multipass system alignment after a gas cell is inserted in the central region. Indeed, it is possible, and we report on a remarkably simple rearrangement of a laser multipass system, composed of two spherical mirrors and a gas cell with flat windows in the middle. For example, for a window of thickness d and refractive index of n, adjusting the mirror ...

This paper gives an overview of a speech and language interface to an agent system operating in the domain of interior design. The user can instruct the system to place objects in a room, and query it about spatial relations among these objects. The core issue of this research is to provide a framework for the development of intelligent design systems, based on the integration of a natural lang...

We get an interrelation between an algebraic closure system and its conjugated interior system. We introduce the concept of algebraic interior system and we get its representation.