Resultados de búsqueda - coding (algorithmics OR (algorithmics OR (algorithmssicsics OR Algorithms)))

VLM-Fuzz: Vision Language Model Assisted Recursive Depth-first Search Exploration for Effective UI Testing of Android Apps por Demissie, Biniam Fisseha, Tun, Yan Naing, Shar, Lwin Khin, Ceccato, Mariano

Tabla de Contenidos: “…, achieving high code coverage remains a significant challenge in Android app testing. The main challenges…”
Enlace del recurso

PoseX: AI Defeats Physics Approaches on Protein-Ligand Cross Docking por Jiang, Yize, Li, Xinze, Zhang, Yuanyuan, Han, Jin, Xu, Youjun, Pandit, Ayush, Zhang, Zaixi, Wang, Mengdi, Wang, Mengyang, Shen, Minjie, Yang, Guang, Choi, Yejin, Li, Wu-Jun, Fu, Tianfan, Wu, Fang, Liu, Junhong

Tabla de Contenidos: “… practical and comprehensive assessment of algorithmic advances. Specifically, we curated a novel dataset…”
Enlace del recurso

Call Me Maybe: Enhancing JavaScript Call Graph Construction using Graph Neural Networks por Bhuiyan, Masudul Hasan Masud, De Stefano, Gianluca, Pellegrino, Giancarlo, Staicu, Cristian-Alexandru

Tabla de Contenidos: “… to hard-to-analyze language features, existing call graph construction algorithms for JavaScript…”
Enlace del recurso

Foundation Model Self-Play: Open-Ended Strategy Innovation via Foundation Models por Dharna, Aaron, Lu, Cong, Clune, Jeff

Tabla de Contenidos: “… to the space race. Self-play (SP) algorithms try to harness these dynamics by pitting agents against ever…”
Enlace del recurso

CUDA-L1: Improving CUDA Optimization via Contrastive Reinforcement Learning por Li, Xiaoya, Sun, Xiaofei, Wang, Albert, Li, Jiwei, Shum, Chris

Tabla de Contenidos: “… for automated CUDA optimization strategies. While recent advances in LLMs show promise for code generation…”
Enlace del recurso

Reinforced Generation of Combinatorial Structures: Hardness of Approximation por Nagda, Ansh, Raghavan, Prabhakar, Thakurta, Abhradeep

Tabla de Contenidos: “… answering this in the affirmative, using AlphaEvolve (an LLM code mutation agent) to obtain new results…”
Enlace del recurso

Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation por Arafat, Jahidul, Tasmin, Fariha, Poudel, Sanjaya

Tabla de Contenidos: “…Wordle presents an algorithmically rich testbed for constraint satisfaction problem (CSP) solving…”
Enlace del recurso

LRPayne: Stellar parameters and abundances from low-resolution spectra por Vernekar, Nagaraj, Spina, Lorenzo, Lucatello, Sara, Arcidiacono, Carmelo, Cortese, Luca, Simioni, Matteo, Balestra, Andrea

Tabla de Contenidos: “…Aims. This paper introduces LRPayne, a novel algorithm designed for the efficient determination…”
Enlace del recurso

Grain Theory: Type-Level Granularity Correctness in Data Pipelines por Karayannidis, Nikos

Tabla de Contenidos: “… prove an equi-join grain inference theorem and present CalcG, a decidable algorithm that composes grain…”
Enlace del recurso

ArchAgent: Agentic AI-driven Computer Architecture Discovery por Gupta, Raghav, Jain, Akanksha, Gonzalez, Abraham, Novikov, Alexander, Huang, Po-Sen, Balog, Matej, Eisenberger, Marvin, Shirobokov, Sergey, Vũ, Ngân, Dixon, Martin, Nikolić, Borivoje, Ranganathan, Parthasarathy, Karandikar, Sagar

Tabla de Contenidos: “… for compute. Recently, agentic generative AI systems have demonstrated significant advances in algorithm…”
Enlace del recurso

The ESO SupJup Survey. X. A carbon isotope contrast in the young ROXs 12 system por Grasser, N., Snellen, I. A. G., de Regt, S., Picos, D. González, Zhang, Y., Stolker, T., Gandhi, S., Landman, R., Mollière, P., Allard, N. F.

Tabla de Contenidos: “… framework is built on the radiative transfer code petitRADTRANS, with which we generate model spectra based…”
Enlace del recurso

HyDRA: Hybrid Dynamic Routing Architecture for Heterogeneous LLM Pools por Garg, Aashna, Roy, Siddharth Singha, Jang, Jinu, Brancasi, Federico, Fu, Shengyu

Tabla de Contenidos: “… matching. A ModernBERT encoder with K=4 independent sigmoid heads scores each query along reasoning, code…”
Enlace del recurso

PRIMA: Operational Patterns for Resilient Multi-Agent Research with Verifiable Identity and Convergent Feedback por Annapureddy, Sasank

Tabla de Contenidos: “…-metric scoring engine (LLM-judged rubric plus sandboxed code), an outer meta-optimization loop, event…”
Enlace del recurso

Application of Regular Grammar in the Syntactic Analysis of Email Addresses por Cristian Alejandro Fandino-Mesa

Tabla de Contenidos: “… based on GR regular grammars contributes to the practical use of specialized algorithms in the field…”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Enlace del recurso
Enlace del recurso

How to Improve Computational Thinking: a Case Study por José Alberto Quitério Figueiredo

Tabla de Contenidos: “…-by-step solution to the problem: algorithms. This plan can be used by everyone, regardless of their area…”
Enlace del recurso

Artificial dissipation model applied to Euler equations for analysis of supersonic flow around a geometric configurations ramp and diffusor type por J.S Rocha

Tabla de Contenidos: “… the DISSIPA2D_EULER code, to solve the Euler equations in a conservative form, in two-dimensional space…”
Enlace del recurso

TIR predictor and optimizer: Web‐tools for accurate prediction of translation initiation rate and precision gene design in Saccharomyces cerevisiae por Sulagno Chakarborty, Inayat Ullah Irshad, Mahima, Ajeet K. Sharma

Tabla de Contenidos: “… in proximity to the start codon, coding sequence length, and presence of specific motifs in the mRNA molecule…”
Enlace del recurso

Exploring Undergraduate Students' Computational Thinking Skills Across Engineering Design Processes por Gaoxia Zhu, Jason Fok Kow, Xiuyi Fan, Ibrahim H. Yeter, Lin Su Chit, Yew Soon Ong

Tabla de Contenidos: “… recognition, abstraction, algorithm design, and troubleshooting/debugging) skills during multiple engineering…”
Enlace del recurso

Physics informed neural network simulation of trihybrid nanofluid slip flow along a catalytic surface: Fuel cell applications por Md. Majibul Hassan Imran, Shakil Mojumdar, Mohammed Jashim Uddin, Tasveer A. Bég, Osman Anwar Bég, Henry Leonard

Tabla de Contenidos: “…. The physics‐informed neural network (PINN) algorithm has been utilized to solve the transformed equations…”
Enlace del recurso

Using the RNAstructure Software Package to Predict Conserved RNA Structures por Abhinav Mittal, Sara E. Ali, David H. Mathews

Tabla de Contenidos: “…. Ali David H. Mathews Current Protocols AbstractThe structures of many non‐coding RNAs (ncRNA…”
Enlace del recurso