Research works

Polynomial Definability in Constraint Languages with Few Subpowers

Abstract. A first-order formula is called primitive positive (pp) if it uses only existential quantifiers and conjunctions. Primitive positive formulas are a central concept in (fixed-template) constraint satisfaction, as [Formula: see text] can be viewed as the problem of decidi...

CRB3 and ARP2/3 regulate cell biomechanical properties to set epithelial monolayers for collective movement

Several cellular processes during morphogenesis, tissue healing or cancer progression involve collective cell migration. To set the cells for motion, there is an initial breaking of organization of the epithelial tissue that modifies the epithelial phenotype and axis of polarity....

A map of RBP-miRNA regulatory connections for deciphering the mechanisms of transcriptome remodeling in cancer

Micro-RNAs (miRNAs) are key post-transcriptional regulators of gene expression that influence cancer progression and outcome. Whereas transcriptional dysregulation of miRNA abundance underlies abnormal functionality of some miRNAs in cancer, emerging data points to RNA-binding pr...

Controlling Transaction Rate in Tangle Ledger: A Principal Agent Problem Approach

Tangle is a distributed ledger technology that stores data as a directed acyclic graph (DAG). Unlike blockchain, Tangle does not require dedicated miners for its operation; this makes Tangle suitable for Internet of Things (IoT) applications. Distributed ledgers have a built-in t...

A Refuted Golden-Ratio Floating-Point Conjecture, Exactly Reversible Integer Maps, and a Fixed-Width Lifting Wavelet

This is an expository paper with a negative result at its centre. It began from a geometric picture of reversible computation, a state that expands by the golden ratio φ = (1+√5)/2 and folds back by 1/φ, and from the conjecture that scaling by φ gives better round-trip accuracy i...

Opposite-Side Residuals in Working-Precision Newton-Schulz Refinement of LU-Based Matrix Inverses: Measurements and an Empirical Predictor

An inverse X of a matrix A computed through an LU factorization comes with a guarantee on only one of its two residuals, I - AX or I - XA, according to whether it was obtained by solving AX = I or XA = I. In practice the two are usually of the same size, as Wilkinson observed. A...

Personality, Stress and the Partner: Prospective and Dyadic Predictors of Couple Dissolution in Two US Cohorts

Background. Personality and stress are known to go together with relationship problems. It is less clear whether they predict the end of a relationship years ahead, and whether a partner's traits matter on top of a person's own. These questions are central to the 2WO model (2-par...

Verification Theater: Measured Failure Modes of AI Verifier Panels

Accepted as a poster at the NeurIPS 2026 workshop Who Verifies the Agents? Toward Reliable Agent Development (Sydney, December 2026). The workshop is non-archival; this deposit is the citable version.The same text is also at https://github.com/vadimchernets/papers/tree/main/verif...

TOPOGRAPHY-ANCHORED CORONA DISCHARGE (TACD): AN AGNOSTIC ELECTROMECHANICAL MODEL FOR ATMOSPHERIC BOUNDARY LUMINESCENCE

This preprint presents the Topography-Anchored Corona Discharge (TACD) model, a quantitative framework for faint, stationary luminescence anchored to ground features under non-storm conditions. In the model, wind-driven triboelectric charging of aerosols builds a net space charge...

Artian A1 Earth-Flyby Handshake Preregistration: A Prospective Dual-Link Test of the QTT Two-Clock Map

One spacecraft can carry two physically different radio handshakes. Their difference is a new, geometry-locked clock test. Historical Earth-flyby residuals cannot decide this test because they contain only one physical radio-clock history. This preregistration instead requires tw...

Simplified in vitro generation of human gastruloids for modelling early development

Abstract The purpose of this study was to optimize the efficiency and cost of human gastruloid formation by testing and adjusting individual parameters using as examples two distinct human pluripotent stem cell lines, both available from the UK Stem Cell Bank. For the first step,...

MCGMark: An Encodable and Robust Online Watermark for Tracing LLM-Generated Malicious Code

With the advent of large language models (LLMs), numerous software service providers are developing LLMs tailored for code generation, such as CodeLlama. However, these models can be exploited by malicious developers to generate malicious code, posing severe threats to the softwa...

Foreign ownership and transferring of gender norms

Abstract In this paper, we study foreign ownership as a vehicle for transferring gender norms across international borders. Using detailed matched employer‐employee data from Sweden, we analyze how the within‐firm gender pay gap is affected by the degree of gender inequality in t...

Temporal organization in living systems: toward a physics of life

Abstract Classical dynamical systems theory is based on asymptotic stability assumptions. This approach has long dominated theoretical biology, providing insight into stability and functional organization. Yet, living systems rarely converge to static attractors; rather, they ada...

GlRac regulates an ATG8-independent autophagy-like pathway in Giardia lamblia

Autophagy is a conserved catabolic process essential for cellular homeostasis and adaptation to nutrient stress. The protozoan parasite Giardia lamblia lacks most canonical autophagy-related (ATG) genes, including the hallmark ATG8, raising longstanding questions about whether th...

Synthesis, design and integrated in vitro/in silico assessment of novel cyano-amide derivatives

A novel and an efficient synthesis of a series of cyano-amide derivatives 3a-h was achieved via solvent-free reaction of benzylcyanide derivatives 1 with isocyanate derivatives 2 at room temperature. The produced components were structurally characterized by NMR spectroscopy mult...

Before the Oil: Suriname's Gold Economy as a Foreign-Exchange System (pre-registration)

Pre-registration, version 1.0, frozen on deposit. Institut Atlantique Sud Research Note No. 3. Gold is Suriname's principal declared export, and its proceeds are a source of foreign exchange the State repeatedly tries to channel into the domestic market. Offshore oil from Block 5...

YtrG is a functional part of the ytrGABCDEF operon and contributes to phenotypic heterogeneity in Bacillus subtilis

ABSTRACT The Bacillus subtilis ytrGABCDEF operon consists of the transcriptional repressor YtrA, the ATP-binding cassette transporter subunits YtrB, YtrC, YtrD, YtrE, and YtrF, likely forming two distinct transmembrane complexes (YtrB 2 CD and YtrE 2 F 2 ), and the small monotopi...

Workings of the Higgs Field: Vacuum, Goldstone Modes and the Force That Leaves the Weyl Orbit

The preceding volumes separated a Poincaré mass-label from a Weyl mass-coordinate, closed the ten-dimensional similitude orbit, and refused to licence the unified nouns left outside that closure. One of those nouns is the Higgs. Reynaud's letter adds, as a reading, a mass-gradien...

DHODH is the key target of the KDM4 inhibitor QC6352 in glioblastoma stem cells

Abstract Histone lysine demethylase 4 (KDM4) enzymes are frequently overexpressed in cancer and are considered to be promising therapeutic targets. QC6352, which is widely used as a best-in-class KDM4 chemical probe, shows potent antitumor activity across cancer models. Using com...