Related papers: Model CR surfaces: weighted approach
This is a paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In two previous papers, we develop the basic theory of formal manifolds,…
We introduce the concept of weighted rules under the stable model semantics following the log-linear models of Markov Logic. This provides versatile methods to overcome the deterministic nature of the stable model semantics, such as…
In this paper, we derive cumulant bounds for subgraph counts and power-weighted edge length in a class of spatial random networks known as weighted random connection models. This involves dealing with long-range spatial correlations induced…
Dynamical reweighting methods permit to estimate kinetic observables of a stochastic process governed by a target potential $\tilde{V}(x)$ from trajectories that have been generated at a different potential $V(x)$. In this article, we…
We introduce a new method for expanding an abelian category and study it using recollements. In particular, we give a criterion for the existence of cotilting objects. We show, using techniques from noncommutative algebraic geometry, that…
This survey article is about discrete constant mean curvature surfaces defined by an approach related to integrable systems techniques. We introduce the notion of discrete constant mean curvature surfaces by first introducing properties of…
Traditional model-based diagnosis relies on constructing explicit system models, a process that can be laborious and expertise-demanding. In this paper, we propose a novel framework that combines concepts of model-based diagnosis with deep…
One of the most prominent challenges in clustering is "the user's dilemma," which is the problem of selecting an appropriate clustering algorithm for a specific task. A formal approach for addressing this problem relies on the…
Stepped wedge cluster randomized trials (SW-CRTs) have become increasingly popular and are used for a variety of interventions and outcomes, often chosen for their feasibility advantages. SW-CRTs must account for time trends in the outcome…
Our aim in this paper is to provide a theory of discrete Riemann surfaces based on quadrilateral cellular decompositions of Riemann surfaces together with their complex structure encoded by complex weights. Previous work, in particular of…
In this paper, the performance of different structural models based on global approach in evaluating the static response of curvilinear fibre composite laminates is analyzed. A Co shear flexible Quad-8 element developed based on…
Motivated by the study of meromorphic vector fields, a model theory of "compact complex manifolds equipped with a generic derivation" is here proposed. This is made precise by the notion of a differential CCM-structure. A first-order…
We propose an extension of the Allen-Cahn model for pattern synthesis on two dimensional curved surfaces. This model is based on a single PDE and it offers improved ability of controlling the type of generated surface patterns via the…
Based on multiple simulation trajectories, which started from dispersively selected initial conformations, the weighted ensemble dynamics method is designed to robustly and systematically explore the hierarchical structure of complex…
We develop continuous-stage Runge-Kutta methods based on weighted orthogonal polynomials in this paper. There are two main highlighted merits for developing such methods: Firstly, we do not need to study the tedious solution of…
In this paper, we introduce the weighted mixed (sectional, Ricci and scalar) curvature of a foliated (and almost-product) Riemannian manifold $(M,g)$ equipped with a vector field $X$. We define several functions ($q$th Ricci type…
In this paper we provide a characterisation of rational developable surfaces in terms of the blossoms of the bounding curves and three rational functions $\Lambda$, $M$, $\nu$. Properties of developable surfaces are revised in this…
Ornaments aim at taming the multiplication of special-purpose datatype in dependently-typed theory. In its original form, the definition of ornaments is tied to a particular universe of datatypes. Being a type theoretic object,…
We consider reaction-diffusion equations on closed surfaces in $\mathbb R^3$ having genus $1$. Stable nonconstant stationary solutions are often called patterns. The purpose of this paper is to construct closed surfaces together with…
We discuss methods to construct a polynomial parametrization of some interesting knotted surfaces (knotted spheres, knotted tori and knotted planes) and provide examples.