We introduce infinitary propositional theories over a set and their models which are subsets of the set, and define a generalized geometric theory as an infinitary propositional theory of a special form. The main result is that the class of models of a generalized geometric theory is set-generated. Here a class X of subsets of a set is set-generated if there exists a subset G of X such that for...

As the size of the data sets generated by numerical simulations and the ability to measure natural phenomena increases, new methods must be developed to represent and analyze the resulting data sets. Massive amounts of data must be made available to a user in a very concise manner, while at the same time guarantees must be ensured concerning the correctness of simplified and visualized data set...

This article presents a systemic method to generate and map an optimal virtual topology onto a certain physical wide area optical fiber network so as to maximize the scaleup which provides an estimate of the network throughput. The problem is to find the best possible virtual topology over a given wavelength-routed all-optical physical topology for wide area coverage. The physical topology cons...

A geometry-based rigorous approach to the detection of global and internal mobility of skeletal structures (trusses and frames) is presented. The method is useful for automated design of skeletal structures at the conceptual stage where the overall topology of the structure is known, but no exact detail on geometry and size is available. Such topologies are, for example, those generated by inte...

It is our great pleasure to introduce this Special Section of the Journal, focused on Autonomic and Opportunistic Communications. We strongly believe autonomic and opportunistic properties will be a key feature of the Future Mobile Internet. The huge proliferation of mobile devices with wireless networking capabilities makes it possible to foresee a Future Internet environment in which users’ m...

Coverage hole detection is an important research problem in wireless sensor network community. However, distributed approaches proposed recent years for coverage have high computational complexity. In this paper, we propose a novel approach networks called FD-TL (Force-directed and Transfer-learning) which based on layout generation capability of Force-directed Algorithms image recognition powe...

Let X be an arbitrary set and a lattice of subsets ofX such that t/t, X E ..A() is the algebra generated by and I() consists of all zero-one valued finitely additive measures on Various subsets of I() are considered and certain lattices are investigated as well as the topology of closed sets generated by them. The lattices are investigated for normality, regularity, repleteness and completeness...

A non-self-adjoint operator algebra is said to be residually finite dimensional (RFD) if it embeds into a product of matrix algebras. We characterize RFD algebras in terms their state space, and moreover show that an only every representation can approximated by ones the point weak topology. This version theorem Exel Loring for C⁎-algebras. Moreover, we construct example which approximation str...

The prevalent strategy in the topology optimization phase is to select a subset of members existing in an excessively connected truss, called Ground Structure, such that the overall weight or cost is minimized. Although finding a good topology significantly reduces the overall cost, excessive growth of the size of topology space combined with existence of varied types of design variables challe...