Results 271 to 280 of about 18,143,287 (301)
Some of the next articles are maybe not open access.
Second Order Spiking Perceptron
2009 WRI Global Congress on Intelligent Systems, 2009zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Xuyan Xiang +2 more
openaire +1 more source
On Second-Order Subdifferentials and Their Applications
SIAM Journal on Optimization, 2001The authors study second-order subdifferentials of extended-real-valued functions. The starting point is the second-order subdifferential introduced by the first author as the coderivative of the first-order subdifferentiable mapping. Beside this, a semiconvex version is introduced as the coderivative of the convexified first-order subdifferential ...
Boris S. Mordukhovich, Jirí V. Outrata
openaire +2 more sources
Mathematical Logic Quarterly, 1984
A sentence F from second order predicate calculus with equality has standard form if \(F=(Q_ 0)...(Q_ k)(I)F'\) where: (1) \(Q_ j\) is a string \(E^*\) or a string \(\forall^*\) of second order quantifiers, (2) if \(Q_ j\) is \(E^*\) (or \(\forall^*)\) then \(Q_{j+1}\) is \(\forall^*\) or \(E^*\), respectively, (3) I is a string of individual ...
openaire +1 more source
A sentence F from second order predicate calculus with equality has standard form if \(F=(Q_ 0)...(Q_ k)(I)F'\) where: (1) \(Q_ j\) is a string \(E^*\) or a string \(\forall^*\) of second order quantifiers, (2) if \(Q_ j\) is \(E^*\) (or \(\forall^*)\) then \(Q_{j+1}\) is \(\forall^*\) or \(E^*\), respectively, (3) I is a string of individual ...
openaire +1 more source
1980
Plain predicate logic is called “first-order logic”, as it allows us to handle objects of structure, and to quantify over them. One might just as well allow quantification over subsets of structures. In that case we speak of a “second-order logic”, which is a logic with two kinds of quantifiers: ∀x and ∀X.
openaire +1 more source
Plain predicate logic is called “first-order logic”, as it allows us to handle objects of structure, and to quantify over them. One might just as well allow quantification over subsets of structures. In that case we speak of a “second-order logic”, which is a logic with two kinds of quantifiers: ∀x and ∀X.
openaire +1 more source
Second-Order Structured Deformations
Archive for Rational Mechanics and Analysis, 2000zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Owen, David R., Paroni, Roberto
openaire +3 more sources
Second-order micromotives and macrobehaviour
Journal of Computational Social Science, 2020This paper deals with the gap between the preferences of individual agents and collective outcomes. The typical example of this topic is the Schelling–Sakoda segregation model where a first-order discrimination criterion is used to decide whether or not a person will leave his place.
openaire +3 more sources
On Second-Order Generalized Convexity
Journal of Optimization Theory and Applications, 2015zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
ON SECOND ORDER DIFFERENTIAL OPERATORS
The Annals of Mathematics, 1955Nevertheless, (1.2) is meaningful only under differentiability conditions which are unnatural for (1.1). An adjoint to (1.1) exists always, but it cannot be written in terms of derivatives with respect to x. The characteristic property of A appears to be (1) that it is of local character, (2) that whenever f has a local minimum at xo and f(xo) = 0 ...
openaire +2 more sources
High-order fully actuated system approaches: Part III. Robust control and high-order backstepping
International Journal of Systems Science, 2021Duan Guangren
exaly
Review of second-order models for adsorption systems
Journal of Hazardous Materials, 2006Yuh-Shan Ho
exaly