Deep learning (DL) techniques are rapidly developed and have been widely adopted in practice. However, similar to traditional software, DL systems also contain bugs, which could cause serious impacts especially in safety-critical domains. Recently, much research has focused on testing DL models, while little attention has been paid for testing DL libraries, which is the basis of building DL models and directly affects the behavior of DL systems. In this work, we propose a novel approach, LEMON, to testing DL libraries. In particular, we (1) design a series of mutation rules for DL models, with the purpose of exploring different invoking sequences of library code and hard-to-trigger behaviors; and (2) propose a heuristic strategy to guide the model generation process towards the direction of amplifying the inconsistent degrees of the inconsistencies between different DL libraries caused by bugs, so as to mitigate the impact of potential noise introduced by uncertain factors in DL libraries. We conducted an empirical study to evaluate the effectiveness of LEMON with 20 release versions of 4 widely-used DL libraries, i.e., TensorFlow, Theano, CNTK, MXNet. The results demonstrate that LEMON detected 24 new bugs in the latest release versions of these libraries, where 7 bugs have been confirmed and one bug has been fixed by developers. Besides, the results confirm that the heuristic strategy for model generation indeed effectively guides LEMON in amplifying the inconsistent degrees for bugs.
A series of inorganic–organic hybrid multifunctional crystalline materials constructed using double-tartaric bridging mono-lanthanide substituted phosphotungstates display reversible photochromic, switchable luminescence, and magnetic properties.
It is challenging to explore and prepare high-nuclear lanthanide (Ln) cluster-encapsulated polyoxometalates (POMs). Herein, we fabricate an unprecedented Ce10-cluster-embedded polyoxotungstate (POT) (TMA)14H2[Ce(III)(H2O)6]{[Ce(IV)7Ce(III)3O6(OH)6(CO3)(H2O)11][(P2W16O59)]3}·41H2O (1) (TMA = tetramethyleneamine) by coordination-driven self-assembly strategy, which contains the largest Ce cluster [Ce(IV)7Ce(III)3O6(OH)6(CO3)(H2O)11] (Ce10) in all the Ln-containing POM chemistry to date. Self-assembly of the in situ dilacunary [P2W16O59](12-) fragments and mixed Ce(3+) and Ce(4+) ions by means of coordination-driven force results in a novel 2D graphite-like framework constructed from mixed-valent cerium(III/IV) cluster {Ce10} encapsulated poly(POT) units and Ce(3+) ions. The most remarkable feature is that the skeleton of the centrosymmetric Ce10-cluster-embedded POT trimer contains three dilacunary [P2W16O59](12-) fragments trapping a novel {Ce10} cluster via 18 terminal-oxo and three μ4-oxo atoms.
The nona-Cu(II)-containing tungstoarsenate(III) [H4{Cu(II)9As(III)6O15(H2O)6}(α-As(III)W9O33)2](8-) (1a) has been synthesized and characterized. Polyanion 1a comprises a unique, cylindrical {Cu(II)9As(III)6O15(H2O)6}(6+) cluster, which forms a large central cavity and is capped on either end by an [α-As(III)W9O33](9-) capping group. It exhibits remarkable activity against K562 leukaemia cells, as well as induces HepG2 cell apoptosis and autophagy.
Polyoxometalates (POMs) of Nb and Ta are greatly different from those of Mo, W, and V that have been studied extensively and developed well. The latter can be formed simply by acidification of their aqueous monomeric oxoanions and has found application areas from catalysis to magnetism, materials science, medicine, and nanotechnology. Even now the polyoxoniobate (PONb) chemistry has accelerated dramatically over the last 15 years, and a vast expansion of available PONbs has been reported. However, after nearly 200 years of POM research, Ta-based POM chemistry is still at its infant stage and only dominated by the isopolyoxotantalate ions (Ta and Ta) and transition-metal-capped Ta species, along with two Ti-substituted polyoxotantalates [TiTaO] and [TiTaO] reported very recently. In this study, we discover two novel peroxotantalophosphate clusters [P(TaO)O] (1) and [P(TaO)O] (2) by incorporating phosphorus heteroatom into Ta-oxo framework, which represent the first two examples of heteropolytantalate. Interestingly, two PTa half-units are cis- and trans-condensed in 1 and 2, leading to "open" and "closed" configurations, respectively. These two chemically and structurally related clusters can be isolated in a controlled manner, and the yields are relatively high. Both compounds were characterized in the solid state by single-crystal X-ray diffraction, P MAS NMR, FT-IR, TGA, and elemental analysis as well as byP NMR in solution. The results presented here provide a strategy to be applicable to other heteroatom-incorporated polyoxotantalates and further expand the phase space for polyoxotantalate chemistry.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.