output
19992026
most citedCategorical structures enriched in a quantaloid: categories, distributors and functors

121 citations

Showing 2022Show all

8 papers · 1 filter

cs.SE2022★ 9 cited

A Comprehensive Survey of Benchmarks for Automated Improvement of Software's Non-Functional Properties

Aymeric Blot, Justyna Petke

Performance is a key quality of modern software. Although recent years have seen a spike in research on automated improvement of software's execution time, energy, memory consumpti…

math.CT2022★ 1 cited

A logical analysis of fixpoint theorems

Arij Benkhadra, Isar Stubbe

We prove a fixpoint theorem for contractions on Cauchy-complete quantale-enriched categories. It holds for any quantale whose underlying lattice is continuous, and applies to contr…

math.NT2022

Extending the unconditional support in an Iwaniec-Luo-Sarnak family

Lucile Devin, Daniel Fiorilli, Anders Södergren

We study the harmonically weighted one-level density of low-lying zeros of -functions in the family of holomorpic newforms of fixed even weight and prime level tending t…

cs.NE2022★ 4 cited

Fairness in generative modeling

Mariia Zameshina, Olivier Teytaud, Fabien Teytaud +4

We design general-purpose algorithms for addressing fairness issues and mode collapse in generative modeling. More precisely, to design fair algorithms for as many sensitive variab…

cs.NE2022★ 5 cited

Improving Nevergrad's Algorithm Selection Wizard NGOpt through Automated Algorithm Configuration

Risto Trajanov, Ana Nikolikj, Gjorgjina Cenikj +6

Algorithm selection wizards are effective and versatile tools that automatically select an optimization algorithm given high-level information about the problem and available compu…

math.AG2022

Momentum maps and the Kähler property for base spaces of reductive principal bundles

Daniel Greb, Christian Miebach

We investigate the complex geometry of total spaces of reductive principal bundles over compact base spaces and establish a close relation between the Kähler property of the base,…