Výsledky vyhľadávania - "constraints programming"

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

Autori: Bilal Omar Akram Nor Kamariah Noordin Fazirulhisyam Hashim a ďalší

Zdroj: IEEE Access, Vol 12, Pp 78379-78396 (2024)

Predmety: Best-effort (BE) traffic, Clock Synchronization, Computer Networks and Communications, real-time communication, Real-Time Ethernet, Quantum mechanics, 7. Clean energy, Real-time computing, Engineering, Distributed Synchronization, FOS: Mathematics, Routing (electronic design automation), Computer network, reliability, Mobile Agent Technology in Network Management, Architectural engineering, redundancy, Internet of Things and Edge Computing, constraints programming (CP), Physics, Clock Synchronization in Networked Systems, Mathematical optimization, Power (physics), Computer science, Distributed computing, TK1-9971, Reliability (semiconductor), Joint (building), Computer Science, Physical Sciences, Time-Sensitive Networking, Electrical engineering. Electronics. Nuclear engineering, joint scheduling and routing, Scheduling (production processes), Mathematics, Precision Time Protocol

Prístupová URL adresa: https://doaj.org/article/80140a4f2091454eb411bc54d73ff9f5

Symmetry breaking in the subgraph isomorphism problem

Autori: Loughney, Joseph Patrick Hoffmann, Ruth EPSRC a ďalší

Prispievatelia: Loughney, Joseph Patrick Hoffmann, Ruth EPSRC a ďalší

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

Popis súboru: application/pdf

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

Dostupnosť: https://hdl.handle.net/10023/32907

Symmetry breaking in the subgraph isomorphism problem

Autori: Loughney, Joseph Patrick Hoffmann, Ruth EPSRC a ďalší

Prispievatelia: Loughney, Joseph Patrick Hoffmann, Ruth EPSRC a ďalší

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

Popis súboru: application/pdf

Prístupová URL adresa: https://hdl.handle.net/10023/32907

Solvi:a visual constraint modeling tool

Autori: Zhu, Xu Nacenta, Miguel Akgun, Ozgur a ďalší

Zdroj: Zhu , X , Nacenta , M , Akgun , O & Zenkovitch , D 2024 , ' Solvi : a visual constraint modeling tool ' , Journal of Computer Languages , vol. 78 , 101242 . https://doi.org/10.1016/j.cola.2023.101242

Predmety: Constraints programming, Visualization, Visual modeling, Visual language, human computer interaction

Popis súboru: application/pdf

Dostupnosť: https://research-portal.st-andrews.ac.uk/en/publications/5e48e244-0f80-4d26-b33a-20c4e72e9ff3
https://doi.org/10.1016/j.cola.2023.101242
https://research-repository.st-andrews.ac.uk/bitstream/10023/28778/1/Zhu_2023_JCL_Solvi_CCBY.pdf

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

Autori: Gaudilliere, Nadja Gaudillière-Jami, Nadja

Prispievatelia: Gaudilliere, Nadja Gaudillière-Jami, Nadja

Zdroj: CAADRIA proceedings. 2:581-590

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

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.science/hal-04588578v1

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

Autori: Maxime Compastié Antonio López Martínez Carolina Fernández a ďalší

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

Dostupnosť: https://doi.org/10.3390/s23031658
https://zenodo.org/records/7660486

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

Autori: Sheikh Hussin, Siti Aida Mitra, G. Roman, D.

Prispievatelia: Sheikh Hussin, Siti Aida Mitra, G. Roman, D.

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

Prístupová URL adresa: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.575657

Exact method approaches for the differential harvest problem

Autori: Volte, Gabriel Bourreau, Eric Giroudeau, Rodolphe a ďalší

Prispievatelia: Volte, Gabriel Bourreau, Eric Giroudeau, Rodolphe a ďalší

Zdroj: 17. International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2020)
https://hal.inrae.fr/hal-02968443
17. International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2020), Sep 2020, Vienna, Austria. pp.492-510, ⟨10.1007/978-3-030-58942-4_32⟩

Predmety: Precision agriculture, Exact method, Enumeration technique, Constraints programming, Column generation, [SDE]Environmental Sciences, [SDE.IE]Environmental Sciences/Environmental Engineering

