Suchergebnisse - coding algorithm

Quand rechercher c'est faire des vagues : Dans et {à} partir des images algorithmiques von Robillard, Gaëtan

Inhaltsangabe: “… at the Gustave Eiffel University, the article presents a reflection on research-creation in and from algorithmic …”
Volltext

Simplifying explicit subtyping coercions in a polymorphic calculus with effects von Koprivec, Filip, Pretnar, Matija

Inhaltsangabe: “… show that the algorithm eliminates all coercions, resulting in code as efficient as manually …”
Volltext

Optimum Configuration for Hovering n-Quadrotors carrying a Slung Payload von Elshaar, Mohssen E., khodary, Pansie A., Badr, Meral L., Sayegh, Mohamad A., Manaa, Zeyad M., Abdallah, Ayman M.

Inhaltsangabe: “… . Hovering tests that are successful confirm the method's efficiency. Moreover, the algorithm is improved …”
Volltext

Formalizing MLTL Formula Progression in Isabelle/HOL von Kosaian, Katherine, Wang, Zili, Sloan, Elizabeth, Rozier, Kristin

Inhaltsangabe: “… ; we ensure the executability of our algorithms by using Isabelle's built-in code generator.  …”
Volltext

votess: A multi-target, GPU-capable, parallel Voronoi tessellator von Singh, Samridh Dev, Byrohl, Chris, Nelson, Dylan

Inhaltsangabe: “… is an implementation of a Voronoi cell-by-cell computation algorithm, producing the geometry of the cells …”
Volltext

Adaptive Data Exploitation in Deep Reinforcement Learning von Yuan, Mingqi, Li, Bo, Jin, Xin, Zeng, Wenjun

Inhaltsangabe: “… ) algorithms, optimizing data utilization while mitigating overfitting. Moreover, ADEPT can significantly …”
Volltext

A Unified Framework for High-Dimensional Pure Root Lattices, Sphere Packing, and Cosmological Implications von MacDonald, C D, MacDonald, S R

Inhaltsangabe: “… with novel computational algorithms for the shortest vector problem (SVP) to model pure root lattices …”
Volltext

Flexible Bivariate Beta Mixture Model: A Probabilistic Approach for Clustering Complex Data Structures von Hsu, Yung-Peng, Chen, Hung-Hsuan

Inhaltsangabe: “… Clustering is essential in data analysis and machine learning, but traditional algorithms like $k …”
Volltext

Model Immunization from a Condition Number Perspective von Zheng, Amber Yijia, Bai, Cedar Site, Bullins, Brian, Yeh, Raymond A.

Inhaltsangabe: “… of the proposed algorithm on model immunization. The code is available at https://github.com/amberyzheng/model …”
Volltext

Non-Asymptotic Achievable Rate-Distortion Region for Indirect Wyner-Ziv Source Coding von Wei, Jiahui, Mary, Philippe, Dupraz, Elsa

Inhaltsangabe: “… In the Wyner-Ziv source coding problem, a source $X$ has to be encoded while the decoder has access …”
Volltext

Fast Polarisation-Aware Decoder for Non-Binary Polar Codes von Jabbour, Joseph, Al-Ghouwayel, Ali Chamas, Boutillon, Emmanuel

Inhaltsangabe: “… The paper investigates the emerging field of low-complexity non-binary polar code (NB-PC) decoders …”
Volltext

Constructing Field Aligned Coordinate Systems for Gyrokinetic Simulations of Tokamaks in X-point Geometries von Shukla, Akash, Hakim, Ammar, Juno, James, Hammett, Gregory, Francisquez, Manaure

Inhaltsangabe: “… in the directions perpendicular to the magnetic field. Many tokamak simulation codes take advantage of this by using …”
Volltext

Fast computation of Riemann-Roch spaces for singular curves von Darkaoui, Dounia, Weimann, Martin

Inhaltsangabe: “… applications, such as coding theory or arithmetic of Jacobians of curves. In this article, we present what we …”
Volltext

A Deterministic Ionization Algorithm for the OSIRIS Particle-in-Cell Framework von DiIorio, Stephen, Fonseca, Ricardo, Tsung, Frank, Winjum, Benjamin J., Thomas, Alec G. R.

Inhaltsangabe: “… deterministic algorithm for collisional ionization physics. This algorithm offers improved accuracy, achieving …”
Volltext

Optimal Kinodynamic Motion Planning Through Anytime Bidirectional Heuristic Search with Tight Termination Condition von Wang, Yi, Mu, Bingxian, Shokouhi, Shahab, Thein, May-Win

Inhaltsangabe: “… kinodynamic sampling-based motion planning algorithm that integrates an anytime bidirectional heuristic search …”
Volltext

Algorithmic Universality, Low-Degree Polynomials, and Max-Cut in Sparse Random Graphs von Cheairi, Houssam El, Gamarnik, David

Inhaltsangabe: “… on sparse graphs, provided that an algorithm can be coded as a low-degree polynomial (LDP). We illustrate …”
Volltext

Cross-Domain Deep Code Search with Meta Learning von Chai, Yitian, Zhang, Hongyu, Shen, Beijun, Gu, Xiaodong

Inhaltsangabe: “… gains in code search. Despite showing great performance, they rely on the availability of large amounts …”
Volltext

Protecting Expressive Circuits with a Quantum Error Detection Code von Self, Chris N., Benedetti, Marcello, Amaro, David

Inhaltsangabe: “… A successful quantum error correction protocol would allow quantum computers to run algorithms …”
Volltext

Graph Neural Networks for Enhanced Decoding of Quantum LDPC Codes von Gong, Anqi, Cammerer, Sebastian, Renes, Joseph M.

Inhaltsangabe: “… -check (LDPC) codes. The proposed algorithm is composed of classical belief propagation (BP) decoding …”
Volltext

SCLA: Automated Smart Contract Summarization via LLMs and Control Flow Prompt von Li, Xiaoqi, Mao, Yingjie, Lu, Zexin, Li, Wenkai, Li, Zongwei

Inhaltsangabe: “… Smart contract code summarization is crucial for efficient maintenance and vulnerability mitigation …”
Volltext