Search results for "A domain"
showing 7 items of 37 documents
Algorithmic Analysis of Programs with Well Quasi-ordered Domains
2000
AbstractOver the past few years increasing research effort has been directed towards the automatic verification of infinite-state systems. This paper is concerned with identifying general mathematical structures which can serve as sufficient conditions for achieving decidability. We present decidability results for a class of systems (called well-structured systems) which consist of a finite control part operating on an infinite data domain. The results assume that the data domain is equipped with a preorder which is a well quasi-ordering, such that the transition relation is “monotonic” (a simulation) with respect to the preorder. We show that the following properties are decidable for wel…
Homeomorphisms of finite distortion: discrete length of radial images
2008
AbstractWe study homeomorphisms of finite exponentially integrable distortion of the unit ball Bn onto a domain Ω of finite volume. We show that under such a mapping the images of almost all radii (in terms of a gauge dimension) have finite discrete length. We also show that our dimension estimate is essentially sharp.
Solutions to the 1-harmonic flow with values into a hyper-octant of the N-sphere
2013
Abstract We announce existence results for the 1-harmonic flow from a domain of R m into the first hyper-octant of the N -dimensional unit sphere, under homogeneous Neumann boundary conditions. The arguments rely on a notion of “geodesic representative” of a BV-vector field on its jump set.
Multilingual information delivery based on a domain ontology
2014
As internationalisation becomes more and more intensive, organizations need to work with information in different languages in their work. Interlingua content delivery in e-learning courses could be effective learning content adaption method for delivering information for much wider audience. This paper suggests high-level framework for multilingual learning content delivery. This approach is based on a domain ontology, which allows to annotate and retrieve learning resources in a language independent way. Such method can improve accessibility, sharing and reuse of multilingual learning content.
Nonlinear Sculpturing of Optical Pulses in Fibre Systems
2019
The interplay among the effects of dispersion, nonlinearity and gain/loss in optical fibre systems can be efficiently used to shape the pulses and manipulate and control the light dynamics and, hence, lead to different pulse-shaping regimes [1,2]. However, achieving a precise waveform with various prescribed characteristics is a complex issue that requires careful choice of the initial pulse conditions and system parameters. The general problem of optimisation towards a target operational regime in a complex multi-parameter space can be intelligently addressed by implementing machine-learning strategies. In this paper, we discuss a novel approach to the characterisation and optimisation of …
Global representation and multiscale expansion for the Dirichlet problem in a domain with a small hole close to the boundary
2019
For each pair (Formula presented.) of positive parameters, we define a perforated domain (Formula presented.) by making a small hole of size (Formula presented.) in an open regular subset (Formula presented.) of (Formula presented.) ((Formula presented.)). The hole is situated at distance (Formula presented.) from the outer boundary (Formula presented.) of the domain. Thus, when (Formula presented.) both the size of the hole and its distance from (Formula presented.) tend to zero, but the size shrinks faster than the distance. Next, we consider a Dirichlet problem for the Laplace equation in the perforated domain (Formula presented.) and we denote its solution by (Formula presented.) Our ai…
Multi-marginal entropy-transport with repulsive cost
2020
In this paper we study theoretical properties of the entropy-transport functional with repulsive cost functions. We provide sufficient conditions for the existence of a minimizer in a class of metric spaces and prove the $\Gamma$-convergence of the entropy-transport functional to a multi-marginal optimal transport problem with a repulsive cost. We also prove the entropy-regularized version of the Kantorovich duality.