Companions of the fragments in the Jonsson enrichment
Қарағанды университетінің хабаршысы. Математика сериясы, 2017 In this article we consider the properties of central types for the existentially prime strongly convex Jonsson theories in some extension. This class of theories is a subclass of a broad class of Jonsson theories.
A.R. Yeshkeyev
doaj +1 more source
Genome sequencing of the extinct Eurasian wild aurochs, Bos primigenius, illuminates the phylogeography and evolution of cattle [PDF]
, 2015 Background Domestication of the now-extinct wild aurochs, Bos primigenius, gave rise to the two major domestic extant cattle taxa, B. taurus and B. indicus.
A Achilli +105 more
core +1 more source
The properties of central-orbital types of EPSCJ theories
Қарағанды университетінің хабаршысы. Математика сериясы, 2017 This article, in its content, refers to the study of the theoretical - model properties of the Jonsson theories. A new approach to this study is proposed. As a new notion, the idea of a central - orbital type is used.
A.R. Yeshkeyev
doaj +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
Spatial movement pattern recognition in soccer based on relative player movements [PDF]
, 2020 Knowledge of spatial movement patterns in soccer occurring on a regular basis can give a soccer coach, analyst or reporter insights in the playing style or tactics of a group of players or team. Furthermore, it can support a coach to better prepare for a
Beernaerts, Jasper +3 more
core +1 more source
In situ measurements of tropical cloud properties in the West African Monsoon: upper tropospheric ice clouds, Mesoscale Convective System outflow, and subvisual cirrus [PDF]
, 2011 In situ measurements of ice crystal size distributions in tropical upper troposphere/lower stratosphere (UT/LS) clouds were performed during the SCOUT-AMMA campaign over West Africa in August 2006.
Belyaev, Gennady +24 more
core +5 more sources
Model Checking Linear Logic Specifications [PDF]
, 2003 The overall goal of this paper is to investigate the theoretical foundations of algorithmic verification techniques for first order linear logic specifications.
Bozzano, M., Delzanno, G., Martelli, M.
core +1 more source
Domain structure created by irreversible adsorption of dimers [PDF]
, 2013 Structure of monolayers built during adsorption process is strongly related to the properties of adsorbed particles. The most important factor is their shape.
Barbasz, Jakub, Cieśla, Michał
core +2 more sources
Time-Resolved Ultrafast Transient Polarization Spectroscopy to Investigate Nonlinear Processes and Dynamics in Electronically Excited Molecules on the Femtosecond Time Scale [PDF]
, 2020 We report a novel experimental technique to investigate ultrafast dynamics in photoexcited molecules by probing the third-order nonlinear optical susceptibility.
Belkacem, Ali +5 more
core +3 more sources
Allen Linear (Interval) Temporal Logic --Translation to LTL and Monitor Synthesis-- [PDF]
, 2006 The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic, abbreviated \ATL) and linear temporal logic (\LTL).
A. Pnueli +6 more
core +1 more source