Risultati della ricerca - coding (algorithmssic OR algorithm)

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

Sommario: “... at the Gustave Eiffel University, the article presents a reflection on research-creation in and from algorithmic...”
Testo

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

Sommario: “... show that the algorithm eliminates all coercions, resulting in code as efficient as manually...”
Testo

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

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

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

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

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

Sommario: “... is an implementation of a Voronoi cell-by-cell computation algorithm, producing the geometry of the cells...”
Testo

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

Sommario: “...) algorithms, optimizing data utilization while mitigating overfitting. Moreover, ADEPT can significantly...”
Testo

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

Sommario: “... with novel computational algorithms for the shortest vector problem (SVP) to model pure root lattices...”
Testo

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

Sommario: “...Clustering is essential in data analysis and machine learning, but traditional algorithms like $k...”
Testo

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

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

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

Sommario: “...In the Wyner-Ziv source coding problem, a source $X$ has to be encoded while the decoder has access...”
Testo

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

Sommario: “...The paper investigates the emerging field of low-complexity non-binary polar code (NB-PC) decoders...”
Testo

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

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

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

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

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

Sommario: “... deterministic algorithm for collisional ionization physics. This algorithm offers improved accuracy, achieving...”
Testo

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

Sommario: “... kinodynamic sampling-based motion planning algorithm that integrates an anytime bidirectional heuristic search...”
Testo

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

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

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

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

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

Sommario: “...A successful quantum error correction protocol would allow quantum computers to run algorithms...”
Testo

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

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

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

Sommario: “...Smart contract code summarization is crucial for efficient maintenance and vulnerability mitigation...”
Testo