Digital Commons Network^™

Tla+ For All: Model Checking In A Python Notebook, Konstantin Laufer, George K. Thiruvathukal

Computer Science: Faculty Publications and Other Works

TLA+ is widely recognized for its effectiveness in specifying and verifying concurrent and distributed systems. However, for educators and practitioners, barriers to adoption include installation complexity and tooling setup. In the proposed presentation, we demonstrate a lightweight, easily shareable, and fully reproducible approach to running TLA+ in a Python notebook hosted on Google Colab without requiring new tools or custom Jupyter kernel development. By creating an environment where users can experiment with TLA+ models instantly, we lower these barriers and demonstrate the suitability for education and outreach.

Ed Martin Is The Wrong Person To Investigate Biden-Era Prosecutors, Bruce Green, Rebecca Roiphe

Other Publications

No abstract provided.

The Development Of Optical Sensing Techniques As Digital Tools To Predict The Sensory Quality Of Red Meat: A Review, Georgios Anagnostou, Alessandro Ferragina, Emily C. Crofton, Jesus Maria Frias Celayeta, Ruth M. Hamill

Research Outputs: 2025-Present

No abstract provided.

Community Safety Investments: Violence Prevention Initiatives Across New York State, Rebecca Balletto, Jeffrey A. Butts, Sheyla A. Delgado, Justice D. Evans, Gina Moreno, Elia Del Carmen Solano-Patricio, Kathleen A. Tomberg, Michael Rempel, René Ropac

Publications and Research

At the request of New York State's Division of Criminal Justice Services (DCJS), researchers from John Jay College of Criminal Justice conducted an assessment of over a decade of state-funded violence prevention initiatives implemented at the county level. Beginning in 2010 and expanding significantly after 2021, these initiatives were adopted by nearly two dozen counties by 2014. Research teams from the Research and Evaluation Center (JohnJayREC) and the Data Collaborative for Justice (DCJ) analyzed county-level trends in serious and violent crime between 2010 and 2023 to assess the potential impact of these investments on community safety outcomes. The study aimed …

Pastor John Harris

African American Funeral Programs

Program for the funeral of Pastor John Harris, held at First Baptist Church of Orlando on February 8, 2025.

Carboxymethyl Cellulose Assisted Reforming Of Poly Acrylic Acid Co Methyl Methacrylate Composite For Wastewater Treatment And Effective Hosting Of Antimicrobial Silver, Ahmed Mokhtar, Hassan Nageh, Salah Abdo Hassan, Mohamed Mekewi, Atef Samir Darwesh

Dentistry

Herein, novel polymer composite is fabricated by hybridizing poly (acrylic acid-co-methyl methacrylate) filaments with carboxymethyl cellulose, which efficiently reorients and strictly ties the fibrous chains to form polymeric units of plate-like morphology. This innovative hybrid polymer composite is analyzed using XRD, FT-IR, swelling and contact angle studies, DLS, AFM, and SEM. Removal efficiency of such polymer composite is scrutinized in colored wastewater treatment. Langmuir and pseudo-first-order kinetic models best describe safranine dye removal from wastewater, adopting exothermic adsorption progression with elevated capacity (~ 59.47 mg/g) and accelerated rate (~ 1.06 h− 1). Such polymer composite exhibits persistent removal efficiency of …

Mrs. Millie Lee Coney Jackson

African American Funeral Programs

No abstract provided.

Deborah Sue Allen

African American Funeral Programs

Deborah_Sue_Allen.pdf - Funeral program for Deborah Sue Allen

Quantitative Characterization And Prediction Of The Binding Determinants And Immune Escape Hotspots For Groups Of Broadly Neutralizing Antibodies Against Omicron Variants: Atomistic Modeling Of The Sars-Cov-2 Spike Complexes With Antibodies, Mohammed Alshahrani, Vedant Parikh, Brandon Foley, Nishank Raisinghani, Gennady M. Verkhivker

Mathematics, Physics, and Computer Science Faculty Articles and Research

A growing body of experimental and computational studies suggests that the cross-neutralization antibody activity against Omicron variants may be driven by the balance and tradeoff between multiple energetic factors and interaction contributions of the evolving escape hotspots involved in antigenic drift and convergent evolution. However, the dynamic and energetic details quantifying the balance and contribution of these factors, particularly the balancing nature of specific interactions formed by antibodies with epitope residues, remain largely uncharacterized. In this study, we performed molecular dynamics simulations, an ensemble-based deep mutational scanning of SARS-CoV-2 spike residues, and binding free energy computations for two distinct groups …

Large Range Sizes Link Fast Life Histories With High Species Richness Across Wet Tropical Tree Floras, Timothy R. Baker, Stephen Adu-Bredu, Kofi Affum-Baffoe, Shin-Ichiro Aiba, Sophie Fauset, Perpetra Akite, Miguel Alexiades, Everton Almeida, Edmar Almeida De Oliveira, Esteban Alvarez Davila, Christian Amani, Ana Andrade, Luiz Aragao, Alejandro Araujo-Murakami, Eric Arets, Luzmila Arroyo, Peter Ashton, Suspense A. Averti Ifo, Gerardo A. C. Aymard, Michel Baisie, William Balee, Michael Balinga, Lindsay F. Banin, Olaf Banki, Christopher Baraloto, Jorcely Barroso, Hans Beeckman, Jean-Francois Bastin, Serge Begne, Natacha Nssi Bengone

School of Geography, Earth and Environmental Sciences

