Anadolu University

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...

Synthesis, in silico study and cytotoxic evaluation of new benzimidazole derivatives as potential aromatase inhibitors

AIMS: ) was designed, synthesized, and evaluated as potential aromatase inhibitors with anticancer activity. MATERIALS AND METHODS: ADMET profiling were performed for the selected compounds. RESULTS: values (2.40-2.64 µM), surpassing cisplatin, while maintaining favorable selecti...

Cross-cultural measurement of social overload and social networking sites exhaustion: Rasch and DIF evidence from Ghana, Hong Kong, Türkiye

Social media research increasingly examines the psychological costs of constant connectivity, yet the cross-cultural comparability of widely used social overload and Social Networking Sites (SNS) exhaustion measures remains insufficiently tested. This study examined the dimension...

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...

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...

A Mixed-Initiative Procedural Workflow for Fulldome Scene Assembly from Layered 2D Illustrations

Transferring layered 2D illustrations to immersive fulldome environments is challenging: manual 3D modeling does not scale to scenes containing several hundred elements, while AI-based monocular depth estimation (MDE) suffers from domain shift on stylized and panoramic content an...

Design, Synthesis, and Biological Evaluation of Novel Dithiocarbamate-Based Human Carbonic Anhydrase IX/XII Inhibitors as Potential Anti-Glioblastoma Agents

To develop human carbonic anhydrase (hCA) IX/XII-targeted therapeutics for glioblastoma multiforme (GBM), novel dithiocarbamate (DTC)-based compounds were synthesized and evaluated for their inhibitory activity against hCA I, II, IX, and XII isoforms. The most potent hCA IX/XII i...

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...

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...

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...

Development and Validation of an International Classification of Functioning, Disability and Health–Based Communication Screening Scale for Preschool Children

PURPOSE: This study aimed to develop and validate the International Classification of Functioning, Disability and Health (ICF)-based Communication Screening Scale (CSS) for monolingual Turkish-speaking preschool children, grounded in the ICF framework and based on parent report....

Balancing promise and risk: artificial intelligence use, knowledge, and perceptions among speech and language therapists in Türkiye

Artificial intelligence (AI) holds transformative potential in Speech and Language Therapy, offering important opportunities while also raising risks that require careful consideration. Despite rapid developments, evidence on perspectives of speech and language therapists (SLTs)...

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

Universal Fractal Natural Language Decision Map: Real-Time Edge Triage Across Heterogeneous Domains This open-science research package presents the complete theoretical framework, empirical replication pipeline, and bare-metal production benchmarks for the Universal Fractal Natur...

Design, Synthesis, and X-ray Characterization of Benzohydrazide Derivatives as Cholinesterase Inhibitors for the Treatment of Alzheimer’s Disease: An Experimental and Computational Approach to Biological Activity

In this study, a series of new benzohydrazide derivatives (1a-i) were synthesized, and characterized as potential cholinesterase inhibitors for use in the treatment of Alzheimer’s disease (AD). The inhibitory activities of the synthesized compounds against acetylcholinesterase (A...

Crossing gendered borders: Afghan women’s experiences in the Iran–Türkiye borderlands

This study examines how borders intensified by increasing irregular migration function not only as geographical boundaries but also as social, political, and gendered spaces. Focusing on the experiences of young Afghan women along the Iran–Türkiye migration corridor, it approache...

ERKEK ÜREME SİSTEMİ TOKSİSİTESİNİN DEĞERLENDİRİLMESİNDE DENEY HAYVANLARINA ALTERNATİF YÖNTEMLER

Amaç: Bu derleme kapsamında erkek üreme sistemi toksisitesi çalışmalarında kullanılan geleneksel in vitro yöntemler, yenilikçi in vitro modeller ile değerlendirme süreçlerine entegre edilen in silico yaklaşımlardan bahsedilmiştir.Sonuç ve Tartışma: Erkek üreme sistemi toksisitesi...

Synthesis of Quinazoline Derivatives and Mechanistic Approaches in Lung and Breast Cancers

The quinazoline/quinazolinone ring is known as a unique scaffold, and its derivatives possess a broad biological activity profile, including antibacterial, antifungal, anticonvulsant, anti-inflammatory, anti-HIV, and analgesic activity, primarily focusing on anticancer activity....

An application for citizen participation: the open-door units of Ministry of Interior

Participation, as one of today’s key concept, not only ensures citizens' involvement in the administrative process but also plays a crucial role in the feasibility of democracy alongside transparency and accountability. The concept of participation, which did not find much place...

The gentrification of mentorship: How influencers are re-shaping prestige in platform-driven academia

This conceptual paper explores how platform society influences academic prestige. It argues that mentorship, traditionally rooted in the relationship between a professor and a student, is becoming commercialised. This commercialisation turns mentorship into engaging performances...

Comparative Lipophilic Phytochemical Profiling and Bioactivity Assessment of Different Organs of Mahonia aquifolium (Pursh) Nutt.: Integrated Analysis of n-Hexane Extracts, Essential Oils and Fatty Acids

Mahonia aquifolium (Pursh) Nutt. is a medicinal plant known for its diverse phytochemical composition; however, information on the lipophilic constituents of its different organs remains limited. This study aimed to characterize the lipophilic composition and associated bioactivi...