Efficient Task Scheduling Using Constrains Programming

Συγγραφείς: Jung, Soonil, Cho, Jae Bong, Yang, Kyungmo, Kim, Dohun, Kim, Wonjong

Πηγή: 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

Συγγραφείς: Hao, Jiao, Zhao, Wenmeng, Zhang, Zongbao, Hu, Xinying, Li, Zepeng, Wu, Qiu-Wei

Πηγή: 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

Συγγραφείς: Radzki, Grzegorz, Bocewicz, Grzegorz, Nielsen, Peter, Jasiulewicz-Kaczmarek, Malgorzata, Banaszak, Zbigniew

Πηγή: 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

Συγγραφείς: Akram, B.O., Kamariah Noordin, N., Hashim, F., Fadlee Rasid, M.A., Ismael Salman, M., Abdulghani, A.M.

Πηγή: IEEE Access Access, IEEE. 12:78379-78396 2024

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

Συγγραφείς: Radzki, Grzegorz, Bocewicz, Grzegorz, Golinska-Dawson, Paulina, Jasiulewicz-Kaczmarek, Malgorzata, Witczak, Marcin, Banaszak, Zbigniew

Πηγή: 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

Συγγραφείς: Gao, Han, Li, Zhengshuo

Πηγή: 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

Συγγραφείς: Loughney, Joseph Patrick, Hoffmann, Ruth

Συνεισφορές: 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

Θεματικοί όροι: Graph algorithms, Constraints programming, Symmetry breaking, Artificial intelligence, QA75 Electronic computers. Computer science, QA75

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: https://hdl.handle.net/10023/32907

Symmetry breaking in the subgraph isomorphism problem

Συγγραφείς: Loughney, Joseph Patrick, Hoffmann, Ruth

Συνεισφορές: 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

Θεματικοί όροι: QA75, Artificial intelligence, Constraints programming, QA75 Electronic computers. Computer science, Symmetry breaking, Graph algorithms

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hdl.handle.net/10023/32907

Solvi: A visual constraint modeling tool

Συγγραφείς: Zhu, Xu ^{a, ⁎}, Nacenta, Miguel A. ^b, Akgün, Özgür ^a, Zenkovitch, Daniel ^b

Πηγή: In Journal of Computer Languages March 2024 78

A Constrained ECA Language Supporting Formal Verification of WSNs

Συγγραφείς: Corradini, Flavio, Culmone, Rosario, Mostarda, Leonardo, Tesei, Luca, Raimondi, Franco

Πηγή: 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

Συγγραφείς: Volte, Gabriel^Aff10, Bourreau, Eric^Aff10, Giroudeau, Rodolphe^Aff10, Naud, Olivier^Aff11

Συνεισφορές: 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

Πηγή: 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

Συγγραφείς: Gaudilliere, Nadja

Συνεισφορές: Gaudillière-Jami, Nadja

Πηγή: CAADRIA proceedings. 2:581-590

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hal.science/hal-04588578v1

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

Συγγραφείς: 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

Θεματικοί όροι: 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

Διαθεσιμότητα: https://doi.org/10.3390/s23031658
https://zenodo.org/records/7660486

A Hybrid GA-CP Approach for Production Scheduling

Συγγραφείς: Hu, Hao, Chan, Weng-Tat

Πηγή: 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

Συγγραφείς: Yi-bo, Wang, Hua, Liao, Chun-sheng, Wu, Hong-hua, Xu

Πηγή: 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

Συγγραφείς: Bocewicz, Grzegorz, Muszynski, Wojciech, Wojcik, Robert, Banaszak, Zbigniew

Πηγή: 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

Συγγραφείς: Sheikh Hussin, Siti Aida

Συνεισφορές: Mitra, G., Roman, D.

Θεματικοί όροι: 519.6, Stochastic optimisation, Pension fund, Scenario generation, Risk adjusted performance measures (RAPM), Chance constrained and integrated chance constraints programming

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Touat, Meriem, Benbouzid, Fatima, Benhamou, Belaid

Συνεισφορές: 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)

Πηγή: ISSN: 1750-0591.

Θεματικοί όροι: 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

Διαθεσιμότητα: 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

Συγγραφείς: Touat, Meriem ^{a, b}, Tayeb, Fatima Benbouzid-Si ^b, Benhamou, Belaid ^c

Πηγή: In Procedia Computer Science 2018 126:1395-1404

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

Συγγραφείς: Anders, Torsten

Θεματικοί όροι: 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

Διαθεσιμότητα: http://hdl.handle.net/10547/622708