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 ...
United States Army

Leveraging Digital Engineering to Modernize Munition Production

Digital engineering and modeling and simulation (M&S) are transformative approaches that enable precision, efficiency and ...
IEEE

F-F Diagram: A Two-Dimensional Surrogate Safety Indicator Based on Field Theory for Lane Change Risk Assessment

Abstract: Unsafe lane change behaviors have negative impacts on traffic safety. Identifying these risky patterns can help drivers make safe lane change decisions. In this paper, we develop a ...
IEEE

Train Diagram for Optimal Evacuation With Self-Adaptive Voltage Loss and Multi-Train Organization Constraints in Autotransformer Supply Systems

Abstract: Power systems in remote areas are highly vulnerable, often leading to outages that disrupt traction power supply systems (TPSSs). This paper proposes a scheme to optimize the evacuation of ...
Microsoft

Fara-7B: An Efficient Agentic Model for Computer Use

In 2024, Microsoft introduced small language models (SLMs) to customers, starting with the release of Phi (opens in new tab) models on Microsoft Foundry (opens in new tab), as well as deploying Phi ...