(E)-N′-[4-(Dimethyl­amino)­benzyl­idene]-4-methyl­benzohydrazide methanol monosolvate

In the title compound, C17H19N3O·CH3OH, the hydrazone mol­ecule exists in a trans geometry with respect to the methyl­idene unit and the dihedral angle between the two substituted benzene rings is 42.6 (2)°. In the crystal, the components are linked through N—H⋯O and O—H⋯O hydrogen bonds, forming [100] chains of alternating hydrazone and methanol mol­ecules

Automatic Security Bug Detection with FindSecurityBugs Plugin

The security threats to mobile application are growing explosively. Mobile app flaws and security defects could open doors for hackers to easily attack mobile apps. Secure software development must be addressed earlier in the development lifecycle rather than fixing the security holes after attacking. Early eliminating against possible security vulnerability will help us increase the security of software and mitigate the consequence of damages of data loss caused by potential malicious attacking. In this paper, we present a static security analysis approach with open source FindSecurityBugs plugin for Android StThe security threats to mobile application are growing explosively. Mobile app flaws and security defects could open doors for hackers to easily attack mobile apps. Secure software development must be addressed earlier in the development lifecycle rather than fixing the security holes after attacking. Early eliminating against possible security vulnThe security threats to mobile application are growing explosively. Mobile app flaws and security defects could open doors for hackers to easily attack mobile apps. Secure software development must be addressed earlier in the development lifecycle rather than fixing the security holes after attacking. Early eliminating against possible security vulnerability will help us increase the security of software and mitigate the consequence of damages of data loss caused by povvtential malicious attacking. In this paper, we present a static security analysis approach with open source FindSecurityBugs plugin for Android Studio IDE. We demonstrate that integration of the plugin enables developers secure mobile application and mitigating security risks during implementation time. erability will help us increase the security of software and mitigate the consequence of damages of data loss caused by potential malicious attacking. In this paper, we present a static security analysis approach with open source FindSecurityBugs plugin for Android Studio IDE. We demonstrate that integration of the plugin enables developers secure mobile application and mitigating security risks during implementation time. udio IDE. We demonstrate that integration of the plugin enables developers secure mobile application and mitigating security risks during implementation time. ity defects could open doors for hackers to easily attack mobile apps. Secure software development must be addressed earlier in the development lifecycle rather than fixing the security holes after attacking. Early eliminating against possible security vulnerability will help us increase the security of software and mitigate the consequence of damages of data loss caused by potential malicious attacking. In this paper, we present a static security analysis approach with open source FindSecurityBugs plugin for Android Studio IDE. We demonstrate that integration of the plugin enables developers secure mobile application and mitigating security risks during implementation time

Power loss transition of stable ZnO varistor ceramics: Role of oxygen adsorption on the stability of interface states at the grain boundary

Highly stable ZnO varistor ceramics with steadily decreasing power loss have been put into applications in electrical and electronic systems for overvoltage protections, even with the absence of general understandings on their aging behaviors. In this paper, we investigated their aging nature via conducting comparative direct current (DC) aging experiments both in air and in nitrogen, during which variations of electrical properties and interface properties were measured and analyzed. Notably, continuously increasing power loss with severe electrical degradation was observed for the sample aged in nitrogen. The power loss transition was discovered to be closely related to the consumption of oxygen adsorption at the grain boundary (GB), which could, however, remain constant for the sample aged in air. The interface density of states (DOS) Ni, which is crucial for pinning the potential barrier, was proved to decrease in nitrogen, but keep stable in air. Therefore, it is concluded that the oxygen adsorption at the GB is significant for the stability of interface states, which further correlates to the long-term stability of modern stable ZnO varistor ceramics

Improving Certified Robustness via Statistical Learning with Logical Reasoning

Intensive algorithmic efforts have been made to enable the rapid improvements of certificated robustness for complex ML models recently. However, current robustness certification methods are only able to certify under a limited perturbation radius. Given that existing pure data-driven statistical approaches have reached a bottleneck, in this paper, we propose to integrate statistical ML models with knowledge (expressed as logical rules) as a reasoning component using Markov logic networks (MLN, so as to further improve the overall certified robustness. This opens new research questions about certifying the robustness of such a paradigm, especially the reasoning component (e.g., MLN). As the first step towards understanding these questions, we first prove that the computational complexity of certifying the robustness of MLN is #P-hard. Guided by this hardness result, we then derive the first certified robustness bound for MLN by carefully analyzing different model regimes. Finally, we conduct extensive experiments on five datasets including both high-dimensional images and natural language texts, and we show that the certified robustness with knowledge-based logical reasoning indeed significantly outperforms that of the state-of-the-art