Search Results - coding (Algorithmssssics OR (algorithm OR (algorithmicsics OR algorithmicsics)))

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

Table of Contents: “…-guided algorithm development. Key findings: 55.2% performance gap between semantic simulation (88.5…”
Get full text

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

Table of Contents: “…; <h2>What's New</h2> <h3>Rust-Accelerated Backend (<code>luna-rust</code&gt…”
Get full text

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

Table of Contents: “… Broadcast (MBRB) algorithm that communicates ${\cal O}(|m|+nκ)$ bits per node, where $|m|$ represents…”
Get full text

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

Table of Contents: “…. The original motivation was to find a cheapest binary AIFV-$m$ lossless code on a source alphabet of size $n…”
Get full text

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

Table of Contents: “… techniques have been proposed for TCP, most rely on source code information which is usually not available…”
Get full text

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

Table of Contents: “…The current Bayesian FFT algorithm relies on direct differentiation to obtain the posterior…”
Get full text

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

Table of Contents: “… coding strategies to encode more information using a population of neurons rather than just one neuron…”
Get full text

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

Table of Contents: “…The discovery of symbolic solutions -- mathematical expressions, logical rules, and algorithmic…”
Get full text

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

Table of Contents: “… exploit the internal structure of Gray codes, which are also used in the state-of-the-art algorithm. Our…”
Get full text

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

Table of Contents: “…While cryptographic algorithms such as the ubiquitous Advanced Encryption Standard (AES) are secure…”
Get full text

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

Table of Contents: “… evolutionary algorithms can be effective, they typically depend on domain knowledge and repeated parameter…”
Get full text

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

Table of Contents: “… approach that integrates Isolation Forest unsupervised learning algorithms with status code validation…”
Get full text

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

Table of Contents: “… been used in quantum algorithms based on Regev's reduction. The key problem for these algorithms…”
Get full text

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

Table of Contents: “… stack arbitrary features represented as code (functions from data points to scalars) and decision tree…”
Get full text

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

Table of Contents: “… algorithmic approaches: interior-point methods, active-set strategies, operator-splitting schemes…”
Get full text

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

Table of Contents: “…, especially as modern sampling algorithms have become increasingly complex and existing probabilistic…”
Get full text

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

Table of Contents: “… in substitution error correction typically presented in coding algorithms. This distinctive fidelity and substrate…”
Get full text

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

Table of Contents: “… Pages, offers an improved graphical user interface as well as more sophisticated algorithms to compute…”
Get full text

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

Table of Contents: “… research. However, the available inference tools require a large number of calls to simulation codes which…”
Get full text

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

Table of Contents: “… of latent codes simultaneously, which often results in inferior embeddings in real-world graph data…”
Get full text