Results 1 to 10 of about 29,860 (193)
Termination Rules for Variable-Length CD-CAT From the Information Theory Perspective [PDF]
Frontiers in Psychology, 2019 Cognitive diagnostic computerized adaptive testing (CD-CAT) aims to take full advantage of both cognitive diagnosis (CD) and CAT. Cognitive diagnostic models (CDMs) attempt to classify students into several attribute profiles so as to evaluate their ...
Lei Guo +4 more
doaj +3 more sources
Chase Termination for Guarded Existential Rules [PDF]
Proceedings of the 34th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2015 The chase procedure is considered as one of the most fundamental algorithmic tools in database theory. It has been successfully applied to different database problems such as data exchange, and query answering and containment under constraints, to name a few. One of the central problems regarding the chase procedure is all-instance termination, that is,
Calautti M., Gottlob G., Pieris A.
openaire +6 more sources
Termination of the contract before the due date due to anticipation of violation of Iranian law and the Convention on the International Sale of Goods (Vienna-1980) [PDF]
پژوهشنامه حقوق تطبیقی, 2022 The issue of breach of contract and the guarantee of performance resulting from it, is one of the important issues in contract law. Before the expiration of the obligation, based on the explicit announcement of the obligor or according to the current ...
Mehri Shams +3 more
doaj +1 more source
On Lexicographic Proof Rules for Probabilistic Termination [PDF]
Formal Aspects of Computing, 2021 We consider the almost-sure (a.s.) termination problem for probabilistic programs, which are a stochastic extension of classical imperative programs. Lexicographic ranking functions provide a sound and practical approach for termination of non-probabilistic programs, and their extension to probabilistic programs is achieved via lexicographic ranking ...
Krishnendu Chatterjee +4 more
openaire +4 more sources
Freedom of Will in Making a Termination Clause in Marriage [PDF]
مطالعات فقه و حقوق اسلامی, 2020 Although the jurisprudents of the Imamiah and consequently the civil code have forged and drived out a termination clause in the marriage contract from the autonomy of the parties’ will but the above view on the Imamiah and Iranian law conflicts with ...
Heydar Bagheri Asl, Saeideh Bagheri Asl
doaj +1 more source
Bound the Parameters of Neural Networks Using Particle Swarm Optimization
Computers, 2023 Artificial neural networks are machine learning models widely used in many sciences as well as in practical applications. The basic element of these models is a vector of parameters; the values of these parameters should be estimated using some ...
Ioannis G. Tsoulos +3 more
doaj +1 more source
Toward an Ideal Particle Swarm Optimizer for Multidimensional Functions
Information, 2022 The Particle Swarm Optimization (PSO) method is a global optimization technique based on the gradual evolution of a population of solutions called particles. The method evolves the particles based on both the best position of each of them in the past and
Vasileios Charilogis, Ioannis G. Tsoulos
doaj +1 more source
An Intelligent Technique for Initial Distribution of Genetic Algorithms
Axioms, 2023 The need to find the global minimum in multivariable functions is a critical problem in many fields of science and technology. Effectively solving this problem requires the creation of initial solution estimates, which are subsequently used by the ...
Vasileios Charilogis +2 more
doaj +1 more source
Use RBF as a Sampling Method in Multistart Global Optimization Method
Signals, 2022 In this paper, a new sampling technique is proposed that can be used in the Multistart global optimization technique as well as techniques based on it.
Ioannis G. Tsoulos +2 more
doaj +1 more source
Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers [PDF]
Logical Methods in Computer Science, 2022 We present a new modular proof method of termination for second-order computation, and report its implementation SOL. The proof method is useful for proving termination of higher-order foundational calculi.
Makoto Hamana
doaj +1 more source