Suchergebnisse - Computing methodologies Artificial intelligence Search methodologies Discrete space search~

Disjunctive Scheduling in Tempo

Autoren: Hebrard, Emmanuel Emmanuel Hebrard Maria Garcia de la Banda

Weitere Verfasser: Hebrard, Emmanuel Emmanuel Hebrard Maria Garcia de la Banda

Schlagwörter: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Computing methodologies → Discrete space search phrases Scheduling, Scheduling, Clause-learning, 2012 ACM Subject Classification Applied computing, ddc:004, Computing methodologies → Discrete space search phrases Scheduling Constraint solvers Clause-learning, Constraint solvers

Dateibeschreibung: application/pdf

Zugangs-URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2025.13
https://laas.hal.science/hal-05104317v1

SAT-Based CEGAR Method for the Hamiltonian Cycle Problem Enhanced by Cut-Set Constraints

Autoren: Ohashi, Ryoga Soh, Takehide Le Berre, Daniel et al.

Weitere Verfasser: Ohashi, Ryoga Soh, Takehide Le Berre, Daniel et al.

Quelle: Leibniz International Proceedings in Informatics ; 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025) ; https://univ-artois.hal.science/hal-05219008 ; 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025), Aug 2025, Glasgow, United Kingdom. ⟨10.4230/LIPIcs.SAT.2025.24⟩

Schlagwörter: Computing methodologies → Discrete space search, CEGAR, SAT Encoding, Hamiltonian Cycle Problem, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Geographisches Schlagwort: Glasgow, United Kingdom

Verfügbarkeit: https://univ-artois.hal.science/hal-05219008
https://doi.org/10.4230/LIPIcs.SAT.2025.24

Evaluating the impact of AND/OR search on 0-1 integer linear programming

Autoren: Marinescu, Radu Dechter, Rina

Quelle: Constraints: An International Journal, vol 15, iss 1

Schlagwörter: Optimization, Constraint optimization, AND/OR search spaces, Artificial Intelligence (incl. Robotics), Search, Integer programming, 0102 computer and information sciences, 02 engineering and technology, Computing Methodologies, 01 natural sciences, Computational Theory and Mathematics, Artificial Intelligence, Computer Science, Operations Research/Decision Theory, 0202 electrical engineering, electronic engineering, information engineering, Discrete Mathematics and Combinatorics, Software

Dateibeschreibung: application/pdf

Zugangs-URL: https://link.springer.com/content/pdf/10.1007%2Fs10601-009-9070-7.pdf
https://pubmed.ncbi.nlm.nih.gov/21052484
https://dblp.uni-trier.de/db/journals/constraints/constraints15.html#MarinescuD10
https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2967791/
https://www.ics.uci.edu/~dechter/publications/r154.pdf
https://escholarship.org/content/qt7qx5q40k/qt7qx5q40k.pdf
https://paperity.org/p/9716641/evaluating-the-impact-of-and-or-search-on-0-1-integer-linear-programming
https://escholarship.org/uc/item/7qx5q40k
https://escholarship.org/uc/item/7qx5q40k

Fear Detection Using Electroencephalogram and Artificial Intelligence: A Systematic Review.

Autoren: Serna, Bladimir Salazar, Ricardo Alonso-Silverio, Gustavo A. et al.

Quelle: Brain Sciences (2076-3425); Aug2025, Vol. 15 Issue 8, p815, 24p

Schlagwörter: ARTIFICIAL intelligence, AFFECTIVE computing, MACHINE learning, EMOTION recognition, NEUROPHYSIOLOGY, ELECTROENCEPHALOGRAPHY, EMOTIONAL state

Search Methodologies : Introductory Tutorials in Optimization and Decision Support Techniques

Autoren: Edmund K. Burke Graham Kendall

Resource Type: eBook.

Schlagworte: Operations research, Management science, Artificial intelligence

Categories: BUSINESS & ECONOMICS / Operations Research, BUSINESS & ECONOMICS / Management Science, COMPUTERS / Artificial Intelligence / General

Neural Architecture Search for Hyperspectral Image Classification: A Comprehensive Review and Future Perspectives.

Autoren: Wang, Aili Liu, Xinyu Zhang, Kang et al.

Quelle: Remote Sensing; Aug2025, Vol. 7 Issue 15, p2727, 44p

Schlagwörter: DEEP learning, CONVOLUTIONAL neural networks, SPECTRAL imaging, FEATURE extraction, MACHINE learning, REMOTE sensing

Design Optimization of Water Distribution Networks with Dynamic Search Space Reduction GA.

Autoren: Gangwani, Laxmi Dongre, Shilpa Gupta, Rajesh et al.

Quelle: Water Resources Management; Jan2024, Vol. 38 Issue 1, p63-79, 17p

Schlagwörter: WATER distribution, EVOLUTIONARY algorithms, GENETIC algorithms, BENCHMARK problems (Computer science), SELF-adaptive software

Geografische Kategorien: INDIA

Beyond Deterministic Forecasts: A Scoping Review of Probabilistic Uncertainty Quantification in Short-to-Seasonal Hydrological Prediction.

Autoren: De León Pérez, David Salazar-Galán, Sergio Francés, Félix

Quelle: Water (20734441); Oct2025, Vol. 17 Issue 20, p2932, 28p

