Anthem 2.0: Automated Reasoning For Answer Set Programming, Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Christoph Glinzer, Jan Heuer, Torsten Schaub, Tobias Stolzmaan, Vladimire Lifschitz

Computer Science Faculty Publications

ANTHEM 2.0 is a tool to aid in the verification of logic programs written in an expressive fragment of CLINGO ’s input language named MINI-GRINGO, which includes arithmetic operations and simple choice rules but not aggregates. It can translate logic programs into formula representations in the logic of here-and-there and analyze properties of logic programs such as tightness. Most importantly, ANTHEM 2.0 can support program verification by invoking first-order theorem provers to confirm that a program adheres to a first-order specification or to establish strong and external equivalence of programs. This paper serves as an overview of the system’s capabilities. …

Anylogic-Based Platform-Enterprise Collaborative Scheduling Simulation System For Cloud Manufacturing, Linxuan Wang, Yongkui Liu, Lin Zhang, Tingyu Lin, Lihui Wang

Journal of System Simulation

Abstract: Aiming at the lack of research on collaborative scheduling between a cloud manufacturing platform and associated enterprises, as well as the lack of simulation systems to simulate scheduling strategy combinations and to visualize dynamic scheduling processes, a simulation system that supports visualization of cloud manufacturing platform-enterprise collaborative dynamic scheduling processes is designed and developed. System requirements are analyzed in detail, and then a scalable platform-enterprise collaborative scheduling model and system functional architecture based on hierarchical multi-agents is proposed. Combined with a case of supply chain of industrial robots, considering random selection, time optimal strategy in the cloud manufacturing …

Digital Twin Modeling Method For Bulk Cargo Stacks Based On 2d Lidar, Houjun Lu, Yifei Zhu, Yanping Rong, Wanghui Zhang

Journal of System Simulation

Abstract: Due to the characteristics of large equipment, harsh working environment and time-varying shape of the material pile in bulk cargo terminal, there are some disadvantages such as low data accuracy and poor stability when building the storage yard model, which affects the unmanned and intelligent operation control. In this paper, we use two-dimensional laser radar combined with equipment mechanism motion to scan material pile point cloud data, present a digital twin modeling method for bulk storage yard, which includes static scene construction of storage yard and real-time modeling of material pile. Prefabricated models are used for the static scenes …

Control Strategy For Uav Cluster Formation Rendezvous Based On Lde-Maddpg Algorithm, Wei Xiao, Jiabo Gao, Xueliang Ke

Journal of System Simulation

Abstract: To solve the problem of difficulty in UAV cluster formation rendezvous based on MADDPG algorithm, an autonomous collaborative control strategy based on LDE-MADDPG algorithm is proposed. To address the issues of weak generalization, poor scalability, and slow cluster training process of MADDPG algorithm, LDE-MADDPG algorithm was proposed by designing a state feature learning network and a decoupled Critical network. By integrating LDE-MADDPG algorithm with strategy generation elements such as the decoupled reward function, cluster state space, and UAV action space, a control strategy for UAV cluster formation endezvous that can adapt to diverse formations and varying quantities has been …

Nigerian Immigrant Mothers’ Parenting Style In Supporting Academic Achievement In Their Children, Ganiyat Olasumbo Saidu

Walden Dissertations and Doctoral Studies

Supporting their children’s academic activities while navigating the socioeconomic norms of the new system continues to be a significant challenge for most immigrant parents in urban areas of the United States. However, there is inadequate literature on the parenting behaviors used by Nigerian immigrant parents to support their children’s academic achievement. The purpose of this qualitative study was to understand how Nigerian immigrant mothers describe the parenting styles that support their children’s academic achievement. The theoretical framework for this study was Bandura’s (1977) social cognitive theory and Baumrind’s (1966) theory of parenting styles. For this basic qualitative study, the population …

Spartan Daily, September 18, 2025, San Jose State University, School Of Journalism And Mass Communications

Spartan Daily, 2025

