We give a sufficient condition under which every finite-satisfiable formula of a given PCTL fragment has a model with at most doubly exponential number of states (consequently, the finite satisfiability problem for the fragment is in 2-EXPSPACE). The...
give full contentment to: The hearty meal satisfied him. to put an end to (a desire, want, need, etc.) by sufficient or ample provision: The hearty meal satisfied his hunger.
Hierarchically-organized data arise naturally in many psychology and neuroscience studies. As the standard assumption of independent and identically distributed samples does not hold for such data, two important problems are to accurately estimate gr...
We find simple conditions for a non-negative Hankel quadratic form to be closable. Under some mild a priori assumption on the associated moments these sufficient conditions turn out to be also necessary. We also describe the domain of the correspondi...
Astrophysical measurements have shown that some stars have sufficiently high carbon-to-oxygen ratios such that the planets they host would be mainly composed of carbides instead of silicates. We studied the behavior of silicon carbide in the presence...
We give a sufficient condition for the strict parabolic power concavity of the convolution in space variable of a function defined on $\mathbb{R}^n \times (0,+\infty)$ and a function defined on $\mathbb{R}^n$. Since the strict parabolic power concavi...
We acuminate the idea of a final theory of physics in order to analyze its logical implications and consequences. It is argued that the rationale of a final theory is the principle of sufficient reason. This implies that a final theory of physics, pr...
It has been suggested that shock waves in the solar nebula formed the high temperature materials observed in meteorites and comets. It is shown that the temperatures at the inner rim of the solar nebula could have been high enough over a sufficient...
We describe the first data release from the Spitzer-IRAC Equatorial Survey (SpIES); a large-area survey of 115 deg^2 in the Equatorial SDSS Stripe 82 field using Spitzer during its 'warm' mission phase. SpIES was designed to probe sufficient volume t...
Certain chemical reaction networks (CRNs) when modeled as a deterministic dynamical system taken with mass-action kinetics have the property of reaction network detailed balance (RNDB) which is achieved by imposing network-related constraints on the...
We give necessary and sufficient conditions for the Zhang-Liu matrices to be diagonalizable over arbitrary fields and provide the eigen-decomposition when it is possible. We use this result to calculate the order of these matrices over any arbitrary...
We use K-area homology to summarize some results about the Novikov conjecture and the Hirzebruch L-class. In fact, we provide necessary and sufficient conditions for closed manifolds to have a homotopy invariant L-class. In order to obtain additional...
In a series of papers, of which this is the first, we study sufficient conditions for Hamiltonicity in terms of forbidden induced subgraphs and extend such results to locally finite infinite graphs. For this we use topological circles within the Freu...
We take a game theoretical approach to determine necessary and sufficient conditions under which we can persuade rational agents to exchange messages in pairwise exchanges over links of a dynamic network, by holding them accountable for deviations wi...
In offline reinforcement learning (RL) we have no opportunity to explore so we must make assumptions that the data is sufficient to guide picking a good policy, taking the form of assuming some coverage, realizability, Bellman completeness, and/or ha...
The theory of integration over R is rich with techniques as well as necessary and sufficient conditions under which integration can be performed. Of the many different types of integrals that have been developed since the days of Newton and Leibniz,...
This paper describes a sufficiently simple modular multiplication algorithm, which uses only carry-save addition with bit inspection Boolean logic and without number comparison or carry propagation....
In this work we derive a lower bounds for the Hausdorff and fractal dimensions of the global attractor of the Sabra shell model of turbulence in different regimes of parameters. We show that for a particular choice of the forcing and for sufficient...
We present experimental observations and numerical simulations of a wrinkling instability that occurs at sufficiently high strain rates in the trembling regime of vesicle dynamics in steady linear flow. Spectral and statistical analysis of the data s...
We examine the question of when the *-homomorphism of full amalgamated free product C*-algebras λ: A *_D B --> A' *_{D'} B', arising from compatible inclusions of C*-algebras A in A', B in B' and D in D', is an embedding. Results giving sufficient...