Research works

Adapting the MVVM pattern to C++ frontends and Agda-based backends

Using agda2hs and ad-hoc Haskell FFI bindings, writing Qt applications in C++ with Agda- or Haskell-based backends (possibly including correctness proofs) is already possible. However, there was no repeatable methodology to do so, nor to use arbitrary Haskell built-in libraries i...

An airborne in-situ dataset of cloud microphysical properties in supercooled large droplet icing conditions

Abstract. Detailed and comprehensive data sets on microphysical cloud properties in icing conditions are rare. In April 2023, fifteen research flights were performed with the SAFIRE ATR 42 research aircraft during the SENS4ICE-EU airborne measurement campaign over France and adja...

Caging Polyhalide Anions in Polycyclodextrin for Long‐Lasting Aqueous Zinc‐Iodine Batteries

ABSTRACT Confining polyiodide species at the cathode is pivotal to the stability and long life of aqueous zinc‐iodine batteries (AZIBs). Current approaches using porous inorganic materials to physically trap polyiodide species or organic additives to electrostatically bind them r...

Production of $Ξ$ and $Ω$ hyperons in high-multiplicity proton-proton collisions at $\sqrt{s}$ = 13 TeV

This paper presents the first measurement of $\Xi^{\pm}$ and $\Omega^{\pm}$ hyperon yields at the highest multiplicities reached in pp collisions at $\sqrt{s}=13$ TeV. This measurement exploits the high-multiplicity pp collisions collected by ALICE with dedicated triggers. The pr...

Nano‑Ni-based multi-channel recyclable thermal interface material with dual-mode interface adaptability

The rapid miniaturization and integration of electronic devices demand highly efficient thermal management while concurrently exacerbating the global electronic waste (e-waste) crisis. Although thermal interface materials (TIMs) are important for heat dissipation, their end-of-li...

Prognostic implications and precision selection criteria of primary tumor resection in metastatic gallbladder adenocarcinoma

<title>Abstract</title> Background Gallbladder cancer is recognized as one of the most aggressive malignancies within the biliary system, with adenocarcinoma being its predominant histological subtype. The gallbladder's concealed anatomical position, coupled with the nonspecific...

Machine learning-guided design of ORC working fluids for waste heat recovery

Identifying sustainable working fluid alternatives without compromising system performance is critical for advancing the deployment of Organic Rankine Cycle (ORC) technology in renewable energy systems. This study presents a novel computer-aided molecular and process design (CAMP...

Power-law creep in C–S–H emerging from subdiffusive dynamics

Power-laws have long been used to describe creep in cementitious systems, from C-S-H to concrete, yet their mechanistic origin remains unclear. Diffusion, layer sliding, and permeation are often invoked as microscopic drivers of creep in C-S-H, but it is uncertain whether these r...

A case report: anesthetic management of a patient with unexpected difficult airway due to an asymptomatic giant epiglottic cyst

<title>Abstract</title> <bold>Background</bold> Epiglottic cysts are non-cancerous lesions, and their causes are mainly related to blockage of mucus gland discharge channels and accumulation of secretions. Huge epiglottic cysts generally have no obvious symptoms at the beginning,...

A Novel SIF-Based Framework Outperforms Empirical Models in Regional Ozone Stress Assessment for Winter Wheat

We integrated satellite SIF, climate, and MODIS datasets to evaluate regional ozone (O3) impacts on winter wheat. By coupling rMLR and Ball-Berry-Leuning (BBL) models, we simulated net photosynthesis (An) and canopy conductance (Gc) to estimate SIF-based stomatal O3 flux (SIF_POD...

Developing a scalable pipeline for data extraction from clinical letters through resource-efficient prompt engineering

<title>Abstract</title> Free-text clinical records represent an untapped wealth of data for secondary use. Their potential is limited by resource demands necessary for accurate information extraction at scale. We introduce a scalable, resource-efficient, and high-performance pipe...

Autocorrelation effects in a stochastic-process model for solving two-armed bandit problems

Decision makers exploiting photonic chaotic dynamics obtained by semiconductor lasers provide an ultrafast approach to solving multi-armed bandit problems by using a temporal optical signal as the driving source for sequential decisions. In such systems, the sampling interval of...

A Normal Map-Based Proximal Stochastic Gradient Method: Convergence and Identification Properties

Abstract. The proximal stochastic gradient method ([Formula: see text]) is one of the state-of-the-art approaches for stochastic composite-type problems. In contrast to its deterministic counterpart, [Formula: see text] has been found to have difficulties with the correct identif...

The role of the locus coeruleus in eye movements during perceptual decision making

The locus coeruleus (LC) is the primary source of norepinephrine in the brain and has been implicated in the processes of attention, arousal, and perceptual decision making. Although prior work has linked transient LC activation to both sensory stimulus processing and motor proce...

Dynamics of spinning particles in pp-wave spacetimes

Abstract In this work, we study the dynamics of a spinning particle in pp-wave spacetimes; in particular, plane gravitational waves and impulsive shockwaves. We present a step-by-step procedure that reduces the original problem to the dynamics of the transverse coordinates, in di...

Interpretable AI-driven materiomics to decode microenvironmental cues for stem cell immunomodulation

Abstract Hydrogels that mimic the extracellular matrix create microenvironments containing diverse physicochemical cues that regulate stem cell fate, particularly their immunomodulatory and pro-regenerative functions. However, elucidating how microenvironmental cues regulate cell...

Self-as-an-End: A Methodological Overview — The Chisel-Construct Cycle: Derivation, Method, Application, and AI Interface

Full bilingual text and framework available at self-as-an-end.net — Framework reference: self-as-an-end.net/framework.html This paper is the methodological overview of the Self-as-an-End framework — the entire framework compressed into an executable logical operating system. Chap...

Efficient sEMG decoding with hybrid, multi-timescale neural networks

Surface electromyography (sEMG) offers a non-invasive window into neuromuscular activity and is increasingly used as a reliable control signal for prosthetics, rehabilitation devices, and wearable health monitoring.However, decoding sEMG for such applications is computationally e...

ReDON: Recurrent Diffractive Optical Neural Processor with Reconfigurable Self-Modulated Nonlinearity

Diffractive optical neural networks (DONNs) have demonstrated unparalleled energy efficiency and parallelism by processing information directly in the optical domain. However, their computational expressivity is constrained by static, passive diffractive phase masks that lack eff...

One sum to rule them all: a second order master rate sum rule for charm decays

A bstract We show that within the Standard Model any system of hadronic weak charm decays related by U -spin satisfies the following rate sum rule: $$ \frac{\left(\mathrm{sum}\ \mathrm{of}\ \mathrm{CF}\ \mathrm{and}\ \mathrm{DCS}\ \mathrm{CKM}-\mathrm{free}\ \mathrm{rates}\right)...