Geografické téma: Vienna, Austria

Dostupnosť: https://hal.inrae.fr/hal-02968443
https://hal.inrae.fr/hal-02968443v1/document
https://hal.inrae.fr/hal-02968443v1/file/CPAIOR_2020_paper_35.pdf
https://doi.org/10.1007/978-3-030-58942-4_32

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

Autori: Touat, Meriem Benbouzid, Fatima Benhamou, Belaid a ďalší

Prispievatelia: Touat, Meriem Benbouzid, Fatima Benhamou, Belaid a ďalší

Zdroj: ISSN: 1750-0591.

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

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

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

Autori: Anders, Torsten

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

Dostupnosť: http://hdl.handle.net/10547/622708

Probabilistic Extension to the Concurrent Constraint Factor Oracle Model for Music Improvisation

Autori: Toro, M. Universidad EAFIT. Departamento de Ingeniería de Sistemas I+D+I en Tecnologías de la Información y las Comunicaciones

Prispievatelia: Toro, M. Universidad EAFIT. Departamento de Ingeniería de Sistemas I+D+I en Tecnologías de la Información y las Comunicaciones

Zdroj: Inteligencia Artificial, Vol 19, Iss 57, Pp 37-73 (2016)
Inteligencia Artificial

Predmety: FOS: Computer and information sciences, Artificial intelligence, Ccfomi, Machine improvisations, Learning systems, Pntcc, Computer Science - Artificial Intelligence, Concurrent constraints programming, Gecode, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Semantics, Real time, Artificial Intelligence (cs.AI), 13. Climate action, Electronic computers. Computer science, Factor oracle, 0202 electrical engineering, electronic engineering, information engineering, Ntcc, Computer software, C++ (programming language), Calculations, Concurrency control

Popis súboru: application/pdf

Prístupová URL adresa: http://journal.iberamia.org/index.php/intartif/article/download/44/15/
http://arxiv.org/abs/1602.02169
https://doaj.org/article/d2155a51e856436e99d8b12cd2713fa7
https://dialnet.unirioja.es/servlet/articulo?codigo=6793542
https://journal.iberamia.org/index.php/intartif/article/download/44/15
https://arxiv.org/pdf/1602.02169
https://dblp.uni-trier.de/db/journals/corr/corr1602.html#Toro16
https://journal.iberamia.org/index.php/intartif/article/view/44
https://arxiv.org/abs/1602.02169
https://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=5177
http://hdl.handle.net/10784/28609

Memory Consistency Models using Constraints

Autori: Akgün, Özgür Hoffmann, Ruth Sarkar, Susmit a ďalší

Prispievatelia: Akgün, Özgür Hoffmann, Ruth Sarkar, Susmit a ďalší

Predmety: QA75, FOS: Computer and information sciences, Constraints programming, Computer Science - Programming Languages, Litmus tests, QA75 Electronic computers. Computer science, 0202 electrical engineering, electronic engineering, information engineering, Memory consistency, DAS, 02 engineering and technology, Concurrent programming, Modelling, Programming Languages (cs.PL)

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/1808.09870
https://hdl.handle.net/10023/15944

UAV Fleet Routing Under Weather and Customer Orders Uncertainty Parameters

Autori: Radzki, Grzegorz Bocewicz, Grzegorz Nielsen, Peter a ďalší

Zdroj: Radzki, G, Bocewicz, G, Nielsen, P, Jasiulewicz-Kaczmarek, M & Banaszak, Z 2023, UAV Fleet Routing Under Weather and Customer Orders Uncertainty Parameters. in 2023 IEEE International Conference on Fuzzy Systems, FUZZ 2023. IEEE Signal Processing Society, IEEE International Conference on Fuzzy Systems, 2023 IEEE International Conference on Fuzzy Systems, FUZZ 2023, Incheon, Korea, Republic of, 13/08/2023. https://doi.org/10.1109/FUZZ52849.2023.10309708

Predmety: constraints programming, fuzzy set, proactive planning, UAV, VRP

Relation: info:eu-repo/semantics/altIdentifier/isbn/9798350332285; urn:ISBN:9798350332285

