Ramyaa Ramyaa

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 11

Top Topics

Propositional Logic

Bridging The Semantic Gap

Biologically Inspired

Top Venues

Publications

Adrian Swindle, Derrick McNealy, Giri P. Krishnan, Ramyaa Ramyaa
Evaluation of Large Language Models on Code Obfuscation (Student Abstract). AAAI (2024)
Brandon Dennis, Rita Kuo, Ramyaa Ramyaa
Implementing Interactive Programming Tutorials in Object-Oriented Programming Education. ICALT (2023)
Siavash Norouzi, James J. D. Luis, Ramyaa Ramyaa, John S. Young, Eugene B. Seneta, Morteza Darvish Morshedi Hosseini, Edgar R. Ligon
CNN to mitigate atmospheric turbulence effect on Shack-Hartmann Wavefront Sensing: A case study on the Magdalena Ridge Observatory Interferometer. Machine Learning for Scientific Imaging (2022)
Daniel Aranda, Alden Towler, Ramyaa Ramyaa, Rita Kuo
The Usability of Using Educational Game for Teaching Foundational Concept in Propositional Logic. ICALT (2021)
Eric Binnendyk, Marco Carmosino, Antonina Kolokolova, Ramyaa Ramyaa, Manuel Sabin
Learning with distributional inverters. CoRR (2021)
Timothy Tadros, Giri P. Krishnan, Ramyaa Ramyaa, Maxim Bazhenov
Biologically Inspired Sleep Algorithm for Reducing Catastrophic Forgetting in Neural Networks. AAAI (2020)
Alden Towler, Daniel Aranda, Ramyaa Ramyaa, Rita Kuo
Using Educational Game for Engaging Students in Learning Foundational Concepts of Propositional Logic. ICALT (2020)
Timothy Tadros, Giri P. Krishnan, Ramyaa Ramyaa, Maxim Bazhenov
Biologically inspired sleep algorithm for increased generalization and adversarial robustness in deep neural networks. ICLR (2020)
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
Mind the Gap: On Bridging the Semantic Gap between Machine Learning and Information Security. CoRR (2020)
Giri P. Krishnan, Timothy Tadros, Ramyaa Ramyaa, Maxim Bazhenov
Biologically inspired sleep algorithm for artificial neural networks. CoRR (2019)
Sam Buss, Ramyaa Ramyaa
Short refutations for an equivalence-chain principle for constant-depth formulas. Math. Log. Q. 64 (6) (2018)
Daniel Leivant, Ramyaa Ramyaa
The Computational Contents of Ramified Corecurrence. FoSSaCS (2015)
Norman Danner, Daniel R. Licata, Ramyaa Ramyaa
Denotational cost semantics for functional languages with inductive types. CoRR (2015)
Martin Hofmann, Ramyaa Ramyaa
Power of Nondetreministic JAGs on Cayley graphs. CoRR (2013)
Martin Hofmann, Ramyaa Ramyaa, Ulrich Schöpp
Pure Pointer Programs and Tree Isomorphism. FoSSaCS (2013)
Arvind K. Verma, Ramyaa Ramyaa, Suresh Marru
Validating distance decay through agent based modeling. Secur. Informatics 2 (1) (2013)
Ramyaa Ramyaa, Daniel Leivant
Ramified Corecurrence and Logspace. MFPS (2011)
Daniel Leivant, Ramyaa Ramyaa
Implicit complexity for coinductive data: a characterization of corecurrence DICE (2011)
Ramyaa Ramyaa, Daniel Leivant
Feasible Functions over Co-inductive Data. WoLLIC (2010)
Arvind K. Verma, Ramyaa Ramyaa, Suresh Marru, Ye Fan, Raminder Singh
Rationalizing police patrol beats using Voronoi Tessellations. ISI (2010)