Výsledky vyhledávání - ((applications OR publications) of) concurrent constraint programming

  1. 1

    Concurrent multi-scale design optimization of composite frames with manufacturing constraints Autor Yan, Jun, Duan, Zunyi, Lund, Erik, Wang, Jingyuan

    ISSN: 1615-147X, 1615-1488
    Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 01.09.2017
    “…This paper presents a gradient based concurrent multi-scale design optimization method for composite frames considering specific manufacturing constraints raised from the aerospace industrial requirements…”
    Získat plný text
    Journal Article
  2. 2

    Cyclic scheduling of multi-type wafers concurrent processing in single-arm cluster tools with residency time constraints Autor Li, Xin, Yang, Wen

    ISSN: 0957-4174
    Vydáno: Elsevier Ltd 15.04.2025
    Vydáno v Expert systems with applications (15.04.2025)
    “… This paper proposes an approach towards the generalized cyclic scheduling of multiple wafer types in single-arm cluster tools, considering residency time constraints…”
    Získat plný text
    Journal Article
  3. 3

    Models and emerging trends of concurrent constraint programming Autor Olarte, Carlos, Rueda, Camilo, Valencia, Frank D.

    ISSN: 1383-7133, 1572-9354
    Vydáno: Boston Springer US 01.10.2013
    “…Concurrent Constraint Programming (CCP) has been used over the last two decades as an elegant and expressive model for concurrent systems…”
    Získat plný text
    Journal Article
  4. 4

    Modeling Biological Systems in Stochastic Concurrent Constraint Programming Autor Bortolussi, Luca, Policriti, Alberto

    ISSN: 1383-7133, 1572-9354
    Vydáno: Boston Springer US 01.06.2008
    “…We present an application of stochastic Concurrent Constraint Programming (sCCP) for modeling biological systems…”
    Získat plný text
    Journal Article
  5. 5

    A Proof Theoretic Study of Soft Concurrent Constraint Programming Autor PIMENTEL, ELAINE, OLARTE, CARLOS, NIGAM, VIVEK

    ISSN: 1471-0684, 1475-3081
    Vydáno: Cambridge, UK Cambridge University Press 01.07.2014
    “…Concurrent Constraint Programming (CCP) is a simple and powerful model for concurrency where agents interact by telling and asking constraints…”
    Získat plný text
    Journal Article
  6. 6

    Optimal parameters and tolerances in concurrent product and process design using simulation and fuzzy goal programming Autor Al-Refaie, Abbas, Haddadin, Mays, Qabaja, Alaa

    ISSN: 0265-671X, 1758-6682
    Vydáno: Bradford Emerald Publishing Limited 14.01.2020
    “…Purpose The purpose of this paper is to propose an approach to determine the optimal parameters and tolerances in concurrent product and process design in the early design stages utilizing fuzzy goal programming…”
    Získat plný text
    Journal Article
  7. 7

    Concurrent Optimization of Subway Vertical Alignments and Station Elevations With Improved Particle Swarm Optimization Algorithm Autor Wei, Li, Qiu, Xiao, Pu, Hao, Schonfeld, Paul, Zhen, Shujun, Zhou, Yuhui, Xu, Zhanjun

    ISSN: 1524-9050, 1558-0016
    Vydáno: New York IEEE 01.12.2022
    “… In this paper, a concurrent optimization model of stations and links is developed, in which the vertical points of intersection in stations and links are design variables…”
    Získat plný text
    Journal Article
  8. 8

    Concurrent product configuration and process planning: Some optimization experimental results Autor Pitiot, Paul, Aldanondo, Michel, Vareilles, Elise

    ISSN: 0166-3615, 1872-6194
    Vydáno: Kidlington Elsevier B.V 01.05.2014
    Vydáno v Computers in industry (01.05.2014)
    “… The configuration and planning problems are considered as constraint satisfaction problems (CSPs). After some recalls about this two-step approach, we propose to evaluate a recent evolutionary optimization algorithm called CFB-EA…”
    Získat plný text
    Journal Article
  9. 9

    Constraint programming model for resource-constrained assembly line balancing problem Autor Alakaş, Hacı Mehmet, Pınarbaşı, Mehmet, Yüzükırmızı, Mustafa

    ISSN: 1432-7643, 1433-7479
    Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 01.04.2020
    Vydáno v Soft computing (Berlin, Germany) (01.04.2020)
    “… However, tasks may need to be processed by general resource requirements in real life. These general resources could be classified by usage of resources such as simple or multiple, alternative and concurrent…”
    Získat plný text
    Journal Article
  10. 10

    DSML4CP: A Domain-specific Modeling Language for Concurrent Programming Autor Azadi Marand, Elaheh, Azadi Marand, Elham, Challenger, Moharram

    ISSN: 1477-8424, 1873-6866
    Vydáno: Elsevier Ltd 01.12.2015
    “…Nowadays, concurrent programs are an inevitable part of many software applications…”
    Získat plný text
    Journal Article
  11. 11

    A history of the Oz multiparadigm language Autor Van Roy, Peter, Haridi, Seif, Schulte, Christian, Smolka, Gert

    ISSN: 2475-1421, 2475-1421
    Vydáno: 2020
    “… We give the history of Oz as it developed from its origins in logic programming, starting with Prolog, followed by concurrent logic programming and constraint logic programming, and leading…”
    Získat plný text
    Journal Article
  12. 12

    Mitigation of adverse interactions in pairs of clinical practice guidelines using constraint logic programming Autor Wilk, Szymon, Michalowski, Wojtek, Michalowski, Martin, Farion, Ken, Hing, Marisela Mainegra, Mohapatra, Subhra

    ISSN: 1532-0464, 1532-0480, 1532-0480
    Vydáno: United States Elsevier Inc 01.04.2013
    Vydáno v Journal of biomedical informatics (01.04.2013)
    “… ► We propose a method for automatic mitigation of adverse interactions in CPGs. ► We combine constraint logic programming model with encoded clinical knowledge…”
    Získat plný text
    Journal Article
  13. 13

    Balancing of cost-oriented U-type general resource-constrained assembly line: new constraint programming models Autor Alakaş, Hacı Mehmet, Pınarbaşı, Mehmet

    ISSN: 1432-7643, 1433-7479
    Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2023
    Vydáno v Soft computing (Berlin, Germany) (01.12.2023)
    “… Two different constraint programming (CP) models that define the resource constraints as “and/or” constraint…”
    Získat plný text
    Journal Article
  14. 14

    Abstract diagnosis for timed concurrent constraint programs Autor COMINI, MARCO, TITOLO, LAURA, VILLANUEVA, ALICIA

    ISSN: 1471-0684, 1475-3081
    Vydáno: Cambridge, UK Cambridge University Press 01.07.2011
    “…The timed concurrent constraint language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat…”
    Získat plný text
    Journal Article
  15. 15

    Concurrent two-scale topological design of multiple unit cells and structure using combined velocity field level set and density model Autor Wang, Yaguang, Kang, Zhan

    ISSN: 0045-7825, 1879-2138
    Vydáno: Amsterdam Elsevier B.V 15.04.2019
    “…This paper studies concurrent two-scale design optimization of composite structures filled with multiple microstructural unit cells…”
    Získat plný text
    Journal Article
  16. 16

    Observational equivalences for linear logic concurrent constraint languages Autor Haemmerle, Remy

    ISSN: 1471-0684, 1475-3081
    Vydáno: Cambridge, UK Cambridge University Press 01.07.2011
    “…Linear logic Concurrent Constraint programming (LCC) is an extension of concurrent constraint programming (CC…”
    Získat plný text
    Journal Article
  17. 17

    Concurrent Learning Control Lyapunov and Barrier Functions for Uncertain Nonlinear Safety-Critical Systems With High Relative Degree Constraints Autor Wang, Liqi, Dong, Jiuxiang

    ISSN: 1545-5955, 1558-3783
    Vydáno: IEEE 01.10.2024
    “…This paper studies the problem of safety-critical tracking control for uncertain nonlinear systems which are allowed to be with high relative degree constraints, parametric uncertainty in the control…”
    Získat plný text
    Journal Article
  18. 18

    Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios Autor Toro, Mauricio, Desainte-Catherine, Myriam, Rueda, Camilo

    ISSN: 1745-9737, 1745-9745
    Vydáno: Baton Rouge Taylor & Francis 02.01.2014
    “… Interactive scores (is) is a formalism based on temporal constraints to describe interactive scenarios…”
    Získat plný text
    Journal Article
  19. 19

    Concurrent motion planning and reaction load distribution for redundant dynamic systems under external holonomic constraints Autor Kim, Joo H., Abdel-Malek, Karim, Xiang, Yujiang, Yang, Jingzhou (James), Arora, Jasbir S.

    ISSN: 0029-5981, 1097-0207, 1097-0207
    Vydáno: Chichester, UK John Wiley & Sons, Ltd 07.10.2011
    “…Dynamics of mechanical systems during motion usually involves reaction forces and moments due to the interaction with external objects or constraints from the environment…”
    Získat plný text
    Journal Article
  20. 20

    A robust bi-objective model for concurrent planning of project scheduling and material procurement Autor Tabrizi, Babak H., Ghaderi, Seyed Farid

    ISSN: 0360-8352, 1879-0550
    Vydáno: New York Elsevier Ltd 01.08.2016
    Vydáno v Computers & industrial engineering (01.08.2016)
    “…•Application of tuned meta-heuristics to solve the model of different sizes. Simultaneous planning of project scheduling and material procurement can lead to the project execution costs improvement…”
    Získat plný text
    Journal Article