A common technique for constructing reliable distributed applications is to use atomic actions for controlling operations on persistent objects. Atomic actions are used to ensure that inconsistencies in application state do not arise when failures occur or when concurrent activities operate on shared objects. Within such an application, objects provide a convenient unit for distribution and con...

A combination of inelastic neutron scattering (INS) spectroscopy and Raman spectroscopy with periodic density functional theory calculations is used to provide a complete assignment of the vibrational spectra of α-lithium amidoborane (α-LiNH(2)BH(3)). The Born charge density and the atomic motion up to the decomposition temperature have been modelled. These models not only explain the nature of...

The method ot atomic decomposition of Besov and Lizorkin-Triebel function spaces is combined with basic ideas from the theory of singular integral operators and applied to the study of fractional integral and diierential operators (FIDO), of which the Riesz potential is considered in detail as a model example. The main new results are: characterization of the Riesz potential by an innnite-dimen...

Hardy-Sobolev spaces and interpolation N. Badr Institut Camille Jordan Université Claude Bernard Lyon 1 UMR du CNRS 5208 F-69622 Villeurbanne Cedex [email protected] F. Bernicot Laboratoire de Mathématiques Université de Paris-Sud UMR du CNRS 8628 F-91405 Orsay Cedex [email protected] October 19, 2010 Abstract The purpose of this work is to describe an abstract theory of Ha...

Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large class of modal and description logics. The class of description logics suitable for the proposed methods is strong on the arithmetical side. In particular there may be complex arithmetical conditions on sets of accessib...

We extend the local exchange (LK) algorithm [Aquilante, F.; Pedersen, T. B.; Lindh, R. J. Chem. Phys.2007, 126, 194106] to the calculation of analytical gradients with density fitting. We discuss the features of the screening procedure and demonstrate the possible advantages of using this formulation, which is easily interfaced to a standard integral-direct gradient code. With auxiliary basis s...

We describe a new general method for the computation of the group Aut(X) of self-homotopy equivalences of a space. It is based on the decomposition of Aut(X) induced by a factorization of X into a product of simpler spaces. Normally, such decompositions require assumptions (’induced equivalence property’, ’diagonalizability’), which are strongly restrictive and hard to check. In this paper we d...

Atomic decomposition of ontologies has been suggested as a tool to understand the modular structure of ontologies. It consists of a polynomial size representation of potentially exponentially many modules of an ontology. Tractable algorithms for computing the atomic decomposition for locality-based modules have been introduced, albeit leaving room for improvement in terms of running time. In th...

Wavelet analysis is a powerful tool withmodern applications as diverse as: image processing, signal processing, data compression, data mining, speech recognition, computer graphics, etc. The aim of this paper is to introduce the concept of atomic decomposition of fuzzy normed linear spaces, which play a key role in the development of fuzzy wavelet theory. Atomic decompositions appeared in appli...

The Bulgarian natural expanded mineral obtained from Bentonite AD perlite (A deposit of "The Broken Mountain" for perlite mining, near by the village of Vodenicharsko, in the municipality of Djebel), was loaded with silver (as ion form Ag 2 and 5 wt% by the incipient wetness impregnation method), and as atomic silver Ag using Tollen’s reagent (silver mirror reaction). Some physicochemical chara...