Weighted Model counting (WMC) is a fundamental problem in computer science with a wide variety of applications in practice, ranging from neural network verification to network reliability. The current ...

We define an exact functor F n,k from the category of Harish-Chandra modules for GL(n,ℝ) to the category of finite-dimensional representations for the degenerate affine Hecke algebra for gl(k). Under ...

Abstract: In this paper, we propose a novel human body posture representation based on Geometric Algebra to extract the angles and orientations of the most informative body joints to describe human ...

ABSTRACT: This survey article illustrates many important current trends and perspectives for the field and their applications, of interest to researchers in modern algebra, mathematical logic and ...

Several fields of mathematics have developed in total isolation, using their own 'undecipherable' coded languages. Mathematicians now present 'big algebras,' a two-way mathematical 'dictionary' ...

Abstract: Learning discriminative representation with limited training samples is emerging as an important yet challenging visual categorization task. While prior work has shown that incorporating ...

We’re delighted to welcome Flor Orosz Hunziker as our newest tenure track hire in the mathematics department. Her work on vertex operator algebras has wide-spread connections and will not only bridge ...