Digital Commons Network^™

Polyqent: A Polynomial Quantified Entailment Solver, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, Dorde Zikelic

Research Collection School Of Computing and Information Systems

Polynomial quantified entailments with existentially and universally quantified variables arise in many problems of verification and program analysis. We present PolyQEnt which is a tool for solving polynomial quantified entailments in which variables on both sides of the implication are real valued or unbounded integers. Our tool provides a unified framework for polynomial quantified entailment problems that arise in several papers in the literature. Our experimental evaluation over a wide range of benchmarks shows the applicability of the tool as well as its benefits as opposed to simply using existing SMT solvers to solve such constraints.

Fall 2025, John M. Pfau Library

Peacock – John M. Pfau Library Newsletter

In this Issue:

• From Tokyo to California pgs. 1 & 2
• Congratulations, Dr. Higgins! p. 2
• More Than 100,000 Streaming Videos p. 2
• CSUSB Libraries Launch Digital Exhibits pgs. 3 & 4
• Guest Speaker Author of Banned Graphic Novel p. 4
• The Thesis Digitization Project is Complete! p. 5
• Chess Club Tournament pgs. 6 & 7
• Banned Books in Library History p. 7
• New Databases pgs. 8 & 9
• Classifieds With Books p. 9

Ready For A Theology Of The Mind? Faith Response To The Mental Health Crisis, Ramil R. Marcos, Phil Nielsen G. Galvez

Loyola Papers

This article argues for the urgent development of a “theology of the mind” as a pastoral and theological response to the growing mental health crisis in the Philippines. This timely study highlights the systemic problems surrounding this important concern, such as limited access to professional help, cultural stigma, poverty, and inadequate government facilities. The paper draws from Scripture, Church teaching, papal pronouncements, and local initiatives to show that mental health struggles are not alien to Christian life but resonate deeply with biblical figures, the life of Christ, and the Church’s mission of compassion. Among its unique contributions is the proposal …

Progress In Progressive Pulmonary Fibrosis, Jesse Roman

Rothman Institute Papers

No abstract provided.

Fall 2025: Antimatter

The Weldon Times

A student-run publication from the Schulich School of Law at Dalhousie University.

Co-Editors in Chief: Kimberly Gilson, Carleigh MacKenzie

Fcrh Honors Program: Fall 2025 Program Highlights, Fcrh Honors Program

FCRH Honors Program Newsletters and Reports

No abstract provided.

¿Soy Bilingüe? ¡Soy Bilingüe!: How Bilingual Proficiency Influences Code Switching, Natalie S. Cortez , '26

Senior Theses, Projects, and Awards

No abstract provided.

Topical Themes And Sentiment Analysis Of Social Media Posts Surrounding Book Bans During Banned Books Week 2024-2025, Jin-A Choi, Lauren Nicosia, Bond Benton, Yi Lou

College of Communication and Media Scholarship and Creative Works

