VANETs exchange data in highly dynamic open wireless access environments which are prone to security and privacy attacks. In order to safeguard the transmitted data, group key agreement authentication ...

These are notes for the talk I’m giving at the Edinburgh Category Theory Seminar this Wednesday, based on work with Joe Moeller and Todd Trimble. (No, the talk will not be recorded.) They still have ...

Private Set Intersection (PSI) refers to a functionality where two parties, each holding a private set of items, can check which items they have in common without revealing anything else to each other ...

Numerically solving seismic wave equations is vital to large-scale forward modeling and full waveform inversion. In this paper, a new modified symplectic discontinuous Galerkin (MSDG) method is ...

Virtual materials design requires not only the simulation of a huge number of systems, but also of systems with ever larger sizes and through increasingly accurate models of the electronic structure.

Long considered solved, David Hilbert’s question about seventh-degree polynomials is leading researchers to a new web of mathematical connections. Success is rare in math. Just ask Benson Farb. “The ...

Department of Chemistry and Ames Laboratory, Iowa State University, Ames, Iowa 50011, United States Article Views are the COUNTER-compliant sum of full text article downloads since November 2008 (both ...

A support vector machine (SVM) is a software system that can perform binary classification. For example, you can use an SVM to create a model that predicts the sex of a person (male, female) based on ...

Linear algebra is involved in virtually all scientific and engineering disciplines, e.g., physics, statistics, machine learning, and signal processing. Solving matrix equations such as a linear system ...

We develop a novel method for seismic event detection that can be applied to large-N arrays. The method is based on a new detection function named local similarity, which quantifies the signal ...