Results 31 to 40 of about 4,557,251 (286)
A Formalization of the Theorem of Existence of First-Order Most General Unifiers
, 2012 This work presents a formalization of the theorem of existence of most general unifiers in first-order signatures in the higher-order proof assistant PVS.
A. B. Avelar +23 more
core +2 more sources
On the existence of order functions [PDF]
Journal of Statistical Planning and Inference, 2001 The main concern of this paper is to prove the existence of well-behaving sequences or, in the terminology of this paper, the existence of order or weight functions, using the theory of Gröbner bases. It is shown that the \(\mathbb{F}\)-algebra \(R\) has a basis consisting of a well-behaving sequence if and only if \(R\) has an order function.
openaire +1 more source
Existence of nonoscillatory solutions of second-order neutral differential equations
Cumhuriyet Science Journal, 2021 In this study we shall obtain some sufficient conditions for the existence of positive solutions of variable coefficient nonlinear second-order neutral differential equation with distributed deviating arguments. For some different cases of the range of p(
M. Tamer Senel, Bengü Çına
doaj +1 more source
Is bimodality a sufficient condition for a first order phase transition existence?
, 2013 Here we present two explicit counterexamples to the widely spread beliefs about an exclusive role of bimodality as the first order phase transition signal.
Bugaev, K. A. +3 more
core +1 more source
Existence of solutions for a nonlinear fractional order differential equation
Electronic Journal of Qualitative Theory of Differential Equations, 2009 Let $D^\alpha$ denote the Riemann-Liouville fractional differential operator of order $\alpha$. Let $1 < \alpha < 2$ and $0 < \beta < \alpha$. Define the operator $L$ by $L = D^\alpha - a D^\beta$ where $a \in \mathbb{R}$.
E. Kaufmann, Kouadio D. Yao
doaj +1 more source
A second order logic of existence [PDF]
Journal of Symbolic Logic, 1969 A. N. Prior in [9] has suggested an approach towards a second order logic of existence where, following medieval logicians, we distinguish “between predicates (like ‘is red’, ‘is hard’, etc.) which entail existence, and predicates (like ‘is thought to be red’, ‘is thought of’, etc.) which do not.”2 Let us refer to attributes (including relational ...
openaire +2 more sources
Existence and stability of fourth-order nonlinear plate problem
Nonautonomous Dynamical Systems, 2019 In this paper, we study a fourth-order plate problem as a model for a suspension bridge in the presence of a nonlinear frictional damping and a hanger restoring force. We establish the existence of a global weak solution and prove a stability result.
Messaoudi Salim A., Mukiawa Soh Edwin
doaj +1 more source
Existence of Multiple Solutions for Fourth-Order Elliptic Problem
Abstract and Applied Analysis, 2014 By using the variant fountain theorem, we study the existence of multiple solutions for a class of superquadratic fourth-order elliptic problem with Navier boundary value condition.
Hua Gu, Tianqing An
doaj +1 more source
Sickle Cell Disease Is an Inherent Risk for Asthma in a Sibling Comparison Study
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction Sickle cell disease (SCD) and asthma share a complex relationship. Although estimates vary, asthma prevalence in children with SCD is believed to be comparable to or higher than the general population. Determining whether SCD confers an increased risk for asthma remains challenging due to overlapping symptoms and the ...
Suhei C. Zuleta De Bernardis +9 more
wiley +1 more source
Existence of Long-Range Order for Trapped Interacting Bosons
, 2002 We derive an inequality governing ``long range'' order for a localized Bose-condensed state, relating the condensate fraction at a given temperature with effective curvature radius of the condensate and total particle number.
D. Pines +4 more
core +1 more source