Corresponding Author: Hafez, Ahmed, Taimour, PhD Head of Aircraft Armament Department, Tel : +201005115209 Email: [email protected] Abstract Teams of cooperative Unmanned Aerial Vehicles (UAVs) require intelligent and flexible control strategies to allow the accomplishment of a multitude of challenging group tasks. In this paper, we introduce a solution for the problem of tactic switching be...

Animals often use alternative strategies when they compete for resources, but it is unclear in most cases what factors determine the actual tactic followed by individuals. Although recent models suggest that the internal state of animals may be particularly important in tactic choice, the effects of state variables on the use of alternative behavioural forms have rarely been demonstrated. In th...

The staff members working in all human service settings have major effects on the populations in which they are working. Staff enjoyment and their preferences also play a role in their work performance. Work performance, specifically in aging settings, is an understudied area of applied behavioral research. Thus, giving focus to identifying performance deficits may assist with increasing job ta...

A survey was conducted to investigate the relationship between job satisfaction and job factors that affect work design in two automotives manufacturing companies in Malaysia. A set of multiple choices questionnaires was developed and data were collected by interviewing the employees at the production plant. Hundred and seventy male subjects between the ages of 18 to 40 years with the mean age ...

Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasoning and computationally intensive domain-specific proof procedures. The generality of tactic provers has a performance penalty; the speed of proof search lags far behind special-purpose provers. We present a new modular...

The objective of the study was to develop and evaluate a 2-day burnout intervention program focused at enhancing coping with stresses observed in teachers' work. Karasek's job stress model was used as the theoretical framework. The aim of the intervention was to teach participants to deal better with high job demands and low job control. Some cognitive-behavioural methods of overcoming workload...

Purpose – Evolutionary theorizing has recently been added as a useful tool to the research repertoire of information systems investigators. However, the literature on evolutionary theorizing and related empirical research lacks a clear framework that explicitly shows how information systems researchers can go, step-by-step, from a generic model of the evolution of traits in our ancestral past t...

We present a reflexive tactic for deciding the equational theory of Kleene algebras in the Coq proof assistant. This tactic relies on a careful implementation of efficient finite automata algorithms, so that it solves casual equations almost instantaneously. The corresponding decision procedure was proved correct and complete; correctness is established w.r.t. any model (including binary relati...