Related papers: Domain closure conditions and definability preserv…
Generalization capability to unseen domains is crucial for machine learning models when deploying to real-world conditions. We investigate the challenging problem of domain generalization, i.e., training a model on multi-domain source data…
The increasing amount of available Linked Data resources is laying the foundations for more advanced Semantic Web applications. One of their main limitations, however, remains the general low level of data quality. In this paper we focus on…
This work proposes a mathematical approach that (re)defines a property of Machine Learning models named stability and determines sufficient conditions to validate it. Machine Learning models are represented as functions, and the…
Both domain names and entire websites are increasingly frequently treated as assets, the value of which can be appraised. The objective of the present thesis was to verify the credibility of domain name appraisals obtained using generally…
Domain generalization (DG) is a branch of transfer learning that aims to train the learning models on several seen domains and subsequently apply these pre-trained models to other unseen (unknown but related) domains. To deal with…
This article defines a complement of a function and conditions for existence of such a complement function and presents few algorithms to construct a complement.
We investigate the presence of domain walls in models described by three real scalar fields. We search for stable defect structures which minimize the energy of the static field configurations. We work out explict orbits in field space and…
We consider an extension of linear-time temporal logic (LTL) with both local and remote data constraints interpreted over a concrete domain. This extension is a natural extension of constraint LTL and the Temporal Logic of Repeating Values,…
Causal discovery has become a vital tool for scientists and practitioners wanting to discover causal relationships from observational data. While most previous approaches to causal discovery have implicitly assumed that no expert domain…
Closure modeling - the statistical modeling of missing dynamics in the natural sciences and engineering - is a growing and active area of research. Existing methods for closure modeling are often computationally prohibitive, lack…
Gravitational properties of domain walls in fundamental theory and their implications for the trapping of gravity are reviewed. In particular, the difficulties to embed gravity trapping configurations within gauged supergravity is reviewed…
Reasoning about exceptions in ontologies is nowadays one of the challenges the description logics community is facing. The paper describes a preferential approach for dealing with exceptions in Description Logics, based on the rational…
Preservation theorems provide a direct correspondence between the syntactic structure of first-order sentences and the closure properties of their respective classes of models. A line of work has explored preservation theorems relativised…
It was pointed out in my last paper that there are rings whose real closure * are not unique. In [4] we also discussed some example of rings by which there is a unique real closure * (mainly the real closed rings). Now we want to determine…
We have researched the condition for symplectic discretization to preserve local boundedness for the space of 2-dimensional Hamiltonian dynamical systems in this paper.
Model theoretic results such as Characterization and Definability give important information about different logics. It is well known that the proofs of those results for several modal logics have, somehow, the same 'taste'. A general proof…
Domain transfer (DT) maps source to target distributions and supports tasks such as unsupervised image-to-image translation, single-cell analysis, and cross-platform medical imaging. However, DT is fundamentally ill-posed: push-forward…
Characterizing domains is essential for models analyzing dynamic environments, as it allows them to adapt to evolving conditions or to hand the task over to backup systems when facing conditions outside their operational domain. Existing…
We investigate linear boundary value problems for first-order one-dimensional hyperbolic systems in a strip. We establish conditions for existence and uniqueness of bounded continuous solutions. For that we suppose that the non-diagonal…
In this paper I raise a question on the structure of the boundary of the crown domain.