Latest Articles for Computer Science

A new method enhances stance detection for smaller language models using external knowledge.

A new method simplifies reaching low-energy states in quantum systems.

An exploration of locked polyomino tilings and their significance in grid structures.

Introducing a framework to assess LLM performance in knowledge graph tasks.

A look at model-checking for program verification amid complex behaviors.

This method improves data classification efficiency and accuracy over traditional techniques.

A look into the significance and applications of Moore-Penrose inverses.

An overview of quantum suplattices and their relevance in quantum mechanics and mathematics.

A new method to handle large datasets using Vietoris-Rips persistent homology.

Improving tracking speed and accuracy in AR and VR through innovative techniques.

ICDARTS improves neural network design efficiency and stability in machine learning.

This article discusses key ideas in syntax, semantics, and their applications.

Investigating satisfiability in multi-variable Timed Propositional Temporal Logic.

Using real and generated data to boost QA model performance.

Exploring new methods for improved link prediction in graph analysis.

This article discusses isospectral reductions for efficient computation in stochastic matrices.

A new method enhances training speed for Neural ODEs using Gaussian quadrature.

Applying advanced AI techniques to the classic game of Gomoku.

Exploring the complexities of upward and rectilinear planarity testing in graphs.

A study of memory needs for the longest increasing subsequence problem.

This article explores methods for faster keyword searches in graphs.

Learn methods to create worst-case scenarios for concurrent programs.

A look at gradings and their role in managing computational effects in monads.

This article reviews the performance of the IonQ Forte quantum computer using various benchmarks.

An analysis of how large language models assist in planning activities.

A new learning algorithm improves scheduling for mobile networks.

This article examines bootstrap percolation in cyclical graphs and its implications.

This study reveals how freezing impacts tree growth and structure.

Researchers tackle phase retrieval with innovative sampling methods.

A new framework enhances plasma simulations for scientific applications.

A new approach streamlines verification for concurrent programs across various memory models.

A fresh approach to ensure mixed quantum and classical programs are correct.

A new method improves efficiency in solving partial differential equations.

Exploring challenges in determining zero terms within linear recurrence sequences.

A new method combines statistics and distance measures for effective data clustering.

This article examines how to measure events in stochastic processes using Metric Temporal Logic.

A study on breaking Eulerian graphs into manageable circuits.

Explores the relationship between minimal and constructive modal logics in reasoning.

A study on max-cut problem formulations and continuous relaxation effectiveness.

A new method for improving the clarity of hive plots in data representation.