Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Computer Science
💻 Computer Science
Broad
CS theory, algorithms, computation, data structures
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
104
posts in
6.1
ms
A Held-Out Transition-Pair Falsifier for Long-Horizon Non-Abelian State Tracking
🌐
Distributed Systems
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for A Held-Out Transition-Pair Falsifier for Long-Horizon Non-Abelian State Tracking
N-Player Binary Games with Unidirectional Dependencies: Cycle Robustness and Induced Indifference
🌐
Distributed Systems
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for N-Player Binary Games with Unidirectional Dependencies: Cycle Robustness and Induced Indifference
Sharp Low-Degree Thresholds for Planted-vs-Planted Testing
🔢
Linear Algebra
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Sharp Low-Degree Thresholds for Planted-vs-Planted Testing
The Arithmetic Circuit Combinatorial Nullstellensatz is
NP-hard
🔢
Linear Algebra
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for The Arithmetic Circuit Combinatorial Nullstellensatz is NP-hard
Correct-by-Construction
Design
of Timed Systems in Event-B
📅
Scheduling Algorithms
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Correct-by-Construction Design of Timed Systems in Event-B
Dynamics
in a Low-Rank Separable Field Cellular
Automaton
🧠
Computational Neuroscience
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Dynamics in a Low-Rank Separable Field Cellular Automaton
Counting Hamiltonian Paths in 3-Regular Planar
Graphs
🖥️
GPU Computing
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Counting Hamiltonian Paths in 3-Regular Planar Graphs
Hardness as an Information Constraint: A Unifying
Meta-Complexity
Assumption
🌐
Distributed Systems
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Hardness as an Information Constraint: A Unifying Meta-Complexity Assumption
A Barrier-Modulated Architecture for Safe Affine
Formation
Control in Second-Order Multi-Agent Systems
📐
Mathematics
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for A Barrier-Modulated Architecture for Safe Affine Formation Control in Second-Order Multi-Agent Systems
What Makes Majority Illusion Easy to Detect?
🤝
Consensus Algorithms
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for What Makes Majority Illusion Easy to Detect?
Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies
🧠
Computational Neuroscience
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies
Multilevel Stochastic Gradient Descent for Risk-Averse PDE-Constrained Optimization
🤖
Machine Learning
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Multilevel Stochastic Gradient Descent for Risk-Averse PDE-Constrained Optimization
Dimensionality Reduction for Cyberattack Classification: A Comparative Evaluation of PCA and Linear Predictive Coding
🔢
Linear Algebra
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Dimensionality Reduction for Cyberattack Classification: A Comparative Evaluation of PCA and Linear Predictive Coding
A space-time sparse-grid method for the wave equation
🔢
Linear Algebra
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for A space-time sparse-grid method for the wave equation
Fixed-Parameter Tractability of $t$-Uniform Hypergraphicality
📐
Mathematics
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Fixed-Parameter Tractability of $t$-Uniform Hypergraphicality
Graphical
and algebraic methods for Boolean factoring
🔢
Linear Algebra
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Graphical and algebraic methods for Boolean factoring
Adjacency Spectral Radius Under Laplacian Sparsification: Deterministic and Probabilistic Bounds
🔢
Linear Algebra
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Adjacency Spectral Radius Under Laplacian Sparsification: Deterministic and Probabilistic Bounds
Fast and perfect sampling of subgraphs and polymer systems
📊
Vector DBs
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Fast and perfect sampling of subgraphs and polymer systems
A General Framework for
Dynamic
Consistent Submodular Maximization
📊
Vector DBs
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for A General Framework for Dynamic Consistent Submodular Maximization
Quotient Admission
Algorithms
for Witness-Supported
Graph
Windows
🌐
Distributed Systems
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Quotient Admission Algorithms for Witness-Supported Graph Windows
« Page 1
·
Page 3 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help