Abstract We prove that each element of a complete atomic $ l -semiring has canonical decomposition. also find some sufficient conditions for the decomposition to be unique are expressed by first-order sentences. As corollary, we obtain theorem Avgustinovich–Frid which claims factorial language

In recent years modules have frequently been used for ontology development and understanding. This happens because a module captures all the knowledge an ontology contains in a given area, and often is much smaller than the whole ontology. One useful modularisation technique for expressive ontology languages is locality-based modularisation, which allows for fast (polynomial) extraction of modu...

We present a new way to compute the two-body contribution to the dispersion energy using ab initio theory. By combining the complex polarization propagator method and the LoProp transformation, local contributions to the Casimir-Polder interaction is obtained. The full dispersion energy in dimer systems consisting of pairs of molecules including H2, N2, CO, CH4, pyridine, and benzene is investi...

In this paper we introduce and investigate new 2-microlocal spaces associated with Besov type Triebel–Lizorkin spaces. We establish characterizations of these function via the $$\varphi $$ –transform, atomic molecular decomposition wavelet decomposition. As applications consider boundedness Calder $$\acute{\mathrm{o}}$$ n–Zygmund operator pseudo–differential on

Structural models for Alcufe icosahedral and rhombohedral phases are obtained by decomposition, in perpendicular space, of the atomic surfaces into cells of identical local environment. The models are descnbed in 3D real space and compared to the corresponding

It is shown how Event-B can be use to model and reason about distributed systems from a high-level global view down to a detailed distributed architectural view. It is shown how refinement and decomposition can be used to introduce distribution of state and control and to introduce message passing between components. Distribution is treated as a special case of concurrency. Techniques are prese...

The natural frequency and scanning vibration frequency of C-dynamic scanning system of laser sensors are acquired for film thickness of lithium battery de-noising based on multi-resolution wavelet algorithm. For this reason, fast de-noising based on atomic sequence template library is present. First, under various mode of scanning, best atomic sequence template is built by sparse decomposition....

With an appropriate high anneal temperature under H2 atmosphere, GaN quantum dots (QDs) have been fabricated via GaN thermal decomposition in metal organic chemical vapor deposition (MOCVD). Based on the characterization of atomic force microscopy (AFM), the obtained GaN QDs show good size distribution and have a low density of 2.4 × 10(8) cm(-2). X-ray photoelectron spectroscopy (XPS) analysis...

Atomic forces are calculated for first-row monohydrides and carbon monoxide within electronic quantum Monte Carlo (QMC). Accurate and efficient forces are achieved by using an improved method for moving variational parameters in variational QMC. Newton's method with singular value decomposition (SVD) is combined with steepest-descent (SD) updates along directions rejected by the SVD, after init...

We introduce a method for obtaining atomic point-charges that yield accurate representations of the electrostatic potentials (ESP) of large systems. The method relies on a decomposition of the density and subsequent projection of the multipole moments of the density components onto neighbouring atomic sites. The resulting local multipole-derived charges (LMDCs) are well-defined, do not require ...