Volume 165, Issue 12

Spartan Daily, September 23, 2025, San Jose State University, School Of Journalism And Mass Communications

Spartan Daily, 2025

Volume 165, Issue 12

Ws-Fall: Fall Detection Attention-Based Approach Using Wifi And Inertial Data Modalities, Alaa Elmor, Bilal Arain

Sustainable Machine Intelligence Journal

According to the World Health Organization, 37 million falls occur every year which leads to sever injuries that require medical intervention. In addition, more than 600,000 people end up dying due to falls making them the second cause of accidental injury fatalities worldwide. Specifically, the elderly are more prone to fatal falls. Therefore, fall detection systems are needed to allow medical professionals to intervene in such cases. Various wearable and non-contact fall detection devices have been developed recently. Since non-contact Wi-Fi-based methods are widely available and non-intrusive, they are gaining popularity. In this paper, we propose a state-of-the-art fall detection …

The Grizzly, September 18, 2025, Renee Washart, Sidney D. Belleroche, Sophia Kumar, Adam Denn, Hadley Whitman, Jesse Cherone

Ursinus College Grizzly Newspaper, 1978 to Present

Talking Greek Life With Maggie Diaz '28 • Best Booth in Sports? Ursinus's! • Are Ursinus Bears Going Extinct? An Enrollment Analysis • APEX Hub Spotlight: Sports! • The Making of Out! Just Over the Line • Ursinus Does Got Talent • Place and Chase: The Ursinus Field Hockey Ball Boys • A Fanatical Visit to 97.5

Leading Through Crisis: Lessons In Leadership From New Jersey Administrators During The Covid-19 Pandemic, Alicia Subervi

Seton Hall University Dissertations and Theses (ETDs)

ABSTRACT

This qualitative comparative case study examined the lived experiences of building- and district-level administrators in a single New Jersey school district as they navigated the unprecedented challenges of the COVID-19 pandemic. The study explored how administrators perceived and responded to disruptions, how responses evolved over time, lessons learned, and the ways these insights are being applied in schools today. Data were collected from demographic and technology surveys, two rounds of semi-structured interviews, and a targeted review of district documents. Analysis was conducted using a combination of a priori and emergent coding to identify 27 codes organized into nine overarching …

Editorial: Wearable Technology: The New Ornament Of Network Physiology, Ankita Srivastava, Santosh Kumar Yadav

Department of Pathology, Anatomy, and Cell Biology Faculty Papers

Introduction: The landscape of personal health monitoring is rapidly transforming, driven by advances in wearable technology. These devices, designed to be worn comfortably on the body, can capture real-time physiological data often difficult to obtain in traditional clinical settings. What began as a simple device for activity trackers for walking steps, heart rate, and blood oxygen saturation has evolved to play a crucial role in monitoring more complex physiological parameters critical for chronic disease management and preventative health.

The integration of artificial intelligence (AI) is further expanding the potential of wearable devices, enabling deeper analysis and predictive modeling of the …

Political Violence In America: Turning Point Or Flashpoint?, Alan Saquella

Publications

The murder of right-wing activist Charlie Kirk reignited an old debate in the United States: Are we approaching a turning point in political violence, or is this simply another flashpoint in a long, uneven history of partisan conflict?

Political scientists and commentators appear divided. Some warn of a spiraling wave of tit-for-tat violence, fueled by incendiary rhetoric and amplified by online echo chambers. Others emphasize that such acts are rare, often the work of lone actors rather than coordinated movements, and that the broader public overwhelmingly rejects violence as a political tool.

For security professionals, the challenge is not to …

Research On Real-Time Cgf Maneuvering State Generation Method Based On Random Finite Set, Xiaoyan Zhang, Ge Li, Peng Wang

Journal of System Simulation

