Microsoft @ FLoC 2018
Microsoft is a Silver sponsor of the Federated Logic Conference 2018 (FLoC 2018) July 6–9, 2018 at a variety of venues in Oxford, UK.
Microsoft is a Silver sponsor of the Federated Logic Conference 2018 (FLoC 2018) July 6–9, 2018 at a variety of venues in Oxford, UK.
Common-sense physical reasoning is facilitated by representing sensory percepts into discrete objects. By decomposing a complex visual scene into distinct objects, humans can describe relations between the objects and reason about their dynamics as well…
Matrix completion is a well-studied problem with many machine learning applications. In practice, the problem is often solved by non-convex optimization algorithms. However, the current theoretical analysis for non-convex algorithms relies heavily on the assumption…
Episode 19, April 11, 2018 – Dr. Lauter tells us why she feels lucky to do math for a living, explains the singular beauty of elliptic curves and the singular difficulty of supersingular isogeny graphs,…