Article Highlights
Updates every hour. Last Updated: 5-Apr-2026 06:15 ET (5-Apr-2026 10:15 GMT/UTC)
Simplified multi-view graph neural network for multilingual knowledge graph completion
Higher Education PressSM-GNN prunes multi-view GNNs to pure propagation, cutting training time while outperforming prior MKGC accuracies on two multilingual datasets via joint KGC and alignment loops.
- Journal
- Frontiers of Computer Science
Shadow tomography of quantum states with prediction
Higher Education PressResearch team cuts shadow-tomography sample cost to ε^(−3) by seeding FTRL with a rough state guess ϱ, halving measurements when ϱ sits within trace distance Θ(ε) of the true ρ.
- Journal
- Frontiers of Computer Science
New framework PyABV significantly enhances assertion verification capabilities of PyRTL
Higher Education PressPyABV injects high-performance assertion engines into PyRTL, doubling verification coverage on complex HADM designs while sustaining RTL simulation speed for both academia and industry.
- Journal
- Frontiers of Computer Science
Tool learning with large language models: A survey
Higher Education PressRecent survey delivers the first systematic map of LLM tool-learning, dissecting why tools supercharge models and how four-stage workflows (plan→select→call→respond) perform, while cataloging benchmarks and open challenges to jump-start newcomers.
- Journal
- Frontiers of Computer Science
SharpSMT: A scalable toolkit for measuring solution spaces of SMT(LA) formulas
Higher Education PressSharpSMT 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
Towards secure and fine-grained data sharing over cloud platform
Higher Education PressSFDS 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
ProSyno: Context-free prompt learning for synonym discovery
Higher Education PressResearch 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
Decoding the fermentation of ‘Nam Hom’ coconut cider: How yeast choice shapes aroma, flavor, and bioactive compounds
Maximum Academic Press- Journal
- Beverage Plant Research
How roast level and sensory quality shape the price of specialty coffee beans
Maximum Academic Press- Journal
- Beverage Plant Research