Results 11 to 20 of about 16,427,329 (274)
First Order Kaon Condensate [PDF]
First order Bose condensation in asymmetric nuclear matter and in neutron stars is studied, with particular reference to kaon condensation. We demonstrate explicitly why the Maxwell construction fails to assure equilibrium in multicomponent substances ...
A. B. Migdal +41 more
core +2 more sources
First-Order Twistor Lifts [PDF]
The use of twistor methods in the study of Jacobi fields has proved quite fruitful, leading to a series of results. L. Lemaire and J. C. Wood proved several properties of Jacobi fields along harmonic maps from the two-sphere to the complex projective ...
Bruno Ascenso Simões
doaj +3 more sources
First-order Goedel logics are a family of infinite-valued logics where the sets of truth values V are closed subsets of [0, 1] containing both 0 and 1. Different such sets V in general determine different Goedel logics G_V (sets of those formulas which ...
Baaz +31 more
core +2 more sources
First-Order Decomposition Trees [PDF]
Lifting attempts to speed up probabilistic inference by exploiting symmetries in the model. Exact lifted inference methods, like their propositional counterparts, work by recursively decomposing the model and the problem. In the propositional case, there
Blockeel, Hendrik +2 more
core +3 more sources
AbstractIn this note we study a counterpart in predicate logic of the notion of logical friendliness, introduced into propositional logic in [15]. The result is a new consequence relation for predicate languages with equality using first-order models. While compactness, interpolation and axiomatizability fail dramatically, several other properties are ...
GUILLERMO BADIA, DAVID MAKINSON
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Karalić, Aram, Bratko, Ivan
openaire +2 more sources
The parenting typology of Baumrind, Maccoby and Martin is based on variations in warmth and control and consists of three negative parenting styles labelled authoritarian, neglectful, and permissive.
John Philip Louis
doaj +1 more source
Integral equations and actuarial risk management: Some models and numerics
The problem of the estimation of the probability R(z, t) (here t is time, z is initial reserve) of the finite time non‐ruin problem for a risk business such as an insurance company is considered, with respect to • presenting models that have been ...
A. Makroglou
doaj +1 more source
First-Order Provenance Games [PDF]
We propose a new model of provenance, based on a game-theoretic approach to query evaluation. First, we study games G in their own right, and ask how to explain that a position x in G is won, lost, or drawn.
A. Gelder Van +14 more
core +1 more source
The stromal derived factor-1 (SDF-1) secretion attracts stem cells and accelerates the skin wound healing against the background of its closure with dermal fibroblasts associated with polylactide film [PDF]
Background/Aim: Chronic skin wounds are a huge clinical problem, leading to the need for prolonged treatment and significant health care expenses. Regenerative engineering using tissue technologies and cellular constructs offers promising alternatives ...
Baranovskiy Alexey +10 more
doaj +1 more source

