The lattice Ì of lambda theories is isomorphic to the congruence lattice of the term algebra of the minimal lambda theory ¬. This remark is the starting point for studying the structure of Ì by universal algebraic methods. In this paper we show that Ì satisfies nontrivial lattice quasi-identities, while we conjecture that Ì does not satisfy any nontrivial lattice identity (a lattice identity is...

Flexible boundary-condition methods couple an isolated defect to bulk through the bulk lattice Green's function. Direct computation of the lattice Green's function requires projecting out the singular subspace of uniform displacements and forces for the infinite lattice. We calculate the convergence rates for elastically isotropic and anisotropic cases for three different techniques: relative d...

The different techniques available for the accurate measurement of lattice fringe spacings are discussed and their relative merit under different circumstances assessed. The relationship between the lattice fringe spacing and the lattice parameter is further examined for both uniform and chemically inhomogeneous material. The techniques described were also applied to an investigation of carbon ...

We report the study of laser-induced coherent lattice motions using femtosecond electron diffraction. The oscillations of Bragg peak positions associated with a damped lattice vibration along the surface normal were directly observed in real time and with sub-milli-angstrom spatial resolution. In addition, by using a pair of optical excitation pulses and varying their time delay and relative pu...

Knowledge of habitat requirements of aquatic animals plays an important role in fisheries and protection programs of aquatic ecosystems. Hence, this study was conducted to investigate the suitability indexes of habitat use and habitat suitability index (HSI) of Barbus cyri in its distribution range in Tootkabon River. A number of environmental variables, including elevation, water depth, river ...

1. Dietary calcium restriction, an efficient practice in reducing urinary calcium excretion, has been reported to induce either an increase or no change in oxalate excretion, questioning its use in hypercalciuric stone-forming patients. In addition, calcium restriction has been previously demonstrated to induce other urinary changes which might influence the relative supersaturation of calcium ...

x-ray diffraction peak profile analysis was used to identify changes in the lattice distortions during isothermal aging of fe-10ni-7mn (wt. %) maraging steel. integral peak breadths were analyzed using classical williamson-hall equation taking the elastic anisotropy into account. it was found that substantial lattice distortions rise during precipitation hardening which depend strongly on the s...

PURPOSE To assess the public hospitalization rate due to stone disease in a large developing nation for a 15-year period and its association with socio-demographic data. MATERIALS AND METHODS A retrospective database analysis of hospitalization rates in the Brazilian public health system was performed, searching for records with a diagnosis code of renal/ureteral calculi at admission between ...