Výsledky vyhledávání - Computing methodologies Artificial intelligence Search methodologies Discrete space search*

Disjunctive Scheduling in Tempo

Autoři: Hebrard, Emmanuel Emmanuel Hebrard Maria Garcia de la Banda

Přispěvatelé: Hebrard, Emmanuel Emmanuel Hebrard Maria Garcia de la Banda

Témata: [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

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Ohashi, Ryoga Soh, Takehide Le Berre, Daniel a další

Přispěvatelé: Ohashi, Ryoga Soh, Takehide Le Berre, Daniel a další

Zdroj: 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⟩

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

Geografické téma: Glasgow, United Kingdom

Dostupnost: 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

Autoři: Marinescu, Radu Dechter, Rina

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

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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.

Autoři: Serna, Bladimir Salazar, Ricardo Alonso-Silverio, Gustavo A. a další

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

Témata: ARTIFICIAL intelligence, AFFECTIVE computing, MACHINE learning, EMOTION recognition, NEUROPHYSIOLOGY, ELECTROENCEPHALOGRAPHY, EMOTIONAL state

Search Methodologies : Introductory Tutorials in Optimization and Decision Support Techniques

Autoři: Edmund K. Burke Graham Kendall

Resource Type: eBook.

Témata: Operations research, Management science, Artificial intelligence

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

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

Autoři: Gangwani, Laxmi Dongre, Shilpa Gupta, Rajesh a další

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

Témata: WATER distribution, EVOLUTIONARY algorithms, GENETIC algorithms, BENCHMARK problems (Computer science), SELF-adaptive software

Geografický termín: INDIA

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

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

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

Témata: 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.

Autoři: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia a další

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

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

Autoři: Rafiq, Shehla Assad, Assif

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

Autoři: Farek, Lazhar Benaidja, Amira

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

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

Autoři: Mercat, Alexandre Bonnot, Justine Pelcat, Maxime a další

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

Témata: *VIDEO coding, *PARADIGM (Linguistics), *COMPUTATIONAL complexity, *ENERGY consumption, *PARETO principle

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

Autoři: Jacobs, Marc Remus, Aline Gaillard, Charlotte a další

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

Témata: 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.

Autoři: Pal S Bhattacharya M Lee SS a další

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

Způsob vydávání: Journal Article; Review

Informace o časopise: 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

Výrazy ze slovníku MeSH: 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.

Autoři: Şimşir, Şakir

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

Témata: 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.

Autoři: Vizza, Patrizia Di Ponio, Alessio Timpano, Giuseppe a další

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

Autoři: Shaw, Louise Perrier, Meg Tahmasebian, Kasra a další

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

Témata: PATIENT care, EVIDENCE-based medicine, SYSTEM of systems, SOCIOLOGY, RESEARCH methodology

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

Autoři: Ferrarese, G. Medoukali, D. Mirauda, D. a další

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

Témata: GENETIC algorithms, WATER management, METAHEURISTIC algorithms, WATER pressure, DISTRIBUTION management, WATER distribution, WATER leakage

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

Autoři: Singh, Law Kumar Khanna, Munish Singh, Rekha

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

Témata: COMPUTER-aided diagnosis, OPTIMIZATION algorithms, FEATURE selection, METAHEURISTIC algorithms, MEDICAL personnel

Shap-driven explainable AI with simulated annealing for optimized seizure detection using multichannel EEG signal.

Autoři: Dokare, Indu Gupta, Sudha

Zdroj: Cognitive Neurodynamics; 6/5/2025, Vol. 19 Issue 1, p1-24, 24p

Artificial Intelligence in Alzheimer's Disease Diagnosis and Prognosis Using PET-MRI: A Narrative Review of High-Impact Literature Post-Tauvid Approval.

Autoři: Christodoulou, Rafail C. Woodward, Amanda Pitsillos, Rafael a další

Zdroj: Journal of Clinical Medicine; Aug2025, Vol. 14 Issue 16, p5913, 27p

Témata: ALZHEIMER'S disease, ARTIFICIAL intelligence, DIAGNOSIS, DEEP learning, POSITRON emission tomography, BRAIN imaging, PROGNOSIS, MACHINE learning