Ramyaa

According to our database, Ramyaa authored at least 22 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Evaluation of Large Language Models on Code Obfuscation (Student Abstract).

Adrian Swindle, Derrick McNealy, Giri P. Krishnan, Ramyaa Ramyaa

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Implementing Interactive Programming Tutorials in Object-Oriented Programming Education.

Brandon Dennis, Rita Kuo, Ramyaa Ramyaa

Proceedings of the IEEE International Conference on Advanced Learning Technologies, 2023

2022

CNN to mitigate atmospheric turbulence effect on Shack-Hartmann Wavefront Sensing: A case study on the Magdalena Ridge Observatory Interferometer.

Siavash Norouzi, James J. D. Luis, Ramyaa Ramyaa, John S. Young, Eugene B. Seneta, Morteza Darvish Morshedi Hosseini, Edgar R. Ligon

Proceedings of the Machine Learning for Scientific Imaging 2022, 2022

2021

Learning with distributional inverters.

Eric Binnendyk, Marco Carmosino, Antonina Kolokolova, Ramyaa Ramyaa, Manuel Sabin

CoRR, 2021

The Usability of Using Educational Game for Teaching Foundational Concept in Propositional Logic.

Daniel Aranda, Alden Towler, Ramyaa Ramyaa, Rita Kuo

Proceedings of the 21st International Conference on Advanced Learning Technologies, 2021

2020

Mind the Gap: On Bridging the Semantic Gap between Machine Learning and Information Security.

Michael R. Smith, Nicholas T. Johnson, Joe B. Ingram, Armida J. Carbajal, Ramyaa Ramyaa, Evelyn Domschot, Christopher C. Lamb, Stephen J. Verzi, W. Philip Kegelmeyer

CoRR, 2020

Biologically inspired sleep algorithm for increased generalization and adversarial robustness in deep neural networks.

Timothy Tadros, Giri P. Krishnan, Ramyaa Ramyaa, Maxim Bazhenov

Proceedings of the 8th International Conference on Learning Representations, 2020

Using Educational Game for Engaging Students in Learning Foundational Concepts of Propositional Logic.

Alden Towler, Daniel Aranda, Ramyaa Ramyaa, Rita Kuo

Proceedings of the 20th IEEE International Conference on Advanced Learning Technologies, 2020

Mind the Gap: On Bridging the Semantic Gap between Machine Learning and Malware Analysis.

Michael R. Smith, Nicholas T. Johnson, Joe B. Ingram, Armida J. Carbajal, Bridget I. Haus, Eva Domschot, Ramyaa, Christopher C. Lamb, Stephen J. Verzi, W. Philip Kegelmeyer

Proceedings of the AISec@CCS 2020: Proceedings of the 13th ACM Workshop on Artificial Intelligence and Security, 2020

Biologically Inspired Sleep Algorithm for Reducing Catastrophic Forgetting in Neural Networks.

Timothy Tadros, Giri P. Krishnan, Ramyaa Ramyaa, Maxim Bazhenov

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Biologically inspired sleep algorithm for artificial neural networks.

Giri P. Krishnan, Timothy Tadros, Ramyaa Ramyaa, Maxim Bazhenov

CoRR, 2019

2018

Short refutations for an equivalence-chain principle for constant-depth formulas.

Sam Buss, Ramyaa Ramyaa

Math. Log. Q., 2018

2015

Denotational cost semantics for functional languages with inductive types.

Norman Danner, Daniel R. Licata, Ramyaa

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

The Computational Contents of Ramified Corecurrence.

Daniel Leivant, Ramyaa Ramyaa

Proceedings of the Foundations of Software Science and Computation Structures, 2015

2013

Validating distance decay through agent based modeling.

Arvind K. Verma, Ramyaa Ramyaa, Suresh Marru

Secur. Informatics, 2013

Power of Nondetreministic JAGs on Cayley graphs.

Martin Hofmann, Ramyaa Ramyaa

CoRR, 2013

Computing With a Fixed Number of Pointers (Invited Talk).

Martin Hofmann, Ramyaa

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

Pure Pointer Programs and Tree Isomorphism.

Martin Hofmann, Ramyaa Ramyaa, Ulrich Schöpp

Proceedings of the Foundations of Software Science and Computation Structures, 2013

2011

Ramified Corecurrence and Logspace.

Ramyaa Ramyaa, Daniel Leivant

Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, 2011

Implicit complexity for coinductive data: a characterization of corecurrence

Daniel Leivant, Ramyaa Ramyaa

Proceedings of the Proceedings Second Workshop on Developments in Implicit Computational Complexity, 2011

2010

Feasible Functions over Co-inductive Data.

Ramyaa Ramyaa, Daniel Leivant

Proceedings of the Logic, 2010

Rationalizing police patrol beats using Voronoi Tessellations.

Arvind K. Verma, Ramyaa Ramyaa, Suresh Marru, Ye Fan, Raminder Singh

Proceedings of the IEEE International Conference on Intelligence and Security Informatics, 2010