Constructions of t-designs from weighing matrices and walk-regular graphs | Synapse