Search Results - 2012 ACM Subject Classification Theory of computation → Discrete optimization

Core-Guided Linear Programming-Based Maximum Satisfiability

Authors: Katsirelos, George George Katsirelos Jeremias Berg et al.

Contributors: Katsirelos, George George Katsirelos Jeremias Berg et al.

Subject Terms: 2012 ACM Subject Classification Theory of computation → Discrete optimization, maximum satisfiability, Mathematics of computing → Solvers phrases maximum satisfiability, Theory of computation → Discrete optimization, Mathematics of computing → Combinatorial optimization, linear programming, Mathematics of computing → Solvers, 2012 ACM Subject Classification Theory of computation → Discrete optimization Mathematics of computing → Combinatorial optimization Theory of computation → Logic Mathematics of computing → Solvers phrases maximum satisfiability, [INFO] Computer Science [cs], ddc:004, Theory of computation → Logic, core-guided solvers

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2025.17
https://hal.inrae.fr/hal-05222608v1/document
https://doi.org/10.4230/lipics.sat.2025.17
https://hal.inrae.fr/hal-05222608v1

Structured Set Variable Domains in Bayesian Network Structure Learning

Authors: Trösser, Fulya Givry, Simon De Katsirelos, George et al.

Contributors: Trösser, Fulya Givry, Simon De Katsirelos, George et al.

Source: The 28th International Conference on Principles and Practice of Constraint Programming ; https://hal.science/hal-03674105 ; The 28th International Conference on Principles and Practice of Constraint Programming, Jul 2022, Haifa, Israel. ⟨10.4230/LIPIcs.CP.2022.40⟩

Subject Terms: 2012 ACM Subject Classification Computing methodologies → Learning in probabilistic graphical models, Theory of computation → Discrete optimization phrases Combinatorial Optimization, Bayesian Networks, Decision Trees, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Subject Geographic: Haifa, Israel

Availability: https://hal.science/hal-03674105
https://hal.science/hal-03674105v1/document
https://hal.science/hal-03674105v1/file/main.pdf
https://doi.org/10.4230/LIPIcs.CP.2022.40

Research on the classification of EEG signals for dementia and its interpretability using the GWOCS agorithm.

Authors: Wang, Ruofan Xu, Haojie Ma, Yijia et al.

Source: Cognitive Neurodynamics; 11/10/2025, Vol. 20 Issue 1, p1-30, 30p

DCPat-XFE: an explainable EEG model for psychogenic nonepileptic seizure detection.

Authors: Unal, Deren Almiyra Tanko, Dahiru Sercek, Ilknur et al.

Source: Cognitive Neurodynamics; 12/9/2025, Vol. 20 Issue 1, p1-21, 21p

Reconstructing brain causal dynamics for subject and task fingerprints using fMRI time-series data.

Authors: Song, Dachuan Shen, Li Duong-Tran, Duy et al.

Source: Health Information Science & Systems; 10/28/2025, Vol. 13 Issue 1, p1-17, 17p

Classifying human emotions in HRI: applying global optimization model to EEG brain signals.

Authors: Staffa, Mariacarla D'Errico, Lorenzo Sansalone, Simone et al.

Source: Frontiers in Neurorobotics; 2023, p1-12, 12p

Subject Terms: GLOBAL optimization, EMOTIONS, HUMAN-robot interaction, ELECTROENCEPHALOGRAPHY, SOCIAL robots, THEORY of mind, MACHINE learning

Universal differential equations as a unifying modeling language for neuroscience.

Authors: El-Gazzar, Ahmed van Gerven, Marcel

Source: Frontiers in Computational Neuroscience; 2025, p1-17, 17p

Subject Terms: NEUROSCIENCES, MATHEMATICAL models, NEURAL computers, ARTIFICIAL neural networks, SIMULATION methods & models

Simulating Subjects: The Promise and Peril of Artificial Intelligence Stand-Ins for Social Agents and Interactions.

Authors: Kozlowski, Austin C. Evans, James

Source: Sociological Methods & Research; Aug2025, Vol. 54 Issue 3, p1017-1073, 57p

Subject Terms: ARTIFICIAL neural networks, MACHINE learning, LANGUAGE models, GENERATIVE artificial intelligence, COMPUTATIONAL intelligence

