Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Robbers Cave04:49

Robbers Cave

14.7K
During the 1950s, the landmark Robbers Cave experiment demonstrated that when groups must compete with one another, intergroup conflict, hostility, and even violence may result. At the Oklahoman summer camp, two troops of boys—termed the Rattlers and the Eagles—took part in a week-long tournament. During this time, their negativity culminated in derogatory name-calling, fistfights, and even vandalism and destruction of property. However, this work also revealed that such tension...
14.7K
Agonism and Antagonism: Quantification01:14

Agonism and Antagonism: Quantification

857
When drugs are administered, they can elicit either an agonist or antagonist effect on the body. Agonism occurs when a drug activates a specific receptor, triggering a biological response. On the other hand, antagonism happens when a drug binds to the same receptors but blocks their activation, thereby preventing a biological response.
To quantify these effects, researchers use a dose-response curve, which provides valuable information about the potency and efficacy of a drug. Potency refers to...
857
Dynamic Equilibrium02:20

Dynamic Equilibrium

60.7K
A reversible chemical reaction represents a chemical process that proceeds in both forward (left to right) and reverse (right to left) directions. When the rates of the forward and reverse reactions are equal, the concentrations of the reactant and product species remain constant over time and the system is at equilibrium. A special double arrow is used to emphasize the reversible nature of the reaction. The relative concentrations of reactants and products in equilibrium systems vary greatly;...
60.7K
Collisions in Multiple Dimensions: Problem Solving01:06

Collisions in Multiple Dimensions: Problem Solving

5.0K
In multiple dimensions, the conservation of momentum applies in each direction independently. Hence, to solve collisions in multiple dimensions, we should write down the momentum conservation in each direction separately. To help understand collisions in multiple dimensions, consider an example.
A small car of mass 1,200 kg traveling east at 60 km/h collides at an intersection with a truck of mass 3,000 kg traveling due north at 40 km/h. The two vehicles are locked together. What is the...
5.0K
Persuasion Strategies01:52

Persuasion Strategies

42.8K
Researchers have tested many persuasion strategies, including the foot-in-the door and the door-in-the-face techniques, in a variety of contexts. Ultimately, the principles are effective in selling products and changing people’s attitude, ideas, and behaviors (Cialdini & Goldstein, 2004).
42.8K
Constraints and Statical Determinacy01:26

Constraints and Statical Determinacy

885
In structural engineering, the equilibrium of a system is not only determined by its equations of equilibrium but also with the help of constraints. Constraints refer to restrictions on the motion of a system. The proper combinations of constraints can minimize the total number of constraints needed to maintain a system in mechanical equilibrium. When this happens, the system is said to be statically determinate. For such systems, the unknown reaction supports can be estimated using equilibrium...
885

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Weakly-Supervised Shape Multi-Completion of Point Clouds by Structural Decomposition.

IEEE transactions on visualization and computer graphics·2025
Same author

TGSL: Trade-off graph structure learning via multifaceted graph information bottleneck.

Neural networks : the official journal of the International Neural Network Society·2025
Same author

Parameterize Structure With Differentiable Template for 3D Shape Generation.

IEEE transactions on visualization and computer graphics·2025
Same author

Graph Neural Networks with Coarse- and Fine-Grained Division for mitigating label noise and sparsity.

Neural networks : the official journal of the International Neural Network Society·2025
Same author

When an extra rejection class meets out-of-distribution detection in long-tailed image classification.

Neural networks : the official journal of the International Neural Network Society·2024
Same author

Are transformer-based models more robust than CNN-based models?

Neural networks : the official journal of the International Neural Network Society·2024
Same journal

Meta-Analysis of the First Facial Expression Recognition Challenge.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
Same journal

Adjustable model-based fusion method for multispectral and panchromatic images.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
Same journal

Face Feature Weighted Fusion Based on Fuzzy Membership Degree for Video Face Recognition.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
Same journal

A New Adaptive Fast Cellular Automaton Neighborhood Detection and Rule Identification Algorithm.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
Same journal

