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

ALGOGEN: Tool-Generated Verifiable Traces for Reliable Algorithm Visualization di Liao, Kunpeng, Ma, Yuexiao, Lin, Yisheng, Zeng, Hualin, Zheng, Xiawu, Ji, Rongrong

Sommario: “... for automated generation of high-quality algorithm visualizations. Demo videos and code are available...”
Testo

Time-Series Forecasting in Smart Manufacturing Systems: An Experimental Evaluation of the State-of-the-art Algorithms di Farahani, Mojtaba A., Kalach, Fadi El, Harper, Austin, McCormick, M. R., Harik, Ramy, Wuest, Thorsten

Sommario: “... were conducted to assess the significance of observed differences. Only algorithms with codes from open...”
Testo

Subset Sum in Near-Linear Pseudopolynomial Time and Polynomial Space di Sajith, Thejas Radhika

Sommario: “... programming algorithm runs in $O(nt)$ time and $O(t)$ space. Since then, much work has been done to reduce...”
Testo

Deterministic constructions of high-dimensional sets with small dispersion di Ullrich, Mario, Vybíral, Jan

Sommario: “... are well-known in coding theory. It was observed only recently that, for any $\varepsilon>0$, certain...”
Testo

Source Coding with Free Bits and the Multi-Way Number Partitioning Problem di Ahmadypour, Niloufar, Gohari, Amin

Sommario: “... that an adapted version of the Huffman coding algorithm (with a runtime of $\mathcal{O}(n \log n)$ for input size...”
Testo

Expression Acceleration: Seamless Parallelization of Typed High-Level Languages di Hummelgren, Lars, Wikman, John, Eriksson, Oscar, Haller, Philipp, Broman, David

Sommario: “...Efficient parallelization of algorithms on general-purpose GPUs is essential in many areas today...”
Testo

Speeding up all-electron real-time TDDFT demonstrated by the exciting package di Pela, Ronaldo Rodrigues, Draxl, Claudia

Sommario: “...Currently, many ab initio codes are being prepared for exascale computing. A first and important...”
Testo

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

A new approach to the Berlekamp-Massey-Sakata Algorithm. Improving Locator Decoding di Bernal, José Joaquín, Simón, Juan Jacobo

Sommario: “... algorithm is exactly a Groebner basis for the mentioned ideal. Then, we apply these results to improve...”
Testo