Latest Articles for Computer Science

Innopolis University leads research on handling identifiers in programming languages.

An overview of query complexity and its significance in computer science.

A new system improves memory management for AI using GPUs.

A new method improves images generated by Consistency models.

Exploring bi-reachability challenges in Petri nets enhanced with data values.

A look at how UHAT models process data sequences effectively.

New algorithms integrate high-order methods for efficient optimization.

A resource-efficient approach to backdoor attacks on advanced machine learning models.

Exploring edge dependencies for better graph modeling in real-world networks.

A look into coding theory and its importance in error correction.

Discover the unique concept of hyperrings and their applications across various fields.

An overview of weak memory models and their impact on concurrent systems.

Explore how parametricity and cohesion shape reliable type systems.

New techniques enable training large neural networks on consumer-grade hardware with reduced memory.

This article discusses techniques in optimal control for dynamic systems described by hyperbolic equations.

A clear guide to inductive and coinductive definitions and their significance.

A look at how cardinality sketches estimate unique items and their vulnerabilities.

An overview of policy gradient methods in reinforcement learning.

A new approach to clustering improves handling of tabular data.

A practical approach to analyzing costs in data structures over time.

AbstractBeam enhances program synthesis, leveraging efficient code generation through Library Learning.

A look into the properties and significance of partial lattices in mathematics.

Exploring the two-timescale Q-learning algorithm in mean field reinforcement learning.

A look at how distance matrices help rebuild trees and unicyclic graphs.

New methods improve training data attribution efficiency in AI models.

A formal approach to reduce teleportations in quantum computing networks.

Examining the transition from general concept classes to extremal classes in data analysis.

An overview of essential concepts in computer science related to completion and rewrite systems.

This article examines how data arrangement impacts program speed and efficiency.

A clear overview of tensors, invariants, and their relevance across various fields.

Discover how language models learn continuously and retain knowledge over time.

New method speeds up Ising model simulations using advanced computing technology.

Introducing new methods for complex optimization problems on curved spaces.

Introducing innovative algorithms for complex optimization challenges.

An overview of ergodic theory and its applications across various fields.

A look into non-distributive modal logic and its implications in reasoning.

An overview of stochastic games and their mean-payoff objectives.

Attributing sources in language models builds trust and accuracy in generated content.

Learn how game semantics clarifies program functions through interactive models.

This study examines the performance of genetic programming for symbolic regression tasks.