Results 1 to 10 of about 21,555 (170)
In rational verification, the aim is to verify which temporal logic properties will obtain in a multi-agent system, under the assumption that agents ("players") in the system choose strategies for acting that form a game theoretic equilibrium. Preferences are typically defined by assuming that agents act in pursuit of individual goals, specified as ...
Julian Gutierrez 0001 +4 more
openaire +4 more sources
Change-point models for identifying behavioral transitions in wild animals
Animal behavior can be difficult, time-consuming, and costly to observe in the field directly. Innovative modeling methods, such as hidden Markov models (HMMs), allow researchers to infer unobserved animal behaviors from movement data, and ...
Kathleen P. Gundermann +8 more
doaj +1 more source
This paper investigates the optimal inter-organization control of collaborative advertising considering the myopic and far-sighted behaviors. Taking a two-echelon supply chain as an example, four kinds of differential game models including myopic ...
Yinfei Xu, Yafei Zu, Hui Zhang
doaj +1 more source
The undersupplies of feedstock and high costs have hindered the development of China’s biomass power generation. In this paper, the noncooperative game, farmer–broker cooperative game, and broker–biomass power plant cooperative game, under government ...
Juanjuan Wu +5 more
doaj +1 more source
Chronic wasting disease (CWD) is a fatal encephalopathy affecting North American cervids. Certain alleles in a host’s prion protein gene are responsible for reduced susceptibility to CWD.
Alberto F. Fameli +4 more
doaj +1 more source
Cooperative games on antimatroids [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Encarnación Algaba Durán +3 more
openaire +5 more sources
Towards Transforming Game Premise: Validating an approach for Developing Cooperative Serious Games
The development of cooperative serious games has specific challenges related to enabling players to achieve both gaming and learning goals in a cooperative fashion. The complexity of gameplay and learning objectives leads to the lack of guidance for the
Supara Grudpan +4 more
doaj +1 more source
Quantifying effects of snow depth on caribou winter range selection and movement in Arctic Alaska
Background Caribou and reindeer across the Arctic spend more than two thirds of their lives moving in snow. Yet snow-specific mechanisms driving their winter ecology and potentially influencing herd health and movement patterns are not well known ...
Stine Højlund Pedersen +7 more
doaj +1 more source
Cooperation in Games with Forgetfulness [PDF]
Companies and managers are apt to forget information, yet classic game theory analysis assumes that all players have perfect recall. This paper expands the literature by examining how introducing forgetfulness into a multiplayer game-theoretic framework can help or hinder cooperative behavior. We find that forgetfulness impacts the ability of firms to
Raphael Thomadsen, Pradeep Bhardwaj
openaire +1 more source
Risky movements? Natal dispersal does not decrease survival of a large herbivore
Natal dispersal is assumed to be a particularly risky movement behavior as individuals transfer, often long distances, from birth site to site of potential first reproduction.
Eric S. Long +4 more
doaj +1 more source

