Latest Articles for Computer Science

A look into closure systems, their structures, and practical uses.

New methods improve strategies for complex decision-making in zero-sum games.

Introducing a programming language that simplifies hardware design processes.

A new method combines RBM, DNNs, and RBFs for solving parametric PDEs efficiently.

Exploring order-preserving functions and their significance in semigroups.

A new approach for understanding expected costs of probabilistic programs using higher-order separation logic.

This research examines how episturmian morphisms affect return words in sequences.

A look into reflexive graphs and their applications through lenses.

This work highlights security risks in RL and introduces SleeperNets for backdoor attacks.

Study of particle behavior in spherical space affected by point charges.

Experts question the validity of claims surrounding quantum supremacy metrics.

A look into the properties and significance of von Neumann regular rings.

This article examines a new way to create algorithms with LLMs.

A new method for efficient video compression that improves quality and reduces file size.

An overview of generative modeling techniques and applications in AI.

Researchers combine particle methods and tensor networks to solve complex equations.

iPOD offers a practical solution for managing data in complex simulations of PDEs.

A look at system behaviors and challenges in concurrent processes with TSO.

Research aims to improve pathfinding efficiency using adaptable heuristic functions.

A look into hierarchical model-based reinforcement learning and its promising framework.

New hybrid methods improve radiation transport equation solutions in accuracy and efficiency.

Discover how lazy abstraction and BRTDP improve MDP analysis efficiency.

This study examines the complexities of the -Coloring problem in graphs.

Examining the links between matroids and Koszul algebras with real-world applications.

Introducing SwiLoRA, a method that optimizes training for large language models with fewer resources.

A novel framework optimizes pulse generation for better quantum circuit performance.

Examining key concepts of independent sets and hitting sets across various graphs.

A new approach enhances data analysis by improving trustworthiness and generalizability.

A new approach for optimizing tree structures under load constraints.

A new method that improves planning and decision-making in reinforcement learning.

Exploring the challenges and applications of modal separability in logic and computer science.

A new method enhances self-training for language agents using reflection models.

DART enhances machine learning agents' decision-making in gaming environments.

A novel method enhances language models for better efficiency and performance.

A look into the complexities of separating languages in Buchi VASS.

A guide to understanding arithmetic functions in mathematics and computer science.

New methods enhance the simulation of Brownian motion and stochastic differential equations.

New technique enhances image generation from text prompts.

A look at graph embeddings and the conditions needed for their mapping.

A look at how graph contraction improves data analysis in various fields.