Výsledky vyhledávání - constraint-based ((constructive OR construction) OR construct) heuristic algorithms*

Application of a Heuristic Model (PSO—Particle Swarm Optimization) for Optimizing Surface Water Allocation in the Machángara River Basin, Ecuador.

Autoři: Veintimilla-Reyes, Jaime Guerrero, Berenice Maldonado-Segarra, Daniel a další

Zdroj: Water (20734441); Aug2025, Vol. 17 Issue 16, p2481, 26p

Témata: PARTICLE swarm optimization, WATER management, RESERVOIR ecology, METAHEURISTIC algorithms, WATERSHEDS, RESOURCE management

Geografický termín: ECUADOR

An estimation of distribution algorithm-based hyper-heuristic for the blocking flowshop group scheduling problem.

Autoři: Zhang, Sen Qian, Bin Hu, Rong a další

Zdroj: Memetic Computing; Sep2025, Vol. 17 Issue 3, p1-28, 28p

A Weighted and Epsilon-Constraint Biased-Randomized Algorithm for the Biobjective TOP with Prioritized Nodes.

Autoři: Agud-Albesa, Lucia Garrido, Neus Juan, Angel A. a další

Zdroj: Computation; Apr2024, Vol. 12 Issue 4, p84, 20p

Témata: ORIENTEERING, ALGORITHMS, CONSUMERS, ORIENTEERS, DECISION making

Constraint-Based, Score-Based and Hybrid Algorithms to Construct Bayesian Gene Networks in the Bovine Transcriptome.

Autoři: Mortazavi, Amin Rashidi, Amir Ghaderi-Zefrehei, Mostafa a další

Zdroj: Animals (2076-2615); May2022, Vol. 12 Issue 10, p1305, 17p

Témata: PROGESTERONE receptors, BAYESIAN analysis, GENE regulatory networks, TABU search algorithm, AMINO acid metabolism, ALGORITHMS, BOS

Large-scale energy-conscious bi-objective single-machine batch scheduling under time-of-use electricity tariffs via effective iterative heuristics

Autoři: Junheng Cheng Feng Chu Peng Wu a další

Přispěvatelé: Junheng Cheng Feng Chu Peng Wu a další

Zdroj: Annals of Operations Research. 296:471-494

Témata: Time-of-use (TOU), 0211 other engineering and technologies, ϵ-constraint-based constructive heuristic algorithms, 02 engineering and technology, Bi-objective optimization, 7. Clean energy, [INFO.INFO-RO] Computer Science [cs]/Operations Research [math.OC], Energy-conscious batch scheduling

Přístupová URL adresa: https://link.springer.com/article/10.1007/s10479-019-03494-7
https://hal.archives-ouvertes.fr/hal-02424362
https://tel.archives-ouvertes.fr/IBISC/hal-02424362

RNA inverse folding can be solved in linear time for structures without isolated stacks or base pairs.

Autoři: Boury, Théo Gardelle, Samuel Bulteau, Laurent a další

Zdroj: Algorithms for Molecular Biology; 10/24/2025, Vol. 20 Issue 1, p1-25, 25p

Témata: RNA, BASE pairs, ALGORITHMS, TIME complexity, MATHEMATICAL optimization

VisArena: A testbed for visualization with synthetic data tables.

Autoři: Fu, Siwei Jin, Junjie Ma, Qi a další

Zdroj: Journal of Visualization; Aug2025, Vol. 28 Issue 4, p877-894, 18p

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

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

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

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

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

Bayesian Network-Based Earth-Rock Dam Breach Probability Analysis Integrating Machine Learning.

Autoři: Li, Zongkun Shi, Qing Sun, Heqiang a další

Zdroj: Water (20734441); Nov2025, Vol. 17 Issue 21, p3085, 18p

Témata: MACHINE learning, EARTH dams, FLOOD control, RISK assessment, CAUSAL models, BAYESIAN analysis, STRUCTURAL failures, HAZARD mitigation

Geografický termín: CHINA

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

Autoři: Sriram Sankaranarayanan Natasha Sharygina

Resource Type: eBook.

Témata: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Autoři: Dana Fisman Grigore Rosu

Resource Type: eBook.

Témata: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Information Theory, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Global–local hierarchical path planning method for unmanned surface vehicles based on dynamic constraints.

Autoři: Dong, Liangxiong Gan, Xinhua Li, Hanghang

Zdroj: Journal of Marine Science & Technology. Sep2025, Vol. 30 Issue 3, p507-527. 21p.

Témata: *ROBOTIC path planning, *ANT algorithms, *OBSTACLE avoidance (Robotics), *WATERWAYS, *AUTONOMOUS vehicles, *COMPUTER simulation, *ENERGY consumption

Makespan Minimization for the Two-Stage Hybrid Flow Shop Problem with Dedicated Machines: A Comprehensive Study of Exact and Heuristic Approaches.

Autoři: Hajji, Mohamed Karim Hadda, Hatem Dridi, Najoua

Zdroj: Computation; Jul2023, Vol. 11 Issue 7, p137, 25p

Témata: FLOW shops, PRODUCTION scheduling, TABU search algorithm, HEURISTIC, CONSTRAINT programming, MATHEMATICAL optimization, MACHINERY

Integrated optimization of order splitting and distribution routing for the front warehouse mode e-retailing.

Autoři: Tang, Jianqiang Qi, Chao Wang, Hongwei

Zdroj: International Journal of Production Research. Mar2024, Vol. 62 Issue 5, p1715-1736. 22p.

Témata: *WAREHOUSES, *ELECTRONIC commerce, HEURISTIC algorithms, VEHICLE routing problem

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

Autoři: Jan Friso Groote Kim Guldstrand Larsen

Resource Type: eBook.

Témata: System analysis--Congresses, Artificial intelligence, System design--Congresses, Computer software--Verification--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Hardware / General

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 II

Autoři: Armin Biere David Parker

Resource Type: eBook.

Témata: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, MATHEMATICS / Applied

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Autoři: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

Témata: Artificial intelligence, System analysis--Congresses, System design--Congresses, Computer software--Verification--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Logic Design, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

Tools and Algorithms for the Construction and Analysis of Systems

Autoři: Dirk Beyer Marieke Huisman Fabrice Kordon a další

Resource Type: eBook.

Témata: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Simulation

A multi-task multi-objective evolutionary algorithm for constrained multi-objective optimization problems.

Autoři: Liu, Tianyu Wu, Yu Xu, He

Zdroj: Memetic Computing; Sep2025, Vol. 17 Issue 3, p1-29, 29p