Results 21 to 30 of about 20,636 (126)
Сompanions of (n1, n2)-Jonsson theory
Қарағанды университетінің хабаршысы. Математика сериясы, 2019 In given work are considered model - theoretical properties of companions of (n1; n2) - Jonsson theory. Also were considered a communications between center and (n1; n2) - Jonsson theory.
A.R. Yeshkeyev, M.T. Omarova
doaj +1 more source
On computing fixpoints in well-structured regular model checking, with applications to lossy channel systems [PDF]
, 2006 We prove a general finite convergence theorem for "upward-guarded" fixpoint expressions over a well-quasi-ordered set. This has immediate applications in regular model checking of well-structured systems, where a main issue is the eventual convergence of
A. Arnold +25 more
core +2 more sources
Chains of existentially closed models of positive (n1, n2)-Jonsson theories
Қарағанды университетінің хабаршысы. Математика сериясы, 2019 In this article are considered model - theoretical properties of chains of positive ( n1,n2) - Jonsson theories. Herewith considered theories is perfect in the sense of the existence of appropriate model companion.
A.R. Yeshkeyev, M.T. Omarova
doaj +1 more source
Syntactic similarity of definable closures of Jonsson sets
Қарағанды университетінің хабаршысы. Математика сериясы, 2018 In the framework of the classification of the Jonsson theories concept of interpretability and admissibility in the language of the semantic triple of the Jonsson theory was considered.
G.A. Urken
doaj +1 more source
, 2009 The importance of gender-equality and of women’s work in relation to the environment are considered to be crucial questions for development in ‘third world’ rural societies.
Arora-Jonsson, Seema
core +2 more sources
Accelerating Dust Temperature Calculations with Graphics Processing Units [PDF]
, 2009 When calculating the infrared spectral energy distributions (SEDs) of galaxies in radiation-transfer models, the calculation of dust grain temperatures is generally the most time-consuming part of the calculation.
Jonsson, Patrik, Primack, Joel
core +1 more source
The construction of identities in narratives about serious leisure occupations [PDF]
, 2015 Engagement in occupation contributes to the shaping of identity throughout the human life. The act of telling about such engagement involves interaction based on symbolic meaning; the speaker constructing an identity by conveying how the occupation is ...
Baldwin C. K. +22 more
core +1 more source
The property of independence for Jonsson sets
Қарағанды университетінің хабаршысы. Математика сериясы, 2016 The studies carried out in this article are connected with the description of model - theoretic properties of some, generally speaking, incomplete classes of theories that make a subclass of inductive theories.
A.R. Yeshkeyev
doaj +1 more source
12 years of assembly patterns in saproxylic beetles suggest early decay wood as ephemeral resource patch. [PDF]
J Anim EcolWe reveal that early stages of deadwood decomposition follow ecological rules of ephemeral resource patches. By tracking beetle communities over 12 years, we show how decomposition dynamics shape community assembly patterns, highlighting the importance of continuous deadwood input for sustaining saproxylic beetles in temperate forests.
Lettenmaier L +8 more
europepmc +2 more sources
Lossy Channel Games under Incomplete Information [PDF]
, 2013 In this paper we investigate lossy channel games under incomplete information, where two players operate on a finite set of unbounded FIFO channels and one player, representing a system component under consideration operates under incomplete information,
Dimitrova, Rayna, Finkbeiner, Bernd
core +3 more sources