Mersin Üniversitesi

Werr Multi-Layer Algebraic Sieve & Vélu Isogeny Engine: 100% Conductor Certification (log N) and High-Rank Elliptic Curve Records on the NSF ICARM Leaderboard

This open-science research package presents the mathematical algorithms, verification certificates, and complete dataset of 230 high-rank elliptic curves over ℚ certified and permanently recorded on the official NSF Institute for Computer-Aided Reasoning in Mathematics (ICARM) El...

Temporal patterns of respiratory pathogen detection in southern Türkiye: a retrospective multiplex PCR study with pre- and post-earthquake comparisons

Respiratory pathogen epidemiology in southern Türkiye was evaluated during a period marked by post-pandemic changes and earthquake-related population movement. This study assessed temporal trends and pathogen distribution among patients tested using a multiplex respiratory panel...

Midwives’ awareness of climate change and sustainability

This cross-sectional study examined climate-change awareness and sustainability consciousness among midwives and the association between the two scale scores. From September to October 2023, 100 midwives working in maternity units at two hospitals in southern Türkiye completed an...

Machine-Certified Lean 4 Formalization of the General Divisor Theorem: Exact Density Correction under Residue Conditioning

We present an exhaustive, machine-certified formalization of the General Divisor Theorem (GDT) in the Lean 4 interactive theorem prover. Developed originally as a discrete analytic framework by thinkthoughts (2026), the General Divisor Theorem provides exact density corrections f...

Machine-Certified Formalization of the 24-Dimensional Niemeier Lattice A_8^3, K3 Hodge Duality and Umbral Moonshine

Complete machine-certified Lean 4 formal specification and exact Python algebraic verification oracle for the 24-dimensional even unimodular Niemeier lattice A83, its ternary glue code Gglue of order 27, du Val A8 singularity resolutions on complex K3 surfaces, and Umbral Moonshi...

Mimar Sinan Parkı Selçuklu Yapıları Yeniden Kullanım Projelerinin Özgünlük Kavramı Üzerinden Değerlendirilmesi

Bu çalışma, kültürel mirasın korunmasında özgünlük kavramını temel alarak Kayseri Mimar Sinan Parkı’nda yer alan Gevher Nesibe Tıp Kompleksi ile Avgunlu Medresesi’nin yeniden kullanım süreçlerini özgünlük bağlamında karşılaştırmalı olarak incelemektedir. Araştırma, Nara Özgünlük...

Prevalence and associated factors of potential postpartum depression among Turkish women and women under temporary protection in Mersin, Türkiye

Objective: The aim of this study is to investigate the prevalence of potential postpartum depression (PPD) and its associated factors among women who gave birth within the past year in Mersin, including those under temporary protection.Methods: This cross-sectional study was cond...

Distribution of lumbosacral transitional vertebrae subtypes and functional disability in patients with low back pain: A single-center retrospective study

Background Lumbosacral transitional vertebrae (LSTV) are a common congenital anomaly that often remain underrecognized in patients with low back pain (LBP), potentially leading to inappropriate management and disability. Objective To determine the prevalence and distribution of L...

Effects of dental material-induced artifacts on signal-to-noise ratio (SNR) and contrast-to-noise ratio (CNR) in CBCT: an ex vivo study

This ex vivo study aimed to evaluate the material-dependent effects of a high metal artifact reduction (MAR) algorithm on quantitative cone-beam computed tomography (CBCT) image-quality parameters assessed using signal-to-noise ratio (SNR) and contrast-to-noise ratio (CNR). Nine...

Treatment-specific prediction of stone-free outcomes after SWL and RIRS using machine learning

Predicting treatment success after shock wave lithotripsy (SWL) and retrograde intrarenal surgery (RIRS) remains challenging. We aim to develop and validate treatment-specific machine learning models for predicting short-term stone-free outcomes following shock wave lithotripsy (...

Impact of long-acting injectable antipsychotic treatment on clinical course and hospitalization outcomes in patients with bipolar disorder: a comparative mirror-image study

Long-acting injectable (LAI) antipsychotics may improve treatment adherence and reduce relapse risk in bipolar disorder (BD); however, comparative real-world data on different LAI agents remain limited. This study aimed to evaluate the effectiveness of aripiprazole once-monthly (...

Pregnant women's preferred mode of childbirth and hospitals' readiness to support vaginal birth: the case of Cankiri province

The present study assessed birth mode preferences among 248 pregnant women at Cankiri State Hospital, Turkey, and found that 50.4% preferred vaginal delivery while 39.1% preferred caesarean section. Most participants (77.8%) were first-time mothers. Maternal age, obstetric histor...

Machine-Checked Computational Group Theory in Lean 4: Operational Schreier-Sims Stabilizer Chains, BSGS Sifting, and Backtrack Ordered Partitions

gap-lean4-port (Release v0.2.0): Formally Machine-Checked Computational Group Theory in Lean 4 and Mathlib4 This repository and research package contains the complete, standalone formalization of foundational computational discrete algebra and permutation group algorithms verifie...

Beyond The Empathy Machine: Embodiment, Representation Ethics and Empathic Effect in VR

Purpose: This study examines the capacity of virtual reality to generate empathy through a comparative analysis of Body of Mine and MAYA: Birth of a Superhero. It argues that virtual reality (VR) should not be understood as an automatic “empathy machine,” but as a medium in which...

Unitary Black Hole Page Curve Reconstruction via Wormhole Error-Kernel Invariants: Non-Dissipative State Preservation, 40-Core Bare-Metal Telemetry, and Formal Verification

Version 3.0 Major Theoretical Upgrade & Extended Monograph (12 Pages, Formal Lean 4 Verification, Exact GKP Unitarity, and Kerr Polar Collimation) This monograph presents an exact, unitary, and non-dissipative resolution to the black hole information paradox and the AMPS firewall...

Real-World Broadband Light Treatment Strategies and Early Treatment Response in Facial Vascular Lesions: A Retrospective Observational Study

Broadband light (BBL) therapy is increasingly used for the treatment of facial vascular lesions; however, real-world data regarding individualized treatment strategies and factors associated with treatment outcomes remain limited. This study aimed to evaluate real-world BBL treat...

Standards for practical management of drug hypersensitivity reactions to intravenous drugs and proactive early allergy involvement before referral: A WAO Statement

Hypersensitivity reactions to intravenous therapies—including antibiotics, chemotherapeutics, biologics, anesthesia agents, and contrast media—pose significant challenges in acute care settings. These reactions often occur outside the purview of allergy specialists, leading to de...

Real-world effectiveness of pangenotypic direct-acting antivirals in chronic hepatitis C

The aim of this study was to evaluate virological response, biochemical changes, and treatment tolerability in patients with chronic hepatitis C receiving pangenotypic direct-acting antiviral (DAA) therapy. The study included patients with chronic hepatitis C virus infection foll...

Biochemical Endocrine and Skeletal Findings in Adults with Fabry Disease: A Descriptive Single-Center Study

Background: Endocrine and skeletal findings have previously been reported in Fabry disease (FD), but their interpretation alongside Fabry-specific biochemical markers and multiorgan disease burden remains uncertain. This study descriptively characterized biochemical endocrine fin...

Universal Fractal Natural Language Decision Map: Real-Time Edge Triage Across Heterogeneous Domains

Abstract: Modern automated computing systems increasingly deploy Large Language Models (LLMs) to resolve runtime operational triage, incurring prohibitive latency (>100–500 ms), severe memory allocation (>4–8 GB VRAM), and high thermodynamic dissipation. Extending the foundationa...