Suchergebnisse - (coding OR (endedededededededededededededededededededededededededecoding OR Decoding)) algorithm

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

BlackboxBench: A Comprehensive Benchmark of Black-box Adversarial Attacks von Zheng, Meixi, Yan, Xuanchen, Zhu, Zihao, Chen, Hongrui, Wu, Baoyuan

Inhaltsangabe: “… (DNNs). Although lots of adversarial attack algorithms have been developed, it's still challenging …”
Volltext

Byzantine Reliable Broadcast with Low Communication and Time Complexity von Locher, Thomas

Inhaltsangabe: “… in practice. However, algorithms following the standard coding approach incur an overhead factor of at least 3 …”
Volltext

Lightweight Cryptanalysis of IoT Encryption Algorithms : Is Quota Sampling the Answer? von Cook, Jonathan, Rehman, Sabih ur, Khan, M. Arif

Inhaltsangabe: “… the development of lightweight encryption algorithms. Two well-known lightweight algorithms are SIMON and SIMECK …”
Volltext

Image Copy-Move Forgery Detection and Localization Scheme: How to Avoid Missed Detection and False Alarm von Jiang, Li, Lu, Zhaowei, Gao, Yuebing, Wang, Yifan

Inhaltsangabe: “… shown that keypoint-based algorithms achieved excellent and robust localization performance even when …”
Volltext

A Two-stage Reinforcement Learning-based Approach for Multi-entity Task Allocation von Gong, Aicheng, Yang, Kai, Lyu, Jiafei, Li, Xiu

Inhaltsangabe: “… of tasks and entities, often relying on dynamic programming and heuristic algorithms for solutions …”
Volltext

A Clean Slate for Offline Reinforcement Learning von Jackson, Matthew Thomas, Berdica, Uljad, Liesen, Jarek, Whiteson, Shimon, Foerster, Jakob Nicolaus

Inhaltsangabe: “… and entangled algorithmic designs, resulting in inconsistent implementations, insufficient ablations, and unfair …”
Volltext

Lecture Notes on Quantum Algorithms von Faryad, Muhammad

Inhaltsangabe: “… for implementation in code. Chapter 6 introduces Grover's algorithm for quantum search and amplitude amplification …”
Volltext

Qrisp Implementation and Resource Analysis of a T-Count-Optimised Non-Restoring Quantum Square-Root Circuit von Kupryianau, Heorhi, Niemiec, Marcin

Inhaltsangabe: “… is successfully translated from algorithmic description to executable quantum code. Experimental validation across …”
Volltext

Sequential Multi-Agent Dynamic Algorithm Configuration von Lu, Chen, Xue, Ke, Yuan, Lei, Wang, Yao, Wang, Yaoyuan, Fu, Sheng, Qian, Chao

Inhaltsangabe: “… automated algorithm configuration. Our code is available at https://github.com/lamda-bbo/seq-madac.  …”
Volltext

Comparative Evaluation of ChatGPT and DeepSeek for Competitive Programming: International Collegiate Programming Contest Case von Harshita Vyas, Ravindra G. Bhardwaj

Inhaltsangabe: “… prestigious algorithmic programming competitions for university students. Given the challenges faced …”
Volltext