Communications of the ACMOpinion

Addressing the Complexity of Computation

Lance Fortnow on the current status and future outlook of solving the P-NP problem.

SF: Supervisors Dig Up Answers From Pg&E On December Blackout In Public Hearing

PG&E'S CEO faced a slew of questions from several San Francisco supervisors on Thursday during a hearing that provided some ...
Semiconductor Engineering

Formal Verification Fundamentals Remain Non-Negotiable In The New Verification Revolution

This integration addresses the fundamental barriers that have historically limited formal verification adoption: complexity ...
IEEE

A Coherence-Oriented Fast Time-Domain Algorithm for UAV Swarm SAR Imaging With Trajectory Difference Correction and Data-Driven MOCO

Abstract: By equipping the synthetic aperture radar (SAR) sensors on multiple unmanned aerial vehicles (UAVs) to form a UAV swarm (UAVS) and operate collaboratively, UAVS-SAR presents the significant ...

AI’s Real Bottleneck Isn’t Algorithms, It’s The Rare Earths Of Data

AI’s biggest constraint isn’t algorithms anymore. It’s data…specifically, high-quality, forward-looking data. It is the “Rare ...
IEEE

Adaptive Dead-Time Algorithm to Reduce Current Harmonics in Three-Phase Motor Inverters Used for Electric Vehicles

Abstract: This study proposes an adaptive dead-time algorithm in discrete time domain to decrease current harmonics in the interior permanent magnet synchronous motor (IPMSM) drive inverters, which ...