Every year, the American Library Association (ALA sponsors “Banned Books Week” as an opportunity to celebrate free expression and open access to information. In articulating the importance of the event, the ALA states the following:

Banned Books Week was launched in 1982 in response to a sudden surge in the number of challenges to books in libraries, bookstores, and schools. Held in the last week of September or first week of October, the annual event highlights the value of free and open access to information and brings together the entire book community — librarians, educators, authors, publishers, booksellers, and readers …

Breastfeeding In Indonesia On The Rise, But Mothers Need More Support

Saudi Medical Journal

No abstract provided.

Pleasure & Pain In Intellectual Property, Andrew Gilden

William & Mary Law Review

Intellectual property produces pleasure. IP laws incentivize investment in popular culture, helping to ensure the viability of entertainment industries and the steady production of our favorite shows, cherished brands, and beloved celebrities. Across IP-heavy industries, creators cite the joy of writing, composing, coding, and experimenting as a motivation for countless hours in the office, studio, or lab. Nonetheless, in a broad range of settings, and across several areas of IP, courts have responded with hostility to personal accounts of pleasure in IP disputes. When a defendant admits to using IP because they are fans of the plaintiff, or because they …

Venezuelan Migrants In Prostitution: A Personal Decision?, Yazmin Maria Lucila Cadena Camargo, Izara Maite Mondragon Moreno, Isabela Osorio Jaramillo, Paula Angélica Suárez Álvarez, Andrés Duarte Osorio, Carlos Gómez-Restrepo

Dignity: A Journal of Analysis of Exploitation and Violence

This paper explores the multifaceted experiences of Venezuelan migrant women engaged in prostitution, framed through three critical moments: the “decision to enter in prostitution,” the unique abuses faced, and the resultant consequences on mental, physical, and social health. The study highlights how socioeconomic vulnerabilities—exacerbated by migration and poverty—significantly influence the likelihood of entering prostitution. It also shows how traumatic experiences, particularly in childhood and adolescence, coupled with a lack of support networks, contribute to a heightened risk of exploitation. Eleven life stories were collected through a phenomenological approach, revealing a common narrative of abuse, poverty, and the search for survival …

Adipose Tissue Estrogen Receptor-Alpha Overexpression Ameliorates High-Fat Diet–Induced Adipose Tissue Inflammation, Marion C. Hope, Christian A. Unger, M Chase Kettering, Cassidy E. Socia, Ahmed K. Aladhami, Barton C. Rice, Darya S. Niamira, Ben P. Wiznitzer, Diego Altomare Ph.D., William E. Cotham, Reilly T. Enos

Faculty Publications

Context

We created an innovative mouse model that enables inducible overexpression of estrogen receptor-alpha (ERα), specifically in adipose tissue (Adipo-ERα↑). Objective

We aimed to investigate how elevated Adipo-ERα↑ influences the development of high-fat diet (HFD)-induced obesity in both male and female mice. Methods

Male and female Adipo-ERα↑ mice and littermate controls were fed a low-fat diet (LFD) or HFD for 13 weeks. Adipo-ERα↑ was induced at the initiation of dietary treatment. Body morphology and composition, hepatic lipid accumulation, glucose tolerance, fasting insulin concentrations, and adipose tissue mRNA profiling were assessed. Liquid chromatography–mass spectrometry was used to determine circulating and adipose …

Effects Of Group Socialization Programming On Pain, Social Isolation And Loneliness In Rheumatoid Arthritis, Tina Zheng

Occupational Therapy Student Scholarship

Capstone poster presentation from the The Minute Thesis Competition on Binghamton University Campus.

Sensory Processing Education For Substance Use Prevention, Brenna Destefano

Occupational Therapy Student Scholarship

Capstone poster presentation from the The Minute Thesis Competition on Binghamton University Campus.

2025 (Fall) Ensi Informer Magazine, Morehead State University. Engineering Sciences Department

ENSI Informer Magazine Archive

The ENSI Informer Magazine published in the fall of 2025.

The Rash After The Remedy, Elaine Chen, Nicholas Nelson

Abstracts, Posters, Presentations

No abstract provided.

Teachers' Competence In Teaching Twice- Exceptional Students In The Sultanate Of Oman, Ahmad “Mohammad Jalal” Al-Fawair

Journal of Educational and Psychological Studies

The current study aimed to determine the level of teachers’ competence in teaching twice-exceptional students in the Sultanate of Oman. To achieve this aim, a Teachers’ Competence Scale for Teaching Twice-Exceptional Students was developed. The study sample included (150) teachers who teach twice-exceptional students. Results revealed that the overall level of teachers’ competence in teaching twice-exceptional students in Sultanate of Oman was moderate, as well as in the dimensions of collaboration and teaching strategies, while it was low in the dimensions of interaction and classroom management. Results also indicated that gender had no significant effect on teachers’ competence levels neither …

The Relative Contribution Of Career Sustainability To The Psychological Well-Being Of Teachers In Syrian Refugee Camps In Light Of Some Variables, Ahmad Mohammad Sulieman Bani Khalid, Omar Atallah Ali Al-Adamat

Journal of Educational and Psychological Studies

The study aimed to identify the level of both Career Sustainability and psychological well-being among teachers in Syrian refugee camps, and the relative contribution of Career Sustainability to psychological well-being. The study sample consisted of 282 teachers (138 males, 144 females) from the Syrian refugee camp in Jordan, selected by convenience sampling. To achieve the objectives of the study, the researchers used (Chin et al., 2022) scale of Career Sustainability and (Anyamesem-Poku & Parmar., 2024) scale of teachers’ psychological well-being after ensuring reliability and validity. The results of the study indicated that the overall level of Career Sustainability was (high) …

The Role Of Scientific, Critical, And Creative Thinking Skills In Equipping Students With Problem-Solving Skills: A Field Study Among A Sample Of Sultan Qaboos University Students, Noureddine Chebbi, Wafa Al Mamaria, Suleiman Zakaria

Journal of Educational and Psychological Studies

The ability to think scientifically, critically, and creatively is essential for students to meet the challenges of the Fourth Industrial Revolution. The current study sought to assess the sources and level of acquisition of scientific, critical, and creative thinking skills by Sultan Qaboos University students, and to determine the impact of these skills on their problem- solving abilities. The study random sample consisted of 384 male and female students selected from all colleges of Sultan Qaboos University. Study data was collected automatically via an electronic platform specifically developed for the study. Descriptive and correlational analyses were used to assess skill …

In-Patients Views Regarding Communication Skills Among Medical Students, Luma Mohammed, Nibras Hussain, Zeena Mahdi

Iraqi Postgraduate Medical Journal

Background :The competence of the physician is determined not only by scientific and clinical knowledge, but also by excellent communication skills to ensure optimal doctor –patient interactions. Study objectives: To investigate patient views and satisfaction regarding communication skills of medical students and to find out the association of patients satisfaction with some sociodemographic features of them.Methodology: cross sectional study with analytic component was carried out at "Al-Imamain Al-Kadhmain Medical City" during March-May 2022 on admitted patients from different wards.Results: The study involved 314 patients from different wards in the hospital, 52% of patients was in the age group 30-60 years, …

Psychological Impact And Severity Condition During The Coronavirus (Covid-19) Pandemic Among The General Population In Iraq, Kawthar Nassir, Zainab Qasim, Nesif Al-Hemiary, Zahraa Al Nedawi

Iraqi Postgraduate Medical Journal

Background: the COVID-19 pandemic is a global healthcare crisis that impacts multiple body systems and is linked to various psychiatric issues.Objective: this study aims to assess psychological symptoms, sleep disturbances, and insomnia associated with infection by covid-19, examining the severity of these symptoms based on the perceived threat of infection. Patients and Methods: This observational, cross-sectional study of a convenient sample of patients, involved collecting medical data by distributing questionnaires under a psychiatrist’s supervision. The data included demographics, co-morbidities, disease severity, psychological measurements, treatment response, and prognosis. The questionnaires incorporated the Anxiety and Stress Scale, along with the Impact of …

Covering The Care: Hospital Consolidations Lead To Higher Healthcare Costs, Kimberly Persson, Deborah Fournier

All Materials

No abstract provided.

Judicial Enforcement Of Evidence Law, G. Alexander Nunn

Faculty Scholarship

The truth matters. At least it should. In the courtroom, truth can serve as the cornerstone of justice, liberating the innocent, vindicating victims, and holding the guilty to account. Indeed, truth is such a normative imperative that an entire legal discipline now focuses on fostering its discovery at trial—evidence law. By regulating both the reliability of proof and the rationality of cognitive inferences, evidence law seeks to help factfinders discern truth and reach an accurate verdict. And given the importance of that role, one might naturally assume that the strict enforcement of evidence law would be a legal mandate of …

The Sec Proposed Cybersecurity Infrastructure Rules And New Disclosure Requirements, Neal F. Newman, Lawrence J. Trautman, Brian Elzweig

Faculty Scholarship

In addition to regulation of securities market issuers, the Securities & Exchange Commission (SEC) is also responsible for regulation of those entities that provide the networks, either electronic or physical, that enable the functioning of our securities markets. On February 9, 2022, the Commission published a Release for Cybersecurity Risk Management for Investment Advisers, Registered Investment Companies, and Business Development Companies containing proposals that, if adopted, would establish a new cybersecurity incident reporting and disclosure regime and require registered investment advisers (“advisers”) and investment companies (“funds”) to implement policies and procedures designed to address cyber risks. The comment period for …

Traditional And Computational Canons, Eric H. Martinez

Faculty Scholarship

As part of the rise of modern textualism, dictionaries and linguistic canons have become a ubiquitous part of legal interpretation. One longstanding question is whether judges citing these tools sincerely attempt to follow the meaning of a text, or if their invocation is merely window-dressing for a preferred outcome. The practical significance of this question extends across all major doctrinal areas, and with the Supreme Court’s overturning of Chevron deference, its importance is only to grow, as courts are now instructed to use every tool at their disposal to resolve ambiguity when interpreting a law. This Article is the first …

Enhancing Workplace Nutrition: Development Of A Culturally-Tailored Nutrition Intervention Program To Improve Dietary Patterns, Habits, Nutrition Literacy, And Health Outcomes, J. Ryan, S. Agreda, Ashwini Wagle

Faculty Research, Scholarly, and Creative Activity

Nutrition intervention programs can improve dietary patterns, habits, and health outcomes in communities, but a long-term, integrative approach is essential for success. Barriers such as limited time, resources, lack of cultural sensitivity, and competing priorities hinder their effectiveness. Research highlights the importance of environmental support, particularly from peers and employers, in improving dietary habits and nutrition literacy.

Using the social ecological model framework for food and beverage intake, this program aims to develop a standardized approach to workplace nutrition interventions. The program, approved by the Institutional Review Boards at San Jose State University, will launch in Spring 2025. It incorporates …

Comparative Analysis Of Mineral Content In Plant-Based Milk Alternatives: Implications For Renal Patient Education, K. Mitchell, A. Widaman, Ashwini Wagle

Faculty Research, Scholarly, and Creative Activity

The plant-based milk alternative (PBMA) market is expanding rapidly, offering a diverse range of options. However, the mineral composition of PBMA varies significantly across brands and milk types, posing challenges in educating individuals with renal disease. This study aimed to quantify and compare key minerals of concern for renal patients in commercially available PBMA using inductively coupled plasma optical emission spectrometry.

PBMA products available in the San Francisco Bay Area were purchased from chain grocery stores in spring 2023 and early January 2024. A total of 134 unique PBMA products from 28 brands and 11 different milk-alternative sources were analyzed. …

Effectiveness And Assessment Of A Culturally-Tailored Carbohydrate Counting Tool For South Asians With Diabetes: A Practitioner’S Evaluation, Ashwini Wagle

Faculty Research, Scholarly, and Creative Activity

South Asians are at a higher risk for type 2 diabetes compared to many other racial and ethnic groups. Dietary patterns play a significant role and are a modifiable risk factor. This study aimed to evaluate a South Asian carbohydrate counting tool developed by the researcher, assessed by Registered Dietitians Nutritionists and Certified Diabetes Care and Education Specialists. Using nutrition communication theory and the transtheoretical model, the tool included a comprehensive list of commonly consumed South Asian foods and sample vegetarian and non-vegetarian meals (1800e2100 kcal). Sixty-five participants received the tool and a training slide deck. A 40-item questionnaire assessed …

Why Capping The House At 435 Is Unconstitutional, Anoo Dinesh Vyas

Penn State Law Review (2003 - Present)

No abstract provided.

Unravelling The Distinct Effects Of Vhl Mutations And Chromosome 3p Loss In Clear Cell Renal Cell Carcinoma: Implications For Prognosis And Treatment, Xiang Wang, Jian-Rong Li, Naail Raed Chowdhury, Lang Wu, Cheng Chao

Faculty, Staff and Students Publications

No abstract provided.