Efficient Task Scheduling Using Constrains Programming

Authors: Jung, Soonil, Cho, Jae Bong, Yang, Kyungmo, Kim, Dohun, Kim, Wonjong

Source: 2025 IEEE International Conference on Consumer Electronics (ICCE) Consumer Electronics (ICCE), 2025 IEEE International Conference on. :1-5 Jan, 2025

Relation: 2025 IEEE International Conference on Consumer Electronics (ICCE)

Frequency Regulation Strategy Considering User Behavior Uncertainty of Electric Vehicles

Authors: Hao, Jiao, Zhao, Wenmeng, Zhang, Zongbao, Hu, Xinying, Li, Zepeng, Wu, Qiu-Wei

Source: 2024 6th International Conference on Power and Energy Technology (ICPET) Power and Energy Technology (ICPET), 2024 6th International Conference on. :1226-1231 Jul, 2024

Relation: 2024 6th International Conference on Power and Energy Technology (ICPET)

UAV Fleet Routing Under Weather and Customer Orders Uncertainty Parameters

Authors: Radzki, Grzegorz, Bocewicz, Grzegorz, Nielsen, Peter, Jasiulewicz-Kaczmarek, Malgorzata, Banaszak, Zbigniew

Source: 2023 IEEE International Conference on Fuzzy Systems (FUZZ) Fuzzy Systems (FUZZ), 2023 IEEE International Conference on. :1-6 Aug, 2023

Relation: 2023 IEEE International Conference on Fuzzy Systems (FUZZ)

Enhancing Reliability of Time-Triggered Traffic in Joint Scheduling and Routing Optimization Within Time-Sensitive Networks

Authors: Akram, B.O., Kamariah Noordin, N., Hashim, F., Fadlee Rasid, M.A., Ismael Salman, M., Abdulghani, A.M.

Source: IEEE Access Access, IEEE. 12:78379-78396 2024

Periodic planning of UAVs' fleet mission with the uncertainty of travel parameters

Authors: Radzki, Grzegorz, Bocewicz, Grzegorz, Golinska-Dawson, Paulina, Jasiulewicz-Kaczmarek, Malgorzata, Witczak, Marcin, Banaszak, Zbigniew

Source: 2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) Fuzzy Systems (FUZZ-IEEE), 2021 IEEE International Conference on. :1-8 Jul, 2021

Relation: 2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)

Effect of Power to Gas on Integrated Electricity-Gas System with Uncertain Wind Generation

Authors: Gao, Han, Li, Zhengshuo

Source: 2020 IEEE 3rd Student Conference on Electrical Machines and Systems (SCEMS) Electrical Machines and Systems (SCEMS), 2020 IEEE 3rd Student Conference on. :164-168 Dec, 2020

Relation: 2020 IEEE Student Conference on Electric Machines and Systems (SCEMS)

Symmetry breaking in the subgraph isomorphism problem

Authors: Loughney, Joseph Patrick, Hoffmann, Ruth

Contributors: EPSRC, University of St Andrews.Centre for Interdisciplinary Research in Computational Algebra, University of St Andrews.School of Computer Science, University of St Andrews.St Andrews GAP Centre

Subject Terms: Graph algorithms, Constraints programming, Symmetry breaking, Artificial intelligence, QA75 Electronic computers. Computer science, QA75

File Description: application/pdf

Relation: 324581621; other; https://hdl.handle.net/10023/32907; EP/Y000609/1

Availability: https://hdl.handle.net/10023/32907

Symmetry breaking in the subgraph isomorphism problem

Authors: Loughney, Joseph Patrick, Hoffmann, Ruth

Contributors: EPSRC, University of St Andrews.Centre for Interdisciplinary Research in Computational Algebra, University of St Andrews.School of Computer Science, University of St Andrews.St Andrews GAP Centre

Subject Terms: QA75, Artificial intelligence, Constraints programming, QA75 Electronic computers. Computer science, Symmetry breaking, Graph algorithms

File Description: application/pdf

Access URL: https://hdl.handle.net/10023/32907

Solvi: A visual constraint modeling tool

Authors: Zhu, Xu ^{a, ⁎}, Nacenta, Miguel A. ^b, Akgün, Özgür ^a, Zenkovitch, Daniel ^b

Source: In Journal of Computer Languages March 2024 78

A Constrained ECA Language Supporting Formal Verification of WSNs

Authors: Corradini, Flavio, Culmone, Rosario, Mostarda, Leonardo, Tesei, Luca, Raimondi, Franco

Source: 2015 IEEE 29th International Conference on Advanced Information Networking and Applications Workshops Advanced Information Networking and Applications Workshops (WAINA), 2015 IEEE 29th International Conference on. :187-192 Mar, 2015

Relation: 2015 IEEE 29th International Conference on Advanced Information Networking and Applications Workshops (WAINA)

Exact Method Approaches for the Differential Harvest Problem

