Research works

Posterior simulation-based calibration tests of phylogenetic dating methods

Simulation-based calibration (SBC) checking is a method to ensure that the inference machinery for a Bayesian statistical analysis is functioning in a correct and unbiased manner. Typically, SBC begins with sampling parameter values from the model priors (prior SBC). However, it...

WAPOSAL: a multi-regional wave dataset from satellite altimetry for significant wave height, period estimation, and wave power density

Abstract. Accurate assessment of wave power density (WPD) is essential for marine renewable energy development and for validating numerical wave models, particularly in coastal and nearshore regions where in situ observations are sparse. This study presents a high-resolution, mul...

The human gut microbiome primes fever after vaccination

Fever is a common adverse reaction to vaccination, contributing to vaccine hesitancy and reduced uptake. To understand variation in fever risk, we longitudinally profiled fecal microbiota, oral temperature, and serological markers in 171 healthy adults receiving Severe acute resp...

Quantum algorithms for general nonlinear dynamics based on the Carleman embedding

Important nonlinear dynamics, such as those found in plasma and fluid systems, are typically hard to simulate on classical computers. Thus, if fault-tolerant quantum computers could efficiently solve such nonlinear problems, it would be a transformative change for many industries...

The four ways of knowing: revising the 4P model of knowing through a non-dual and reflexive perspective

Abstract Vervaeke and Mastropietro’s 4P model of knowing is a non-representational and process-oriented framework that integrates four interrelated ways of knowing: propositional, procedural, perspectival, and participatory. In this paper, we revise this model, drawing on the ena...

Genome-wide synthetic lethality screen of Bam complex-associated genes in Escherichia coli

Abstract Biogenesis of the bacterial outer membrane is key to bacterial survival and antibiotic resistance. Central to this is the β-barrel assembly machine (Bam) complex and its associated chaperones, which are responsible for transport, folding and insertion of outer membrane p...

Emergence of polarization in networks of large language model agents

Abstract Rapid advances in large language models (LLMs) have empowered autonomous agents to generate social networks, communicate, and form shared and diverging opinions on political issues. However, our understanding of their collective behaviours and underlying mechanisms remai...

Antarctic sea ice over the past 130 000 years – Part 2: A review of its role in the Earth system

Abstract. Antarctic sea-ice cover reached historically low levels in 2023, consistent with the simulated decrease in sea-ice extent in response to anthropogenic warming. Antarctic sea ice is closely linked to multiple components of the Earth system, thus its demise could precipit...

FDCL Part VII: Arithmetic Readouts and Prime-Set Structure in FDCL Models — Exact Obstructions and Finite-Field Reconstructions

We investigate what arithmetic information is retained by readouts of FDCL graphs, address automata and explicitly declared finite-field reconstruction models. A fixed additive length group cannot supply arbitrarily many independent prime logarithms, but a one-dimensional determi...

FDCL Part VI: Zeta Functions and Trace Growth on FDCL Graphs — Exact Determinants and Infinite-Volume Bounds

We study metric spectral zeta functions, finite orbit determinants and nonbacktracking trace growth for explicitly distinguished FDCL graph models. For the unweighted Factory graph, edge-disjoint recursive copies make every anchor-normalized closed-walk count monotone and bounded...

Advancing mathematics research with AI-driven formal proof search

Large language models (LLMs) increasingly excel at mathematics tasks, but their unreliability limits their utility in mathematics research. A mitigation is to use LLMs to generate formal proofs in languages such as Lean, in which the compiler verifies every proof step. We present...

The ECOSENSE forest: a distributed sensor and data management system for real-time monitoring of ecosystem processes and stresses

Abstract. Forests provide crucial ecosystem services, but are vulnerable to climate-related physical and biological stresses, such as droughts, pests and pathogens. The rapid climate change currently observed increases the pressure on forest ecosystems, with already drastic conse...

FDCL Part IV: Recursive Dynamics and Observation on FDCL Graphs — Finite-State Laws and Four-Mode Reduction

We study recursive generation and finite observation of FDCL graphs. Exact incidence and birth systems distinguish counting quotients from letterwise observation. Geometric restriction and lifting give shift equivalences between origin-pattern automata at different radii. The see...

FDCL Part V: Gauge Hamiltonians and Scattering on FDCL Graphs — Exact Reductions and Observable Quotients

We develop exact operator reductions for several graph models associated with FDCL, keeping their underlying graphs, mass metrics and boundary conventions explicit. A harmonic extension yields a two-sided spectral-gap bound with its induced mass; a coordinate trial function rules...

FDCL Part VIII: Hierarchical Networks and Feedback Control in FDCL Models — Exact Routing, Stability and Observation Conditions

We develop explicit network, routing and feedback models motivated by FDCL geometry. Core–branch reductions preserve optimal congestion, while joint routing and capacity allocation on a general graph reduce to weighted shortest paths. A weighted graph field has an exact diffusion...

FDCL Part II: Spectral Reduction and Renormalization on FDCL Graphs

We study spectral reduction on specified graphs associated with the six-digit FDCL construction. The coordinate-merged skeleton has an exact template spectrum and explicit all-level gap upper bounds for counting and degree-weighted mass. For the auxiliary eight-edge metric carrie...

FDCL Part III: Resistance and Diffusion on FDCL Graphs — Exact Flows and Harmonic Reduction

We study resistance and diffusion on graph models associated with the six-digit FDCL construction. For the voxel graph, an explicit optimizing current gives the exact resistance between shorted horizontal faces. An orthogonal load decomposition and corrected planar currents prove...

FDCL Part IX: Proof Methods and Exact Certification for FDCL Models — From Finite Evidence to Uniform Theorems

We develop explicit proof and certification interfaces for the FDCL program using classical geometric, linear-algebraic and finite-state methods. Reducible pressure bounds and sharp multiplicity examples separate symbolic growth from geometric dimension. Mass-orthogonal constrain...

FDCL Part I: Geometry and Connectivity of FDCL and Partial-Unfolding Fractals

We determine the contact geometry of the six-map Fractal Diagonal Cut Lattice (FDCL) and the connectivity of two separately specified graph and planar constructions. All fifteen first-level contacts are classified explicitly. Their union contains dyadic combs, has Hausdorff dimen...

Hukum Tanah: Studi Atas Hak Ulayat Masyarakat Hukum Adat Dalam Sistem Hukum Tanah Indonesia

Tujuan Penelitian ini yakni: 1) untuk mendeskripsikan Pengaturan dan Kedudukan Hak Ulayat Masyarakat Hukum Adat Dalam Sistem Hukum Tanah Indonesia? Dan menguraikan bentuk perlindungan dan Penyelesaian Hukum Terhadap Hak Ulayat Masyarakat Hukum Adat terhadap tanah yang disengketak...