Results 261 to 270 of about 3,152,534 (307)
Some of the next articles are maybe not open access.
LEARNING SYSTEMS OF FIRST-ORDER RULES
1988Abstract Similarity-based inductive learning has mainly been concerned with learning concepts from examples and counter-examples. When applied to knowledge base construction, these techniques suffer from a basic limitation: a knowledge base is not a simple juxtaposition of such concepts, but rather a coherent system of rules interacting with one ...
openaire +1 more source
First-order quasilinear systems
2003Abstract When we use vector systems of partial differential equations, we can model many more physical situations than when we are restricted to the scalar case. For example, as well as looking at the simple kinematic wave models of Chapter 1, we can study situations which allow simultaneous wave propagation both backwards and forwards ...
John Ockendon +3 more
openaire +1 more source
Multidimensional Inverse Scattering for First‐Order Systems
Studies in Applied Mathematics, 1984A method for solving the inverse problem for a class of multidimensional first‐order systems is given. The analysis yields equations which the scattering data must satisfy; these equations are natural candidates for characterizing admissible scattering data. The results are used to solve the multidimensional N‐wave resonant interaction equations.
Nachman, Adrian I., Ablowitz, Mark J.
openaire +2 more sources
First-order representation of delay-differential systems
2001 European Control Conference (ECC), 2001We show that a delay-differential system, i.e. a dynamical system that is defined by a set of equations involving differentiation and both punctual and distributed delays, can be written in a pseudo-state space form, called also first- order representation, which generalizes the state space form for purely differential systems and employs only first ...
Paolo Vettori, Sandro Zampieri
openaire +1 more source
On the boundary controllability of first-order hyperbolic systems
Nonlinear Analysis: Theory, Methods & Applications, 2005zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ANCONA F, COCLITE, Giuseppe Maria
openaire +2 more sources
On first order elliptic systems
Journal of Elliptic and Parabolic EquationszbMATH Open Web Interface contents unavailable due to conflicting licenses.
Michaël Ndjinga +1 more
openaire +1 more source
International Journal of Control, 1981
Some optimal control trajectories include both non-singular and singular arcs. At points where these two types of arc are joined, called junctions, certain necessary conditions for optimality are known. The status of one theorem from the literature concerning a particular sot of conditions has been the subject of previous investigation.
openaire +1 more source
Some optimal control trajectories include both non-singular and singular arcs. At points where these two types of arc are joined, called junctions, certain necessary conditions for optimality are known. The status of one theorem from the literature concerning a particular sot of conditions has been the subject of previous investigation.
openaire +1 more source
First-Order Quasi-canonical Proof Systems
2019Quasi-canonical Gentzen-type systems with dual-arity quantifiers is a wide class of proof systems. Using four-valued non-deterministic semantics, we show that every system from this class admits strong cut-elimination iff it satisfies a certain syntactic criterion of coherence.
Yotam Dvir, Arnon Avron
openaire +1 more source