Interactive oracle proofs (IOPs) are a multi-round generalization of probabilistically checkable proofs that play a fundamental role in the construction of efficient cryptographic proofs. ...
In recent years, we have been witnessing a paradigm shift in computational materials science. In fact, traditional methods, mostly developed in the second half of the XXth century, are being complemented, extended, and sometimes even completely replaced by ...
We continue our work, started in [9], on the program of classifying triples (X, Y, V), where X, Yare simple algebraic groups over an algebraically closed field of characteristic zero with X < Y, and Vis an irreducible module for Y such that the restriction ...
Dielectric elastomer actuators (DEAs) are interesting soft actuators compared to other actuation technologies owing to large achievable actuation strains, high energy density and fast actuation. However, because DEAs need to be operated under high electric ...
Let X /S be a flat algebraic stack of finite presentation. We define a new & eacute;tale fundamental pro-groupoid pi(1)(X /S), generalizing Grothendieck's enlarged & eacute;tale fundamental group from SGA 3 to the relative situation. When S is of equal pos ...
The NANOGrav, Parkes, European, and International Pulsar Timing Array (PTA) Collaborations have reported evidence for a common-spectrum process that can potentially correspond to a stochastic gravitational wave background (SGWB) in the 1-100 nHz frequency ...
The training of neural networks by gradient descent methods is a cornerstone of the deep learning revolution. Yet, despite some recent progress, a complete theory explaining its success is still missing. This article presents, for orthogonal input vectors, ...
