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, ...

In this study, we focus on investigating a nonsmooth convex optimization problem involving the l 1-norm under a non-negative constraint, with the goal of developing an inverse-problem solver for image ...

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 ...

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 ...

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 ...

Panelists discuss how treatment goals for intermediate-risk myelofibrosis patients focus on achieving meaningful clinical outcomes including relieving symptoms, preventing worsening of anemia, ...

1 Faculty of Computational Mathematics and Cybernetics, Shenzhen MSU-BIT University, Shenzhen, China. 2 Algebra and Discrete Mathematics Department, Southern Federal University, Rostov-on-Don, Russia.

Abstract: In applied and numerical algebraic geometry, many problems are reduced to computing an approximation to a real algebraic curve. In order to elevate the results of such a computation to the ...