output
20152026
most citedA search for photons with energies above eV using hybrid data from the low-energy extensions of the Pierre Auger Observatory

44 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2023Show all

7 papers · 1 filter

cs.LO2023★ 2 cited

Constructive validity of a generalized Kreisel-Putnam rule

Ivo Pezlar

In this paper, we propose a computational interpretation of the generalized Kreisel-Putnam rule, also known as the generalized Harrop rule or simply the Split rule, in the style of…

math.LO2023★ 1 cited

One-variable fragments of first-order logics

Petr Cintula, George Metcalfe, Naomi Tokuda

The one-variable fragment of a first-order logic may be viewed as an "S5-like" modal logic, where the universal and existential quantifiers are replaced by box and diamond modaliti…

cond-mat.mtrl-sci2023★ 4 cited

Strain-driven switching between antiferromagnetic states in frustrated antiferromagnet UO2 probed by exchange bias effect

E. A. Tereshina-Chitrova, L. V. Pourovskii, S. Khmelevskyi +6

Frustrated antiferromagnets offer a captivating platform to study the intricate relationship of magnetic interactions, geometric constraints, and emergent phenomena. By controlling…

math.CO2023★ 2 cited

Random minimum spanning tree and dense graph limits

Jan Hladký, Gopal Viswanathan

A theorem of Frieze from 1985 asserts that the total weight of the minimum spanning tree of the complete graph whose edges get independent weights from the distribution $UNIF…

math.RA2023★ 7 cited

Flat comodules and contramodules as directed colimits, and cotorsion periodicity

Leonid Positselski

This paper is a follow-up to arXiv:2212.09639. We consider two algebraic settings of comodules over a coring and contramodules over a topological ring with a countable base of two-…

hep-ex2023★ 21 cited

Unbinned Deep Learning Jet Substructure Measurement in High ep collisions at HERA

The H1 collaboration, V. Andreev, M. Arratia +142

The radiation pattern within high energy quark- and gluon-initiated jets (jet substructure) is used extensively as a precision probe of the strong force as well as an environment f…

math.CT2023

On Vector Spaces with Formal Infinite Sums

Pietro Freni

I discuss possible definitions of categories of vector spaces enriched with a notion of formal infinite linear combination in the likes of the formal infinite linear combinations o…