The purpose of this paper is to give conditions for the existence and uniqueness positive solution a rather general type elliptic system Dirichlet problem on bounded domain Ω in R n . Also considered are effects perturbations coexistence state uniqueness. techniques used super-sub solutions method, eigenvalues operators, maximum principles, spectrum estimates, inverse function theory, theory. a...

this study was an attempt to investigate iranian efl teachers’ beliefs about effective teaching in foreign language classrooms. more specifically, the study addresses the need for a clear understanding of the role of teaching effectiveness in efl classrooms by looking at iranian efl teachers’ own beliefs. to this end, 90 iranian efl instructors of the english language voluntarily participated i...

characterized by dynamic adaptation in response to external data. Applications of this type, which are often dataand I/O-intensive, run as parallel or distributed computations on high-end resources such as distributed clusters or symmetric multiprocessing machines. Ondemand weather forecasting is a canonical example of a data-driven application. Essentially, it is the automated process of invok...

We present a formalism for logic program cooperation based on the answer set semantics. The system consists of independent logic programs that are connected via a sequential communication channel. When presented with an input set of literals from its predecessor, a logic program computes its output as an answer set of itself, enriched with the input. It turns out that the communication strategy...

Modern automated process support systems can be considered monolithic in three ways. First, they model processes top-down, usually from a single perspective, such as the organizational perspective. Second, they are process-centered, in that they often require extensive knowledge of the users, data types, and applications in their environment. Third, they tie process implementation to a specific...

This paper introduces a pseudo-concurrent architecture for first-order saturation-based theorem provers with the eventual aim of developing it into a truly concurrent architecture. The motivation behind this architecture is two-fold. Firstly, first-order theorem provers have many configuration parameters and commonly utilise multiple strategies to solve problems. It is also common that one of t...

An architecture and a procedure for communicating scheduling expert systems based on fuzzy set theory is proposed. Fuzzy sets are used to express and to exchange constraints and their potential relaxation with the cooperating scheduling system that can interpret these constraints. The procedure is intended to optimize the global evaluation among the communicating systems. An example from steel ...

We propose Timed Cooperating Automata (TCAs), an extension of the model Cooperating Automata of Harel and Drusinsky, and we investigate some basic properties. In particular we consider variants of TCAs based on the presence or absence of internal activity, urgency and reactivity, and we compare the expressiveness of these variants with that of the classical model of Timed Automata (TAs) and its...

This article discusses four different applications where mobile agents cooperate with one another to accomplish a task in a network of processes. These applications range from topology discovery and distributed data structure implementation to fault diagnosis and system stabilization.