Authors: Volte, Gabriel^Aff10, Bourreau, Eric^Aff10, Giroudeau, Rodolphe^Aff10, Naud, Olivier^Aff11

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Hebrard, Emmanuel, editor^Aff8, Musliu, Nysret, editor^Aff9

Source: Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21–24, 2020, Proceedings. 12296:492-510

Towards an History of Computational Tools in Automated Architectural Design - The Seroussi Pavilion Competition as a Case Study: The Seroussi Pavilion Competition as a Case Study

Authors: Gaudilliere, Nadja

Contributors: Gaudillière-Jami, Nadja

Source: CAADRIA proceedings. 2:581-590

Subject Terms: Digital heritage, computational design tools, architectural constraints, [SHS.ARCHI] Humanities and Social Sciences/Architecture, space management, [INFO] Computer Science [cs], programming-based spatial design, Seroussi pavilion competition, Digital heritage computational design tools architectural constraints programming-based spatial design Seroussi pavilion competition

File Description: application/pdf

Access URL: https://hal.science/hal-04588578v1

PALANTIR: An NFV-Based Security-as-a-Service Approach for Automating Threat Mitigation

Authors: Maxime Compastié, Antonio López Martínez, Carolina Fernández, Manuel Gil Pérez, Stylianos Tsarsitalidis, George Xylouris, Izidor Mlakar, Michail Alexandros Kourtis, Valentino Šafran

Subject Terms: Security-as-a-Service, security orchestration, policy-driven management, virtual network functions, finite state machines, constraints programming

Relation: https://zenodo.org/communities/h2020_palantir_project/; https://zenodo.org/communities/eu/; https://zenodo.org/records/7660486; oai:zenodo.org:7660486; https://doi.org/10.3390/s23031658

Availability: https://doi.org/10.3390/s23031658
https://zenodo.org/records/7660486

A Hybrid GA-CP Approach for Production Scheduling

Authors: Hu, Hao, Chan, Weng-Tat

Source: 2009 Fifth International Conference on Natural Computation Natural Computation, 2009. ICNC '09. Fifth International Conference on. 4:86-91 Aug, 2009

Relation: 2009 Fifth International Conference on Natural Computation (ICNC)

Large-scale grid-connected photovoltaic power station's capacity limit analysis under chance-constraints

Authors: Yi-bo, Wang, Hua, Liao, Chun-sheng, Wu, Hong-hua, Xu

Source: 2009 International Conference on Sustainable Power Generation and Supply Sustainable Power Generation and Supply, 2009. SUPERGEN '09. International Conference on. :1-6 Apr, 2009

Relation: 2009 International Conference on Sustainable Power Generation and Supply (SUPERGEN)

Projects portfolio prototyping

Authors: Bocewicz, Grzegorz, Muszynski, Wojciech, Wojcik, Robert, Banaszak, Zbigniew

Source: 2008 Conference on Human System Interactions Human System Interactions, 2008 Conference on. :942-947 May, 2008

Relation: 2008 Conference on Human System Interactions (HSI)

Employees Provident Fund (EPF) Malaysia : generic models for asset and liability management under uncertainty

Authors: Sheikh Hussin, Siti Aida

Contributors: Mitra, G., Roman, D.

Subject Terms: 519.6, Stochastic optimisation, Pension fund, Scenario generation, Risk adjusted performance measures (RAPM), Chance constrained and integrated chance constraints programming

Access URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.575657

Exact and Metaheuristic Approaches for the Single-machine Scheduling Problem with Flexible Maintenance under Human Resource Constraints

Authors: Touat, Meriem, Benbouzid, Fatima, Benhamou, Belaid

Contributors: Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre (LIRICA), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de Méthodes de Conception de Systèmes (LMCS), École Nationale Supérieure d'Informatique Alger (ESI)

Source: ISSN: 1750-0591.

Subject Terms: Human resource constraints, Guided Local Search, Constraints programming, Flexible maintenance planning, Single machine scheduling, [INFO]Computer Science [cs], [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Availability: https://hal.science/hal-03167816
https://hal.science/hal-03167816v1/document
https://hal.science/hal-03167816v1/file/TOUAT_Meriem_IJMR%20%281%29.pdf

An effective heuristic for the single-machine scheduling problem with flexible maintenance under human resource constraints

Authors: Touat, Meriem ^{a, b}, Tayeb, Fatima Benbouzid-Si ^b, Benhamou, Belaid ^c

Source: In Procedia Computer Science 2018 126:1395-1404

Compositions created with constraint programming ; The Oxford Handbook of Algorithmic Music

Authors: Anders, Torsten

Subject Terms: algorithmic composition, constraints programming, OpenMusic, PWGL, music constraint programming systems, music, W300 Music

Relation: https://global.oup.com/academic/product/the-oxford-handbook-of-algorithmic-music-9780190226992?cc=gb〈=en&; http://hdl.handle.net/10547/622708

Availability: http://hdl.handle.net/10547/622708