Research works

Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice

Formal verification of neuro-symbolic cyber-physical systems, such as drones, medical devices and robots, is complicated. Neural components must be trained to be optimal with respect to the available data as well as the safety specifications, and then verified using specialised s...

Chatbots reduce health-related conspiracy beliefs not because of but despite being perceived as AI

<title>Abstract</title> Beliefs in conspiracy theories and their resistance to correction pose critical challenges to public health. A potential countermeasure to this is the use of Large Language Model (LLM) driven debates about conspiracy theories. Yet while this approach yield...

Integrated single-cell and functional analyses define fatty acid oxidation activation associates with poor prognosis in oral squamous cell carcinoma

<title>Abstract</title> Fatty acid oxidation (FAO) activation was reported to promote tumor progression, yet its role in oral squamous cell carcinoma (OSCC) remains incompletely understood. Here, we found that FAO was significantly activated in both OSCC tissue biopsies and OSCC...

Comparison of serum C3, C3a, C4 levels between cataract patients with and without pseudoexfoliation and normal individuals

<title>Abstract</title> <bold>Backgrounds:</bold> We aimed to compare serum complement C3, C3a, and C4 levels between cataract patients with and without pseudoexfoliation syndrome, and to compare these groups with the control group. <bold>Methods:</bold> There were three differen...

Functional Activity of TDP-43: A Direct Biomarker for ALS

TDP-43 dysfunction is a defining feature of amyotrophic lateral sclerosis (ALS), yet no biofluid biomarker directly measures its functional activity. We developed a serum-based homogeneous time-resolved FRET (hTR-FRET) assay that quantifies TDP-43 RNA binding activity using synth...

Exploring educators' awareness of and preparedness to respond to image-based sexual abuse and exploitation of children: A qualitative study

Background Educators and school administrators can play an important role in intervening in cases of image-based sexual abuse and exploitation of children (IBSAEC). However, these groups report they lack the knowledge and confidence to respond to suspected cases. Objective The ob...

Characterization and molecular dynamics of interfacial adhesion in hydrogenated styrene/polyurethane prepolymer composite-modified asphalt

To address the limitations of conventional polymer modified asphalt, a hydrogenated styrene block polyurethane prepolymer (M-PPU) modified asphalt was developed by incorporating a hydrogenated styrene block into a polyurethane prepolymer (PPU). The preparation process was first o...

Depolarization ratio of smoke and volcanic ash aerosol particles at 1565 nm using a HALO Doppler lidar

Abstract. Particle linear depolarization ratio is a widely used parameter in lidar research to distinguish different aerosol types and the thermodynamic phase of water. It is most frequently measured at ultraviolet and visible wavelengths (355 and 532 nm), yet multi-wavelength ob...

More than just green: the role of vegetation heterogeneity for species richness and multidiversity in urban green spaces

<title>Abstract</title> Urban green spaces (UGS) provide ecological, social, and climatic functions, yet their effectiveness depends not only on area but also on vertical spatial structure. We present a high-resolution urban green space typology (UGST) for four Swiss cities (Base...

Robust design of multi-energy systems accounting for mixed-integer operational problems

Identifying robust designs for multi-energy systems is computationally challenging. As rigorous approaches are often computationally intractable, heuristics are employed to generate candidate designs. Specifically, we consider a heuristic that iteratively identifies and adds extr...

Thermalization regimes in a chaotic Tavis-Cummings model

This work investigates the emergent thermalization regimes in a chaotic Tavis–Cummings (TC) model and their implications in quantum spectroscopy. While the TC model is a cornerstone of cavity quantum electrodynamics, traditional treatments often overlook many-body effects that ar...

Physiological and Molecular Mechanisms of Nano-Hydroxyapatite (nHAP) in Regulating Chilling Tolerance of Cucumber Seedlings

Xishuangbanna (XIS) cucumber (Cucumis sativus L. var. Xishuangbannesis Qi et Yuan) originated from low-altitude southwest China, and shows extremely cold sensitivity. nano-hydroxyapatite (nHAP) is the nanoparticulate form of hydroxyapatite (HAP) and exhibits different physicochem...

Disentangling damage from operational variability: A label-free self-supervised representation learning framework for output-only structural damage identification

Damage identification is a core task in structural health monitoring. In practice, however, its reliability is often compromised by confounding non-damage effects, such as variations in excitation and environmental conditions, which can induce changes comparable to or larger than...

Acquired Resistance to the PRMT5 Inhibitor Confers Collateral Sensitivity to MEK Inhibition in MTAP-Null Non-Small Cell Lung Cancer

Abstract Protein arginine methyltransferase 5 (PRMT5) is a synthetic lethal target in methylthioadenosine phosphorylase-deleted (MTAP-null) cancers. Second-generation MTA-cooperative PRMT5 inhibitors preferentially target MTAP-null cells while largely sparing MTAP-wildtype (MTAP-...

Plectin promotes an aggressive phenotype and represses cytotoxic T cell activity in pancreatic cancer

Abstract Background Pancreatic adenocarcinoma (PDAC) is an abysmal disease, with a poor clinical outcome, largely due to limited life-extending treatments for patients. Notoriously, PDAC displays a T cell-suppressive tumor microenvironment where underlying molecular mechanisms th...

Density profiles and direct correlation functions from density functional theory in binary hard-sphere crystals: Substitutional solid and interstitial solid solution

We determine the fully resolved equilibrium density profiles for two binary hard-sphere crystal structures using classical density functional theory through the White Bear II functional from fundamental measure theory. While for the substitutional crystal, in which some hard sphe...

Boost-invariant Perfect Fermi–Dirac Spin Hydrodynamics

We analyze the effect of using the Fermi–Dirac statistics, rather than its Boltzmann approximation, in numerical simulations of perfect spin hydrodynamics of particles with spin \(1/2\). The system considered is boost invariant, transversely homogeneous, with corrections to the b...

Managing the Unmanageable: Multimodal Artificial Intelligence for Unstructured Data Management and Analysis

Today, data are no longer confined to numerical values arranged in row-by-column matrices or stored neatly within relational databases. One of the defining characteristics of big data is its high variety, encompassing unstructured and multimodal forms such as text, audio, images,...

Agentic social affordance framework (ASAF): agent identity design as a collaboration interface in multi-agent systems

As AI systems evolve from single conversational agents to complex multi-agent architectures, a critical design dimension has been overlooked: how the social identity of individual agents shapes human behavior within the collaboration. This paper introduces the Agentic Social Affo...

Theory of Architecture as the Maestro Organising AI Text-to-Image Prompts

In the wake of the Fifth Industrial Revolution, artificial intelligence (AI) has become a disruptive force in architectural design processes. One AI technique is text-to-image, which generates visual representations from textual descriptions. This research questions how architect...