Results 21 to 30 of about 11,863 (152)
Exploring Supply Chain Visibility for Circularity: A Delphi Approach
Business Strategy and the Environment, EarlyView.ABSTRACT Circular supply chains (CSCs) depend on enhanced supply chain visibility (SCV) to track and manage resource flows and thereby enable efficient decision‐making. Despite confronting silo mentalities, fragmented information, technological barriers, resistance to change, and a lack of standardization, data sharing remains crucial for SCV and ...
Tarun Kumar Agrawal +7 more
wiley +1 more source
Efficient First-Order Temporal Logic for Infinite-State Systems [PDF]
, 2007 In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variety of first-order temporal logic that is both powerful enough for this form of ...
Dixon, Clare +3 more
core +2 more sources
Bounded Satisfiability for PCTL [PDF]
, 2012 While model checking PCTL for Markov chains is decidable in polynomial-time, the decidability of PCTL satisfiability, as well as its finite model property, are long standing open problems.
Bertrand, Nathalie +2 more
core +5 more sources
Cohort profile: The Halmstad University Register on Pupils with Intellectual Disability
JCPP Advances, EarlyView.Abstract Background Knowledge about the living conditions among people with intellectual disabilities (ID) is globally scarce. Even in countries with good access to registers, this is often partly due to the absence of a single, comprehensive, nationwide register of individuals with ID or the inability to identify all individuals with ID within ...
Eva Jönsson +3 more
wiley +1 more source
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
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes [PDF]
, 2013 We present a spectrum of trace-based, testing, and bisimulation equivalences for nondeterministic and probabilistic processes whose activities are all observable.
Bernardo, Marco +2 more
core +2 more sources
Failure in Motion: A Framework for Capability Erosion and Institutional Dysfunction
Strategic Change, EarlyView.ABSTRACT Drawing on the literature on capability erosion and institutional dysfunction (ID), this study develops a conceptual framework that sheds new light on how the interaction between capability erosion and ID creates conditions for business failure across borders. By articulating two dimensions of heterogeneous capability and resource erosion (i.e.
Joseph Amankwah‐Amoah +1 more
wiley +1 more source
Restoration of endangered epiphytic lichens in fragmented forest landscapes [PDF]
, 2009 In a situation with increasingly rapid changes in landscape mosaics, driven by large-scale forestry and future climate change, a number of epiphytic lichens are now becoming threatened.
Lidén, Marlene
core
Mass Spectrometry Reviews, EarlyView.ABSTRACT The review examines the evolution of chemical ionization mass spectrometry (CI‐MS), a technique developed in 1966 by Field and Munson. CI is a soft‐ionization method that produces more intense molecular ions with less fragmentation than electron ionization (EI).
Malvika Dutt +4 more
wiley +1 more source
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