Dostupnosť: https://vbn.aau.dk/da/publications/6687883d-f891-43cf-8f9b-79d0cf5c1a16
https://doi.org/10.1109/FUZZ52849.2023.10309708
https://www.scopus.com/pages/publications/85178506557

Exact and metaheuristic approaches for the single-machine scheduling problem with flexible maintenance under human resource constraints

Autori: Touat, Meriem Tayeb, Fatima Benbouzid Si Benhamou, Belaid a ďalší

Prispievatelia: Touat, Meriem Tayeb, Fatima Benbouzid Si Benhamou, Belaid a ďalší

Zdroj: International Journal of Manufacturing Research. 17:22

Predmety: GLS, constraints programming, 0203 mechanical engineering, 0103 physical sciences, guided local search, human resource constraints, 02 engineering and technology, single machine scheduling, 01 natural sciences, [INFO.INFO-RO] Computer Science [cs]/Operations Research [math.OC], flexible maintenance planning

Prístupová URL adresa: http://www.inderscienceonline.com/doi/full/10.1504/IJMR.2022.10039083
https://utt.hal.science/hal-04453416v1
https://doi.org/10.1504/ijmr.2022.121594

EXPERIMENTAL ANALYSIS OF THE EFFECTS OF AGENT SYNCHRONIZATION IN ASYNCHRONOUS SEARCH ALGORITHMS

Autori: Muscalagiu, Ionel Vidal, José M. Cretu, Vladimir a ďalší

Zdroj: International Journal of Software Engineering and Knowledge Engineering. 18:619-636

Predmety: Constraints programming, Computer Sciences, 9. Industry and infrastructure, 0102 computer and information sciences, 02 engineering and technology, distributed problems, 7. Clean energy, 01 natural sciences, 12. Responsible consumption, Engineering, Programming Languages and Compilers, asynchronous searching techniques, 0202 electrical engineering, electronic engineering, information engineering, Computer Engineering, synchronization

Prístupová URL adresa: https://dblp.uni-trier.de/db/journals/ijseke/ijseke18.html#MuscalagiuVCPP08
https://www.worldscientific.com/doi/abs/10.1142/S0218194008003799
https://jmvidal.cse.sc.edu/lib/muscalagiu08a.html
https://scholarcommons.sc.edu/eche_facpub/906/

OMEGA: An Expert CAPP System

Autori: Sabourin, Laurent Villeneuve, François Conception Produit Process (G-SCOP_CPP) a ďalší

Prispievatelia: Sabourin, Laurent Villeneuve, François Conception Produit Process (G-SCOP_CPP) a ďalší

Zdroj: ASME 1994 International Computers in Engineering Conference and Exhibition. :261-269

Predmety: 0209 industrial biotechnology, [PHYS.MECA.GEME] Physics [physics]/Mechanics [physics]/Mechanical engineering [physics.class-ph], 0211 other engineering and technologies, [PHYS.MECA.GEME]Physics [physics]/Mechanics [physics]/Mechanical engineering [physics.class-ph], process planning, 02 engineering and technology, [SPI.MECA.GEME]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Mechanical engineering [physics.class-ph], constraints programming, CAPP, [SPI.MECA.GEME] Engineering Sciences [physics]/Mechanics [physics.med-ph]/Mechanical engineering [physics.class-ph], expert system, features modelling

Prístupová URL adresa: https://asmedigitalcollection.asme.org/IDETC-CIE/proceedings/CIE94/13805/261/1103750
https://hal.archives-ouvertes.fr/hal-00366359
https://www.sciencedirect.com/science/article/pii/0965997895000852
https://hal.science/hal-00366359v1
https://hal.science/hal-01355773v1

Learning-based Approaches for Parallel Machines Scheduling Problems ; Approches basées sur l’apprentissage pour les problèmes d’ordonnancement sur machines parallèles

Autori: Athmani, Mohamed Elamine Troyes Arbaoui, Taha a ďalší

Prispievatelia: Athmani, Mohamed Elamine Troyes Arbaoui, Taha a ďalší

