Folgen
Zhengyang (John) Lu
Zhengyang (John) Lu
Bestätigte E-Mail-Adresse bei uwaterloo.ca
Titel
Zitiert von
Zitiert von
Jahr
A video-based approach to calibrating car-following parameters in VISSIM for urban traffic
Z Lu, T Fu, L Fu, S Shiravi, C Jiang
International journal of transportation science and technology 5 (1), 1-9, 2016
492016
Effects of winter weather on traffic operations and optimization of signalized intersections
Z Lu, TJ Kwon, L Fu
Journal of traffic and transportation engineering (English edition) 6 (2 …, 2019
412019
Impact of right-turn channelization on pedestrian safety at signalized intersections
C Jiang, R Qiu, T Fu, L Fu, B Xiong, Z Lu
Accident Analysis & Prevention 136, 105399, 2020
222020
Modelling, simulation and control of signalized intersections under adverse weather conditions
Z Lu
University of Waterloo, 2016
32016
A reinforcement learning based reset policy for cdcl sat solvers
C Li, C Liu, J Chung, Z Lu, P Jha, V Ganesh
arXiv preprint arXiv:2404.03753, 2024
2024
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
Z Lu, S Siemer, P Jha, J Day, F Manea, V Ganesh
arXiv preprint arXiv:2401.17159, 2024
2024
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
P Jha, Z Li, Z Lu, C Bright, V Ganesh
arXiv preprint arXiv:2401.13770, 2024
2024
AlphaSMT: A Reinforcement Learning Guided SMT Solver
Z Lu
University of Waterloo, 2023
2023
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–8