Results 251 to 260 of about 360,599 (282)
Some of the next articles are maybe not open access.
Theory of Computing Systems, 2020
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Boaz Patt-Shamir, Evyatar Yadai
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Boaz Patt-Shamir, Evyatar Yadai
openaire +1 more source
Parallel non-linear algorithms
Computer Physics Communications, 1982Since 1950 the development of modern Numerical Analysis methods has been influenced primarily by the architecture of the currently available digital computers. Whereas the original concept was that of the von Neumann computer (uniprocessor system), we can see today the emergence of true multiprocessor systems — affected above all by the rapid progress ...
M. Feilmeier, W. Rönsch
openaire +1 more source
Russian Mathematical Surveys, 1972
CONTENTSIntroduction Part I § 1. The space § 2. -potentials of generalized functions with finite -energy § 3. The maximum principle. A generalization of a theorem of Evans-Vasilesko. Lemmas on sequences of potentials § 4. The -capacity of a compact set. The capacity potential § 5. The capacity potential of an analytic set.
Maz'ya, V. G., Khavin, V. P.
openaire +2 more sources
CONTENTSIntroduction Part I § 1. The space § 2. -potentials of generalized functions with finite -energy § 3. The maximum principle. A generalization of a theorem of Evans-Vasilesko. Lemmas on sequences of potentials § 4. The -capacity of a compact set. The capacity potential § 5. The capacity potential of an analytic set.
Maz'ya, V. G., Khavin, V. P.
openaire +2 more sources
1987
In this programme, we shall investigate problems of bodies which move under the direction of a force which is not constant. Also, we shall examine the problem of a body propelled by a constant force, but having a variable mass, such as a rocket. Remember the four equations of linear motion in Programme 1: $$ x = \tfrac{1}{2}\left( {{v_0} + v ...
openaire +1 more source
In this programme, we shall investigate problems of bodies which move under the direction of a force which is not constant. Also, we shall examine the problem of a body propelled by a constant force, but having a variable mass, such as a rocket. Remember the four equations of linear motion in Programme 1: $$ x = \tfrac{1}{2}\left( {{v_0} + v ...
openaire +1 more source
ACM Communications in Computer Algebra, 2012
We propose a new decision procedure for the existential theory of the reals. It performs a backtracking search for a model in R, where the backtracking is powered by a novel conflict resolution procedure based on cylindrical algebraic decomposition. The initial experimental results are very encouraging.
Dejan Jovanović, Leonardo de Moura
openaire +1 more source
We propose a new decision procedure for the existential theory of the reals. It performs a backtracking search for a model in R, where the backtracking is powered by a novel conflict resolution procedure based on cylindrical algebraic decomposition. The initial experimental results are very encouraging.
Dejan Jovanović, Leonardo de Moura
openaire +1 more source
Theory and Decision, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Andersen, Steffen +4 more
openaire +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Andersen, Steffen +4 more
openaire +3 more sources
(Non) linear regression modeling [PDF]
, 2004 We will study causal relationships of a known form between random variables. Given a model, we distinguish one or more dependent (endogenous) variables Y = (Y1,…,Yl), l ∈ N, which are explained by a model, and independent (exogenous, explanatory) variables X = (X1,…,Xp),p ∈ N, which explain or predict the dependent variables by means of the model. Such
openaire +3 more sources
Physical Review, 1949
This is the first paper in a program concerned with the quantization of field theories which are covariant with respect to general coordinate transformations, like the general theory of relativity. All these theories share the property that the existence and form of the equations of motion is a direct consequence of the covariant character of the ...
openaire +1 more source
This is the first paper in a program concerned with the quantization of field theories which are covariant with respect to general coordinate transformations, like the general theory of relativity. All these theories share the property that the existence and form of the equations of motion is a direct consequence of the covariant character of the ...
openaire +1 more source
Non-linear superposition in non-linear evolution equations
Czechoslovak Journal of Physics, 1987Special non-linear evolution equations are discussed and classified in integrable and non-integrable partial differential equations. Important methods of solution are sketched. An interesting task is the calculation of the so-called superposition functions permitting to construct from a few known solutions whole chains of further solutions.
openaire +1 more source