The expressiveness of the declarative language G odel can be improved by adding to it bounded quanti cations, i.e., quanti cations over nite domains, and arrays. Many problems can be expressed more concisely using bounded quanti cations than using recursion. Arrays are natural for many applications, e.g., in scienti c computing, and are conveniently used in bounded quanti cations. Treating bou...

This research provides an atomistic picture of the role ions in modulating microstructural features oil-contaminated calcite surface. is crucial importance for rational design ion-engineered waterflooding, a promising technique enhancing oil recovery from carbonate reservoirs. Inspired by conventional lab-scale procedure, integrated series molecular dynamics (MD) simulations were carried out to...

Calix[8]arenes of conformational rigid were isolated. The NMR parameters of the structure of calix[8]arenes have been compared. The study of organic structures to form nanoporous materials is well-known in chemistry phenomena to find the crystal form of calix[8]arene as supramolecule. Investigated and compared hydrogen bonding, oxygen and nitrogen atoms effect on calix[8]arene and its complexes...

Calix[8]arenes of conformational rigid were isolated. The NMR parameters of the structure of calix[8]arenes have been compared. The study of organic structures to form nanoporous materials is well-known in chemistry phenomena to find the crystal form of calix[8]arene as supramolecule. Investigated and compared hydrogen bonding, oxygen and nitrogen atoms effect on calix[8]arene and its complexes...

The major product of the XLR (X-chromosomal, lymphocyte-regulated) locus is found to be a 30-kD nuclear protein with a relatively short (t1/2 approximately equal to 2 h) half-life. Together with its stage- and tissue-specific pattern of expression, this suggests a role for this protein in the regulation of differentiation in T and B lymphocytes. Interestingly, the XLR protein almost completely ...