Rebeca is designed for modeling and formal verification of asynchronous and reactive systems in 2001, and is supported by a model-checking tool, Afra. Followed by that, an actor-based family of languages are introduced to enable…
Linear algebra is a work-horse of numerical computing. Tensor algebra is a generalization of linear algebra with applications in scientific computing, machine learning, and data analytics. Tensors are often sparse and compound operations must frequently…
Noisy data, non-convex objectives, model misspecification, and numerical instability can all cause undesired behaviors in machine learning systems. As a result, detecting actual implementation errors can be extremely difficult. We demonstrate a methodology in which…
The explosion of data available today everywhere from biomedicine to the arts is opening new opportunities for researchers with backgrounds in science, technology, engineering and math to pursue creative and collaborative endeavors that have deep…
A technology standard that helps deliver ultra-high definition video to everything from smartphones to stadium displays will receive an Emmy® Award on October 25. The 2017 Primetime Emmy Engineering Award, from the Academy of Television…
