Research works

Mathematical analysis of malaria transmission in under-five children in the Democratic Republic of the Congo using an age-structured model

Malaria is a multifaceted disease influenced by numerous factors, including natural immunity driven by humans, which significantly affects its transmission dynamics. It remains a major public health threat in sub-Saharan Africa, with the Democratic Republic of the Congo (DRC) acc...

Artificial Intelligence-Assisted Systematic Literature Reviews in Metabolic Phenotyping: A Methodological Framework and Validation Study

Abstract Systematic literature reviews are widely acknowledged to be at the top of most evidence hierarchies but are very time-consuming and labour-intensive. The advent of artificial intelligence (AI) offers possibilities to accelerate the review process. We propose a systematic...

Zeta: The First p-Adic Integer Artificial Intelligence - Update v7.3

**Title** Zeta: A Deterministic Parameter-Free Architecture over the Thirteen-Adic Ring A deterministic, parameter-free alternative to statistical sequence models v.7.3 Author: Dávid Navrátil e-mail: david.navratil2016@gmail.com **Description** This preprint studies the algebra g...

Practice-dependent refinement of motor execution is retained and broadly transferable but constrained by movement direction

Practice enhances motor acuity, enabling movement execution with greater speed and accuracy. However, the learning principles underlying improvements in speed, accuracy, and efficiency remain relatively understudied compared with those supporting motor skill acquisition and adapt...

Breast cancer metabolism and responsiveness to dichloroacetate: relationships with 15N and 13C natural abundance

Abstract Background Metabolic reprogramming is a hallmark of breast cancer (BrCa), with alterations in glycolysis, glutamine metabolism, and the urea cycle contributing to tumour progression. Dichloroacetate (DCA), a pyruvate dehydrogenase kinase (PDK) inhibitor, shifts metabolis...

Navigating the Unknown: The Sociocultural and Metacognitive Architecture of Wisdom

Psychological wisdom research has shifted from characterizing rare exemplars and desired outcomes to specifying processes that support sound judgment under uncertainty. Yet it has advanced along two siloed research tracks: one on folk theories-cultural tools such as exemplars, na...

IL-1α and CRP as key inflammatory mediators linking neuropathic pain, anxiety, and depression in major depressive disorder

<title>Abstract</title> <bold>Background:</bold> It’s common comorbidity for Major Depressive Disorder (MDD), anxiety, and pain, underpinned by shared chronic inflammatory processes, this study aimed to identify etiological inflammatory biomarkers, focusing on MDD individuals wit...

Impact of scissors-correction schemes on first-principles calculations of second-harmonic generation in ultraviolet nonlinear-optical crystals

In this work, we assess two widely used scissors-correction schemes for first-principles calculations of second-harmonic generation in representative borate and phosphate ultraviolet nonlinear-optical (UV-NLO) crystals, namely scheme-L [Z. H. Levine and D. C. Allan, Phys. Rev. Le...

The paradox of informational regulation of anxiety during the war in Ukraine: An infodemiological test of phantom anxiety theory.

This article develops phantom anxiety theory (PAT), according to which the human anxiety system includes not only responses to current or anticipated threats, but also a tonic, endogenous component of vigilance. PAT leads to a counterintuitive prediction: a decrease in the level...

Surface protein profiling reveals depot-specific features of subcutaneous and visceral adipose progenitor cells

SUMMARY White adipose tissue is organized into anatomically and functionally distinct depots, yet the mechanisms by which intrinsic differences between subcutaneous and visceral adipose progenitor cells (APCs) contribute to depot-specific inflammatory and remodeling properties re...

Inlining as a Space Optimization: A Simple Time- and Space-Invariant Implementation of the Weak Lambda-Calculus

We propose an implementation model for the evaluation of the weak λ-calculus, which is invariant for both time and space complexity, in both call-by-name and call-by-value strategies. In other words, this model provides an implementation of any weak call-by-name or weak call-by-v...

Machine learning in directed energy deposition: A systematic literature review

Among metal additive manufacturing (AM) processes, directed energy deposition (DED) is a versatile route for fabricating, repairing, and coating large components. Advances in machine learning (ML) are reshaping DED via real-time monitoring, predictive modeling, and adaptive contr...

Comprehensive inter-comparison of generative AI models for super-resolution precipitation downscaling across hydroclimatic regimes

Abstract. High-resolution precipitation information is essential for hydrologic modeling, flood forecasting, and climate-risk assessment, yet global weather and climate models operate at spatial resolutions too coarse to resolve storm structure, intermittency, and extremes. Deep-...

Counteraction of HMGB1 at ss-dsDNA junctions maintains liquidity of protamine-DNA co-condensates

In the sperm nucleus, protamine replaces histones to mediate extreme DNA compaction. The histone-to-protamine transition involves the occurrence of double-strand breaks, and is facilitated by transition proteins including those containing high-mobility-group (HMG) boxes. Here we...

An Enhanced Projection Pursuit Tree Classifier with Visual Methods for Assessing Algorithmic Improvements

This paper presents enhancements to the projection pursuit tree classifier and visual diagnostic methods for assessing their impact in high dimensions. The original algorithm uses linear combinations of variables in a tree structure where depth is constrained to be less than the...

Digital twin platform for accelerating optimization of oxide semiconductor transistors to overcome fundamental performance-reliability trade-off

<title>Abstract</title> Amorphous oxide semiconductor (AOS) transistors are promising candidates for nextgeneration logic and high-density memory technologies, particularly for back-end-of-line– compatible monolithic three-dimensional integration. However, their widespread adopti...

Improving calibration accuracy with torque coupled gravity field calibrator for sub-Hz gravitational wave observation in CHRONOS

Abstract A fundamental challenge in low-frequency gravitational-wave detectors is the limited signal-to-noise ratio (SNR) of calibration lines, particularly in torsion-bar systems where the response is governed by rotational dynamics. In this work, we resolve this issue by optimi...

Misquoted No More: Securely Extracting F* Programs with IO

Shallow embeddings that use monads to represent effects are popular in proof-oriented languages because they are convenient for formal verification. Once shallowly embedded programs are verified, they are often extracted to mainstream languages like OCaml or C and linked into lar...

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)

We report on using an agentic coding assistant (Claude Code, powered by Claude Opus 4.6) to mechanize a substantial Rocq correctness proof from scratch, with human guidance but without any human-authored proof code. The proof establishes semantic preservation for the administrati...

Programmable Property-Based Testing

Property-based testing (PBT) is a popular technique for establishing confidence in software, where users write properties---i.e. executable specifications--that can be checked many times in a loop by a testing framework. In modern PBT frameworks, properties are usually written in...