Results 11 to 20 of about 1,512,981 (300)
Prioritised fuzzy constraint satisfaction problems: axioms, instantiation and validation [PDF]
, 2003 This paper identifies a generic axiom framework for prioritised fuzzy constraint satisfaction problems (PFCSPs), and proposes methods to instantiate it (i.e., to construct specific schemes which obey the generic axiom framework).
Luo, X. +14 more
core +2 more sources
Parameter-uniform numerical treatment of singularly perturbed parabolic delay differential equations with nonlocal boundary conditions [PDF]
Iranian Journal of Numerical Analysis and OptimizationThis paper focuses on solving singularly perturbed parabolic equations of the convection-diffusion type with a large negative spatial shift and an integral boundary condition.
W.S. Hailu, G.F. Duressa
doaj +1 more source
Timetabling in constraint logic programming [PDF]
, 1996 In this paper we describe the timetabling problem and its solvability in a Constraint Logic Programming Language. A solution to the problem has been developed and implemented in ECLiPSe, since it deals with finite domains, it has well-defined ...
Kambi, M +3 more
core +6 more sources
Mathematical Modelling and Analysis, 2018 In this paper the control system described by a Urysohn type integral equation is studied. It is assumed that the control functions have integral constraint.
Nesir Huseyin +2 more
doaj +1 more source
Mathematics, 2023 Cauchy problems are considered for families of, generally speaking, non-Volterra functional differential equations of the second order. For each family considered, in terms of the parameters of this family, necessary and sufficient conditions for the ...
Eugene Bravyi
doaj +1 more source
Integrating Cardinality Constraints into Constraint Logic Programming with Sets [PDF]
Theory and Practice of Logic Programming, 2021 AbstractFormal reasoning about finite sets and cardinality is important for many applications, including software verification, where very often one needs to reason about the size of a given data structure. The Constraint Logic Programming tool $$\{ log\} $$ provides a decision procedure for deciding the satisfiability of formulas involving very ...
Maximiliano Cristiá, Gianfranco Rossi
openaire +3 more sources
A fuzzy constraint based model for bilateral multi-issue negotiations in semi-competitive environments [PDF]
, 2003 This paper develops a fuzzy constraint based model for bilateral multi-issue negotiation in trading environments. In particular, we are concerned with the principled negotiation approach in which agents seek to strike a fair deal for both parties, but ...
Luo, X. +16 more
core +2 more sources
On the compactness of the set of L-2 trajectories of the control system
Nonlinear Analysis, 2018 In this paper, the compactness of the set of L2 trajectories of the control system described by the Urysohn-type integral equation is studied. The control functions are chosen from the closed ball of the space L2 with radius r and centered at the origin.
Nesir Huseyin, Anar Huseyin
doaj +1 more source
An Approximation Method for Variational Inequality with Uncertain Variables
Advances in Mathematical Physics, 2023 In this paper, a Stieltjes integral approximation method for uncertain variational inequality problem (UVIP) is studied. Firstly, uncertain variables are introduced on the basis of variational inequality.
Cunlin Li +4 more
doaj +1 more source
Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '00, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Wenfei Fan, Jérôme Siméon
openaire +2 more sources