Latest Articles for Computer Science

Exploring the role of curvature in understanding network connections and community detection.

Learn how to speed up recursive functions using Runtime Repeated Recursion Unfolding.

This study presents a deterministic method for efficient and accurate stochastic computing.

A look into complex particle systems and their interactions through stochastic methods.

CPPL enhances traditional logic by incorporating natural numbers and counting constraints.

A new approach to improve optimization in machine learning tasks.

Examining how edge weight changes affect the structure of minimum spanning trees.

Recent improvements in edge coloring algorithms enhance efficiency for various graphs.

A look into least-squares methods for function approximation using data points.

A method to achieve perfect matchings in bipartite graphs with red edges.

Examining the link between directed isoperimetric inequalities and monotonicity testing.

A look into Luroth series, their representations, and mathematical significance.

A look into methods improving quantum system simulations using Hamiltonians.

A look into distance magic graphs and their unique labeling properties.

Learn how machine learning improves variable ordering in multiobjective optimization.

This paper unveils a framework for Godel-Dummett logics using nested sequent systems.

Exploring optimization through hyperbolic polynomials and their applications.

A new method streamlines degree reduction in symmetric polynomials for graph coloring.

A look at how proximity spaces influence mathematical relationships and structures.

A look into codes in graphs and their roles in various fields.

Exploring matroid connectivity and its implications for quantum computing.

INT-FP-QSim helps improve performance of language models with low precision.

New method reveals overlooked energy challenges in MAGIC design for memristors.

Exploring the role of cyclic proofs in mathematical reasoning with inductive definitions.

A new method uses randomness and machine learning for faster Grobner basis calculation.

New methods improve solutions for complex boundary value problems using radial basis functions.

Research reveals insights into machine understanding of implied language connections.

A new system improves vector commitments for efficient data verification.

Discover how parallel algorithms boost neural network performance and efficiency.

This research unveils polynomial dimensionality for effective set representation in neural networks.

A look into Ramsey numbers and their significance in graph theory.

New methods improve the handling of string constraints in programming.

Examining noninvertibility and its impact on quantum systems and information processing.

Explore the complex dynamics of signed graphs through the chip-firing game.

Discover how simple rules create complex behaviors in systems.

Examining how combining Boolean functions affects their complexity measures.

A look at common meadows and their role in arithmetic error management.

A new model improves predictions for systems with multiple interacting agents.

New algorithm greatly improves efficiency in simulating labeled transition systems.

Analyzing memory and query efficiency in randomized convex optimization algorithms.