MSSM Anatomy of the Polarization Puzzle in B --> phi K* Decays

We analyze the $B \to \phi K^{*}$ polarization puzzle in the Minimal Supersymmetric Standard Model (MSSM) including the neutral Higgs boson (NHB) contributions. To calculate the non-factorizable contributions to hadronic matrix elements of operators, we have used the QCD factorization framework to the $\alpha_s$ order. It is shown that the recent experimental results of the polarization fractions in $B\to \phi K^{*}$ decays, which are difficult to be explained in SM, could be explained in MSSM if there are flavor non-diagonal squark mass matrix elements of 2nd and 3rd generations, which also satisfy all relevant constraints from known experiments ($B\to X_s\gamma, B_s\to \mu^+\mu^-, B\to X_s \mu^+\mu^-, B\to X_s g, \Delta M_s$, etc.). We have shown in details that the experimental results can be accommodated with the flavor non-diagonal mass insertion of chirality RL, RL+LR, RR, or LL+ RR when the NHB contributions as well as $\mathcal{O}(\alpha_s)$ corrections of hadronic matrix elements of operators are included. However the branching ratios for the decay are smaller than the experimental measurements.Comment: 15 pages, 5 figures, minor revision and references adde

Unsupervised Domain Adaptation for COVID-19 Information Service with Contrastive Adversarial Domain Mixup

In the real-world application of COVID-19 misinformation detection, a fundamental challenge is the lack of the labeled COVID data to enable supervised end-to-end training of the models, especially at the early stage of the pandemic. To address this challenge, we propose an unsupervised domain adaptation framework using contrastive learning and adversarial domain mixup to transfer the knowledge from an existing source data domain to the target COVID-19 data domain. In particular, to bridge the gap between the source domain and the target domain, our method reduces a radial basis function (RBF) based discrepancy between these two domains. Moreover, we leverage the power of domain adversarial examples to establish an intermediate domain mixup, where the latent representations of the input text from both domains could be mixed during the training process. Extensive experiments on multiple real-world datasets suggest that our method can effectively adapt misinformation detection systems to the unseen COVID-19 target domain with significant improvements compared to the state-of-the-art baselines

Automatic compositional verification of timed systems

Specification and verification of real-time systems are important research topics with crucial applications; however, the so-called state space explosion problem often prevents model checking to be used in practice for large systems. In this work, we present a self-contained toolkit to analyze real-time systems specified using event-recording automata (ERAs), which supports system modeling, animated simulation, and fully automatic compositional verification based on learning techniques. Experimental results show that our tool outperforms the state-of-the-art timed model checker.No Full Tex

A Biomechanical Analysis of the Interlock Suture and a Modified Kessler-Loop Lock Flexor Tendon Suture

OBJECTIVE: In this work, we attempted to develop a modified single-knot Kessler-loop lock suture technique and compare the biomechanical properties associated with this single-knot suture technique with those associated with the conventional modified Kessler and interlock suture techniques. METHODS: In this experiment, a total of 18 porcine flexor digitorum profundus tendons were harvested and randomly divided into three groups. The tendons were transected and then repaired using three different techniques, including modified Kessler suture with peritendinous suture, interlock suture with peritendinous suture, and modified Kessler-loop lock suture with peritendinous suture. Times required for suturing were recorded and compared among groups. The groups were also compared with respect to 2-mm gap load, ultimate failure load, and gap at failure. RESULTS: For tendon repair, compared with the conventional modified Kessler suture technique, the interlock and modified Kessler-loop lock suture techniques resulted in significantly improved biomechanical properties. However, there were no significant differences between the interlock and modified Kessler-loop lock techniques with respect to biomechanical properties, gap at failure, and time required. CONCLUSIONS: The interlock and modified Kessler-loop lock techniques for flexor tendon sutures produce similar mechanical characteristics in vitro

4-Bromo-2-({4-[(hy­droxy­imino)­meth­yl]phen­yl}imino­meth­yl)phenol

In the title compound, C14H11BrN2O2, the mean planes of the two benzene rings are almost parallel to each other, making a dihedral angle of 4.09 (1)°. An intra­molecular O—H⋯N hydrogen bond occurs. In the crystal, inter­molecular O—H⋯N and C—H⋯O hydrogen bonds link the mol­ecules into a chain-like supra­molecular structure

Interpolation guided compositional verification

No Full Tex