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

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

Automated Input Variable Selection for Analog Methods Using Genetic Algorithms.

Authors: Horton, P. Martius, O. Grimm, S. L.

Source: Water Resources Research; Apr2024, Vol. 60 Issue 4, p1-30, 30p

Subject Terms: GENETIC algorithms, INDEPENDENT variables, WEATHER forecasting, EUCLIDEAN distance, ANALOGY

Geographic Terms: SWITZERLAND

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

Alternating Direction Method for Balanced Image Restoration.

Authors: Xie, Shoulie Rahardja, Susanto

Source: IEEE Transactions on Image Processing; Nov2012, Vol. 21 Issue 11, p4557-4567, 11p

Subject Terms: IMAGE reconstruction, ALGORITHMS, REGULARIZATION parameter, HESSIAN matrices, NUMERICAL analysis, FRAMES (Vector analysis), DECONVOLUTION (Mathematics), MATHEMATICAL optimization

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

Gradient-Based Competitive Learning: Theory.

Authors: Cirrincione, Giansalvo Randazzo, Vincenzo Barbiero, Pietro et al.

Source: Cognitive Computation; Mar2024, Vol. 16 Issue 2, p608-623, 16p

Global exact optimisations for chloroplast structural haplotype scaffolding.

Authors: Epain, Victor Andonov, Rumen

Source: Algorithms for Molecular Biology; 2/6/2024, Vol. 19 Issue 1, p1-34, 34p

Subject Terms: GLOBAL optimization, HAPLOTYPES, CHLOROPLASTS, CHLOROPLAST DNA, BIOLOGICAL models, NP-complete problems, LINEAR programming

A Fast Iterative Shrinkage-Thresholding Algorithm for Linear Inverse Problems.

Authors: Beck, Amir Teboulle, Marc

Source: SIAM Journal on Imaging Sciences; 2009, Vol. 2 Issue 1, p183-202, 20p, 4 Black and White Photographs, 1 Graph

Subject Terms: ITERATIVE methods (Mathematics), ALGORITHMS, DECONVOLUTION (Mathematics), LEAST squares, STOCHASTIC convergence

BiC2PAM: constraint-guided biclustering for biological data analysis with domain knowledge.

Authors: Henriques, Rui Madeira, Sara C.

Source: Algorithms for Molecular Biology; 9/14/2016, Vol. 11, p1-23, 23p

Subject Terms: DOCUMENT clustering, BIOLOGICAL assay, DATA analysis, DATA harmonization, DATA modeling

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

Authors: Armin Biere David Parker

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Hardware / General, MATHEMATICS / Applied

A Proximal Strictly Contractive Peaceman--Rachford Splitting Method for Convex Programming with Applications to Imaging.

Authors: Xinxin Li Xiaoming Yuan

Source: SIAM Journal on Imaging Sciences; 2015, Vol. 8 Issue 2, p1332-1365, 34p

Subject Terms: CONVEX programming, IMAGE processing, STOCHASTIC convergence, MATHEMATICAL optimization, ALGORITHMS

MAGMA: Multilevel Accelerated Gradient Mirror Descent Algorithm for Large-Scale Convex Composite Minimization.

Authors: Hovhannisyan, Vahan Parpas, Panos Zafeiriou, Stefanos

Source: SIAM Journal on Imaging Sciences; 2016, Vol. 9 Issue 4, p1829-1857, 29p

Space Variant Blind Image Restoration.

Authors: Hadj, Saima Ben Blanc-Féraud, Laure Aubert, Gilles

Source: SIAM Journal on Imaging Sciences; 2014, Vol. 7 Issue 4, p2196-2225, 30p

Subject Terms: IMAGE reconstruction, ALGORITHM research, REFRACTIVE index, FLUORESCENCE microscopy, ATMOSPHERIC turbulence

Trading hubs construction in electricity markets using evolutionary algorithms.

Authors: Borisovsky, P. Eremeev, A. Grinkevich, E. et al.

Source: Pattern Recognition & Image Analysis; Jun2014, Vol. 24 Issue 2, p270-282, 13p

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I

Authors: Sriram Sankaranarayanan Natasha Sharygina

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science

Nature-Inspired Algorithms and Applications

Authors: S. Balamurugan Anupriya Jain Sachin Sharma et al.

Resource Type: eBook.

Subjects: Nature-inspired algorithms

Categories: COMPUTERS / Computer Engineering

Minimum Conflict Individual Haplotyping from SNP Fragments and Related Genotype.

Source: Evolutionary Bioinformatics; 2007, Issue 3, p261-270, 10p