Research works

Large Language Model for Verilog Code Generation: Literature Review and the Road Ahead

Code generation represents a critical intersection of Software Engineering (SE) and Artificial Intelligence (AI). Within this broader landscape, Verilog, as a representative hardware description language (HDL), is fundamental to Electronic Design Automation (EDA), recent research...

Error Formulas for Block Rational Krylov Approximations of Matrix Functions

Abstract. This paper investigates explicit expressions for the error associated with the block rational Krylov approximation of matrix functions. Two formulas are proposed, both derived from characterizations of the residual of the block full orthogonal method. The first formula...

Bounded diameter monochromatic component covers

Abstract Ryser conjectured that every ‐edge‐coloured complete graph can be covered by monochromatic trees. Motivated by a question of Austin in analysis, Milićević predicted something stronger — that every ‐edge‐coloured complete graph can be covered by monochromatic trees of bou...

Microstructural insights into fast ion transport in solid electrolytes via multiscale modeling

Abstract Improving solid electrolytes is critical for high-performance all-solid-state batteries, yet the microstructural features that enable fast ion transport remain poorly understood. Here, we use multiscale modeling to resolve polycrystalline ion transport from atomic-scale...

A Paley–Wiener–Schwartz Theorem for Smooth Valuations on Convex Functions

Abstract Continuous dually epi-translation invariant valuations on convex functions are characterized in terms of the Fourier–Laplace transform of the associated Goodey–Weil distributions. This description is used to obtain integral representations of the smooth vectors of the na...

Relationships between Arctic sea-ice concentration, temperature, and specific humidity in the lower troposphere during 1980–2021

Abstract. Understanding of the local effects of sea-ice concentration (SIC) variations on the Arctic atmosphere is a prerequisite for assessing the role of Arctic sea-ice decline in the climate system, including its influence on mid-latitudes. In this study, we analysed the relat...

Ergodic control of multi-agent systems under communication constraints

We study decentralised ergodic control for multi-agent systems operating over stochastic, lossy communication graphs. Each agent follows controlled stochastic dynamics with uniformly elliptic noise on a compact domain and aims to align its occupation measure with a prescribed tar...

Gradient Regularity for Double-Phase Orthotropic Functionals

We prove higher integrability for local minimizers of the double-phase orthotropic functional [Formula: see text] when the weight function [Formula: see text] is assumed to be [Formula: see text]-Hölder continuous, while the exponents [Formula: see text] are such that [Formula: s...

Cube structures of the universal minimal system, nilsystems and applications

We propose and develop an approach to study nilsystems and their proximal extensions using cube structures associated with the universal minimal system. We provide alternative proofs for results regarding saturation properties of factor maps to maximal nilfactors in cubes, as wel...

A theory of political divergence and gradual institutional change

Abstract Why do some societies succeed in breaking away from historical traditions while others remain trapped? This paper proposes a formal theory to investigate the interaction between short‐run and long‐run political dynamics, highlighting a co‐evolution of political instituti...

Cobalt-catalyzed construction of spiro scaffolds bearing central and axial chirality via enantioselective (4+1) C–H spiroannulation

Abstract The construction of structurally complex, stereochemically rich spirocyclic frameworks remains a formidable challenge in organic synthesis, particularly when multiple stereoelements installed with precision in a single operation. Herein, we disclose a cobalt/Salicyloxazo...

Data-driven safety certificates of infinite networks with unknown models and interconnection topologies

Infinite networks are complex interconnected systems comprising a countably infinite number of subsystems, for which no fixed upper bound on the number of participating subsystems is specified a priori since it may vary over time as agents join or leave (e.g., vehicles in traffic...

Reversible Switching due to Attraction and Repulsion: Clusters, Gaps, Sorting, and Mixing

Abstract. We describe a phase transition in continuum limits of interacting particle systems that exhibits a vertical bifurcation diagram. The transition is mediated by a competition short-range repulsion and long-range attraction. As a consequence of the transition, infinitesima...

A Rockafellar Theorem for cyclically quasi-monotone maps: the regular non-vanishing case

We study the connection between cyclic quasi-monotonicity and quasi-convexity, focusing on whether every cyclically quasi-monotone (possibly multi-valued) map is included in the normal cone operator of a quasi-convex function, in analogy with Rockafellar's theorem for convex func...

Two Sample Testing for High-dimensional Functional Data: A Multi-Resolution Projection Method

It is of great interest to test the equality of the means in two samples of functional data.Past research has predominantly concentrated on lowdimensional functional data, a focus that may not hold in high-dimensional scenarios.In this article, we propose a novel two-sample test...

Tmem117, an oligodendrocyte-enriched regulator of NCX activity, links myelin homeostasis to counterregulation and metabolic health

Abstract The counterregulatory response (CRR) to hypoglycemia is a fundamental, evolutionarily conserved homeostatic mechanism orchestrated by the central nervous system (CNS) to ensure survival during glucose scarcity. In individuals with diabetes, this response is frequently im...

The DLX/Notch axis is necessary for spatiotemporal regulation of neural cell fate

Neuronal-glial cell fate switch during forebrain development is highly regulated. DLX transcription factors are necessary for promoting GABAergic interneuron differentiation and migration but the mechanisms for concomitant repression of glial fate in neural progenitors remain elu...

Lateral internal sphincterotomy with skin grafting for chronic anal fissure: protocol of a multi-center randomized controlled trial

Abstract Background: Anal fissure, a prevalent anorectal disorder, is defined as a longitudinal tear in the anoderm distal to the dentate line.Chronicity develops in a substantial fraction of anal fissures despite initial conservative success, resulting in significant quality-of-...

Both CD8+ and CD4+ T regulatory cells are associated with poor survival in colorectal cancer

Abstract Previous studies in colorectal cancer have linked high levels of FoxP3 + regulatory T-cells (Treg) (CRC) to favourable prognosis. However, this contradicts the well-established immunosuppressive function of Treg. We resolved this conundrum using multiplex immunohistochem...

Viral commitment to infection depends on host metabolism

Viral infection begins with attachment to host surface structures such as receptors, pili, or porins. While prior research has focused on structural compatibility and recognition, the role of host physiology, particularly metabolic state, on viral commitment to infection remains...