output
20082025
most citedTowards self-driving laboratories: The central role of density functional theory in the AI age

245 citations

Showing 2023Show all

11 papers · 1 filter

math.CV2023

Equations involving the modular -function and its derivatives

Vahagn Aslanyan, Sebastian Eterović, Vincenzo Mantova

We show that for any polynomial , the equation has a Zariski dense set of solutions in the hypersurfac…

math.NA2023★ 4 cited

On full linear convergence and optimal complexity of adaptive FEM with inexact solver

Philipp Bringmann, Michael Feischl, Ani Miraci +2

The ultimate goal of any numerical scheme for partial differential equations (PDEs) is to compute an approximation of user-prescribed accuracy at quasi-minimal computational time.…

cs.SE2023★ 4 cited

Investigate how developers and managers view security design in software

Asif Imran

Software security requirements have been traditionally considered as a non-functional attribute of the software. However, as more software started to provide services online, exist…

cs.DC2023★ 1 cited

On Two- and Three-valued Semantics for Impure Simplicial Complexes

Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa

Simplicial complexes are a convenient semantic primitive to reason about processes (agents) communicating with each other in synchronous and asynchronous computation. Impure simpli…

math.NT2023★ 1 cited

Some Equations Involving the Gamma Function

Sebastian Eterović, Adele Padgett

Let be an algebraic variety with no constant coordinates and with a dominant projection onto the first coordinates. We show that the intersection of…

cs.IR2023★ 1 cited

Leveraging Negative Signals with Self-Attention for Sequential Music Recommendation

Pavan Seshadri, Peter Knees

Music streaming services heavily rely on their recommendation engines to continuously provide content to their consumers. Sequential recommendation consequently has seen considerab…