On January 9, 2026, the latest edition of Applied Artificial Intelligence for Drug Discovery was published online as a Springer Nature volume, spanning 27 chapters authored by leading international ...

SharpSMT first fuses DPLL(T) polytope enumeration with new factorization, variable-elimination and caching pre-processing, ...

Quantum computing is an emerging paradigm that leverages the principles of quantum mechanics to solve computational problems beyond the reach of classical computers. This article provides an overview ...

We provide a practical implementation of maximum clique enumeration algorithm for massive networks. James Cheng, Yiping Ke, Ada Fu, Jeffrey Xu Yu, Linhong Zhu: Finding Maximal Cliques in Massive ...

block-insertion-theorem is a reproducible reference implementation of a combinatorial result about block insertion and counting linear extensions of posets. The repository provides a formal JSON ...

ABSTRACT: With the deepening of global economic integration, maritime logistics has become the core pillar of international trade, carrying more than 80% of global trade volume. Among the factors ...

With the deepening of global economic integration, maritime logistics has become the core pillar of international trade, carrying more than 80% of global trade volume. Among the factors influencing ...

1 School of Electronic Information and Communications, Huazhong University of Science and Technology, Wuhan, Hubei, China 2 Key Laboratory of Space Ocean Remote Sensing and Application, Ministry of ...

Amsterdam’s struggles with its welfare fraud algorithm show us the stakes of deploying AI in situations that directly affect human lives. What Amsterdam’s welfare fraud algorithm taught me about fair ...