Schlagwörter: HYDROLOGICAL forecasting, MACHINE learning, FORECASTING, MEASUREMENT uncertainty (Statistics), ARTIFICIAL intelligence, WATER management

The Use of Artificial Intelligence (AI) to Support Dietetic Practice Across Primary Care: A Scoping Review of the Literature.

Autoren: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia et al.

Quelle: Nutrients. Nov2025, Vol. 17 Issue 22, p3515. 45p.

RNAS-sgRNA: Recurrent Neural Architecture Search for Detection of On-Target Effects in Single Guide RNA.

Autoren: Rafiq, Shehla Assad, Assif

Quelle: Journal of Computational Biology; Nov2025, Vol. 32 Issue 11, p1041-1059, 19p

An adaptive binary particle swarm optimization algorithm with filtration and local search for feature selection in text classification.

Autoren: Farek, Lazhar Benaidja, Amira

Quelle: Memetic Computing; Dec2025, Vol. 17 Issue 4, p1-21, 21p

Smart search space reduction for approximate computing: A low energy HEVC encoder case study.

Autoren: Mercat, Alexandre Bonnot, Justine Pelcat, Maxime et al.

Quelle: Journal of Systems Architecture. Oct2017, Vol. 80, p56-67. 12p.

Schlagwörter: *VIDEO coding, *PARADIGM (Linguistics), *COMPUTATIONAL complexity, *ENERGY consumption, *PARETO principle

DiGTreeS: a distributed resilient framework for generalized tree search.

Autoren: Jamal, Md Arshad Kailasam, Sriram Goyal, Bhumanyu et al.

Quelle: Journal of Supercomputing; Jul2024, Vol. 80 Issue 10, p15006-15037, 32p

Schlagwörter: TRAVELING salesman problem, FAULT tolerance (Engineering), SEARCH algorithms, PARALLEL algorithms, KNAPSACK problems

ASAS-NANP symposium: mathematical modeling in animal nutrition: limitations and potential next steps for modeling and modelers in the animal sciences.

Autoren: Jacobs, Marc Remus, Aline Gaillard, Charlotte et al.

Quelle: Journal of Animal Science. Jun2022, Vol. 100 Issue 6, p1-15. 15p.

Schlagworte: Gartner Inc., Animal science, Animal nutrition, Animal models in research, Mathematical models, Automotive engineering, Disruptive innovations

Quantum Computing in the Next-Generation Computational Biology Landscape: From Protein Folding to Molecular Dynamics.

Autoren: Pal S Bhattacharya M Lee SS et al.

Quelle: Molecular biotechnology [Mol Biotechnol] 2024 Feb; Vol. 66 (2), pp. 163-178. Date of Electronic Publication: 2023 May 27.

Publikationsart: Journal Article; Review

Info zur Zeitschrift: Publisher: Springer Country of Publication: Switzerland NLM ID: 9423533 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1559-0305 (Electronic) Linking ISSN: 10736085 NLM ISO Abbreviation: Mol Biotechnol Subsets: MEDLINE

MeSH-Schlagworte: Molecular Dynamics Simulation* , Computing Methodologies*, Quantum Theory ; Protein Folding ; Computational Biology

Symbol detection based on a novel discrete harmony search algorithm in MIMO-FBMC/OQAM system.

Autoren: Şimşir, Şakir

Quelle: Wireless Networks (10220038); May2024, Vol. 30 Issue 4, p2895-2916, 22p

Schlagwörter: FILTER banks, AMPLITUDE modulation, COMBINATORIAL optimization, SEARCH algorithms, WIRELESS communications, COMPUTATIONAL complexity

Through the Speech and Vocal Signals Hidden Secrets: An Explainable Methodology for Neurological Diseases Early Detection.

Autoren: Vizza, Patrizia Di Ponio, Alessio Timpano, Giuseppe et al.

Quelle: Journal of Healthcare Informatics Research; Dec2025, Vol. 9 Issue 4, p533-566, 34p

Developing a codebook to characterize barriers, enablers, and strategies for implementing learning health systems from a multilevel perspective.

Autoren: Shaw, Louise Perrier, Meg Tahmasebian, Kasra et al.

Quelle: Learning Health Systems; Apr2025, Vol. 9 Issue 2, p1-24, 24p

Schlagwörter: PATIENT care, EVIDENCE-based medicine, SYSTEM of systems, SOCIOLOGY, RESEARCH methodology

An enhanced soft-computing based strategy for efficient feature selection for timely breast cancer prediction: Wisconsin Diagnostic Breast Cancer dataset case.

Autoren: Singh, Law Kumar Khanna, Munish Singh, Rekha

Quelle: Multimedia Tools & Applications; Sep2024, Vol. 83 Issue 31, p76607-76672, 66p

Schlagwörter: COMPUTER-aided diagnosis, OPTIMIZATION algorithms, FEATURE selection, METAHEURISTIC algorithms, MEDICAL personnel

Review of Metaheuristic Methodologies for Leakage Reduction and Energy Saving in Water Distribution Networks.

Autoren: Ferrarese, G. Medoukali, D. Mirauda, D. et al.

Quelle: Water Resources Management; Sep2024, Vol. 38 Issue 11, p3973-4001, 29p

Schlagwörter: GENETIC algorithms, WATER management, METAHEURISTIC algorithms, WATER pressure, DISTRIBUTION management, WATER distribution, WATER leakage