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

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

Table of Contents: “… convolutional (PAC) codes can reach the dispersion approximation bound in certain rate cases. However…”
Get full text

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

Table of Contents: “… in arbitrary one-dimensional data sets. The Braced Fourier Continuation (BFC) and BFCR algorithms are first…”
Get full text

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

Table of Contents: “… (TVAR) is able to verify all properties of the mu-calculus. We present a novel algorithmic framework…”
Get full text

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

Table of Contents: “… the body part from the background. In this article, we present a Python code designed to separate body…”
Get full text

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

Table of Contents: “… of such properties is generally enabled by Bayesian atmospheric retrieval algorithms. However, until recently, many…”
Get full text

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

Table of Contents: “… challenge for 5G/6G applications. Traditional algorithms tackling this task, relying on classical processors…”
Get full text

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

Table of Contents: “…The OmpSs-2 programming model is used in HPC programs to parallelize code and offload code…”
Get full text

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

Table of Contents: “…Version 14 of XtalOpt, an evolutionary multi-objective global optimization algorithm for crystal…”
Get full text

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

Table of Contents: “… and invariants using TLA${^+}$. It allows us to perform model checking on the algorithm's correctness…”
Get full text

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

Table of Contents: “…Program synthesis -- the automatic generation of code given a specification -- is one of the most…”
Get full text

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

Table of Contents: “… generator matrix for the same code, yielding better service performance. We further apply our construction…”
Get full text

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

Table of Contents: “…This paper presents a novel design framework for protograph-based LDPC codes that simultaneously…”
Get full text

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

Table of Contents: “…-complexity snippets (e.g., algorithms and data structures code; text processing code). (4) ChatGPT/Copilot…”
Get full text

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

Table of Contents: “… configuration variables, often called presence conditions) or structural code metrics (e.g., code coverage…”
Get full text

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

Table of Contents: “… determine the burst error correction limit of QCCs and quantum Reed-Solomon codes with algorithms…”
Get full text

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

Table of Contents: “…-complexity-intensive algorithms, buggy code analysis, programs dependent on specific compilers or execution…”
Get full text

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

Table of Contents: “… parallel codes. Two main models of analysis tools have been proposed for detecting data races: dynamic…”
Get full text

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

Table of Contents: “… on the consequent evolution of stars. This is generally not accounted for in population synthesis codes which…”
Get full text

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

Table of Contents: “…) decoding algorithms are leveraged as the underlying coding scheme. More specifically, our protocol…”
Get full text

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

Table of Contents: “…Quantum Tanner codes are a recently developed family of quantum error-correcting codes…”
Get full text