Project Tags: Mathematics and Statistics

Vector-valued free boundary problems

Free boundary problems (FBP) lie at the heart of mathematical models describing phase transitions, moving interfaces, and competitive dynamics in physics, biology, and economics. They typically involve phase transitions (such…

Geometric and qualitative analysis in free boundary problems

Several real-world problems across physics, industry, and biology involve partial differential equations that incorporate a priori unknown sets, termed ”free boundaries.” Such kind of problems (Free boundary problem ”FBP”) plays…

Using data and econometrics to improve football training sessions and predict injuries”

The aim of this project is to combine methods in data science and econometrics to predict relevant outcomes in sports. The project contains two separate, but intrinsically related, lines of…

Structural and electronic properties of quantum magnets

Materials with correlated electronic properties may lead to completely novel technologies. As the 20th century computer technology was based on semiconductors that can be tuned between an insulating and a…

Longitudinal analysis of media coverage and public attention: Data mining and applications

This project has two objectives. First, it studies data mining and statistical methods for collecting and analyzing online longitudinal data for media coverage and public attention. In this project, web…

Minicomplexity

Computational Complexity Theory studies the fundamental properties of computation, independent of computational model. Many of its open questions are by now long-standing, having already defied decades of intense attacks by…

Multi-preference parking-functions, combinatorial statistics and their applications

One of the aims of the project is to extend results on matching statistics on partitions to more involved combinatorial structures such as labeled trees, parking functions and labeled graphs.…

Centrality measures on graphs

In studying networks (be they social networks, road networks, communication networks, etc.) one is often interested in measuring the relative importance of various nodes and arcs and identifying the most…

Mathematical modeling of hyperelastic materials undergoing swelling

(1) Boundary Value Problems in Non Linear Elasticity WHEN Solid Mechanics is Coupled with other effects; (2) Mathematical Modeling of Hyperelastic Materials Undergoing Swelling In standard nonlinear continuum mechanics it…

Reimplementing dependent pattern matching and termination checking in the Coq theorem prover

Coq is an interactive proof assistant (theorem prover) based on a long-studied dependent Type Theory called the Calculus of (Co-)Inductive Constructions (CIC). It is a mature system that has been…