Results 41 to 50 of about 337,412 (345)
A new agents-based model for dynamic job allocation in manufacturing shopfloors [PDF]
, 2012 Market-based mechanisms such as the contract net protocol (CNP) are very popular for dynamic job allocation in distributed manufacturing control and scheduling. The CNP can be deployed with different configurations of the system elements.
Anane, Rachid +3 more
core +1 more source
Hybrid contract checking via symbolic simplification [PDF]
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation, 2012 Program errors are hard to detect or prove absent. Allowing programmers to write formal and precise specifications, especially in the form of contracts, is a popular approach to program verification and error discovery. We formalize and implement a hybrid (static and dynamic) contract checker for a subset of OCaml.
openaire +2 more sources
An admissible Hybrid contraction with an Ulam type stability [PDF]
Demonstratio Mathematica, 2019 Abstract In this manuscript, we introduce a new hybrid contraction that unify several nonlinear and linear contractions in the set-up of a complete metric space. We present an example to indicate the genuine of the proved result. In addition, we consider Ulam type stability and well-posedness for this new hybrid contraction.
Karapınar Erdal, Fulga Andreea
openaire +2 more sources
The Use of Hybrid Contract in the Innovation of Islamic Banking Product
Hasanuddin Law Review, 2018 ASEAN Banking Integration Framework (ABIF) provides market access and operational flexibility for Quality ASEAN Banks (QAB) in ASEAN countries. Indonesian sharia banking is faced with various challenges in fulfilling QAB qualification within this ABIF ...
Nun Harrieti
doaj +1 more source
Comparison Between the Hybrid Model of Genetic Fuzzy and Self - Organizing Systems and Linear Model to Predict the Price of Gold Coin Futures Contracts [PDF]
تحقیقات مالی, 2015 This paper investigates the forecasting gold coin futures contract price in Iran Mercantile Exchange. this research has presented a hybrid model based on genetic fuzzy systems (GFS) and artificial neural network (ANN) to forecast the gold futures ...
Shahabeddin Shams, Marzieh Naji Zavareh
doaj +1 more source
Journal of Management Science and Engineering, 2021 Intelligent transformation of manufacturers requires smart logistics transformation collaboration, which improves competitiveness. In this study, we construct a Stackelberg game model based on the mutual influence and restriction in the relationship ...
Weihua Liu +3 more
doaj +1 more source
Coincidence Theorems for Certain Classes of Hybrid Contractions [PDF]
Fixed Point Theory and Applications, 2009 AbstractCoincidence and fixed point theorems for a new class of hybrid contractions consisting of a pair of single-valued and multivalued maps on an arbitrary nonempty set with values in a metric space are proved. In addition, the existence of a common solution for certain class of functional equations arising in dynamic programming, under much weaker ...
Singh SL, Mishra SN
openaire +3 more sources
Penerapan Prinsip Syariah pada Akad Rahn di Lembaga Pegadaian Syariah
Jurnal Pendidikan dan Kewirausahaan, 2022 Non-Bank Islamic Financial Institutions in Indonesia, one of which is the Sharia Pawnshop, to implement various kinds of products and contracts in carrying out their business activities, one of the products is the Rahn contract, the freedom to design ...
Lamtana Lamtana, Vemmy Mayditri
doaj +1 more source
Hybrid contracts in introductory linguistics
Proceedings of the Linguistic Society of America, 2021 Wanting to shift the focus in the introductory linguistics classes in an access institution from teaching to learning, I created a tripartite (hybrid) contract that consists of three distinct tasks: labor-based tasks (collaborative forums and breakout activities); content-based tasks (assignments and final project on changing understandings about ...
openaire +2 more sources
Coincidence and fixed points of nonlinear Hybrid contractions [PDF]
International Journal of Mathematics and Mathematical Sciences, 1987 In this Der, we show the existence of solutions of functional equations fx ∈ sx∩tx and x=fx ∈ sx∩Tx under certain contraction and asymptotic regularity conditions, where f, S and T are single‐valued and multl‐valued mappings on a metric space, respectively.
Shyam Lal Singh, Ki Sik Ha, Yeol Je Cho
openaire +2 more sources