Research works

Imprecise Probabilistic Programming, Precisely: Credal Sets via Graded Monads, BDDs, and Semiring-Parametric Inference (Functional Pearl)

Imprecise probability generalizes standard probability theory by replacing a single distribution with a convex set of possible distributions. We show that this generalization requires no change to the standard BDD compilation and weighted model counting pipeline used by discrete...

A Generalized Shape Function Approach for Multimaterial Topology Optimization

ABSTRACT This paper presents a generalized shape function (gSF) approach for multi‐material topology optimization that utilizes a compact design space to produce optimized configurations featuring a large number of materials. Building upon 1D (linear), 2D (bilinear), and 3D (tril...

Conditions for Valid Offshore Methane Quantification

Methane emission estimates from offshore facilities are increasingly used for regulatory reporting and climate assessment, yet it remains unclear under what atmospheric conditions such estimates are physically meaningful. This study defines three necessary conditions for valid of...

Functional, Radiographic, and Patient-Reported Outcomes of Hybrid Fixation Versus Posterior Long Fusion for Double-Major Adolescent Idiopathic Scoliosis

Background: Posterior spinal fusion (PSF) provides reliable deformity correction for adolescent idiopathic scoliosis (AIS); however, it reduces lumbar mobility because of the fusion of motion segments. Hybrid fixation, which combines thoracic PSF with thoracolumbar/lumbar vertebr...

Large Schneiderian Membrane Perforation Repair During Sinus Lift Surgery: A Case Report

Background: Maxillary sinus floor elevation is a predictable procedure for implant rehabilitation in the posterior maxilla with reduced residual bone height. Schneiderian membrane perforation is the most frequent intraoperative complication during sinus lift surgery and may compr...

Cooperation, Defection, and Collapse: A Multiscale Game Theory Framework for Emphysema Progression

In the current paper, pulmonary emphysema is hypothesized to emerge from a nonlinear breakdown of cooperation across two tightly coupled systems: the extracellular matrix (ECM) crosslink network and the cellular populations responsible for its maintenance. To formalize this conce...

Spider–Geometry Engine: A Radial Tension, Phase-State & Observer-Coherence Subsystem for Carlo Collapse Theory v2 (With Visualiser)

Version 2 (PDF Included): Expanded framework complete with an interactive WebGL 3D geometric visualizer demonstrating the field equations running in real time. A fully structured Carlo Field Operator subsystem built from the intersection of mythic multi-limb symmetry, spider-web...

Flexural Response of Dense Polymeric BCC Lattice Beams: Experimental Benchmark and Limits of Homogenized Beam Descriptions

The flexural behaviour of body-centred cubic (BCC) lattice beams fabricated by stereolithography remains supported by limited experimental evidence, and available homogenized beam models are rarely confronted with data in the combined regime of high relative density, non-slender...

Delayed Feedback and Asymptotic Decay for a Time-Fractional Equation with the Spectral Fractional Laplacian

We study a delayed time-fractional semilinear evolution equation driven by the spectral fractional Laplacian. The model combines a Caputo time derivative, a source evaluated at the past state u(t−τ), and an absorption term evaluated at the present state u(t). The fractional struc...

AJOP-T: A High-Order Hardening Law for Continuous Teardrop Bounding Surface Plasticity

Soft-ground finite-element analyses commonly reduce curved Oedometer compression to one constant slope, obscuring where stress-level curvature affects boundary-value predictions. AJOP-T embeds the differentiable Arc Joint via Optimum Parameters map in continuous teardrop bounding...

Measuring Perceived Social Support After Disaster: Development and Validation of the Perceived Social Support in Disasters Scale (PSSDS-28)

Background/Objectives: Measuring perceived social support after disaster remains an unresolved psychometric problem: most instruments do not jointly capture the source of support (from whom it comes) and its function (how it operates), and none has been validated in a disaster-su...

Task-irrelevant stimuli robustly drive phasic pupil-linked arousal but only weakly affect memory formation

Abstract Brainstem arousal systems including the locus coeruleus noradrenaline system, respond transiently to behaviorally relevant events. This also drives dilations of the pupil, which are often observed during cognitive tasks. The strength of pupil responses during encoding of...

Flux, Banter, and ABBA Collapse v2 (With Visualiser)

Flux, Banter, and ABBA Collapse presents a formalisation of the Banternator Engine V‑Ω‑RAVE, a semantic‑flux reactor designed to translate human banter, emotional tone, and chaotic narrative energy into structured auxiliary fields within the Carlo ecosystem. This work establishes...

The Disco Collapse Engine (V‑Ω‑DISCO): A Collapse‑Reactive Auxiliary Carlo Engine v2 (With Visualiser)

Carlo Field Mechanics v2 — Interactive Geometric Visualizer This document details version 2 (v2) of the Carlo Field Mechanics Interactive Visualizer, a standalone WebGL/Three.js simulation environment designed to model dynamic quantum-like vector field dynamics and multi-manifold...

Excitonic Structure in CsPbBr3 Nanocubes,Nanorods, and Nanoplatelets: The Effect of Dimensionality

Abstract We present a theoretical study comparing the excitonic ground-state properties of CsPbBr3 nanocrystals with different dimensionality: nanorods (quasi-1D), nanoplatelets (quasi-2D), and nanocubes (quasi-3D). All three systems are described on an equal footing, by means of...

The Behavioral Architecture of Dietary Salt Reduction Among Hypertensive Population in Sabah, Malaysia: A Descriptive Qualitative Inquiry

Dietary patterns, not medical adherence, make it dif8icult to reduce salt in the population. This is due to the complex structure of the house. Hypertensive residents living in communities in Sabah, Malaysia, have dif8iculty adhering to a low-salt diet due to factors such as fami...

Uncertainties of magnetic equilibrium reconstructions

Abstract Uncertainties of quantities of magnetic equilibrium reconstructions are essential for the validation and quantification of estimated plasma parameters and their uncertainties. The uncertainties of a few equilibrium quantities can be evaluated analytically. A Monte-Carlo...

THE DETERMINANT MEDIATION TRANSFER THEOREM

This article develops the Determinant Mediation Transfer Theorem (DMT-T), a general framework for comparing multiple determinant-type realizations through a common carrier while preserving provenance, certification, and obstruction data. The theory is formulated in an ambient Pic...

Agentic AI in Data Commons and GLAM: What Role for the Model Context Protocol?

The emergence of the agentic web, in which AI agents autonomously navigate online services to accomplish complex tasks, poses urgent questions for digital commons and GLAM institutions (Galleries, Libraries, Archives, and Museums). This paper reports on a crosssectoral workshop h...

A Separation Logic for Parallel Time Complexity with Work and Span Credits

We present Parcas, a concurrent separation logic for verifying the parallel time complexity of fork-join programs. In order to abstract from the specifics of the machine, time complexity for parallel programs is given in terms of two metrics: the work, measuring the total number...