Подписаться
Alyssa Byrnes
Alyssa Byrnes
Подтвержден адрес электронной почты в домене cs.unc.edu - Главная страница
Название
Процитировано
Процитировано
Год
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
122015
On Using Drivers' Eyes to Predict Accident-Causing Drowsiness Levels
A Byrnes, C Sturton
2018 21st International Conference on Intelligent Transportation Systems …, 2018
112018
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
72014
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
A closed-form solution might be given by a tree. Valuations of quadratic polynomials
L Almodovara, AN Byrnes, J Finkc, X Guanb, A Kesarwanib, G Lavigneb, ...
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–10