Search Results - Non numerical algorithms and problems—complexity of proof procedures General Terms

Computing rational solutions of linear matrix inequalities

Authors: Qingdong Guo Mohab Safey El Din Lihong Zhi et al.

Contributors: Qingdong Guo Mohab Safey El Din Lihong Zhi et al.

Source: http://www-spiral.lip6.fr/~safey/Articles/rationalpoints-LMI.pdf.

Subject Terms: Categories and Subject Descriptors I.1.2 [Symbolic and Algebraic Manipulation, Algorithms—algebraic algorithms, F.2.2 [Analysis of Algorithms and Problem Complexity, Non numerical algorithms and problems—complexity of proof procedures General Terms

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.625

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.625
http://www-spiral.lip6.fr/~safey/Articles/rationalpoints-LMI.pdf

Treatment journey clustering with a novel kernel k-means machine learning algorithm: a retrospective analysis of insurance claims in bipolar I disorder.

Authors: Littman, Matthew Nguyen, Huy-Binh Campbell, Joanna et al.

Source: Brain Informatics; 5/22/2025, Vol. 12 Issue 1, p1-18, 18p

Subject Terms: BIPOLAR disorder, MACHINE learning, CLUSTERING algorithms, K-means clustering, INSURANCE claims, MEDICAL care use, THERAPEUTICS

Three-way Decision Approach Based on Utility and Dynamic Localization Transformational Procedures within a Circular q-Rung Orthopair Fuzzy Set for Ranking and Grading Large Language Models.

Authors: Qahtan, Sarah Mourad, Nahia Alsattar, H. A. et al.

Source: Cognitive Computation; Apr2025, Vol. 17 Issue 2, p1-26, 26p

The Clay Millennium Problems as Recursive System Attractors

Authors: Kulik, Dean

Discrete Morphological Neural Networks.

Authors: Marcondes, Diego Barrera, Junior

Source: SIAM Journal on Imaging Sciences; 2024, Vol. 17 Issue 3, p1650-1689, 40p

Numerical Methods for Constructing Suboptimal Packings of Nonconvex Domains with Curved Boundary.

Authors: Lebedev, P. D. Ushakov, V. N. Uspenskii, A. A.

Source: Journal of Applied & Industrial Mathematics; 2020, Vol. 14 Issue 4, p681-692, 12p

Acceleration by Stepsize Hedging: Multi-Step Descent and the Silver Stepsize Schedule.

Authors: Altschuler, Jason M. Parrilo, Pablo A.

Source: Journal of the ACM; Apr2025, Vol. 72 Issue 2, p1-38, 38p

Subject Terms: OPTIMIZATION algorithms, PHASE transitions, CONVEX functions, CONVEX sets, GLUE

Neighbourhood-search-enhanced non-dominated sorting genetic algorithm-III for multi-objective assembly line balancing problem considering operator skill levels and carbon footprint.

Authors: Tao, Rui Tao, Liangyan Su, Bentao et al.

Source: Engineering Optimization; Oct2025, Vol. 57 Issue 10, p2984-3006, 23p

Philosophical proposition optimizer (ΦPO): an epistemology-inspired algorithm for numerical optimization.

Authors: Talatahari, Siamak Bayazidi, Hadi Sareh, Pooya

Source: Artificial Intelligence Review; Dec2025, Vol. 58 Issue 12, p1-70, 70p

Optimal methods for convex nested stochastic composite optimization.

Authors: Zhang, Zhe Lan, Guanghui

Source: Mathematical Programming; Jul2025, Vol. 212 Issue 1, p1-48, 48p

Subject Terms: COMPUTATIONAL mathematics, APPLIED mathematics, CONVEX sets, SMOOTHNESS of functions, ALGORITHMS

Accelerated stochastic approximation with state-dependent noise.

Authors: Ilandarideva, Sasila Juditsky, Anatoli Lan, Guanghui et al.

Source: Mathematical Programming; Sep2025, Vol. 213 Issue 1/2, p239-280, 42p

Subject Terms: CONVEX programming, OPTIMIZATION algorithms, STOCHASTIC programming, ESTIMATION theory

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Authors: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Logistics cost optimisation and allocation for additive manufacturer make-to-order cooperation.

Authors: Li, Zhendong Liu, Lindong Zhu, Yan et al.

Source: International Journal of Production Research; Dec2025, Vol. 63 Issue 23, p8632-8653, 22p

A branch-and-price-and-cut algorithm for the unmanned aerial vehicle delivery with battery swapping.

Authors: Pei, Zhi Pan, Wuhao Weng, Kebiao et al.

Source: International Journal of Production Research; Oct2024, Vol. 62 Issue 19, p7030-7055, 26p

Subject Terms: MIXED integer linear programming, AIRLINE routes, DRONE aircraft delivery, DRONE aircraft, LITHIUM cells

Ergonomics-aware operator-task allocation and scheduling in flexible job shop systems.

Authors: Yasari, Peyman Aghezzaf, El-Houssaine Claeys, Dieter

Source: International Journal of Production Research; Sep2025, Vol. 63 Issue 18, p6895-6914, 20p

Subject Terms: ERGONOMICS, EMPLOYEE well-being, DISEASE risk factors, SCHEDULING, INDUSTRY 4.0, LABOR productivity, WORK structure

Query Lower Bounds for Log-concave Sampling.

Authors: Chewi, Sinho de Dios Pont, Jaume Li, Jerry et al.

Source: Journal of the ACM; Aug2024, Vol. 71 Issue 4, p1-42, 42p

Subject Terms: GEOMETRIC measure theory, WISHART matrices, LOGICAL prediction, ALGORITHMS, KRYLOV subspace

Adaptive Differentiated Parrot Optimization: A Multi-Strategy Enhanced Algorithm for Global Optimization with Wind Power Forecasting Applications.

Authors: Lin, Guanjun Abdel-salam, Mahmoud Hu, Gang et al.

Source: Biomimetics (2313-7673); Aug2025, Vol. 10 Issue 8, p542, 47p

Subject Terms: GLOBAL optimization, WIND forecasting, ENERGY consumption forecasting, LONG short-term memory, OPTIMIZATION algorithms, MATHEMATICAL optimization, METAHEURISTIC algorithms

The Role of Fractional Calculus in Modern Optimization: A Survey of Algorithms, Applications, and Open Challenges.

Authors: Fernandez, Edson Huilcapi, Victor Birs, Isabela et al.

Source: Mathematics (2227-7390); Oct2025, Vol. 13 Issue 19, p3172, 34p

Subject Terms: FRACTIONAL calculus, MATHEMATICAL optimization, ARTIFICIAL intelligence, SCIENTIFIC computing, ALGORITHMS

Further improving quantum algorithms for nonlinear differential equations via higher-order methods and rescaling.

Authors: Costa, Pedro C. S. Schleich, Philipp Morales, Mauro E. S. et al.

Source: NPJ Quantum Information; 8/18/2025, Vol. 11 Issue 1, p1-14, 14p

Subject Terms: NONLINEAR differential equations, REACTION-diffusion equations, NUMERICAL analysis, OPTIMIZATION algorithms, CARLEMAN theorem, ITERATIVE methods (Mathematics), QUANTUM computing

Charging scheduling optimisation of battery electric buses with charging setup time.

Authors: Wang, Zhixin Zheng, Feifeng Hamdan, Sadeque et al.

Source: International Journal of Production Research; May2025, Vol. 63 Issue 10, p3538-3563, 26p

Subject Terms: SETUP time, SUSTAINABLE transportation, ELECTRIC motor buses, ELECTRIC batteries, ELECTRIC charge