Predmety: Ordonnancement (gestion), Métaheuristiques, Programmation (mathématiques), Sélection d’algorithmes, Programmation par contraintes, Apprentissage automatique, Paramétrage automatique, Production Scheduling, Metaheuristics, Programming (mathematics), Algorithm Selection, Constraints Programming, Machine Learning, Parameter Tuning, 658.53, 658.403 4

Relation: http://www.theses.fr/2023TROY0040/document

Dostupnosť: http://www.theses.fr/2023TROY0040/document

Optimal Minimisation of Pairwise-covering Test Configurations Using Constraint Programming

Autori: Hervieu, Aymeric Marijan, Dusica Gotlieb, Arnaud a ďalší

Prispievatelia: Hervieu, Aymeric Marijan, Dusica Gotlieb, Arnaud a ďalší

Zdroj: ISSN: 0950-5849.

Predmety: Configuration testing, configurable software systems, constraints programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.8: Testing tools (e.g., data generators, coverage testing), [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC]

Dostupnosť: https://inria.hal.science/hal-01352831
https://inria.hal.science/hal-01352831v1/document
https://inria.hal.science/hal-01352831v1/file/IST_journal.pdf

Staff Scheduling Problem by means of Optimization Algorithms

Autori: Musumbu, Kaninda Laboratoire Bordelais de Recherche en Informatique (LaBRI) Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) a ďalší

Prispievatelia: Musumbu, Kaninda Laboratoire Bordelais de Recherche en Informatique (LaBRI) Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) a ďalší

Zdroj: in Proceedings of 2009 International Conference on Artificila Intelligence and Pattern Recognition ; International Conference on Artificial Intelligence and Pattern Recognition, ; https://hal.archives-ouvertes.fr/hal-00637831 ; International Conference on Artificial Intelligence and Pattern Recognition,, Jul 2009, Orlando / Florida, United States. pp.261-268

Predmety: timetable, artificial intelligence, constraints programming, CSP, scheduler, solver, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Geografické téma: Orlando / Florida, United States

Relation: hal-00637831; https://hal.archives-ouvertes.fr/hal-00637831; https://hal.archives-ouvertes.fr/hal-00637831/document; https://hal.archives-ouvertes.fr/hal-00637831/file/orlando.pdf

Dostupnosť: https://hal.archives-ouvertes.fr/hal-00637831
https://hal.archives-ouvertes.fr/hal-00637831/document
https://hal.archives-ouvertes.fr/hal-00637831/file/orlando.pdf

A Branch-and-Bound Procedure for the Multiple Resource-Constrained Project Scheduling Problem: A branch-and-bound procedure for the multiple resource-constrained project scheduling problem

Autori: Demeulemeester, Erik Herroelen, Willy

Zdroj: Management Science. 38:1803-1818

Predmety: Technology, Operations Research, precedence and resource constraints, project management resource constraints, Deterministic scheduling theory in operations research, 38 Economics, 0211 other engineering and technologies, Social Sciences, 02 engineering and technology, 46 Information and computing sciences, NETWORKS GRAPHS APPLICATIONS, Business & Economics, 35 Commerce, management, tourism and services, 0202 electrical engineering, electronic engineering, information engineering, branch-and-bound, networks graphs applications, PROJECT MANAGEMENT RESOURCE CONSTRAINTS, Science & Technology, 15 Commerce, Management, Tourism and Services, Operations Research & Management Science, PERFORMANCE, programming branch-and-bound, Management, project management, Computational methods for problems pertaining to operations research and mathematical programming, 08 Information and Computing Sciences, project management, resource constraints, programming, branch-and-bound, networks/graphs, applications, PROGRAMMING BRANCH-AND-BOUND, performance

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/149828
https://doi.org/10.1287/mnsc.38.12.1803
https://ideas.repec.org/a/inm/ormnsc/v38y1992i12p1803-1818.html
https://econpapers.repec.org/article/inmormnsc/v_3a38_3ay_3a1992_3ai_3a12_3ap_3a1803-1818.htm
https://pubsonline.informs.org/doi/abs/10.1287/mnsc.38.12.1803
https://core.ac.uk/display/34311886
https://www.jstor.org/stable/2632711