Resultados de búsqueda - coding (algorithmssssics OR (algorithm OR (algorithmicsics OR algorithmssics)))

Phase 2: Enhanced Structural Barriers Analysis in SAT Solving with AI-Guided Algorithmic Improvements por Ednyashev, Sanal

Tabla de Contenidos: “…-guided algorithm development. Key findings: 55.2% performance gap between semantic simulation (88.5…”
Enlace del recurso

Luna-Rust.jl por Valenzuela Berríos, Diego Andrés, Brahms, Christian, Travers, John C.

Tabla de Contenidos: “…; <h2>What's New</h2> <h3>Rust-Accelerated Backend (<code>luna-rust</code&gt…”
Enlace del recurso

Near-Optimal Communication Byzantine Reliable Broadcast under a Message Adversary por Albouy, Timothé, Frey, Davide, Gelles, Ran, Hazay, Carmit, Raynal, Michel, Schiller, Elad Michael, Taïani, François, Zikas, Vassilis

Tabla de Contenidos: “… Broadcast (MBRB) algorithm that communicates ${\cal O}(|m|+nκ)$ bits per node, where $|m|$ represents…”
Enlace del recurso

The Markov-Chain Polytope with Applications por Golin, Mordecai J., Patupat, Albert John Lalim

Tabla de Contenidos: “…. The original motivation was to find a cheapest binary AIFV-$m$ lossless code on a source alphabet of size $n…”
Enlace del recurso

Segment-Based Test Case Prioritization: A Multi-objective Approach por Huynh, Hieu, Pham, Nhu, Nguyen, Tien N., Nguyen, Vu

Tabla de Contenidos: “… techniques have been proposed for TCP, most rely on source code information which is usually not available…”
Enlace del recurso

EM-based Fast Uncertainty Quantification for Bayesian Multi-setup Operational Modal Analysis por Zhu, Wei, Li, Binbin, Zhu, Zuo

Tabla de Contenidos: “…The current Bayesian FFT algorithm relies on direct differentiation to obtain the posterior…”
Enlace del recurso

Maximizing Information in Neuron Populations for Neuromorphic Spike Encoding por Ferdaoussi, Ahmad El, Plourde, Eric, Rouat, Jean

Tabla de Contenidos: “… coding strategies to encode more information using a population of neurons rather than just one neuron…”
Enlace del recurso

CoEvo: Continual Evolution of Symbolic Solutions Using Large Language Models por Guo, Ping, Zhang, Qingfu, Lin, Xi

Tabla de Contenidos: “…The discovery of symbolic solutions -- mathematical expressions, logical rules, and algorithmic…”
Enlace del recurso

Fully-Automated Code Generation for Efficient Computation of Sparse Matrix Permanents on GPUs por Elbek, Deniz, Kaya, Kamer

Tabla de Contenidos: “… exploit the internal structure of Gray codes, which are also used in the state-of-the-art algorithm. Our…”
Enlace del recurso

Learning to Localize Leakage of Cryptographic Sensitive Variables por Gammell, Jimmy, Raghunathan, Anand, Hashemi, Abolfazl, Roy, Kaushik

Tabla de Contenidos: “…While cryptographic algorithms such as the ubiquitous Advanced Encryption Standard (AES) are secure…”
Enlace del recurso

Pareto-Grid-Guided Large Language Models for Fast and High-Quality Heuristics Design in Multi-Objective Combinatorial Optimization por Ha, Minh Hieu, Phan, Hung, Doan, Tung Duy, Dao, Tung, Tran, Dao, Binh, Huynh Thi Thanh

Tabla de Contenidos: “… evolutionary algorithms can be effective, they typically depend on domain knowledge and repeated parameter…”
Enlace del recurso

MicroRCA-Agent: Microservice Root Cause Analysis Method Based on Large Language Model Agents por Tang, Pan, Tang, Shixiang, Pu, Huanqi, Miao, Zhiqing, Wang, Zhixing

Tabla de Contenidos: “… approach that integrates Isolation Forest unsupervised learning algorithms with status code validation…”
Enlace del recurso

Fine-Grained Unambiguous Measurements por Buzet, Quentin, Chailloux, André

Tabla de Contenidos: “… been used in quantum algorithms based on Regev's reduction. The key problem for these algorithms…”
Enlace del recurso

Programmatic Representation Learning with Language Models por Poesia, Gabriel, Sampaio, Georgia Gabriela

Tabla de Contenidos: “… stack arbitrary features represented as code (functions from data points to scalars) and decision tree…”
Enlace del recurso

Real-Time QP Solvers: A Concise Review and Practical Guide Towards Legged Robots por Dinh, Van Nam

Tabla de Contenidos: “… algorithmic approaches: interior-point methods, active-set strategies, operator-splitting schemes…”
Enlace del recurso

AI4BayesCode: From Natural Language Descriptions to Validated Modular Stateful Bayesian Samplers por Zou, Jungang, Jiang, Alex Ziyu, Chen, Qixuan

Tabla de Contenidos: “…, especially as modern sampling algorithms have become increasingly complex and existing probabilistic…”
Enlace del recurso

High‐Fidelity DNA Polymerase for DNA‐Based Digital Information Storage por Xutong Liu, Kai Wen, Enyang Yu, Qixuan Zhao, Haoran Fu, Jingxuan Zhu, Haobo Han, Quanshun Li

Tabla de Contenidos: “… in substitution error correction typically presented in coding algorithms. This distinctive fidelity and substrate…”
Enlace del recurso

Champuru 2: Improved Scoring of Alignments and a User‐Friendly Graphical Interface por Yann Spöri, Jean‐François Flot

Tabla de Contenidos: “… Pages, offers an improved graphical user interface as well as more sophisticated algorithms to compute…”
Enlace del recurso

Uncertainty-aware and Data-efficient Cosmological Emulation using Gaussian Processes and PCA por Günther, Sven

Tabla de Contenidos: “… research. However, the available inference tools require a large number of calls to simulation codes which…”
Enlace del recurso

Deep Manifold Graph Auto-Encoder for Attributed Graph Embedding por Hu, Bozhen, Zang, Zelin, Xia, Jun, Wu, Lirong, Tan, Cheng, Li, Stan Z.

Tabla de Contenidos: “… of latent codes simultaneously, which often results in inferior embeddings in real-world graph data…”
Enlace del recurso