Risultati della ricerca - coding (algorithmssic OR algorithm)

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

Sommario: “...-guided algorithm development. Key findings: 55.2% performance gap between semantic simulation (88.5...”
Testo

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

Sommario: “...; <h2>What's New</h2> <h3>Rust-Accelerated Backend (<code>luna-rust</code&gt...”
Testo

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

Sommario: “... Broadcast (MBRB) algorithm that communicates ${\cal O}(|m|+nκ)$ bits per node, where $|m|$ represents...”
Testo

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

Sommario: “.... The original motivation was to find a cheapest binary AIFV-$m$ lossless code on a source alphabet of size $n...”
Testo

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

Sommario: “... techniques have been proposed for TCP, most rely on source code information which is usually not available...”
Testo

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

Sommario: “...The current Bayesian FFT algorithm relies on direct differentiation to obtain the posterior...”
Testo

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

Sommario: “... coding strategies to encode more information using a population of neurons rather than just one neuron...”
Testo

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

Sommario: “...The discovery of symbolic solutions -- mathematical expressions, logical rules, and algorithmic...”
Testo

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

Sommario: “... exploit the internal structure of Gray codes, which are also used in the state-of-the-art algorithm. Our...”
Testo

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

Sommario: “...While cryptographic algorithms such as the ubiquitous Advanced Encryption Standard (AES) are secure...”
Testo

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

Sommario: “... evolutionary algorithms can be effective, they typically depend on domain knowledge and repeated parameter...”
Testo

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

Sommario: “... approach that integrates Isolation Forest unsupervised learning algorithms with status code validation...”
Testo

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

Sommario: “... been used in quantum algorithms based on Regev's reduction. The key problem for these algorithms...”
Testo

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

Sommario: “... stack arbitrary features represented as code (functions from data points to scalars) and decision tree...”
Testo

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

Sommario: “... algorithmic approaches: interior-point methods, active-set strategies, operator-splitting schemes...”
Testo

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

Sommario: “..., especially as modern sampling algorithms have become increasingly complex and existing probabilistic...”
Testo

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

Sommario: “... in substitution error correction typically presented in coding algorithms. This distinctive fidelity and substrate...”
Testo

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

Sommario: “... Pages, offers an improved graphical user interface as well as more sophisticated algorithms to compute...”
Testo

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

Sommario: “... research. However, the available inference tools require a large number of calls to simulation codes which...”
Testo

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

Sommario: “... of latent codes simultaneously, which often results in inferior embeddings in real-world graph data...”
Testo