A plane ticket jumps in price after a second search. A streaming service offers one customer a deal that never appears for ...

A paper declared polyvagal theory "untenable." Here's why that's not the same thing as debunked—and why that matters for ...

Abstract: Recent years have witnessed extensive research on verifying multiagent system (MAS) properties, with model checking emerging as the predominant validation technique in this domain. The ...

Abstract: In this paper, the authors present an electric arc model based on the use of the magnetic hydrodynamic theory (MHD theory) of plasma to determine the parameters of the Cassi-Mayr model. The ...

The quantum layer will will not be exhausted by one hardware modality, one algorithmic framework or one vendor’s roadmap.

Three faculty at the University received the Sloan Foundation Fellowship in February for their excellence in research. The Sloan Fellowship is awarded annually, with a total of 126 early-career ...