Results 221 to 230 of about 109,071 (235)

Higher-Order Conditions for Conical Controllability

SIAM Journal on Control and Optimization, 1988
Let Q be a convex subset of a linear space, $\mathcal{U} \subset Q$, $\mathcal{Z}$ a topological vector space, $C \subset \mathcal{Z}$ convex with a nonempty interior, $\bar q \in Q$, $\varphi = (\varphi _1 ,\varphi _2 ):Q \to \mathbb{R}^m \times \mathcal{Z}$, and $\varphi _2 (\bar q) \in C$. Also, let $\mathcal{A}: = \{ u \in \mathcal{U}|\varphi _2 (u)
openaire   +1 more source

Higher order conditional rewriting and narrowing

2005
First order conditional rewrite systems R have been extensively studied. If R is confluent and terminating, then narrowing is a sound and complete procedure to compute all solutions of a goal s = t modulo R. Recently there has been developed a satisfactory way to combine higher order terms and unconditional rewriting.
Jürgen Avenhaus, Carlos Loría-Sáenz
openaire   +1 more source

Conditional differential equations of higher order

Applicationes Mathematicae, 2018
Theorems giving necessary conditions for the existence of a solution of a conditional differential equation of higher order are proved. A model using a conditional differential equation is proposed for diffusion of particles in plasma and it is shown to yield a description of ballistic diffusion.
openaire   +2 more sources

Higher Order Conditions with and without Lagrange Multipliers

SIAM Journal on Control and Optimization, 1986
Higher order sufficient conditions involving possibly nonconvex sets of variations (without Lagrange multipliers) are established for the following property: \(\Phi_ 1(.):\) \(Q\subset Y\to R^ m\) is said to be strongly locally (\({\mathcal U},\Phi_ 2,C)\)-controllable at \(\bar q\in Q\) if there exist neighbourhoods \(G_ 1,G_ 2\) of 0 in \(R^ m,Z ...
openaire   +1 more source

Higher-order conditions for singular Lagrangian dynamics

Journal of Physics A: Mathematical and General, 1992
The authors study the dynamics constructed from a higher-order singular Lagrangian function. They point out that different dynamics can arise from a \(k\)th-order singular Lagrangian. A deep geometrical exploration of this circumstance leads to a new classification of the constraints which is related to the \(m\)th-order condition required to obtain ...
Gràcia, X., Pons, J. M., Román-Roy, N.
openaire   +2 more sources

Higher-Order Efficiency Conditions for Vector Nonsmooth Optimization Problems Using the Higher-Order Gâteaux Derivatives

Bulletin of the Iranian Mathematical Society
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Van Su, Tran, Hang, Dinh Dieu
openaire   +1 more source

Conditional Beliefs and Higher-Order Preferences [PDF]

, 2013
In this paper, we establish the Bayesian foundations of type structures in which beliefs are lexicographic probability systems (LPS’s)—such as those used in Brandenburger et al. (2008)—rather than standard probability measures as in Mertens and Zamir (1985). This is a setting which the distinction between preferences hierarchies (Epstein and Wang, 1996)
openaire  

Higher-order jump conditions for conservation laws

Theoretical and Computational Fluid Dynamics, 2018
The hyperbolic conservation laws admit discontinuous solutions where the solution variables can have finite jumps in space and time. The jump conditions for conservation laws are expressed in terms of the speed of the discontinuity and the state variables on both sides.
openaire   +1 more source

Higher Order Optimality Conditions in Nonsmooth Optimization

Optimization, 2002
For an arbitrary function $\font\Opr=msbm10 at 8pt \def\Op#1{\hbox {\Opr{#1}}}f\!\!: {\bf E} \rightarrow {\bar {\Op R}}$
openaire   +1 more source

Higher Order Conditioning of the Eyeblink Reflex

2019
Classical conditioning of the eyeblink response is a well-established model of cerebellar-dependent associative motor learning. In this paradigm an initially neutral conditioned stimulus (CS - e.g. an auditory tone or light) that elicits no response is paired with an aversive unconditioned stimulus (US -e.g.
openaire   +1 more source