Resultados de búsqueda - coding (Algorithmssssics OR (algorithm OR (algorithm OR algorithm)))

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

Tabla de Contenidos: “…; we ensure the executability of our algorithms by using Isabelle's built-in code generator. …”
Enlace del recurso

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

Tabla de Contenidos: “… is an implementation of a Voronoi cell-by-cell computation algorithm, producing the geometry of the cells…”
Enlace del recurso

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

Tabla de Contenidos: “…) algorithms, optimizing data utilization while mitigating overfitting. Moreover, ADEPT can significantly…”
Enlace del recurso

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

Tabla de Contenidos: “… with novel computational algorithms for the shortest vector problem (SVP) to model pure root lattices…”
Enlace del recurso

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

Tabla de Contenidos: “…Clustering is essential in data analysis and machine learning, but traditional algorithms like $k…”
Enlace del recurso

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

Tabla de Contenidos: “… of the proposed algorithm on model immunization. The code is available at https://github.com/amberyzheng/model…”
Enlace del recurso

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

Tabla de Contenidos: “…In the Wyner-Ziv source coding problem, a source $X$ has to be encoded while the decoder has access…”
Enlace del recurso

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

Tabla de Contenidos: “…The paper investigates the emerging field of low-complexity non-binary polar code (NB-PC) decoders…”
Enlace del recurso

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

Tabla de Contenidos: “… in the directions perpendicular to the magnetic field. Many tokamak simulation codes take advantage of this by using…”
Enlace del recurso

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

Tabla de Contenidos: “… applications, such as coding theory or arithmetic of Jacobians of curves. In this article, we present what we…”
Enlace del recurso

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

Tabla de Contenidos: “… deterministic algorithm for collisional ionization physics. This algorithm offers improved accuracy, achieving…”
Enlace del recurso

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

Tabla de Contenidos: “… kinodynamic sampling-based motion planning algorithm that integrates an anytime bidirectional heuristic search…”
Enlace del recurso

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

Tabla de Contenidos: “…We consider the problem of constructing prefix-free codes in which a designated symbol, a space…”
Enlace del recurso

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

Tabla de Contenidos: “…In this article, we present a fast algorithm performing an instance of the Guruswami-Sudan list…”
Enlace del recurso

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

Tabla de Contenidos: “… algorithms to construct alphabetic codes, and we show that the obtained codes are not too far from being…”
Enlace del recurso

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

Tabla de Contenidos: “… algorithm. We also show that, for a certain regime of parameters, our constructed codes have size larger…”
Enlace del recurso

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

Tabla de Contenidos: “…Code clones are similar code fragments that often arise from copy-and-paste programming. Neural…”
Enlace del recurso

CodeRL+: Improving Code Generation via Reinforcement with Execution Semantics Alignment por 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

Tabla de Contenidos: “…While Large Language Models (LLMs) excel at code generation by learning from vast code corpora, a…”
Enlace del recurso

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

Tabla de Contenidos: “… differentially private (DP) algorithms. Still, there are many problems in differential privacy for which we don't…”
Enlace del recurso

A Generalized Machine Learning Model for Identifying Congenital Heart Defects (CHDs) Using ICD Codes por 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

Tabla de Contenidos: “… (ICD) codes utilized for congenital heart defect (CHD) case identification in datasets have substantial…”
Enlace del recurso