Communications of the ACM

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation

C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...
Devdiscourse

Human-AI collaboration breaks down without strong team communication

Across every measure, self-managed teams scored higher. The difference was especially pronounced during machine breakdowns, ...
IEEE

Discontinuous Galerkin Integral Equation Approach for Electromagnetic Modeling of Realistic and Complex Radiating Systems

Abstract: An electric field integral equation (EFIE) discontinuous Galerkin (DG) formulation for the electromagnetic (EM) radiation analysis of realistic antennas is presented. Radiation problems are ...
IEEE

Structural Digital Twin Modeling and Adaptive Pretrain-Finetune Learning for Dynamic Impact Identification on Wind Turbine Blades

Abstract: Identification of dynamic impacts on wind turbine blades (WTB) is critical for structural safety and predictive maintenance. Although WTBs are exposed to impact risk, data samples of ...
Frontiers

Structural equation model analysis of promoting physical activity behavior among college students: based on control-value theory of achievement emotions

Background: Prior studies have examined various determinants of college students’ physical activity behaviors; however, limited attention has been given to the role of a supportive environment within ...