Latest Articles for Computer Science

A new method improves software checking using Operator Precedence Languages and SMT.

This paper presents a new sub-polyhedral domain for optimizing machine learning compilers.

A framework to assess graph containers and their performance in algorithms.

New methods improve efficiency in identifying communities within evolving graphs.

Source identities connect various mathematics fields and enhance understanding of complex systems.

Learn about string covers and their significance in data management.

A look into quantum gates, circuits, and error correction in quantum computing.

Examining zero-delay cycles and coordination strategies for efficient distributed systems.

Introducing an eDSL for efficient zero-knowledge proof systems development.

A new system improves GPU checkpointing and restoration for enhanced performance.

New concepts in graph width enhance analysis and applications in various fields.

Exploring the link between separation logic and cryptographic security through independence.

Exploring the efficiency of jumping automata and their cost measures.

Free sets help in arranging planar graphs without edge crossings.

This article discusses the verification of lock-free skiplists in concurrent systems.

Analyzing rounding errors can improve the accuracy of low-precision calculations.

A new method for function approximation in complex curved spaces.

Exploring bounded uniform and small-bias distributions in pseudorandomness research.

This paper discusses securing smart contracts through a type system focused on integrity.

Exploring how IR enhances static analysis tools and software quality.

An overview of key concepts in graph theory and their relevance.

GNN-Diff improves GNN training efficiency and performance by optimizing hyperparameters.

A new approach to finding independent sets in graphs using any starting configuration.

New techniques improve envy-free cake-cutting among multiple participants.

Discover how AI agents learn to excel in Atari games using reinforcement learning.

GTM enhances 3D rendering speed and quality for dynamic scenes.

A new method significantly speeds up graphlet detection in complex networks.

This article highlights the difficulties in circuit extraction and diagram comparison in ZH calculus.

Examining new developments in tools for verifying complex systems.

An overview of classical and quantum approaches to network reliability.

MotionCraft generates realistic videos using physics without extensive training.

New methods tackle the challenge of catastrophic forgetting in AI learning.

Introducing ProCo, a method for better self-correction in large language models.

Explore the unique properties of plane quartics and their connections in mathematics.

Exploring a framework for understanding knowledge among multiple agents in modal logic.

MuDreamer enhances agent learning by focusing on prediction rather than image reconstruction.

A new approach to understanding evolving networks through autoregressive modeling.

New tree structures improve decision-making visibility in AI systems.

Examining K-Cores and degeneracy in graph streaming reveals significant complexity.

An overview of commutative and non-commutative CSPs and their implications.