Jove
Visualize
Contact Us

Related Concept Videos

Constraints and Statical Determinacy01:26

Constraints and Statical Determinacy

1.0K
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...
1.0K
Relaxation of Skeletal Muscles01:29

Relaxation of Skeletal Muscles

6.2K
The period of muscle contraction primarily influences the duration of stimulation at the neuromuscular junction (NMJ), the presence of free calcium ions in the sarcoplasm, and the availability of energy or ATP to support contractions.
When an action potential reaches the axon terminal, it depolarizes the membrane and opens voltage-gated sodium channels. Sodium ions enter the cell, further depolarizing the presynaptic membrane. This depolarization causes voltage-gated calcium channels to open....
6.2K
Atomic Nuclei: Types of Nuclear Relaxation01:28

Atomic Nuclei: Types of Nuclear Relaxation

1.0K
Nuclear relaxation restores the equilibrium population imbalance and can occur via spin–lattice or spin–spin mechanisms, which are first-order exponential decay processes.
In spin–lattice or longitudinal relaxation, the excited spins exchange energy with the surrounding lattice as they return to the lower energy level. Among several mechanisms that contribute to spin–lattice relaxation, magnetic dipolar interactions are significant. Here, the excited nucleus transfers...
1.0K
Stability of structures01:14

Stability of structures

543
In mechanical engineering, the stability of systems under various forces is critical for designing durable and efficient structures. One fundamental way to explore these concepts is by analyzing systems like two rods connected at a pivot point, O, with a torsional spring of spring constant k at the pivot point. This system is similar in appearance to a scissor jack used to change tires on a car. In this case, the arms of the linkage (equivalent to the rods in this system) are entirely vertical,...
543
Atomic Nuclei: Nuclear Relaxation Processes01:23

Atomic Nuclei: Nuclear Relaxation Processes

1.3K
In the absence of an external magnetic field, nuclear spin states are degenerate and randomly oriented. When a magnetic field is applied, the spins begin to precess and orient themselves along (lower energy) or against (higher energy) the direction of the field. At equilibrium, a slight excess population of spins exists in the lower energy state. Because the direction of the magnetic field is fixed as the z-axis,  the precessing magnetic moments are randomly oriented around the z-axis.
1.3K
Design Example: Managing Concrete Workability01:14

Design Example: Managing Concrete Workability

319
This example deals with managing the workability of concrete for a raft foundation project under hot weather conditions. Workability is crucial for ensuring the concrete is easy to place, compact, and finish. In this scenario, a slump test — a common method to measure the workability of fresh concrete — initially indicated low workability. This was attributed to the rapid water loss from the concrete mix, exacerbated by the high temperatures causing the course aggregates to heat up.
319

You might also read

Related Articles

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

Sort by
Same journal

Inverse FIP effect plasma in the solar atmosphere: a synthesis of current understanding and new insights from AR 11967.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2026
Same journal

Signs of sulfur fractionation under high magnetic field strength.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2026
Same journal

First ionization potential fractionation of sulfur observed with spectral imaging of the coronal environment.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2026
Same journal

Chromospheric dynamics and turbulence regulate the solar FIP effect.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2026
Same journal

Exploring the link between wave activity in the photospheric velocity driver and the FIP bias in the solar corona.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2026
Same journal

Radiative hydrodynamic simulations of first ionization potential fractionation in solar flares.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2026
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 Experiment Video

Updated: Feb 23, 2026

Executing Complexity-Increasing Queries in Relational MySQL and NoSQL MongoDB and EXist Size-Growing ISO/EN 13606 Standardized EHR Databases
07:26

Executing Complexity-Increasing Queries in Relational MySQL and NoSQL MongoDB and EXist Size-Growing ISO/EN 13606 Standardized EHR Databases

Published on: March 19, 2018

9.8K

Compositional relaxed concurrency.

Mark Batty1

  • 1School of Computing, University of Kent, Canterbury CT2 7NF, UK mbatty@cantab.net.

Philosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences
|September 6, 2017
PubMed
Summary

Researchers propose a compositional approach to specifying concurrent systems, addressing flaws in current siloed methods. This enhances verification of complex software across diverse processors and programming languages.

Keywords:
concurrencygraphics processorsheterogeneous systemsrelaxed memorysemanticsverification

More Related Videos

Examining Online Syntactic Processing of Spoken Complex Sentences in Chinese Using Dual-Modal Interference Tasks
08:32

Examining Online Syntactic Processing of Spoken Complex Sentences in Chinese Using Dual-Modal Interference Tasks

Published on: September 5, 2019

6.0K
Mechanical Control of Relaxation Using Intact Cardiac Trabeculae
07:51

Mechanical Control of Relaxation Using Intact Cardiac Trabeculae

Published on: February 17, 2023

1.6K

Related Experiment Videos

Last Updated: Feb 23, 2026

Executing Complexity-Increasing Queries in Relational MySQL and NoSQL MongoDB and EXist Size-Growing ISO/EN 13606 Standardized EHR Databases
07:26

Executing Complexity-Increasing Queries in Relational MySQL and NoSQL MongoDB and EXist Size-Growing ISO/EN 13606 Standardized EHR Databases

Published on: March 19, 2018

9.8K
Examining Online Syntactic Processing of Spoken Complex Sentences in Chinese Using Dual-Modal Interference Tasks
08:32

Examining Online Syntactic Processing of Spoken Complex Sentences in Chinese Using Dual-Modal Interference Tasks

Published on: September 5, 2019

6.0K
Mechanical Control of Relaxation Using Intact Cardiac Trabeculae
07:51

Mechanical Control of Relaxation Using Intact Cardiac Trabeculae

Published on: February 17, 2023

1.6K

Area of Science:

  • Computer Science
  • Software Engineering
  • Formal Methods

Background:

  • Diverse concurrent processor designs (low power, low latency, high throughput) lead to complex systems.
  • Existing specifications for concurrent system memory behavior are flawed and inconsistent.
  • Current verification tools rely on idealized concurrency models, which may not reflect real-world systems.

Purpose of the Study:

  • To address the limitations of siloed specification methods for concurrent systems.
  • To propose a new compositional approach for specifying and verifying concurrent software.
  • To support verification across diverse hardware and programming language combinations.

Main Methods:

  • Reviewing current approaches to specifying concurrent system memory behavior.
  • Proposing a compositional framework where components declare their concurrency needs.
  • Developing mechanisms for composing these component-specific concurrency descriptions.

Main Results:

  • Identified flaws in existing, incomparable specification methods for processors and languages.
  • Proposed a compositional approach enabling components to carry their concurrency requirements.
  • Established a foundation for composing specifications across varied hardware and software.

Conclusions:

  • A compositional specification approach is necessary to accurately model modern concurrent systems.
  • This approach enhances the reliability and verifiability of software across diverse computing environments.
  • The proposed method provides a sound basis for advancing trustworthy software verification techniques.