Results 41 to 50 of about 107 (106)
Compliance Preorders for Web Services [PDF]
, 2010 Compliance is a basic property of web-service architectures that ensures the absence of deadlocks and livelocks during execution. Following recent attempts in the literature, we interpret compliance as an experiment, much like the experiments made by a test process in testing theories, and use it as the basis for a notion of compliance preserving ...
BUGLIESI, Michele +3 more
openaire +1 more source
Moments, sums of squares, and tropicalization
Journal of the London Mathematical Society, Volume 112, Issue 4, October 2025.Abstract We use tropicalization to study the duals to cones of nonnegative polynomials and sums of squares on a semialgebraic set S$S$. The truncated cones of moments of measures supported on the set S$S$ are dual to nonnegative polynomials on S$S$, while “pseudomoments” are dual to sums of squares approximations to nonnegative polynomials.
Grigoriy Blekherman +4 more
wiley +1 more source
Glasnik Matematicki, 2003 Summary: Let \(X\) be a dendroid and \(x^*\in X\). \(\Delta_0(X,x^*)\) will denote the preordered set of arc-components of \(X\setminus\{x^*\}\), where the preorder is defined by \(\alpha\leq\beta\) if \(\alpha\subseteq \text{cl}(\beta)\). In this paper we investigate conditions under which there exists a pair \((X,x^*)\) such that \(\Delta_0(X,x ...
Neumann-Lara, Victor +2 more
openaire +2 more sources
Multistate Density Functional Theory: Theory, Methods, and Applications
WIREs Computational Molecular Science, Volume 15, Issue 5, September/October 2025.Multistate density functional theory with nonorthogonal state interaction (MSDFT‐NOSI) extends the scope and application of density functional theory to a wide range of systems that cannot be adequately treated in the Kohn–Sham framework. Illustrated examples include conical intersection in a photochemical reaction, excited‐state energy transfer ...
Yangyi Lu, Jiali Gao
wiley +1 more source
Weak incidence algebra and maximal ring of quotients
International Journal of Mathematics and Mathematical Sciences, 2004 Let X, X′ be two locally finite, preordered sets and let R be any indecomposable commutative ring. The incidence algebra I(X,R), in a sense, represents X, because of the well-known result that if the rings I(X,R) and I(X′,R) are isomorphic, then X and X′
Surjeet Singh, Fawzi Al-Thukair
doaj +1 more source
Induced Spirals in Polyethylene Terephthalate Films Irradiated with Ar Ions with an Energy of 70 MeV
Crystals, 2020 This paper presents the results of a study of the ordering in polyethylene terephthalate (PET) film induced by Ar8+ ions with an irradiation fluence of 2 × 1012 ions/cm2, and of the temporal stability of the induced ordering in the irradiated sample ...
Adil Z. Tuleushev +3 more
doaj +1 more source
Simulation of Inhomogeneous Refractive Index Fields Induced by Hot Tailored Forming Components
Advanced Engineering Materials, Volume 27, Issue 16, August 2025.This article presents a simulation model for simulating inhomogeneous refractive index fields (IRIF) in hot‐forged components, accounting for thermal influences and complex geometries. Through this simulation, a priori knowledge about the propagation of the IRIF can be obtained, allowing for the positioning of the component or an optical measurement ...
Pascal Kern +3 more
wiley +1 more source
A Brauerian representation of split preorders [PDF]
Mathematical Logic Quarterly, 2003 AbstractSplit preorders are preordering relations on a domain whose composition is defined in a particular way by splitting the domain into two disjoint subsets. These relations and the associated composition arise in categorial proof theory in connection with coherence theorems. Here split preorders are represented isomorphically in the category whose
Došen, Kosta, Petrić, Zoran
openaire +3 more sources
Sequences suffice for pointfree uniform completions
Journal of the London Mathematical Society, Volume 112, Issue 2, August 2025.Abstract Completions of metric spaces are usually constructed using Cauchy sequences. However, this does not work for general uniform spaces, where Cauchy filters or nets must be used instead. The situation in pointfree topology is more straightforward: the correct completion of uniform locales can indeed be obtained as a quotient of a locale of Cauchy
Graham Manuell
wiley +1 more source
Linear functional differential equations possessing solutions with a given growth rate
Journal of Inequalities and Applications, 2005 We establish optimal, in a sense, conditions under which, for arbitrary forcing terms from a suitable class, a linear inhomogeneous functional differential equation in a preordered Banach space possesses solutions satisfying a certain growth restriction.
Rontó Andrei, Agarwal Ravi P
doaj