Tag: Algorithms, Logic & Theory
Bayesian updating of atomic probabilities
When Bayesian updating is the only way to revise probabilities
Modeling roles and trade-offs in multiplex networks
A framework for discovering how network layers balance competing relationship roles
Research on the Impact of Scheduling Efficiency on Production Costs in Pharmaceutical Intelligent Manufacturing Workshops Based on Improved Particle Swarm Optimization Algorithm
Optimizing pharmaceutical production schedules to reduce manufacturing costs.
Global stability analysis and control law design for rumor propagation models
How to eliminate rumors by controlling spread rates and increasing public awareness
Understanding Query Optimization Bugs in Graph Database Systems
Identifying common bugs and defects in how graph databases optimize queries
An algorithm for one-stroke kolam generation using a gating structure
Generating traditional Indian floor art automatically as single continuous paths
Image Credit: AI-generated image (OpenAI / DALL·E)Using a two-stage D-Optimal mode to select equipment for flexible manufacturing systems
Optimizing equipment choices to boost efficiency and reduce costs in flexible manufacturing
FLAT: Formal Languages as Types
Using formal languages as type constraints to prevent string-based security vulnerabilities
On topology and time: efficient evaluation for temporal-clique subgraph queries
Fast pattern matching in networks where structure and timing both matter
A Graph-based Benchmark dataset for Printed Circuit Netlist Partitioning
A labeled dataset of circuit netlists partitioned by design experts for machine learning research