Abstract: With the rapid development of sensor networks and other technologies, the acquisition of measurement data in the real physical space has become easier. How to utilize the measurement data from the real battlefield space to improve the accuracy and credibility of CGF simulation is the key issue to realize the CGF simulation combining virtual and real. The method is studied of using real measurement data to generate CGF model maneuvering state data in real time, in order to realize the virtual-real synchronization and real-time mapping between the real battlefield and CGF simulation system, and to provide environmental inputs for …

Benefit Distribution Optimization Model And Simulation For Multi-Mode Operation Of Industrial Software Platforms, Rongyu Guo, Xiaobin Li, Pei Jiang, Chuanjiang Li, Shanhui Liu, Jun Ma

Journal of System Simulation

Abstract: Industrial software service platforms, characterized by low-cost investment, customized services, and rapid application deployment, have been widely adopted in small and medium-sized industrial clusters. The benefit distribution mechanism under multi-mode operation is crucial to the sustainable development of such platforms. To address the current challenges of single-operation models and the difficulty in adapting to diverse service scenarios, this study focuses on two core stakeholders that users and software developers to analyze the core service components and cooperation mechanisms of industrial software service platforms in a multi-mode operational environment. By integrating the function point method, a multi-mode user demand quantification …

Mymoney: A Program That Leverages Digital And Artificial Intelligence Tools For Improving The Financial Wellbeing Of Hispanic Families, Luisa Blanco, Kamila Campos, Jessica Gonzalez, Jorge Macias

School of Public Policy Working Papers

Abstract: Our Community-Based Digital Intervention (CBDI) MyMoney was designed to meet the informational needs and promote behavioral change among Hispanic adults. We leverage Digital and Artificial Intelligence (DAI) tools to provide participants access to content that is linguistically and culturally tailored and structured to be delivered in short, accessible modules. MyMoney program provided an introductory experience to financial education with a mobilephone based approach, offering a four-week experience for improving money management skills. We conducted an extensive quantitative and qualitative data analysis of participants’ and stakeholders’ program experience and perspectives, which provides important insights for the design, evaluation, and implementation …

September 2025 Academic Affairs Minutes, University Of Nebraska At Kearney Academic Affairs Committee

Academic Affairs Committee Minutes

No abstract provided.

Early Blood Pressure Targets In Acute Spinal Cord Injury: A Randomized Clinical Trial, Ruba Sajdeya, N. David Yanez, Michael Kampp, Michael D. Goodman, David Zonies, Brandon Togioka, Andrew Nunn, Robert D. Winfield, Niels D. Martin, Anirudh Kohli, Toan T. Huynh, David O. Okonkwo, Roy A. Poblete, Emily J. Gilmore, Randall M. Chesnut, Aaron E. Bunnell, Tetsu Ohnuma, Mona Hashemaghaie, Miriam M. Treggiari

Department of Surgery Faculty Papers

IMPORTANCE: Early blood pressure management is central to neurologic resuscitation of spinal cord injury; however, the role of augmented blood pressure is unclear.

OBJECTIVE: To compare the efficacy and safety of augmented vs conventional blood pressure on 6-month neurologic outcomes after acute spinal cord injury.

DESIGN, SETTING, AND PARTICIPANTS: This multicenter randomized clinical trial took place from October 3, 2017, to July 26, 2023, and assessed patients 18 years or older with spinal cord injury followed up for 6 months at 13 large US trauma centers.

