As r e s e a r c h i n n a t u r a l l a n g u a g e p r o c e s s i n g spawns c o m m e r c i a l p r o d u c t s , a s i t now b e g i n s Co, o u r r e s e a r c h communi ty a c q u i r e s new e t h i c a l and p r a c t i c a l r e s p o n s i b i l i t i e s . All software packages have limitations, and research progress consists in d e v i s i n g t e c h n i q u e s t h a t l e a d t ...

This paper investigates a non-commutative first-order sequent calculus NCLK. For that, this paper extends a non-commutative positive fragment to a full first-order sequent calculus LK− having antecedent-grouping and no right exchange rule. This paper shows (1) NCLK is equivalent to LJ, (2) NCLK with the exchange rule is equivalent to LK, (3) LK− is equivalent to LJ, and (4) translations between...

This paper introduces a general method for obtaining lower bounds for the total energy and the minimal inter-particle distance in optimal atom cluster problems with pair potential functions under weak general conditions on the pair potential. The bounds obtained are sharper than those previously known for both the Lennard-Jones potential and various Morse potentials. Statistics on the putative ...

in this paper, the radial breathing mode (rbm) frequencies of multi-walled carbon nanotubes (mwcnts) are  obtained based on the multiple-elastic thin shell model. for this purpose, mwcnt is considered as a multiple concentric elastic thin cylindrical shells, which are coupled through van der waals (vdw) forces between two adjacent tubes. lennard-jones potential is used to calculate the vdw forc...

We introduce the Farrell-Jones Conjecture with coefficients in an additive category with G-action. This is a variant of the Farrell-Jones Conjecture about the algebraic Kor L-Theory of a group ring RG. It allows to treat twisted group rings and crossed product rings. The conjecture with coefficients is stronger than the original conjecture but it has better inheritance properties. Since known p...

The operator Lry = / + Py, whose domain is determined in part by the Stieltjes integral boundary condition Jo dv{i)y{f) = 0, is studied in Xj¡($>, 1), 1 < p < oo. It is shown that Lp has a dense domain; hence there exists a dual operator L* operating on .£¡¡(0,1). After finding LJ we show that both L, and L¡¡ are Fredholm operators. This implies some elementary results concerning the spectrum a...

We characterize the circular periodic solutions of the generalized Lennard–Jones Hamiltonian system with two particles in Rn, and we analyze what of these periodic solutions can be continued to periodic solutions of the anisotropic generalized Lennard–Jones Hamiltonian system. We also characterize the periods of antiperiodic solutions of the generalized Lennard–Jones Hamiltonian system on R2n, ...

It is a deep fact that the homotopy classification of topological manifolds is convariantly functorial. In other words, a map M → N of topological manifolds naturally induces a map S(M) → S(N) of their structure sets. We extend the fact to the isovariant structure set SG(M, rel Ms) of G-equivariant topological manifolds isovariantly homotopy equivalent to M and restricts to homormorphism on the...

Abstract We study the transition pathways of a Lennard-Jones cluster of seven particles in three dimensions. Low lying saddle points of the LJ cluster, which can be reached directly from a minimum without passing through another minimum, are identified without any presumption of their characteristics, nor of the product states they lead to. The probabilities are computed for paths going from a ...

A method for extracting force constants FCs from first principles is introduced. In principle, provided that forces are accurate enough, it can extract harmonic as well as anharmonic FCs up to any neighbor shell. Symmetries of the FCs as well as those of the lattice are used to reduce the number of parameters to be calculated. The results are illustrated for the case of the Lennard-Jones potent...