NishiSearch

Web This site Trusted

30 result(s) for “if com site can kernel org site lemma would site www kernel org site:arxiv.org” of 100 matched · 873 ms

Scope: Nishi’s own index (our crawl + Common Crawl) — not the whole live web. Some sites block all automated crawlers (anti-bot walls), so their pages may be absent here even though we never filter lawful content.

Did you mean if com site can kernel org site lemmy would site www kernel org site:arxiv.org?

Freshness: newest result fetched 25 d ago · median age of these results 25 d · 1 of 30 carry a fetch time

A statement can be free of sorry and still be mathematically uninformative: a definition may reduce to True; or an unproven step may be introduced as an axiom that the kernel accepts
from the top result below

Report GitHub Issue

https://arxiv.org/html/2607.22511v2
A statement can be free of sorry and still be mathematically uninformative: a definition may reduce to True; or an unproven step may be introduced as an axiom that the kernel accepts

Condensed Matter

https://arxiv.org/list/cond-mat/new
The mixed anomaly between these is accommodated by the not-on-site action of the symmetries

Stabilization of First-Order Partial Integro-Differential Equations with

https://arxiv.org/html/2608.02851v1
org perpetual non-exclusive license arXiv:2608

Rainfall is rough

https://arxiv.org/html/2607.27099v1
org perpetual non-exclusive license arXiv:2607

Stochastic Games with Minimally Bounded Action Costs

https://arxiv.org/html/2407.18010v2
Since acting at each available opportunity would accumulate prohibitively large costs, the resulting decision problem is one in which players must make strategic decisions about when to execute actions in addition to their choice of action

Cryptography and Security

https://arxiv.org/list/cs.CR/new
fewer | more | all New submissions (showing 32 of 32 entries) [1] arXiv:2608

1 Introduction

https://arxiv.org/html/2511.06451v1
Spectral safety and discrete Green kernel

Homogeneous Distributed Observers for Quasilinear Systems

https://arxiv.org/html/2407.05763v1
(2023) present the sole result on the fixed-time distributed observer, utilizing a kernel-based design approach

Mathematics

https://arxiv.org/list/math/new
up to 2000 entries per page: fewer | more | all New submissions (showing 219 of 219 entries) [1] arXiv:2608

Machine Learning Dec 2022

https://arxiv.org/list/cs.LG/2022-12
2001-2004 Showing up to 50 entries per page: fewer | more | all [1] arXiv:2212

Hardware Architecture

https://arxiv.org/list/cs.AR/new
more | all New submissions (showing 4 of 4 entries) [1] arXiv:2608

Microstructural Foundations of Rough Noise1footnote

https://arxiv.org/html/2607.29442v2
In an asymptotic framework inspired by Rosenbaum2018, we show that the rescaled price process converges to a Bachelier-type semimartingale plus a Gaussian moving average whose kernel is determined explicitly by the trawl function

A Heterogeneous Spatiotemporal GARCH Model: A Predictive Framework for

https://arxiv.org/html/2508.20101v1
In an empirical application, we demonstrate how the model can be applied to financial stock networks

Finite-Time Analysis of Asynchronous Multi-Agent TD Learning

https://arxiv.org/html/2407.20441v1
I Introduction Training reinforcement learning (RL) algorithms is well-known to be a critically time consuming task that can require several data samples to achieve a desired level of accuracy

Artificial Intelligence

https://arxiv.org/list/cs.AI/new
Lean 4 checks kernel analogues for positions, evidence, clocks, monitors, atomicity, and branch source retention; 88 tests, 3,534 bounded checks, and 32 Lean/Python runtime-kernel cases bound the implementation claim to the checked cases

[2608.12700] A Contract-Grade Verifier for LLM-Generated GPU Kernels

https://arxiv.org/abs/2608.12700
Those rates come from a single loose test: run the kernel on a few random inputs at one fixed shape and accept it if the output is close to a reference

Report GitHub Issue

https://arxiv.org/html/2608.02612v1
org perpetual non-exclusive license arXiv:2608

[2204.04218] Multimodal Multi-Head Convolutional Attention with Various

https://arxiv.org/abs/2204.04218
Our attention module uses the convolution operation to perform joint spatial-channel attention on multiple concatenated input tensors, where the kernel (receptive field) size controls the reduction rate of the spatial attention, and the number of convolutional filters controls the reduction rate of the channel

Statistics Theory

https://arxiv.org/list/math.ST/new
If \(T_\star\) is the selected physical trajectory length and \(a_\star=\sqrt m\,T_\star\), a terminal-depth transfer argument yields restricted conductance and warm-start mixing without lazifying either kernel

Instrumentation and Methods for Astrophysics

https://arxiv.org/list/astro-ph.IM/new
In particular, the maximal light deflection of a given Solar System body can be easily estimated for a given observer

Report GitHub Issue

https://arxiv.org/html/2609.02852v1
Report GitHub Issue Description: arXiv is now an independent nonprofit

Report GitHub Issue

https://arxiv.org/html/2608.02613v1
Then it must make an even harder judgment: even if the answer is known, is it actually appropriate to tell Bob

[2608.02851v1] Stabilization of First-Order Partial Integro-Differential

https://arxiv.org/abs/2608.02851v1
The design relies on two affine Volterra transformations involving both Fredholm- and Volterra-type integral terms, which results in a four-PIDE kernel equations

[2512.09590] On Inhomogeneous Affine Volterra Processes: Stationarity

https://arxiv.org/abs/2512.09590
Using an extension of the exponential-affine transformation formula for those processes, we establish in the long run the existence of limiting distributions, which (unlike in the case of classical affine diffusion processes) may depend on the initial state of the process, unless the Volterra kernel coincides with the

[2608.01651] Bole: Efficient Tree Speculation for Hybrid-Attention

https://arxiv.org/abs/2608.01651
We present Bole, a kernel--runtime co-design that enables efficient tree speculation for hybrid-attention LLMs

Report GitHub Issue

https://arxiv.org/html/2609.03027v1
Report GitHub Issue Description: arXiv is now an independent nonprofit

Report GitHub Issue

https://arxiv.org/html/2609.03371v1
Report GitHub Issue Description: arXiv is now an independent nonprofit

Reviving Micro Real Rigidities: The Importance of Demand ShocksThe views

https://arxiv.org/html/2608.02817v1
The authors would like to thank Nir Jaimovich (editor) and four anonymous referees, as well as Isaac Baley, Mark Bils, Laura Castillo-Martínez (discussant), Basile Grassi, Susanto Basu, John Haltiwanger, Pete Klenow, Francesco Lippi, Virgiliu Midrigan, Tobias Renkin, Luminita Stevens, Javier Turén, Rosen Valchev

1 Introduction

https://arxiv.org/html/2508.02739v1
2 Preliminary 3 Methodology K-line Tokenization Hierarchical Autoregressive Modeling Model Pre-training Dataset Model Training Inference 4 Experiments Experimental Setup Main Results Prediction Tasks Generative Tasks Investment

Quantum Physics

https://arxiv.org/list/quant-ph/new
While the mathematical structure of matrix product states (MPS) is well understood through the MPS fundamental theorem, an analogous understanding for mixed-state tensor networks remains largely absent: if two purification tensors generate the same density matrix, how are they related