INTERVENTIONS: Patients were equally randomized to augmented (>85-90 mm Hg) or conventional ( …

September 2025 Cafe Newsletter, Elizabeth Reardon

CAFE Faculty Newsletters

Center for Advancing Faculty Excellence (CAFE) newsletter Sept. 2025.

Allosteric Control Overcomes Steric Limitations For Neutralizing Antibodies Targeting Conserved Binding Epitopes Of The Sars-Cov-2 Spike Protein: Exploring The Intersection Of Binding, Allostery, And Immune Escape With A Multimodal Computational Approach, Mohammed Alshahrani, Vedant Parikh, Brandon Foley, Gennady M. Verkhivker

Mathematics, Physics, and Computer Science Faculty Articles and Research

Understanding the atomistic basis of multi-layer mechanisms employed by broadly reactive neutralizing antibodies of the SARS-CoV-2 spike protein without directly blocking receptor engagement remains an important challenge in coronavirus immunology. Class 4 antibodies represent an intriguing case: they target a deeply conserved, cryptic epitope on the receptor-binding domain yet exhibit variable neutralization potency across subgroups F1 (CR3022, EY6A, COVA1-16), F2 (DH1047), and F3 (S2X259). The molecular basis for this variability is not fully understood. Here, we employed a multi-modal computational approach integrating atomistic and coarse-grained molecular dynamics simulations, binding free energy calculations, mutational scanning, and dynamic network analysis to elucidate …

Arbuscular Mycorrhizal Fungi As Key Drivers Of Plant Resilience: Mechanisms Of Stress Adaptation In Saline Environments, Rayna Elizabeth Koberstein

Dissertations and Theses

Arbuscular mycorrhizal fungi (AMF) play a critical role in mediating plant responses to environmental stress, yet their ecological significance in saline wetland restoration remains underexplored. This greenhouse experiment investigated the effects of salinity, root-zone barrier type (solid, mesh, none), and neighboring species identity on AMF colonization and physiological responses in three native estuarine plants: Carex densa, Juncus patens, and Scirpus microcarpus. Results demonstrated species-specific physiological responses to salinity, with Juncus patens showing greater resilience in maintaining photosynthetic efficiency (Fv/Fm) and percent cover at higher salinity levels, while Scirpus microcarpus exhibited a significant decline. Mesh barriers, which permitted …

September 18, 2025, James Madison University

The Breeze, 2020-

The Breeze is the student newspaper of James Madison University in Harrisonburg, Virginia.

Artificial Intelligence And Collaborative Learning: Impacts On Creativity, Critical Thinking, And Problem-Solving, Abderrahim Agnaou, Hayat El Asri

Journal of Educational Research and Practice

The rapid development of large anguage models (LLMs) has sparked growing interest in their potential to transform education. This study explores how LLMs influence collaborative learning, focusing on student creativity, critical thinking, problem-solving, and collective intelligence. Specifically, it investigates whether artificial intelligence (AI)–assisted group work enhances or hinders these aspects of the learning process. We used a mixed-methods approach, combining quantitative and qualitative data from surveys, structured interviews, and analysis of student project outputs. We collected data from 102 undergraduate students via questionnaires and 15 follow-up interviews, which offered deeper insight into their experiences using LLMs in team-based projects. The …

Seeing Google At 25, Paul A. Soukup S.J.

Communication Research Trends

Seeing Google at 25

1. History . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

A. Fits and starts to dominating the world . . . . . 5

2. Google in the Eyes of Scholars: Google Services 8

A. Digital library . . . . . . . . . . . . . . . . . . . . . . . . . 8

B. Google Earth and Google Maps . …

Managing Digital Visibility, Ben Medeiros

Communication Research Trends

No abstract provided.

Anemia Is Never The Diagnosis: Autoimmune Hemolytic Anemia As A Herald Of Late-Onset Systemic Lupus Erythematosus, Alhasan Asaad, Dixie Duran, Cristina Duran-Nesovic, Jose E. Campo Maldonado

Research Colloquium

Background: Systemic lupus erythematosus (SLE) is a chronic autoimmune disorder characterized by multisystem involvement and a highly variable clinical presentation. It predominantly affects women of childbearing age and arises from complex interactions between genetic, environmental, and hormonal factors, resulting in immune dysregulation and widespread inflammation. The disease can manifest in nearly any organ system, with common presentations including skin rashes, arthritis, renal dysfunction, and hematologic abnormalities. Despite advances in understanding its pathogenesis and management, SLE remains a diagnostic and therapeutic challenge due to its heterogeneous nature and potential for severe complications. This case report highlights a unique presentation of SLE, …

Refractory Neutropenic Fevers In Aml: Unmasking Voriconazole-Resistant Invasive Aspergillosis, Abdel Martinez Borrego, Sahir Bhatti, Cesar Gutierrez

Research Colloquium

Background: Persistent fever in neutropenic patients with acute myeloid leukemia (AML) often raises concern for invasive fungal infections (IFIs), especially when unresponsive to broad-spectrum antibiotics and first-line antifungal agents like voriconazole. Invasive aspergillosis (IA), primarily caused by Aspergillus fumigatus, is a major cause of morbidity and mortality in this population, with mortality rates exceeding 50% in refractory cases. The emergence of azole-resistant Aspergillus, now reported in up to 10–15% of isolates in some regions, has complicated management. Patients may present with nonspecific symptoms such as persistent fevers, as well as concerning findings like cutaneous lesions—a clue to hematogenous spread—and …

Stream Temperature Responses To Summer Urban Rain Events Along The Savannah River, Joseph E. Wermter, Vivian L. Turner, Max K. Appelbaum, James M. Shepherd, Jacob Z. Lott

Journal of South Carolina Water Resources

The hydrological urban heat island (HUHI) is a recent facet of the urban heat island (UHI), describing thermal enhancement of bodies of water in response to urbanization. Although the forefront of this work has been studied for large Metropolitan areas, this effect on developing cities is currently unknown. To locally measure and quantify HUHI effects in a developing city, we utilized Multi-Radar Multi Sensor (MRMS) radar-derived rainfall data to estimate rainfall in the Augusta Metropolitan Area (AMA) and the Savannah Metropolitan Area (SMA), two developing communities adjacent to the Savannah River. We analyzed mean temperature trends of two stream gauges …

Contextual Analysis Of Physical-Tactical Match Performance Demands In Elite U21 Soccer Players, Craig Davies, Christian Vassallo, Ben Ryan, Piotr Zmijewski, Rafael Oliveria, José E. Teixeira, Alexandre Moreira, Ryland Morgans

Baltic Journal of Health and Physical Activity

Background: Soccer matches include physical and tactical factors, yet limited research has integrated physical-tactical variables involving U21 soccer players. This study examined how different phases of play influence physical intensity in elite U21 soccer players. Materials and Methods: Twelve professional development league matches involving 29 male U21 soccer players (106 observations) were analysed. Players wore 10 Hz GPS units to derive relative (m/min) physical metrics during six phases of play. Phases and positions were compared using repeated‑measures ANOVA and one‑way ANOVA. Results: Players covered significantly greater high-speed running per minute (HSR/min) during the final third compared to build-up (p …

Beyond Description: Interrogating Narrative Elements In Archival Finding Aids, David J. Williams, Richard Kearney

Journal of Contemporary Archival Studies

As the archival profession evolves, attention is increasingly paid to the usability of its resources and services. User Experience, or UX, is a contemporary design practice gaining prominence among archivists interested in addressing usability. Information design, the process of organizing and presenting information for efficient and effective use, is a component of UX incorporating both the presentation and content of communication instruments, with plain language writing guidelines applied toward achieving this goal. A prominent information artifact produced by archivists is the finding aid, describing and inventorying archival collections. Those components of finding aids providing “access points” into collections—communicating the …

Associations Among Trauma Exposures, Workplace Factors, And Distress Responses In Archivists, Cheryl Regehr, Wendy Duff, Rachael Lefebvre

Journal of Contemporary Archival Studies

A growing body of research addresses the emotional impact on archivists from working directly with materials that contain depictions of human suffering and from working with researchers and donors whose own lives are depicted in the records. This study sought to determine the impact of exposures to potentially traumatizing events and ongoing work stressors on symptoms of post-traumatic stress and burnout in archivists, as well as whether organizational factors, including trauma-informed practices, are associated with levels of post-traumatic stress and burnout. Seventy-seven archivists participated in a web-based survey. Findings reveal moderate to strong associations between a variety of potentially distressing …