Human-arm-and-hand-dynamic model with variability analyses for a stylus-based haptic interface.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
Same journal

Multivariate multilinear regression.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
See all related articles

Related Experiment Video

Updated: Dec 17, 2025

The Collective Trust Game: An Online Group Adaptation of the Trust Game Based on the HoneyComb Paradigm
06:18

The Collective Trust Game: An Online Group Adaptation of the Trust Game Based on the HoneyComb Paradigm

Published on: October 20, 2022

2.4K

Strategic Ability Updating in Concurrent Games by Coalitional Commitment.

Chongjun Wang, Jun Wu, Zhongcun Wang

    IEEE Transactions on Systems, Man, and Cybernetics. Part B, Cybernetics : a Publication of the IEEE Systems, Man, and Cybernetics Society
    |August 14, 2015
    PubMed
    Summary
    This summary is machine-generated.

    This study introduces coalitional commitment to update strategic abilities in reactive systems using coordinated ATL (co-ATL). The research demonstrates co-ATL

    More Related Videos

    The HoneyComb Paradigm for Research on Collective Human Behavior
    06:48

    The HoneyComb Paradigm for Research on Collective Human Behavior

    Published on: January 19, 2019

    9.7K
    New Variations for Strategy Set-shifting in the Rat
    09:45

    New Variations for Strategy Set-shifting in the Rat

    Published on: January 23, 2017

    8.5K

    Related Experiment Videos

    Last Updated: Dec 17, 2025

    The Collective Trust Game: An Online Group Adaptation of the Trust Game Based on the HoneyComb Paradigm
    06:18

    The Collective Trust Game: An Online Group Adaptation of the Trust Game Based on the HoneyComb Paradigm

    Published on: October 20, 2022

    2.4K
    The HoneyComb Paradigm for Research on Collective Human Behavior
    06:48

    The HoneyComb Paradigm for Research on Collective Human Behavior

    Published on: January 19, 2019

    9.7K
    New Variations for Strategy Set-shifting in the Rat
    09:45

    New Variations for Strategy Set-shifting in the Rat

    Published on: January 23, 2017

    8.5K

    Area of Science:

    • Formal Methods and Logic
    • Artificial Intelligence
    • Multi-Agent Systems

    Background:

    • Strategic ability updating is crucial for multicomponent reactive systems.
    • Existing models like Alternating-time Temporal Logic (ATL) provide a semantic foundation but may lack mechanisms for dynamic ability modification.
    • Research in social law and planning via model checking requires robust methods for reasoning about system behavior and achieving desired properties.

    Purpose of the Study:

    • To propose a novel mechanism, coalitional commitment, for strategic ability updating in reactive systems.
    • To introduce coordinated ATL (co-ATL) for reasoning about these updated strategic abilities.
    • To analyze the computational complexity of co-ATL model checking and coalitional commitment problems.

    Main Methods:

    • Modeling reactive systems as concurrent game structures (CGS), the semantic basis of ATL.
    • Defining coalitional commitment by extending CGS with context functions and coalitional normative systems (CNS).
    • Developing coordinated ATL (co-ATL) for reasoning about systems modified by CNS and analyzing its model-checking complexity.
    • Characterizing the limitations of coalitional commitment power.
    • Investigating the complexity of effectiveness, feasibility, and synthesis problems for coalitional commitment.
    • Presenting an algorithm for coalitional commitment synthesis based on the planning as model checking paradigm.

    Main Results:

    • The model-checking problem for co-ATL is PTIME-complete, indicating tractability.
    • Characterizations of the limitations of coalitional commitment power are provided.
    • The effectiveness, feasibility, and synthesis problems for coalitional commitment are shown to be PTIME-complete, NP-complete, and FNP-complete, respectively.
    • An algorithm for coalitional commitment synthesis is proposed.

    Conclusions:

    • Coalitional commitment offers an effective tool for strategic ability updating in reactive systems.
    • Coordinated ATL (co-ATL) provides a tractable framework for reasoning about these updated abilities.
    • The proposed approach enhances both social law research and planning via model checking.