Search Results - coding (algorithmicsics OR (algorithm OR Algorithmssssic))

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

Table of Contents: “… at the Gustave Eiffel University, the article presents a reflection on research-creation in and from algorithmic…”
Get full text

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

Table of Contents: “… show that the algorithm eliminates all coercions, resulting in code as efficient as manually…”
Get full text

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

Table of Contents: “…. Hovering tests that are successful confirm the method's efficiency. Moreover, the algorithm is improved…”
Get full text

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

Table of Contents: “…; we ensure the executability of our algorithms by using Isabelle's built-in code generator. …”
Get full text

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

Table of Contents: “… is an implementation of a Voronoi cell-by-cell computation algorithm, producing the geometry of the cells…”
Get full text

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

Table of Contents: “…) algorithms, optimizing data utilization while mitigating overfitting. Moreover, ADEPT can significantly…”
Get full text

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

Table of Contents: “… with novel computational algorithms for the shortest vector problem (SVP) to model pure root lattices…”
Get full text

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

Table of Contents: “…Clustering is essential in data analysis and machine learning, but traditional algorithms like $k…”
Get full text

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

Table of Contents: “… of the proposed algorithm on model immunization. The code is available at https://github.com/amberyzheng/model…”
Get full text

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

Table of Contents: “…In the Wyner-Ziv source coding problem, a source $X$ has to be encoded while the decoder has access…”
Get full text

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

Table of Contents: “…The paper investigates the emerging field of low-complexity non-binary polar code (NB-PC) decoders…”
Get full text

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

Table of Contents: “… in the directions perpendicular to the magnetic field. Many tokamak simulation codes take advantage of this by using…”
Get full text

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

Table of Contents: “… applications, such as coding theory or arithmetic of Jacobians of curves. In this article, we present what we…”
Get full text

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

Table of Contents: “… deterministic algorithm for collisional ionization physics. This algorithm offers improved accuracy, achieving…”
Get full text

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

Table of Contents: “… kinodynamic sampling-based motion planning algorithm that integrates an anytime bidirectional heuristic search…”
Get full text

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

Table of Contents: “… on sparse graphs, provided that an algorithm can be coded as a low-degree polynomial (LDP). We illustrate…”
Get full text

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

Table of Contents: “… gains in code search. Despite showing great performance, they rely on the availability of large amounts…”
Get full text

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

Table of Contents: “…A successful quantum error correction protocol would allow quantum computers to run algorithms…”
Get full text

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

Table of Contents: “…-check (LDPC) codes. The proposed algorithm is composed of classical belief propagation (BP) decoding…”
Get full text

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

Table of Contents: “…Smart contract code summarization is crucial for efficient maintenance and vulnerability mitigation…”
Get full text