Risultati della ricerca - coding (algorithm OR (algorithmics OR algorithmssics))

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

Sommario: “... convolutional (PAC) codes can reach the dispersion approximation bound in certain rate cases. However...”
Testo

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

Sommario: “... in arbitrary one-dimensional data sets. The Braced Fourier Continuation (BFC) and BFCR algorithms are first...”
Testo

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

Sommario: “... (TVAR) is able to verify all properties of the mu-calculus. We present a novel algorithmic framework...”
Testo

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

Sommario: “... the body part from the background. In this article, we present a Python code designed to separate body...”
Testo

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

Sommario: “... of such properties is generally enabled by Bayesian atmospheric retrieval algorithms. However, until recently, many...”
Testo

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

Sommario: “... challenge for 5G/6G applications. Traditional algorithms tackling this task, relying on classical processors...”
Testo

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

Sommario: “...The OmpSs-2 programming model is used in HPC programs to parallelize code and offload code...”
Testo

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

Sommario: “...Version 14 of XtalOpt, an evolutionary multi-objective global optimization algorithm for crystal...”
Testo

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

Sommario: “... and invariants using TLA${^+}$. It allows us to perform model checking on the algorithm's correctness...”
Testo

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

Sommario: “...Program synthesis -- the automatic generation of code given a specification -- is one of the most...”
Testo

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

Sommario: “... generator matrix for the same code, yielding better service performance. We further apply our construction...”
Testo

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

Sommario: “...This paper presents a novel design framework for protograph-based LDPC codes that simultaneously...”
Testo

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

Sommario: “...-complexity snippets (e.g., algorithms and data structures code; text processing code). (4) ChatGPT/Copilot...”
Testo

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

Sommario: “... configuration variables, often called presence conditions) or structural code metrics (e.g., code coverage...”
Testo

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

Sommario: “... determine the burst error correction limit of QCCs and quantum Reed-Solomon codes with algorithms...”
Testo

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

Sommario: “...-complexity-intensive algorithms, buggy code analysis, programs dependent on specific compilers or execution...”
Testo

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

Sommario: “... parallel codes. Two main models of analysis tools have been proposed for detecting data races: dynamic...”
Testo

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

Sommario: “... on the consequent evolution of stars. This is generally not accounted for in population synthesis codes which...”
Testo

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

Sommario: “...) decoding algorithms are leveraged as the underlying coding scheme. More specifically, our protocol...”
Testo

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

Sommario: “...Quantum Tanner codes are a recently developed family of quantum error-correcting codes...”
Testo