Let C (X) denote the lattice-ordered algebra of all real-valued continuous functions on a topological space X. This paper discusses in Zermelo-Fraenkel Set Theory the equivalence on C (X) between algebra homomorphisms, lattice homo- morphisms, and point evaluations....
Rough set theory applied to lattice theory Summary: In this paper, we intend to study a connection between rough sets and lattice theory. We introduce the concepts of upper and lower rough ideals (f... AA Estaji,MR Hooshmandasl,B Davvaz - 《Information Sciences》 被引量: 107发表: 2012...
Fig. 15. CLFFF lattice sample and the experimental Set-up for compression loading used by Gardner et al. [47]. The topologies that have been used to date in non-planar samples are summarized in Fig. 16. Curved rasters that follow the curvature of the macro-geometries have been explored ...
The set of radial distances (\(R{\prime} \)) of all atoms of the guest molecule is fixed for constant geometry that results in five degrees of freedoms. The constraint imposed on the angles\(\theta \)and\(\phi \)is [–40, 40] that accords to its location in the cavity such that...
Sign in to download hi-res image Fig. 1. Set of two-dimensional discrete velocity vectors {cα} for the D2Q9 model of the LBM. (1)cα=(0,0)α=0(1,0),(0,1),(-1.0),(0,-1)α=1,2,3,4(1,1),(-1,1),(-1.-1),(1,-1)α=5,6,7,8 The discretization of the spatial...
Gauge theories are of paramount importance in our understanding of fundamental constituents of matter and their interactions. However, the complete characterization of their phase diagrams and the full understanding of non-perturbative effects are still
(solving system of linear diophantine equation), compiler theory (lattice based memory allocation), synthesize cryptographic and cryptanalysis in lattice based ... V Usatyuk - 《Mathematics》 被引量: 0发表: 2012年 A three-dimensional cellular automation-finite element model for the prediction of sol...
Concept lattice and rough set theory, two different methods for knowledge representation and knowledge discovery, are successfully applied to many fields. Methods of fuzzy rule extraction based on rough set theory are rarely reported in incomplete interval-valued fuzzy information systems. Thus, this pa...
BLT is a C/C++ library for solving certain integer linear programming (ILP) problems using techniques that come from the theory of lattices. It is complementary to many existing, traditional ILP solvers in that there are problems it solves very well and very quickly which traditional solvers do...
Crystals are solid materials where atoms and molecules are arranged in a highly ordered (periodic) microscopic structure, called a crystal lattice. From: Encyclopedia of Spectroscopy and Spectrometry (Third Edition), 2017 About this pageSet alert ...