Tag: Algorithms, Logic & Theory
Maximal Balanced Quasi-Clique Enumeration in Signed Graphs
Detecting balanced group structures in networks with positive and negative connections
Community correlations and testing independence between binary graphs
Measuring independence and correlation between network graphs
Thoth: Uncovering Data-Dependent Memory Access Patterns via Annotation-Directed Load Sampling
Hardware prefetcher for irregular memory access in sparse data structures
I Can SE Clearly Now: Investigating the Effectiveness of GUI-based Symbolic Execution for Software Vulnerability Discovery
How interface design affects expert vulnerability discovery using symbolic execution tools
Information System for Determining the Prioritization of Vector Image Quality Factors
A system for ranking factors that affect vector image quality
Beyond the mean: limit theory and tests for infinite-mean autoregressive conditional durations
When do trades occur less predictably than financial models assume
Codebase release 0.3 for VSDM
Software for calculating dark matter interactions in directionally sensitive materials
Measuring Complexity at the Requirements Stage: Spectral Metrics as Development Effort Predictors
Using graph metrics to predict effort required for integrating complex system requirements
DTMiner: A Data-Centric System for Efficient Temporal Motif Mining
Accelerating pattern discovery in temporal networks through optimized data access coordination
Causal Inferences from Digital Behavioral Data
Making causal claims from digital behavioral data
