Résultats de la recherche - coding (algorithm OR (algorithmics OR algorithmicsics))

Performance Evaluation of PAC Decoding with Deep Neural Networks par Dai, Jingxin, Yin, Hang, Lv, Yansong, Wang, Yuhuan, Lv, Rui

Table des matières: “… convolutional (PAC) codes can reach the dispersion approximation bound in certain rate cases. However…”
Accéder au texte intégral

Braced Fourier Continuation and Regression for Anomaly Detection par Sabuda, Josef

Table des matières: “… in arbitrary one-dimensional data sets. The Braced Fourier Continuation (BFC) and BFCR algorithms are first…”
Accéder au texte intégral

Input-based Three-valued Abstraction Refinement par Onderka, Jan, Ratschan, Stefan

Table des matières: “… (TVAR) is able to verify all properties of the mu-calculus. We present a novel algorithmic framework…”
Accéder au texte intégral

Separation of Body and Background in Radiological Images. A Practical Python Code par Hosseini, Seyedeh Fahimeh, Shalbafzadeh, Faezeh, Amanpour-Gharaei, Behzad

Table des matières: “… the body part from the background. In this article, we present a Python code designed to separate body…”
Accéder au texte intégral

POSEIDON: A Multidimensional Atmospheric Retrieval Code for Exoplanet Spectra par MacDonald, Ryan J.

Table des matières: “… of such properties is generally enabled by Bayesian atmospheric retrieval algorithms. However, until recently, many…”
Accéder au texte intégral

Quantum Annealing for Active User Detection in NOMA Systems par Piron, Romain, Goursaud, Claire

Table des matières: “… challenge for 5G/6G applications. Traditional algorithms tackling this task, relying on classical processors…”
Accéder au texte intégral

Extending the OmpSs-2 Programming Model for Hybrid Quantum-Classical Programming par Döbler, Philip, Álvarez, David, Menger, Lucas J., Lippert, Thomas, Beltran, Vicenç, Jattana, Manpreet Singh

Table des matières: “…The OmpSs-2 programming model is used in HPC programs to parallelize code and offload code…”
Accéder au texte intégral

XtalOpt Version 14: Variable-Composition Crystal Structure Search for Functional Materials Through Pareto Optimization par Hajinazar, Samad, Zurek, Eva

Table des matières: “…Version 14 of XtalOpt, an evolutionary multi-objective global optimization algorithm for crystal…”
Accéder au texte intégral

Sedeve-Kit, a Specification-Driven Development Framework for Building Distributed Systems par Guo, Hua, Ji, Yunhong, Zhou, Xuan

Table des matières: “… and invariants using TLA${^+}$. It allows us to perform model checking on the algorithm's correctness…”
Accéder au texte intégral

Herb.jl: A Unifying Program Synthesis Library par Hinnerichs, Tilman, Reid, Reuben Gardos, de Jong, Jaap, Swinkels, Bart, Wochner, Pamela, Filat, Nicolae, Magurescu, Tudor, Hanou, Issa, Dumancic, Sebastijan

Table des matières: “…Program synthesis -- the automatic generation of code given a specification -- is one of the most…”
Accéder au texte intégral

The Oval Strikes Back par Di Giusto, Andrea, Ravagnani, Alberto, Soljanin, Emina

Table des matières: “… generator matrix for the same code, yielding better service performance. We further apply our construction…”
Accéder au texte intégral

Design of Root Protograph LDPC Codes Simultaneously Achieving Full Diversity and High Coding Gain par Kim, Inki, Ahn, Hyuntae, Kim, Yongjune, Kwak, Hee-Youl, Yun, Dae-Young, Kim, Sang-Hyo

Table des matières: “…This paper presents a novel design framework for protograph-based LDPC codes that simultaneously…”
Accéder au texte intégral

Where Is Self-admitted Code Generated by Large Language Models on GitHub? par Yu, Xiao, Liu, Lei, Hu, Xing, Liu, Jin, Xia, Xin

Table des matières: “…-complexity snippets (e.g., algorithms and data structures code; text processing code). (4) ChatGPT/Copilot…”
Accéder au texte intégral

Generating Maximal Configurations and Their Variants Using Code Metrics par Yavuz, Tuba, Khor, Chin, Ken, Bai, Lutz, Robyn

Table des matières: “… configuration variables, often called presence conditions) or structural code metrics (e.g., code coverage…”
Accéder au texte intégral

Characterizing the Burst Error Correction Ability of Quantum Cyclic Codes par Fan, Jihao, Hsieh, Min-Hsiu

Table des matières: “… determine the burst error correction limit of QCCs and quantum Reed-Solomon codes with algorithms…”
Accéder au texte intégral

SURGE: On the Potential of Large Language Models as General-Purpose Surrogate Code Executors par Lyu, Bohan, Huang, Siqiao, Liang, Zichen

Table des matières: “…-complexity-intensive algorithms, buggy code analysis, programs dependent on specific compilers or execution…”
Accéder au texte intégral

Data Race Satisfiability on Array Elements par Shim, Junhyung, Mahmud, Quazi Ishtiaque, Jannesari, Ali

Table des matières: “… parallel codes. Two main models of analysis tools have been proposed for detecting data races: dynamic…”
Accéder au texte intégral

A stellar evolutionary grid for binary population synthesis: from the main sequence to helium ignition par Rees, Natalie R., Izzard, Robert G., Hendriks, David D.

Table des matières: “… on the consequent evolution of stars. This is generally not accounted for in population synthesis codes which…”
Accéder au texte intégral

A Locally Differential Private Coding-Assisted Succinct Histogram Protocol par Liu, Hsuan-Po, Mahdavifar, Hessam

Table des matières: “…) decoding algorithms are leveraged as the underlying coding scheme. More specifically, our protocol…”
Accéder au texte intégral

LEAD: A Local Ensemble-Assisted Parallel Decoding Framework for Quantum Tanner Codes par Xiao, Zhuo-Yan, Shi, Sha, Huang, Chen-Peng, Wang, Dong-Sheng, Wang, Yun-Jiang

Table des matières: “…Quantum Tanner codes are a recently developed family of quantum error-correcting codes…”
Accéder au texte intégral