19-Jan-2026 SharpSMT: A scalable toolkit for measuring solution spaces of SMT(LA) formulas Higher Education Press SharpSMT first fuses DPLL(T) polytope enumeration with new factorization, variable-elimination and caching pre-processing, cutting runtime on instances from program-analysis benchmarks by orders of magnitude. Journal Frontiers of Computer Science
19-Jan-2026 Towards secure and fine-grained data sharing over cloud platform Higher Education Press SFDS introduces the first bilateral attribute-based access control and puncturable-encryption key update that eliminates the trusted KGC, cutting key-generation and decryption costs while blocking unauthorized uploads and downloads. Journal Frontiers of Computer Science
19-Jan-2026 ProSyno: Context-free prompt learning for synonym discovery Higher Education Press Research team unveils ProSyno, a context-free prompt-learning model that taps Wiktionary descriptions and a dynamic matching encoder to spot synonyms across domains without KGs or corpora, setting new benchmarks on four datasets. Journal Frontiers of Computer Science
17-Jan-2026 Decoding the fermentation of ‘Nam Hom’ coconut cider: How yeast choice shapes aroma, flavor, and bioactive compounds Maximum Academic Press A research team has unveiled how fermentation time and yeast selection work together to transform fresh ‘Nam Hom’ coconut water into a distinctive, aromatic cider. Journal Beverage Plant Research
17-Jan-2026 How roast level and sensory quality shape the price of specialty coffee beans Maximum Academic Press A research team has uncovered how subtle sensory qualities and roasting choices translate directly into what consumers pay for specialty coffee. Journal Beverage Plant Research
16-Jan-2026 Landing scheduling for carrier aircraft fleet considering bolting probability and aerial refueling KeAi Communications Co., Ltd. This paper addresses carrier aircraft landing scheduling considering bolting and aerial refueling. It defines fuel and wake interval constraints, formulates a combinatorial optimization model, and designs an improved firefly algorithm. A dynamic replanning mechanism handles special situations, and simulations validate the model’s effectiveness in enhancing recovery safety and efficiency. Journal Defence Technology Funder National Natural Science Foundation of China, Natural Science and Technology Program of Liaoning Province
16-Jan-2026 HKU Engineering researchers discover quantum entanglement accelerates quantum simulation The University of Hong Kong Researchers from the Faculty of Engineering at The University of Hong Kong (HKU) have made a significant discovery regarding quantum entanglement. This phenomenon, which has long been viewed as a significant obstacle in classical quantum simulations, actually enhances the speed of quantum simulations and acts as a valuable resource. The groundbreaking findings have been featured as the Cover Story in the prestigious journal Nature Physics in an article titled “Entanglement accelerates quantum simulation”. Journal Nature Physics
14-Jan-2026 FedCare: towards interactive diagnosis of federated learning systems Higher Education Press FedCare delivers the first visual pipeline that pinpoints, classifies and mitigates FL failures in real time, cutting convergence rounds and boosting accuracy across tested attacks without sacrificing privacy. Journal Frontiers of Computer Science
