ABSTRACT Voluntary Counseling and Testing (VCT) clinics play a critical role in HIV/AIDS control by providing counseling, early detection, and referral for treatment services. Understanding the characteristics of HIV/AIDS patients who access VCT services is essential to identify at-risk populations. This study aimed to...
Lalu Alfian Zartadi, Muthia Cenderadewi· Malahayati Nursing Journal· 0 citations
BBExplorer is proposed, which combines multi-directional candidate generation, budget-aware two-stage screening, and adaptive step-size shrinkage for boundary refinement for boundary refinement in non-deterministic, budget-constrained systems.
ABEX is presented, an agentic LLM-based framework that replaces operator engineering with adaptive strategy generation: specialized LLM agents propose, select, and execute boundary-exploration strategies, guided by execution feedback and a quality-diversity (QD) archive.
This work proposes LumiCharge, a novel atomic charge prediction framework that incorporates high-order spherical harmonics convolutions and explicitly models multibody interactions, and demonstrates exceptional extrapolation capability and robustness across molecules of varying sizes, effectively overcoming the limitat...
Qun Su, Hui Zhang, Qiaolin Gou et al.· Journal of Physical Chemistr...· 2 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Results indicate that BF3 antagonists can synergize with the LBP antagonist to amplify conformational flexibility in H12 and induce anticorrelated dynamics of H12 with H3 and H4, suggesting a promising avenue for enhancing the efficacy and overcoming the resistance in castration-resistant prostate cancer treatment.
Xiaotian Kong, Yushan Zou, Peng Cao et al.· Journal of Chemical Informat...· 1 citation
This work introduces an advanced equivariant graph attention neural network specifically engineered to model long-range atomic electrostatic interactions with high precision, and improves the model's accuracy, generalization, and robustness in complex scenarios.
Qiaolin Gou, Qun Su, Ji-Ke Wang et al.· Journal of Chemical Informat...· 1 citation
A unified benchmarking framework is established that enables systematic evaluation of docking methods across diverse tasks and provides critical insights into the strengths and limitations of current docking strategies, thereby informing future developments in protein-protein docking research.
Linlong Jiang, Ke Zhang, Kai Zhu et al.· Journal of Chemical Informat...· 3 citations
BBBP-Atlas is proposed, a structure-aware BBB permeability prediction model designed for unified modeling of small molecules and peptides with the first cross-modal dataset OmniBBBP, which offers a versatile and cross-modal approach for single-compound prediction, batch screening, and dataset exploration for CNS drug d...
Xin Shen, Qun Su, Hao Luo et al.· bioRxiv· 0 citations
Reproducible research software and literature-derived input data supporting the manuscript “Temporal Patterning of Intermittent Lower-Leg Muscle-Pump Activation During Prolonged Sitting: A Hierarchical Timing Model with Held-Out Human Doppler Validation.” The release contains the canonical hierarchical timing model, he...
Yuzhan Zhang· Zenodo (CERN European Organi...· 0 citations
Abstract We aimed to evaluate the test–retest reliability and concurrent validity of a smart spirometry system with real-time software guidance compared to conventional laboratory spirometers. We included adult patients with asthma and/or chronic obstructive pulmonary disease from South Korea ( n = 633) and Vietnam ( n...
Jun-Young Song, Vinh Nguyen-Nhu, Sam-Ho Park et al.· Scientific Reports· 0 citations
This paper presents a novel approach to software security protocol design leveraging formal verification techniques. Traditional protocol design relies heavily on manual analysis and testing, which are often insufficient to guarantee complete security. This work introduces a methodology that transforms security protoco...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
Replication and verification material for the PROMPTOPS 2026 paper "Prompt Pipelines asEngineered Artifacts: Regression-Testing a Multi-Agent Threat-Modeling Pipeline",presented at the 1st International Workshop on PromptOps and Vibe Coding, co-located withthe 41st IEEE/ACM International Conference on Automated Softwar...
Eldar Mametov, Andrey Sadovykh· Zenodo (CERN European Organi...· 0 citations
AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them. It converts developer intent into a Verus specification, proves AI-generated code meets it for every input, and uses tests where proofs aren't practical. Developers review intent, not every line. The post Formally verifying agent-written full-stack web apps with PDD Kit appeared first o…
Is your company’s AI sovereign? A practical guide for CIOs on AI vendor lock-in, EU Data Act switching, cloud sovereignty, and testing your exit plan before you need it. The post Sovereignty Is the Option to Leave appeared first on GPT-Lab.
Microsoft Research Blog· microsoft.comOct 30, 2026
Evaluating Microsoft Copilot at enterprise scale requires test data that captures the full complexity of real organizations, yet real enterprise data contains sensitive information that cannot be used for evaluation under any circumstances. The post From synthetic enterprise data evaluations to real Microsoft Copilot AI confidence appeared first on Microsoft Research.
Microsoft Research Blog· microsoft.comOct 29, 2026
Host Sowbhagya Suresh shares some of the latest news and cutting-edge research from across Microsoft—from understanding the challenges facing coding agents to uncovering how people use AI at work and improving extended-range weather forecasting. The post Microsoft Research Focus – Edition #97 appeared first on Microsoft Research.
