Decreasing Diagrams and Relative Termination [PDF]
, 2009 In this paper we use the decreasing diagrams technique to show that a left-linear term rewrite system R is confluent if all its critical pairs are joinable and the critical pair steps are relatively terminating with respect to R.
Hirokawa, Nao, Middeldorp, Aart
core +2 more sources
Favored Inflationary Models by Scalar Field Condensate Baryogenesis
Galaxies, 2021 We calculate the baryon asymmetry value generated in the Scalar Field Condensate (SCF) baryogenesis model obtained in several inflationary scenarios and different reheating models.
Daniela Kirilova, Mariana Panayotova
doaj +1 more source
Quaestiones Geographicae, 2021 In the course of analysing the annual air temperature in Wrocław (TWr), a rapid change of the thermal regime was found between 1987 and 1989. TWr increased by >1°C, a strong, statistically significant positive trend emerged.
Marsz Andrzej A. +3 more
doaj +1 more source
Seasonal predictability of the winter NAO from north Atlantic sea surface temperatures [PDF]
, 2002 [1] We examine the seasonal predictability of the winter (December-January-February) North Atlantic Oscillation (NAO) from lagged north Atlantic sea surface temperatures (SSTs) for the period 1950/1-2000/1. We identify two lagged modes of SST variability
Qian, BD, Saunders, MA
core +1 more source
Asteroseismology of the Kepler target KIC 9204718
EPJ Web of Conferences, 2017 The high precision data obtained by the Kepler satellite allows us to detect hybrid-type pulsator candidates more accurately than the data obtained by ground–based observations.
Ulusoy C. +4 more
doaj +1 more source
Adult survival and annual movement patterns of common snipe in Iceland
Polar Research, 2023 The common snipe (Gallinago gallinago) is a wader that breeds in subarctic regions from Iceland to Russia, and for which global populations are in decline.
Aevar Petersen +8 more
doaj +1 more source
The role of snow cover in the Northern Hemisphere winter to summer transition [PDF]
, 2006 This paper examines the role of North Hemisphere snow cover in the linkage between the winter North Atlantic Oscillation (NAO) and the summer Northern Annular Mode (NAM).
Barriopedro Cepero, David +2 more
core +2 more sources
Are there statistical links between the direction of European weather systems and ENSO, the solar cycle or stratospheric aerosols? [PDF]
Royal Society Open Science, 2016 The Hess Brezowsky Großwetterlagen (HBGWL) European weather classification system, accumulated over a long period (more than 130 years), provides a rare opportunity to examine the impact of various factors on regional atmospheric flow. We have used these
Benjamin A. Laken, Frode Stordal
doaj +1 more source
Microbial composition of livestock buildings is the basis for the creation of a biological preparation to stabilize the microbial background [PDF]
Caspian Journal of Environmental SciencesThe present study investigates the microbial composition within the livestock breeding premises of a cattle breeding farm with a complete technological cycle of agricultural products at JSC "Astana-Onim." The research focuses on the quantitative and ...
Aikumys Zhumakayeva +5 more
doaj +1 more source
Contrast-Induced Kidney Injury Prediction in STEMI Patients Post-Coronary Intervention [PDF]
Ķazaķstannyṇ Klinikalyķ MedicinasyIntroduction: Contrast-induced acute kidney injury (CI-AKI) is a significant complication following percutaneous coronary intervention (PCI) in patients with ST-elevation myocardial infarction (STEMI). This study aims to develop a predictive model for CI-
Eldar B. Saparov +2 more
doaj +1 more source