IEEE

Formalizing Path Explosion for Recursive Functions via Asymptotic Path Complexity

Abstract: Path coverage is of critical importance in software testing and verification. Furthermore, path explosion is a well-known challenge for automatic software analysis techniques like symbolic ...
The Texas Tribune

Texas’ next top lawyer: What does the attorney general do and how has Paxton remade the office?

The Brief keeps Texas voters and political observers up to speed on the most essential coverage of their elected officials, the policies that shape their daily lives and the future of our great state.
Harvard Business School

Recursive Mentalizing and Common Knowledge in the Bystander Effect

Thomas, Kyle A., Julian De Freitas, Peter DiScioli, and Steven Pinker. "Recursive Mentalizing and Common Knowledge in the Bystander Effect." Journal of Experimental Psychology: General 145, no. 5 ...
IEEE

Recursive Implementation of the Gaussian Filter Using Truncated Cosine Functions

Abstract: This paper proposes a new recursive implementation of the Gaussian filter. Previous recursive implementations of the Gaussian filter suffer from one or several drawbacks. Some methods ...