A closed-form solution might be given by a tree. the valuation of quadratic polynomials A Byrnes, J Fink, G Lavigne, I Nogues, S Rajasekaran, A Yuan, ... Submitted for publication, 2015 | 12 | 2015 |
On Using Drivers' Eyes to Predict Accident-Causing Drowsiness Levels A Byrnes, C Sturton 2018 21st International Conference on Intelligent Transportation Systems …, 2018 | 10 | 2018 |
Recursion rules for the hypergeometric zeta function A Byrnes, L Jiu, VH Moll, C Vignat International Journal of Number Theory 10 (07), 1761-1782, 2014 | 8 | 2014 |
Using Formal Frameworks to Reduce Mode Confusion in Cyber-Physical Human-in-the-Loop Systems A Byrnes The University of North Carolina at Chapel Hill, 2022 | | 2022 |
Propositional Logic, COMP 283 A Byrnes | | 2021 |
Sets and Tuples, COMP 283 A Byrnes | | 2021 |
Evaluating a Specification for its Support of Mode Awareness using Discrete and Continuous Model Checking A Byrnes, C Sturton 2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020 | | 2020 |
Sequences of p-adic valuations of polynomials: an analysis of aperiodic and non p-regular behavior A Byrnes, I Nogues, A Yuan 2014 MSRI-UP, 1, 2014 | | 2014 |
Recursion Rules for the Hypergeometric Zeta Functions C Vignat, VH Moll, L Jiu, A Byrnes International Journal of Number Theory, 21, 2014 | | 2014 |