Results 41 to 50 of about 18,574 (158)
Properties of lattices of the existential formulas of Jonsson fragments
Қарағанды университетінің хабаршысы. Математика сериясы, 2015 This article is devoted to studying of the properties of model - theoretic concepts of a fragment of the Jonsson sets and their application to the lattices of existential formulas.
A.R. Yeshkeyev, M.T. Kasymetova
doaj
Genetic Diversity, Phylogenetics and Molecular Systematics of Guizotia Cass. (Asteraceae) [PDF]
, 2007 The genus Guizotia belongs to the tribe Heliantheae in the family Asteraceae. It has been placed under different subtribes. The genus has its center of origin, distribution and genetic diversity in Ethiopia, where G.
Geleta, Mulatu
core
Identifying knowledge barriers to agroforestry adoption and co‐designing solutions to them
People and Nature, EarlyView.Abstract Compared to monocultures, agroforestry can promote biodiversity, ecosystem functioning and climate resilience, whilst maintaining or enhancing production and profits. Despite this, uptake in temperate regions remains low. Knowledge gaps amongst land managers are a primary barrier to uptake, but little is known about which aspects of ...
Amelia S. C. Hood +7 more
wiley +1 more source
Remote Sensing in Ecology and Conservation, EarlyView.Accurately estimating forest age is key to understanding how forests recover and evaluating restoration success. We developed a two‐step deep learning approach using historical greyscale aerial photographs to map forest age at fine spatial scales. By combining a pre‐trained model with localized fine‐tuning, our U‐Net + ResNet50 architecture achieved ...
Ying Ki Law +10 more
wiley +1 more source
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report)
, 2016 We consider the problem of verifying liveness for systems with a finite, but unbounded, number of processes, commonly known as parameterised systems. Typical examples of such systems include distributed protocols (e.g. for the dining philosopher problem).
Lin, Anthony W., Ruemmer, Philipp
core +2 more sources
A thread-tag based semantics for sequence diagrams [PDF]
, 2007 The sequence diagram is one of the most popular behaviour modelling languages which offers an intuitive and visual way of describing expected behaviour of object-oriented software.
Counsell, S, Dan, H, Hierons, RM
core +1 more source
Sustainable Development, EarlyView.ABSTRACT Concerning human resources, research in the tourism sector has traditionally focused on a personnel‐managerial perspective rather than a labor market‐condition analysis per se, limiting the examination of its unique working ecosystem and distinct socioeconomic particularities. This has evidenced an apparent thematic research gap in the tourism
Maria Jesus Vazquez‐Garcia +2 more
wiley +1 more source
Real-time and Probabilistic Temporal Logics: An Overview [PDF]
, 2010 Over the last two decades, there has been an extensive study on logical formalisms for specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction.
Konur, Savas
core
Evaluation of the Electric Polarizability for Planar Frequency Selective Arrays
, 2018 This paper presents a method to estimate the static electric polarizability of two-dimensional infinitely periodic metal patch arrays with dielectric substrate.
Jonsson, B. L. G., Ludvig-Osipov, Andrei
core +1 more source
Binary reaction decays from 24Mg+12C [PDF]
, 2009 Charged particle and gamma decays in 24Mg* are investigated for excitation energies where quasimolecular resonances appear in 12C+12C collisions. Various theoretical predictions for the occurence of superdeformed and hyperdeformed bands associated with ...
A. Gadea +27 more
core +5 more sources