Recent Additions
Engaging More Students in Formal Methods Education: A Practical Approach Using Temporal Logic of Actions
Konstantin Läufer, Gunda Mertin, and George K. Thiruvathukal
ReTexture 3D
Mikayla Cutler, Luke D. Baumel, Joseph Tocco, William Friebel, George K. Thiruvathukal, and Nicholas Baker Dr.
Generalized Langer Correction and the Exactness of WKB for all Conventional Potentials
Asim Gangopadhyaya, Jonathan Bougie, and Constantin Rasinariu
Exactness of Semiclassical Quantization Rule for Broken Supersymmetry
Asim Gangopadhyaya, Jonathan Bougie, and Constantin Rasinariu
Quantum Hamilton–Jacobi quantization and shape invariance
Rathi Dasgupta and Asim Gangopadhyaya
Hacia la construcción de una ‘ciudadanía casera’ en Ilegal: reflexiones de un inmigrante indocumentado (2019), de José Ángel Navejas
Gabriela Buitrón Vera
The Devil in the Machine: The Doctor Travels through Time in Chris Bush’s Faustus: That Damned Woman
Verna Foster
Unveiling scientific articles from paper mills with provenance analysis
João Phillipe Cardenuto, Daniel Moreira, and Anderson Rocha
Field-based measurement tools to distinguish clonal Typha taxa and estimate biomass: a resource for conservation and restoration
Brian M. Ohsowski, Cassidy Redding, Pamela Geddes, and Shane Lishawa
WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+
Konstantin Laufer, Gunda Mertin, and George K. Thiruvathukal
Exploring Saliency Bias in Manipulation Detection
Joshua Krinsky, Alan Bettis, Qiuyu Tang, Daniel Moreira, and Aparna Bharati
Artificial Intelligence and Healthcare: The Impact of Algorithmic Bias on Health Disparities
Natasha H. Williams
Space Radiation Astrophysical origins, radiobiological effects and implications for space travellers
James S. Welsh
Schelling's Mystical Platonism: 1792-1802
Naomi Fisher
Lockean Liberalism in International Relations
Alexandru V. Grigorescu and Claudio Katz
The Match-up Hypothesis Revisited: Matching Social Judgments and Advertising Messaging in Celebrity Endorsements
Brittney C. Bauer, Brad D. Carlson, and Clark D. Johnson
The Automation of Management and Business Science
Clark D. Johnson, Brittney C. Bauer, and Fred Niederman
*Updated as of 11/20/24.