Unravelling emotions: exploring deep learning approaches for EEG-based emotion recognition with current challenges and future recommendations.

Authors: Abgeena, Abgeena Garg, Shruti

Source: Cognitive Neurodynamics; 10/23/2025, Vol. 19 Issue 1, p1-32, 32p

An adaptive matrix-based evolutionary computation framework for EEG feature selection.

Authors: Duan, Danting Sun, Bing Yang, Qiang et al.

Source: Memetic Computing; Mar2025, Vol. 17 Issue 1, p1-19, 19p

Functional Brain Network Disruptions in Parkinson's Disease: Insights from Information Theory and Machine Learning.

Authors: Akgüller, Ömer Balcı, Mehmet Ali Cioca, Gabriela

Source: Diagnostics (2075-4418); Dec2024, Vol. 14 Issue 23, p2728, 38p

Subject Terms: MACHINE learning, LONG short-term memory, DEEP learning, RECURRENT neural networks, INFORMATION theory

An efficient Parkinson's disease detection using smoothed pseudo-Wigner Ville distribution and MobileNetV2 convolutional neural network.

Authors: Klinton, Amaladass P. Jeba, Priya S. Thomas, George S. et al.

Source: Health & Technology; May2025, Vol. 15 Issue 3, p589-599, 11p

HFCVO-DMN: Henry Fuzzy Competitive Verse Optimizer-Integrated Deep Maxout Network for Incremental Text Classification.

Authors: Singh, Gunjan Nagpal, Arpita

Source: Computation; Jan2023, Vol. 11 Issue 1, p13, 27p

Subject Terms: MACHINE learning, MATHEMATICAL optimization, CLASSIFICATION, TEXT processing (Computer science), ALGORITHMS, NAIVE Bayes classification

Advancements in Breast Cancer Detection: A Review of Global Trends, Risk Factors, Imaging Modalities, Machine Learning, and Deep Learning Approaches.

Authors: Rahman, Md. Atiqur Khan, M. Saddam Hossain Watanobe, Yutaka et al.

Source: BioMedInformatics; Sep2025, Vol. 5 Issue 3, p46, 70p

Quantum-Inspired Multi-Objective Seahorse Optimizer for Predictive Maintenance Analysis Using Numerical Association Rule Mining.

Authors: Yacoubi, Salma Manita, Ghaith Chhabra, Amit et al.

Source: Cognitive Computation; Aug2025, Vol. 17 Issue 4, p1-45, 45p

Machine learning and deep learning techniques for identification of phases of mitosis in plant cells: challenges, innovations, and prospective pathways.

Authors: Pandey, Kritika Patel, Sanskruti Dave, Gayatri

Source: Network Modeling & Analysis in Health Informatics & Bioinformatics; 7/26/2025, Vol. 14 Issue 1, p1-22, 22p

A comprehensive review on application of cognitive behavioral therapy in emotional AI solutions for mental well-being.

Authors: Pawar, Bimba Mahajan, Smita Kolhar, Shrikrishna

Source: Discover Psychology; 12/3/2025, Vol. 5 Issue 1, p1-35, 35p

Cognitive LLMs: Toward Human-Like Artificial Intelligence by Integrating Cognitive Architectures and Large Language Models for Manufacturing Decision-Making.

Authors: Wu, Siyu Oltramari, Alessandro Francis, Jonathan et al.

Source: Neurosymbolic Artificial Intelligence; 10/21/2025, Vol. 1, p1-25, 25p

Consistent Connected Operators Based on Trees of Shapes.

Authors: Forte, Julien Mendes Passat, Nicolas Shimizu, Akinobu et al.

Source: SIAM Journal on Imaging Sciences; 2025, Vol. 18 Issue 4, p2547-2579, 33p

Non-Contrast Brain CT Images Segmentation Enhancement: Lightweight Pre-Processing Model for Ultra-Early Ischemic Lesion Recognition and Segmentation.

Authors: Samarin, Aleksei Savelev, Alexander Toropov, Aleksei et al.

Source: Journal of Imaging; Oct2025, Vol. 11 Issue 10, p359, 29p