Résultats de la recherche - coding (Algorithmsssics OR (algorithm OR (Algorithmsssics OR (algorithm OR algorithm))))

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

Table des matières: “…; we ensure the executability of our algorithms by using Isabelle's built-in code generator. …”
Accéder au texte intégral

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

Table des matières: “… is an implementation of a Voronoi cell-by-cell computation algorithm, producing the geometry of the cells…”
Accéder au texte intégral

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

Table des matières: “…) algorithms, optimizing data utilization while mitigating overfitting. Moreover, ADEPT can significantly…”
Accéder au texte intégral

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

Table des matières: “… with novel computational algorithms for the shortest vector problem (SVP) to model pure root lattices…”
Accéder au texte intégral

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

Table des matières: “…Clustering is essential in data analysis and machine learning, but traditional algorithms like $k…”
Accéder au texte intégral

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

Table des matières: “… of the proposed algorithm on model immunization. The code is available at https://github.com/amberyzheng/model…”
Accéder au texte intégral

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

Table des matières: “…In the Wyner-Ziv source coding problem, a source $X$ has to be encoded while the decoder has access…”
Accéder au texte intégral

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

Table des matières: “…The paper investigates the emerging field of low-complexity non-binary polar code (NB-PC) decoders…”
Accéder au texte intégral

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

Table des matières: “… in the directions perpendicular to the magnetic field. Many tokamak simulation codes take advantage of this by using…”
Accéder au texte intégral

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

Table des matières: “… applications, such as coding theory or arithmetic of Jacobians of curves. In this article, we present what we…”
Accéder au texte intégral

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

Table des matières: “… deterministic algorithm for collisional ionization physics. This algorithm offers improved accuracy, achieving…”
Accéder au texte intégral

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

Table des matières: “… kinodynamic sampling-based motion planning algorithm that integrates an anytime bidirectional heuristic search…”
Accéder au texte intégral

Entropic Bounds on the Average Length of Codes with a Space par Bruno, Roberto, Vaccaro, Ugo

Table des matières: “…We consider the problem of constructing prefix-free codes in which a designated symbol, a space…”
Accéder au texte intégral

Faster List Decoding of AG Codes par Beelen, Peter, Neiger, Vincent

Table des matières: “…In this article, we present a fast algorithm performing an instance of the Guruswami-Sudan list…”
Accéder au texte intégral

Bounds and Algorithms for Alphabetic Codes and Binary Search Trees par Bruno, Roberto, De Prisco, Roberto, De Santis, Alfredo, Vaccaro, Ugo

Table des matières: “… algorithms to construct alphabetic codes, and we show that the obtained codes are not too far from being…”
Accéder au texte intégral

A New Construction of Non-Binary Deletion Correcting Codes and their Decoding par Schaller, Michael, Toesca, Beatrice, Vu, Van Khu

Table des matières: “… algorithm. We also show that, for a certain regime of parameters, our constructed codes have size larger…”
Accéder au texte intégral

Industrial-Scale Neural Network Clone Detection with Disk-Based Similarity Search par Ahmed, Gul Aftab, Chochlov, Muslim, Razzaq, Abdul, Patten, James Vincent, Han, Yuanhua, Lu, Guoxian, Buckley, Jim, Gregg, David

Table des matières: “…Code clones are similar code fragments that often arise from copy-and-paste programming. Neural…”
Accéder au texte intégral

CodeRL+: Improving Code Generation via Reinforcement with Execution Semantics Alignment par Jiang, Xue, Dong, Yihong, Liu, Mengyang, Deng, Hongyi, Wang, Tian, Tao, Yongding, Cao, Rongyu, Li, Binhua, Jin, Zhi, Jiao, Wenpin, Huang, Fei, Li, Yongbin, Li, Ge

Table des matières: “…While Large Language Models (LLMs) excel at code generation by learning from vast code corpora, a…”
Accéder au texte intégral

Smooth Lower Bounds for Differentially Private Algorithms via Padding-and-Permuting Fingerprinting Codes par Peter, Naty, Tsfadia, Eliad, Ullman, Jonathan

Table des matières: “… differentially private (DP) algorithms. Still, there are many problems in differential privacy for which we don't…”
Accéder au texte intégral

A Generalized Machine Learning Model for Identifying Congenital Heart Defects (CHDs) Using ICD Codes par Haoming Shi, Wendy M. Book, Lindsey C. Ivey, Fred H. Rodriguez, Cheryl Raskind‐Hood, Karrie F. Downing, Sherry L. Farr, Courtney E. McCracken, Vinita O. Leedom, Susan E. Haynes, Sandra Amouzou, Reza Sameni, Rishikesan Kamaleswaran

Table des matières: “… (ICD) codes utilized for congenital heart defect (CHD) case identification in datasets have substantial…”
Accéder au texte intégral