Research
Research
Research
Research
62,245+ open-access research outputs.
We prove superpolynomial length lower bounds for the semantic tree-like Frege refutation system with bounded line size. Concretely, for any function $n^{2-\varepsilon} \leq s(n) \leq 2^{n^{1-\varepsil…
Models based on variable miscibility among hydrogen, molten silicate, and molten iron, coupled with atmospheric escape, can reproduce the observed occurrence density structure of sub-Neptunes and supe…
Despite the diversity and energy dependence of $\gamma$-ray pulse morphologies in Crab, Vela and Dragonfly, the phaseograms of these three canonical young pulsars can be organised within a single four…
Archival XMM and ROSAT X-ray data are used to investigate the structure of the Abell 548 - Abell 3367 region. Based on previous optical studies, this is a region likely to be rich in structure though …
High Bandwidth Memory with Processing-in-Memory (HBM-PIM) offers an opportunity to reduce data movement by executing computation directly inside memory, but current commercial platforms expose limited…
We study theoretically the spin-orbit interaction of electrons confined in a tubular semiconductor nanowire, between an inner semiconductor core and an outer metallic extra shell. A band off-offset po…
The inner regions of protoplanetary disks are promising formation sites of rocky planetesimals. Theoretical studies have proposed a scenario in which thermal ionization activates the magnetorotational…
We analyzed 19 years of $R$-band data of the blazar 3C 454.3 from the Whole Earth Blazar Telescope (WEBT) archive, along with new data from its members and from public archives such as those provided …
As large language model (LLM) agents are deployed in high-stakes environments, the question of how safely to delegate subtasks to specialized sub-agents becomes critical. Existing work addresses multi…
We study the set of solutions to a parameterized, strongly convex optimization problem whose cost depends on uncertain, bounded parameters. We compute a certified outer approximation of the correspond…
Hyperspectral image super-resolution is essential for enhancing the spatial fidelity of HSI data, yet existing deep learning methods often struggle with substantial spectral redundancy and the limited…
In this work, we aim to advance the Universal Rotation Curve (URC) paradigm by leveraging new data and extending its observational domain. Building on previous studies that established the URC using o…
Existing research gives conditions for when the outer automorphism group of a graph product of primary cyclic groups $W_\Gamma$ is finite, virtually abelian, or large. We seek to prove a set of condit…
Large language model (LLM) agents are increasingly deployed in social settings, yet little is known about how they interact in open-ended environments. We present the first comprehensive sociological …
The detection of CO2 on the Jovian satellite Europa by Galileo NIMS and recent mapping of the leading side by JWST has revealed that it is most concentrated in geologically young terrains, and its v3 …
We propose an accelerated computational fluid dynamics framework based on a hybrid Fourier Neural Operator-Lattice Boltzmann Method (FNO-LBM) for steady and unsteady weakly compressible flows. FNO-bas…
Recent observations of protostars with the James Webb Space Telescope have revealed unprecedented chemical complexity from their ice absorption features. However, these spectra are likely influenced b…
We report the confirmation and characterization of four transiting giant planets orbiting early-M dwarfs discovered by the Searching for Giant Exoplanets around M-dwarf Stars (GEMS) survey: TOI-7189 b…
We construct and systematically assess four outer-crust equations of state based on relativistic nuclear mass models and a machine-learning mass table. Our aim is to quantify the sensitivity of the eq…
It is a fundamental question in epidemiology to estimate, model and predict the growth rate of a pandemic. Analogously, analysing the diffusion of innovation, (fake) news, memes, and rumours is of key…
Free open-access publishing with Google Scholar indexing.
Submission Guide →