Results 21 to 30 of about 3,152,534 (307)
, 2022 International audienceThe aim of this paper is to study the boundary controllability of the linear elasticity system as a first-order system in both space and time. Using the observability inequality known for the usual second-order elasticity system, we
Bottois, Arthur, Cîndea, Nicolae
core +1 more source
Exponential Attractor for a First-Order Dissipative Lattice Dynamical System
Journal of Applied Mathematics, 2008 We construct an exponential attractor for a first-order dissipative lattice dynamical system arising from spatial discretization of reaction-diffusion equations in ℝ𝑘. And we obtain fractal dimension of the exponential attractor.
Xiaoming Fan
doaj +1 more source
Controllability of semilinear systems with fixed delay in control [PDF]
Opuscula Mathematica, 2015 In this paper, different sufficient conditions for exact controllability of semilinear systems with a single constant point delay in control are established in infinite dimensional space. The existence and uniqueness of mild solution is also proved under
Surendra Kumar, N. Sukavanam
doaj +1 more source
四川大学学报. 自然科学版, 2022 In this paper, we study the existence and uniqueness of positive solutions for the periodic boundary value problems of a class of first order ordinary differential equations.
HE Ting
doaj
Mathematics, 2021 In this paper, we study the dissipative structure of first-order linear symmetric hyperbolic system with general relaxation and provide the algebraic characterization for the uniform dissipativity up to order 1.
Yasunori Maekawa, Yoshihiro Ueda
doaj +1 more source
Closed-Form Equation of Data Dependent Jitter in First Order Low Pass System
The Scientific World Journal, 2014 This paper presents a closed-form equation of data dependent jitter (DDJ) in first order low pass systems. The DDJ relates to the system bandwidth, the bit rate, the input rise/fall time, and the number of maximum consecutive identical bits of the data ...
Sangjin Byun
doaj +1 more source
Mathematics, 2022 In this article, a scalar nonlinear integro-differential equation of second order and a non-linear system of integro-differential equations with infinite delays are considered.
Cemil Tunç, Osman Tunç
doaj +1 more source
First-Order Interpolation and Interpolating Proof Systems
EPiC Series in Computing, 2018 It is known that one can extract Craig interpolants from so-called localproofs. An interpolant extracted from such a proof is a booleancombination of formulas occurring in the proof. However, standard completeproof systems, such as superposition, for theories having the interpolationproperty are not necessarily complete for local proofs: there are ...
Kovacs, Laura, Voronkov, Andrei
openaire +2 more sources
Land, 2022 Land administration is the managing of spatial and legal data pertaining to land. Land administration organizations provide services for land ownership and are essential to a well-functioning land administration system to secure land and property rights ...
Evangelia Balla +3 more
doaj +1 more source
First-order system least squares with inhomogeneous boundary conditions
, 2013 We derive well-posed first-order system least-squares formulations of second-order elliptic boundary value problems, in which homogeneous essential boundary conditions are appended by means of additional equations, rather than by their incorporation in ...
Rob Stevenson, Stevenson, R.P.
core +1 more source