Research
Research
Research
Research
12,714+ open-access research outputs.
Neural networks are increasingly used as surrogates in optimization problems to replace computationally expensive models. However, embedding ReLU neural networks in mathematical programs introduces si…
We propose a mean field game (MFG) framework to model the evolution of renewable energy production in competitive electricity markets. Producers interact through the spot price while optimising their …
The House of Graphs is an online database of graphs which can be accessed at https://houseofgraphs.org/. It serves as a central repository for complete lists of graphs for various graph classes. Howev…
We review recent developments in the theory of compact hyper-K\"ahler varieties, from the viewpoint of Lagrangian fibrations, moduli spaces of stable sheaves, and derived categories. These notes origi…
In this paper, we consider a structure-aware optimization problem for decision diagrams used for health guidance. In particular, we focus on decision diagrams that decide to whom public sectors sugges…
Recent developments in motivic homotopy theory, especially the construction of norm functors by Bachmann and Hoyois, rely heavily on the machinery of infinite categories. In this paper, we take a pure…
We show that the Baum--Connes assembly map factors canonically through the unitary conjugation groupoid, which serves as a universal mediator among groupoid models that are Morita equivalent to a give…
Non-intrusive reduced-order modeling techniques are necessary for systems that are simulated using black-box solvers or known only from data. For systems exhibiting large transients and operating far …
Formal mathematics is mathematics done within the framework of a formal logic. It offers major benefits to mathematicians as well as to computing professionals, engineers, and scientists who use mathe…
Inquisitive logic is a research program that extends the scope of logic to cover not only statements, but also questions. In the context of this program, a logic that plays a prominent role is inquisi…
BoostConv has been introduced in earlier works as an effective acceleration technique for nonlinear iterative processes and has been successfully employed in a variety of applications to enhance conve…
We solve the isoclinic Deligne--Simpson problem for exceptional groups, completing a program initiated by Sage et al. and Jakob--Yun. As a by-product, we obtain new examples of physically rigid irregu…
We study the relationship between disturbance decoupling (DD) and H2 optimal control for linear time-invariant (LTI) systems, revealing a fundamental gap between DD subspace constraints and semi-defin…
We present a new problem called the incomplete Traveling Tournament problem, which introduces the well known Traveling Tournament Problem into the realm of incomplete round-robin tournaments. We focus…
Shape-morphing solutions (SMS) refer to a class of approximate solutions of partial differential equations (PDEs) with the distinguishing feature that they depend nonlinearly on a set of time-dependen…
Conceptual process design is a crucial aspect of chemical engineering that involves process synthesis. Mixed-integer nonlinear programming is a powerful framework for modeling such design problems by …
Many real-world optimization models contain exploitable sparsity and block structure, but this structure is often obscured in algebraic form, limiting the effectiveness of modern parallel algorithms. …
Let $V$ be a smooth cubic surface over a $p$-adic field $k$ with good reduction. Swinnerton-Dyer (1981) proved that $R$-equivalence is trivial on $V(k)$ except perhaps if $V$ is one of three special t…
The alternating-current unit commitment problem provides a realistic representation of power system operations, which is a nonconvex mixed-integer nonlinear programming problem and hence is computatio…
The focus of this paper is the study of the moduli space of representations of fundamental groupoids of surfaces $\Sigma$ with boundaries with values in $G:=GL_n(\mathbb C)$. In absence of marked poin…
Free open-access publishing with Google Scholar indexing.
Submission Guide →