Related papers: Domain closure conditions and definability preserv…
The scarcity of labeled training data often prohibits the internationalization of NLP models to multiple languages. Recent developments in cross-lingual understanding (XLU) has made progress in this area, trying to bridge the language…
For a nonlinear equation with several variable delays $$ \dot{x}(t)=\sum_{k=1}^m f_k(t, x(h_1(t)),\dots,x(h_l(t)))-g(t,x(t)), $$ where the functions $f_k$ increase in some variables and decrease in the others, we obtain conditions when a…
In this paper, we analyze nonlinear differential equations subject to generalized boundary conditions. More specifically, we provide a framework from which we can provide conditions, which are straightforward to check, for the solvability…
The advancement of software sustainability encounters notable challenges, underscoring the necessity for understanding these challenges to facilitate significant progress and pave the way for effective solutions to advance software…
We present sufficient conditions for the existence of positive solutions for a class of fractional singular boundary value problems in presence of Caputo fractional derivative. Further, the nonlinearity involved has singularity with respect…
We study the geometry of convex optimization problems given in a Domain-Driven form and categorize possible statuses of these problems using duality theory. Our duality theory for the Domain-Driven form, which accepts both conic and…
We consider small nonlinear perturbations of linear systems on a time scale with the phase space being finite or infinite-dimensional. For $\Delta$-differential operators, corresponding to linear dynamic systems we consider their…
We address the problem of minimal-change integrity maintenance in the context of integrity constraints in relational databases. We assume that integrity-restoration actions are limited to tuple deletions. We identify two basic computational…
This paper deals with fractional-order controlled systems and fractional-order controllers in the discrete domain. The mathematical description by the fractional difference equations and properties of these systems are presented. A…
We investigate Petri nets with data, an extension of plain Petri nets where tokens carry values from an infinite data domain, and executability of transitions is conditioned by equalities between data values. We provide a decision procedure…
In this paper, we explain how some basic facts about valuation can help clarify many questions about divisibility in integral domains.
Recognition across domains has recently become an active topic in the research community. However, it has been largely overlooked in the problem of recognition in new unseen domains. Under this condition, the delivered deep network models…
Temporal causality defines what property causes some observed temporal behavior (the effect) in a given computation, based on a counterfactual analysis of similar computations. In this paper, we study its closure properties and the…
Developers express the meaning of the domain ideas in specifically selected identifiers and comments that form the target implemented code. Software maintenance requires knowledge and understanding of the encoded ideas. This paper presents…
We present new results on the application of semantic- and knowledge-based reasoning techniques to the analysis of cloud deployments. In particular, to the security of Infrastructure as Code configuration files, encoded as description logic…
The aim of the paper is firstly to study domains of definitions in terms of boundary conditions of minimal and maximal operators, as well as selfadjoint extensions of a minimal operator associated with the fourth-order differential operator…
We consider entailment problems involving powerful constraint languages such as frontier-guarded existential rules in which we impose additional semantic restrictions on a set of distinguished relations. We consider restricting a relation…
This paper deals with stability of a certain class of fractional order linear and nonlinear systems. The stability is investigated in the time domain and the frequency domain. The general stability conditions and several illustrative…
In pattern-forming systems, competition between patterns with different wave numbers can lead to domain structures, which consist of regions with differing wave numbers separated by domain walls. For domain structures well above threshold…
We address the issue of incorporating a particular yet expressive form of integrity constraints (namely, denial constraints) into probabilistic databases. To this aim, we move away from the common way of giving semantics to probabilistic…