Our Work

Most of our work has resulted in scholarly publications. On this page you can review our publications to get an idea about our work.

Sequences of matrix spectra from sequences of rational numbers, draft 25jul26 v4

July, 2026 • Publication
Brent, Barry

FGA-ResNet-assisted construction of a fish gut microbiome antimicrobial resistance database for resistome prediction

July, 2026 • Computational notebook
CHEN, Jiale

STRATEGIC DEBT: A CONCEPTUAL FRAMEWORK AND DIAGNOSTIC INSTRUMENT FOR STRATEGY-FOUNDATION GAPS IN VENTURE-BACKED EARLY MOVERS

July, 2026 • Publication • INTERNATIONAL JOURNAL OF SOCIAL SCIENCE, EDUCATIONAL, ECONOMICS, AGRICULTURE RESEARCH AND TECHNOLOGY
Muhammad Harland, Asep Darmansyah

Early movers that create an uncontested market space frequently deteriorate financially soon after competitors enter, and the deterioration is commonly diagnosed as a financial or execution failure. T…

Blue Ocean Strategy, Conceptual Framework, Diagnostic Instrument, Strategic Debt, Strategy Foundation

COMMUNICATIVE AND PRAGMATIC FEATURES OF COMPUTATIONAL LINGUISTICS TERMINOLOGY IN ENGLISH AND UZBEK

July, 2026 • Journal article
Begjanova A

This study investigates how computational linguistics terminology performs communicative and pragmatic functions in English and Uzbek scientific discourse. It adopts an exploratory qualitative compara…

MRFormal v23: Lean 4 Formalization of the Moya–Rosendo Framework for Logarithmically Weighted Zeta Functions

July, 2026 • Software
Moya, Ramón

MRFormal v23 is the Lean 4 formalization accompanying the Moya–Rosendo framework for logarithmically weighted zeta functions. The archive formalizes chain geometry, profile calculus, the concavi…

Lean 4formal verificationinteractive theorem provingMathlibMoya–Rosendo framework

Discrete Extramental Time versus Classical Thermodynamic Time: A Formal Confrontation

July, 2026 • Technical note
Padilla-Villanueva, Johel

Technical note — Module CT of systemic-tau-formal v0.1.11. A machine-checked confrontation between the Relational Extramental Discrete Clock (RECD) and the absolute continuous time of classical nonequ…

RECDRelational Extramental Discrete Clockthermodynamic timeSystemic Tauorientation

Polynomial correlations of the Liouville function with an application to an additive problem

July, 2026 • Preprint
Deligiannis, Theodoros

The two-point Cesàro correlation of the Liouville function, Σ_{n≤X} λ(n)λ(n+h), is studied via a chain of reductions of the binary Goldbach conjecture. The polynomial ide…

Goldbach conjecture, Liouville function, Chowla conjecture, pretentious distance, multiplicative number theory

Data to plot results for the manuscript "Photonic Integrated Computing Engine for Concurrent Optical Computing"

July, 2026 • Dataset
Zheng, Ruiqi, Dong, Sheng, Rao, Huan, Zhang, Junyi, Chen, Jingxuan et al.

This dataset contains the experimental data supporting Figures 4–7 of the manuscript entitled “Photonic Integrated Computing Engine for Concurrent Optical Computing”.

PopHIVE/Ingest: Release v2.1.103

July, 2026 • Software
DanWeinberger, actions-user, anshap32, Callie Annas, Stephanie Perniciaro et al.

Auto-generated release for v2.1.103 Commit: 617d267b4525fca042aef0601d76010fd8afa90a

LOCAL MULTIFUNCTIONAL HYDROGEL THERAPY IN EXPERIMENTAL FIBRINOPURULENT PERITONITIS: ANTIBACTERIAL, FIBRINOLYTIC, AND REPARATIVE EFFECTS OF A NOVEL LEVOFLOXACIN-CUCUMAZINE-NA-CMC COMPOSITE

July, 2026 • Journal article
Turakulov U, Mardonov J, Ergashev F, Kurbonova D, Sadikov R

Fibrinopurulent peritonitis (FPP) remains one of the most severe and life-threatening forms of intra-abdominal infection, with mortality rates ranging from 20% to 30% despite substantial advances in s…

On Losses, Pauses, Jumps and the Wideband E-Model – IEEE Xplore Document

There is an increasing interest in upgrading the EModel, a parametric tool for speech quality estimation, to the wideband and super-wideband contexts. The

NUAV – a testbed for developing autonomous Unmanned Aerial Vehicles – IEEE Xplore Document

Contemporary models of Unmanned Aerial Vehicles (UAVs) are largely developed using simulators. In a typical scheme, a flight simulator is dovetailed with a

NUAV – a testbed for developing autonomous Unmanned Aerial Vehicles

 

Simulators as Drivers of Cutting Edge Research – IEEE Xplore Document

Undertaking engineering research can be compounding for beginning graduate students and thwarting even for seasoned researchers. With a wealth of academic

Simulators as Drivers of Cutting Edge Research

Evolutionary speech quality estimation in VoIP

A Methodology for Deriving VoIP Equipment Impairment Factors for a Mixed NB/WB Context

Real-Time, Non-intrusive Speech Quality Estimation: A Signal-Based Mod
Real-Time, Non-intrusive Evaluation of VoIP

VoIP speech quality estimation in a mixed context with genetic programming

An Evolutionary Approach to Speech Quality Estimation

Real-Time Non-Intrusive VoIP Evaluation Using Second Generation Network Processor

Non-intrusive quality evaluation of VoIP using genetic programming

 

Photo by Hackley Public Library

Leave a Reply

Your email address will not be published. Required fields are marked *