in this paper, we define the notions of fuzzy congruence relations and fuzzy convex subalgebras on a commutative residuated lattice and we obtain some related results. in particular, we will show that there exists a one to one correspondence between the set of all fuzzy congruence relations and the set of all fuzzy convex subalgebras on a commutative residuated lattice. then we study fuzzy...

Pattern matching, or querying, over annotations is a general purpose paradigm for inspecting, navigating, mining, and transforming annotation repositories—the common representation basis for modern pipelined text processing architectures. The open-ended nature of these architectures and expressiveness of feature structure-based annotation schemes account for the natural tendency of such annotat...

Deterministic loading of single atoms onto arbitrary two-dimensional lattice points has recently been demonstrated, where by dynamically controlling the optical-dipole potential, atoms from a probabilistically loaded lattice were relocated to target lattice points to form a zero-entropy atomic lattice. In this atom rearrangement, how to pair atoms with the target sites is a combinatorial optimi...

Enumeration algorithms are the best currently known methods to solve lattice problems, both in theory (within the class of polynomial space algorithms), and in practice (where they are routinely used to evaluate the concrete security of lattice cryptography). However, there is an uncomfortable gap between our theoretical understanding and practical performance of lattice point enumeration algor...

We examine the stability of quasi-two-dimensional dipolar Bose-Einstein condensates in the presence of weak optical lattices of various geometries. We find that when the condensate possesses a roton-maxon quasiparticle dispersion, the conditions for stability exhibit a strong dependence both on the lattice geometry and the polarization tilt. This results in rich structures in the system’s stabi...

Lattice NRQCD with leading finite lattice spacing errors removed is used to calculate decay constants of mesons made up of heavy quarks. Quenched simulations are done with a tadpole improved gauge action containing plaquette and six-link rectangular terms. The tadpole factor is estimated using the Landau link. For each of the three values of the coupling constant considered, quarkonia are calcu...

We perform a non-perturbative study of the scale-dependent renormalization factors of a multiplicatively renormalizable basis of ∆B = 2 parity-odd four-fermion operators in quenched lattice QCD. Heavy quarks are treated in the static approximation with various lattice discretizations of the static action. Light quarks are described by nonperturbatively O(a) improved Wilson-type fermions. The re...