Resultados de búsqueda - coding (algorithm OR (Algorithmsssssic OR Algorithmsssssic))

Break the Sequential Dependency of LLM Inference Using Lookahead Decoding por Fu, Yichao, Bailis, Peter, Stoica, Ion, Zhang, Hao

Tabla de Contenidos: “…, parallel decoding algorithm that accelerates LLM decoding without needing auxiliary models or data stores…”
Enlace del recurso

Towards Classical Software Verification using Quantum Computers por Issel, Sebastian, Tscharke, Kilian, Debus, Pascal

Tabla de Contenidos: “… of such errors, we try to verify that no such flaws exist. In our approach, for some code snippet and undesired…”
Enlace del recurso

A Design Criterion for the Rayleigh Fading Wiretap Channel Based on $\ell^1$-norm Theta Functions por Miller, Niklas

Tabla de Contenidos: “… legitimate receiver in a Rayleigh fading wiretap channel with lattice coset coding are both upper bounded…”
Enlace del recurso

Comparing eccentric waveform models based on post-Newtonian and effective-one-body approaches, over an observationally relevant parameter space por Kacskovics, Balázs, Barta, Dániel

Tabla de Contenidos: “…We used two numerical models, namely the \texttt{CBwaves} and \texttt{SEOBNRE} algorithms, based…”
Enlace del recurso

Grokfast: Accelerated Grokking by Amplifying Slow Gradients por Lee, Jaerin, Kang, Bong Gyun, Kim, Kihoon, Lee, Kyoung Mu

Tabla de Contenidos: “… $\times 50$ with only a few lines of code that amplifies the slow-varying components of gradients…”
Enlace del recurso

Compressing Structured Tensor Algebra por Ghorbani, Mahdi, Bauer, Emilien, Grosser, Tobias, Shaikhha, Amir

Tabla de Contenidos: “… the highly specialized dense tensor algebra and efficient structure-aware algorithms provided by sparse…”
Enlace del recurso

Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures por Colvin, Robert J., Hayes, Ian J., Heiner, Scott, Höfner, Peter, Meinicke, Larissa, Su, Roger C.

Tabla de Contenidos: “…Developers of low-level systems code providing core functionality for operating systems and kernels…”
Enlace del recurso

Compute-Update Federated Learning: A Lattice Coding Approach Over-the-Air por Azimi-Abarghouyi, Seyed Mohammad, Varshney, Lav R.

Tabla de Contenidos: “… digital communications, using a new joint source-channel coding scheme. Without relying on channel state…”
Enlace del recurso

On the Regret of Coded Caching with Adversarial Requests por Nayak, Anupam, Reddy, Kota Srinivas, Karamchandani, Nikhil

Tabla de Contenidos: “…We study the well-known coded caching problem in an online learning framework, wherein requests…”
Enlace del recurso

Multiscale Encoder and Omni-Dimensional Dynamic Convolution Enrichment in nnU-Net for Brain Tumor Segmentation por Mistry, Sahaj K., Saini, Sourav, Gupta, Aashray, Gupta, Aayush, Rai, Sunny, Jakhetiya, Vinit, Baid, Ujjwal, Guntuku, Sharath Chandra

Tabla de Contenidos: “… novel segmentation algorithm utilizing a modified nnU-Net architecture. Within the nnU-Net architecture…”
Enlace del recurso

The Long Way to Deforestation (Technical Report): A Type Inference and Elaboration Technique for Removing Intermediate Data Structures por Chen, Yijia, Parreaux, Lionel

Tabla de Contenidos: “… pattern was found to tie the recursive knot, resulting in impractical algorithmic complexity and large…”
Enlace del recurso

Exponents for Shared Randomness-Assisted Channel Simulation por Oufkir, Aadil, Cao, Michael X., Cheng, Hao-Chung, Berta, Mario

Tabla de Contenidos: “… assisted codes. We prove this to be asymptotically tight by employing the approximation algorithms from…”
Enlace del recurso

Using a Single-Parity-Check to Reduce the Guesswork of Guessing Codeword Decoding por Griffin, Joseph, Yuan, Peihong, Duffy, Ken R., Medard, Muriel

Tabla de Contenidos: “… for arbitrary binary linear codes. Inspired by recent proposals that leverage binary linear codebook structure…”
Enlace del recurso

Learning to reconstruct signals with inexact sensing operator via knowledge distillation por Jacome, Roman, Suarez, Leon, Gualdrón-Hurtado, Romario, Gonzalez, Luis, Arguello, Henry

Tabla de Contenidos: “… coded and noisy projections, which are recovered through computational algorithms. Deep model-based…”
Enlace del recurso

CP-Agent: Agentic Constraint Programming por Szeider, Stefan

Tabla de Contenidos: “… Python coding agent that uses the ReAct framework with a persistent IPython kernel. We provide…”
Enlace del recurso

G$^2$RPO-A: Guided Group Relative Policy Optimization with Adaptive Guidance por Guo, Yongxin, Deng, Wenbo, Cheng, Zhenglin, Tang, Xiaoying

Tabla de Contenidos: “…, an adaptive algorithm that automatically adjusts guidance strength in response to the model's evolving…”
Enlace del recurso

Radar Network Waveform Design for Target Tracking por Fan, Tao, Aubry, Augusto, De Maio, Antonio, Pallotta, Luca, Yu, Xianxiang, Cui, Guolong

Tabla de Contenidos: “…This paper addresses the synthesis of slow-time coded waveforms for single target tracking in a…”
Enlace del recurso

Optimizing Agentic Language Model Inference via Speculative Tool Calls por Nichols, Daniel, Singhania, Prajwal, Jekel, Charles, Bhatele, Abhinav, Menon, Harshitha

Tabla de Contenidos: “… frameworks frequently interact with their environment via such tools to search files, run code, call APIs…”
Enlace del recurso

FMAC: a Fair Fiducial Marker Accuracy Comparison Software por Laurent, Guillaume J., Sandoz, Patrick

Tabla de Contenidos: “…. The images are rendered using a physically based ray tracing code that has been specifically developed to use…”
Enlace del recurso

A common parallel framework for LLP combinatorial problems por Alves, David Ribeiro, Garg, Vijay K.

Tabla de Contenidos: “…Traditional lock-free parallel algorithms for combinatorial optimization problems, such as shortest…”
Enlace del recurso