Understanding how the traits of lineages are related to diversification is key for elucidating the origin of variation in species richness. Here, we test whether traits are related to species richness among lineages of trees from all major biogeographical settings of the lowland wet tropics. We explore whether variation in mortality rate, breeding system and maximum diameter are related to species richness, either directly or via associations with range size, among 463 genera that contain wet tropical forest trees. For Amazonian genera, we also explore whether traits are related to species richness via variation among genera in mean species-level range …

Motor Pool Selectivity Of Neuromuscular Degeneration In Type I Spinal Muscular Atrophy Is Conserved Between Human And Mouse, Christopher E Henderson

Faculty, Staff and Students Publications

Spinal muscular atrophy (SMA) is caused by low levels of the survival motor neuron (SMN) protein. Even though SMN is ubiquitously expressed, the disease selectively affects motor neurons, leading to progressive muscle weakness. Even among motor neurons, certain motor units appear more clinically resistant to SMA. To quantitatively survey selective resistance, we studied extensive neuromuscular autopsies of Type I SMA patients and age-matched controls. We found highly divergent degrees of degeneration of neighboring motor units, even within individual cranial nerves or a single anatomical area such as the neck. Examination of a Type I SMA patient maintained on life support …

Teaching The Information Has Value Frame Through The Price Is Right, Kevin J. Reagan, Dawn ("Nikki") Cannon-Rech

Georgia International Conference on Information Literacy

When navigating library resources, students often remain unaware of the cost of information, particularly scholarly academic journal articles– and rightly so, given that the mission of the library is to provide patrons with free access to information. Part of the ACRL Framework, nevertheless, entails teaching students about issues with lack of information access, which can be difficult to teach in higher education, where students might have never lacked access to quality information sources. To teach students about the cost of information and the economic factors that prevent some from accessing information, two academic librarians integrated the Information Has Value Frame …

From The Stacks To Student Success: Understanding Faculty Perceptions Of Collection Management And Its Impact On Student Use Of Library Resources, Alyshia K. Bagley, Jessica L. Swaringen

Georgia International Conference on Information Literacy

Effective collection management is vital for a library’s ability to support the evolving needs of its academic community. Faculty engagement with library resources plays a crucial role in how students access and benefit from these collections. This research seeks to identify gaps between faculty understanding of collection management practices and their influence on student use of library resources.

This study will explore how faculty perceive collection management at GS Libraries, examining factors that shape their views and their subsequent impact on teaching, research, and collaboration with library staff. Following a review of existing literature, a survey containing quantitative and qualitative …

Engaging Students With Interdisciplinary Learning Community Project For Freshman Composition And Digital Media Students, Hsi-Ling Huang, Xin Xu

Georgia International Conference on Information Literacy

Studies have shown that Learning Communities have many benefits, including “[f]ostering workforce skills, encouraging problem-solving skills, and increasing retention and success” for both faculty and students (Dodge and Kendall, College Teaching, 2004). In this project, we created an interdisciplinary Learning Community Project that allowed a Freshman Composition (FC) course to pair with a Digital Media (DM) course (Sophomore students) for students to work on a mini magazine. Students in FC were writers whose tasks focusing on writing and researching, whereas students in DM were copy editors whose tasks focusing on graphic design and layout. The goal was for students …

Wrestling Mania, Jewell Fine

Lorgnette: Quarterly Review of Children's and Young Adults' Books

No abstract provided.

Windy Night With Wild Horses, Jewell Fine

Lorgnette: Quarterly Review of Children's and Young Adults' Books

No abstract provided.

The Spice Box, Laura Baker

Lorgnette: Quarterly Review of Children's and Young Adults' Books

No abstract provided.

What's New, Daniel?, Leah D. Carruth

Lorgnette: Quarterly Review of Children's and Young Adults' Books

No abstract provided.

The Revenant Games, Ashley O'Quin

Lorgnette: Quarterly Review of Children's and Young Adults' Books

No abstract provided.

The Shape Of Things: How Mapmakers Picture Our World, Shan Martinez

Lorgnette: Quarterly Review of Children's and Young Adults' Books

No abstract provided.

The Iguanodon's Horn: How Artists & Scientists Put A Dinosaur Back Together Again & Again... & Again!, Pam Blake

Lorgnette: Quarterly Review of Children's and Young Adults' Books

No abstract provided.

The Racc Pack, Ashley O'Quin

Lorgnette: Quarterly Review of Children's and Young Adults' Books

No abstract provided.

Sunny Days: A First Look, Jewell Fine

Lorgnette: Quarterly Review of Children's and Young Adults' Books

No abstract provided.

The Elephant And The Sea, Pam Blake

Lorgnette: Quarterly Review of Children's and Young Adults' Books

No abstract provided.

Sometimes We Fall, Laura Baker

Lorgnette: Quarterly Review of Children's and Young Adults' Books

No abstract provided.

Somewhere In Between, Laura Baker

Lorgnette: Quarterly Review of Children's and Young Adults' Books

No abstract provided.

Perla The Mighty Dog, Erica Pye

Lorgnette: Quarterly Review of Children's and Young Adults' Books

No abstract provided.

Rise Of Pegasus, Jewell Fine

Lorgnette: Quarterly Review of Children's and Young Adults' Books

No abstract provided.

Orris And Timble: The Beginning, Jewell Fine

Lorgnette: Quarterly Review of Children's and Young Adults' Books

No abstract provided.

Paper Dragons: The Fight For The Hidden Realm, Ashley O'Quin

Lorgnette: Quarterly Review of Children's and Young Adults' Books

No abstract provided.