Publications
-
Evaluating a Specification for its Support of Mode Awareness using
Discrete and Continuous Model Checking
Alyssa Byrnes and Cynthia Sturton
The 23rd IEEE International Conference on Intelligent Transportation Systems, November 2020.
-
Using a Driver's Eye Data to Predict Accident-Causing Drowsiness
Levels
Alyssa Byrnes and Cynthia Sturton
The 21st IEEE International Conference on Intelligent Transportation Systems, November 2018.
Drowsy Driver Dataset.
-
A closed-form solution might be given by a tree. Valuations of quadratic polynomials
A. Byrnes, J. Fink, G. Lavigne, I. Nogues, S. Rajasekaran, A. Yuan, L. Almodovar, X. Guan,
A. Kesarwani, L. Medina, E. Rowland, V. H. Moll
-
Recursion rules for the hypergeometric zeta function
Alyssa Byrnes, Lin Jiu, Victor H. Moll and Christophe Vignat
International Journal of Number Theory Vol. 10, No. 07.