Het(aryl)isatin to het(aryl)aminoindoline scaffold hopping: A route to selective inhibitors of matrix metalloproteinases

Matrix metalloproteinases (MMPs) are a large family of zinc-dependent endoproteases known to exert multiple regulatory roles in tumor progression. A variety of chemical classes have been explored for targeting individual MMP isoforms. In the present study, we further developed our isatin based scaffold BB0223107 capable of binding to and inactivating MMP-2 in a zinc-independent manner (Agamennone et al., 2016). Forty four new compounds were synthesized based on the modified BB0223107. All compounds were tested in enzyme inhibition assays against MMP-2, ?8 and ?13. SAR studies demonstrated that 5-het(aryl)-3-aminoindolin-2-ones (37–39) were active toward MMP-2 and MMP-13. The most potent compounds 33 and 37 displayed an IC₅₀ of 3 µM against MMP-13 and showed a negligible activity toward MMP-8; almost all new compounds were inactive toward MMP-8. Replacement of the isatin ring with a biaryl system (compound 33) did not decrease the potency against MMP-13 but reduced the selectivity. Structure-based computational studies were carried out to rationalize the inhibitory activity data. The analysis of binding geometries confirmed that all fragments occupied the S1′ site in the three enzymes while no ligand was able to bind the catalytic zinc ion. To the best of our knowledge, this is the first example of 3-aminoindolin-2-one-based MMP inhibitors that, based on the computer modeling study, do not coordinate the zinc ion. Thus, the het(aryl)-3-aminoindolin-2-one derivatives emerge as a drug-like and promising chemotype that, along with the hetaryl variations, represents an alternative and thrifty tool for chemical space exploration aimed at MMP inhibitor design.     

Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

TDPAC and first-principles study of electronic and structural properties of a Pd-vacancy complex in undoped germanium

Pd is one of the metals suitable for inducing low-temperature crystallization in Ge. However, it is not clear how residual Pd atoms are integrated into the Ge lattice. Therefore, time-differential γ–γ perturbed angular correlations (TDPAC) technique using the ¹⁰⁰Pd(→¹⁰⁰Rh) nuclear probe produced by recoil implantation has been applied to study the hyperfine interactions of this probe in single-crystalline undoped Ge. A Pd-vacancy complex aligned along the <111> crystallographic direction with a unique interaction frequency of 8.4(5) Mrad/s has been identified. This complex was measured to have a maximum relative fraction of about 76(4)% following annealing at 350 ^°C. Further annealing at higher temperatures reduced this fraction, possibly via dissociation of the complex. Calculations suggest dissociation energy of 1.94(5) eV for the complex. DFT calculations performed in this work are in reasonable good agreement with the experimental values for the electric-field gradient of the defect complex in Ge and Si for comparison. The calculations predict a split-vacancy configuration with the Pd on a bond-centred interstitial site having a nearest-neighbour semi-vacancy on both sides (V-Pd_BI-V) in Ge and Si.     

The mechanism of ethylene polymerization by nickel salicylaldiminato catalysts - Agostic interactions and their kinetic isotope effects

The ethylene polymerization reaction of a neutral nickel catalyst was studied by DFT calculations at the Becke3LYP/6-31G(d) level of theory. As in related cases a β-agostic bond stabilizes the nickel alkyl ground states. Transition states for the insertion of the olefin show a distinct α-agostic interaction, which has not been observed for late metal polymerization catalysts before. An ethylene-alkyl complex was identified as the resting state of the reaction. The overall barrier height of the reaction amounts to 17.54 kcal/mol, which slightly increases to 17.60 kcal/mol for the polymerization of deuterated ethylene. Therefore, a small positive kinetic isotope effect (k_H/k_D = 1.09) can be calculated, which is caused by the α-agostic interaction in the transition state. A comparison to other late metal based polymerization systems reveals that the ethylene coordination step of highly active catalysts is significantly lower in energy compared to catalysts which are only moderately active.     

矩阵方程A^TXB=C的正定和半正定解

给出了矩阵方程Ａ＾ＴＸＢ＝Ｃ在正定和半正定矩阵类中有解的充要条件及解的一般表达式。     

铁分子Fe2的自旋极化效应

采用密度泛函方法(B3P86)对 Fe_2分子结构进行了优化.计算结果中未观察到自旋污染,基态波函数与高态波函数并未混杂,结果表明,Fe_2中有8个未配对电子,这些电子空间分布不同和自旋平行产生的自旋极化效应,使 Fe_2能量最低.计算结果表明,Fe_2分子的基态是~9∑_g~ ,并非~7Δ_u,进而表明 Fe_2的自旋平行效应比电子自旋配对效应要强.计算得到该分子基态的二阶、三阶和四阶力常数分别为1.4115×10~(-2)aJ/nm~2、-37.1751×10~3aJ/nm~3和 98.7596×10~4aJ/nm~4；光谱数据ω_eχ_e、B_e、α_e分别为0.3522、0.0345、 0.4963×10~(-4)cm~(-1)；离解能为3.5522eV,平衡键长为0.2137nm,振动频率为292.914cm~(-1)；并得到了 Murrel-Sorbie 函数.     

一类函数方程的稳定性及微商配置解

本文对一类重要的函数方程建立解稳定性定理,提出微商配置解,证明了收敛性.     

Interlaboratory comparisons and improvements of methods for acid number determination in used motor oils

The results of two interlaboratory comparisons of acid number determinations in used motor oils are discussed. It is shown that the comparability of the measurement results is not as good as that required by known standards for petroleum products. The problem is motor oil contaminants which accumulated during use, and which are the source of a matrix effect in the acid number determination. The standard methods’ drawbacks are analyzed and some improvements are proposed. Repeatability and accuracy of the improved methods are evaluated. Received: 11 December 2001 Accepted: 15 February 2002     

有限时滞微分系统依照双测度的实际稳定性

本文对具有有限时滞的泛函微分方程建立了关于依照两种测度的实际稳定性的Razumikhin型判定定理，其中未采用通常的辅助函数，且可运用多个含有状态变量x的部分变元的Lyapunov函数，得出部分变远实际稳定性的判定定理，从而改进了已有的结果。     

Hypernormal form theory: foundations and algorithms

Hypernormal forms (unique normal forms, simplest normal forms) are investigated both from the standpoint of foundational theory and algorithms suitable for use with computer algebra. The Baider theory of the Campbell-Hausdorff group is refined, by a study of its subgroups, to determine the smallest substages into which the hypernormalization process can be divided. This leads to a linear algebra algorithm to compute the generators needed for each substage with the least amount of work. A concrete interpretation of Jan Sanders’ spectral sequence for hypernormal forms is presented. Examples are given, and a proof is given for a little-known theorem of Belitskii expressing the hypernormal form space (in the inner product style) as the kernel of a higher-order differential operator.