Suchergebnisse - coding ((algorithmics OR algorithm) OR algorithmssic)

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

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

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

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

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

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

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

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

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

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

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

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

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

Inhaltsangabe: “… The OmpSs-2 programming model is used in HPC programs to parallelize code and offload code …”
Volltext

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

Inhaltsangabe: “… Version 14 of XtalOpt, an evolutionary multi-objective global optimization algorithm for crystal …”
Volltext

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

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

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

Inhaltsangabe: “… Program synthesis -- the automatic generation of code given a specification -- is one of the most …”
Volltext

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

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

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

Inhaltsangabe: “… This paper presents a novel design framework for protograph-based LDPC codes that simultaneously …”
Volltext

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

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

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

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

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

Inhaltsangabe: “… determine the burst error correction limit of QCCs and quantum Reed-Solomon codes with algorithms …”
Volltext

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

Inhaltsangabe: “… -complexity-intensive algorithms, buggy code analysis, programs dependent on specific compilers or execution …”
Volltext

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

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

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

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

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

Inhaltsangabe: “… ) decoding algorithms are leveraged as the underlying coding scheme. More specifically, our protocol …”
Volltext

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

Inhaltsangabe: “… Quantum Tanner codes are a recently developed family of quantum error-correcting codes …”
Volltext