Identification of a novel ß-adrenergic octopamine receptor-like gene (ßAOR-like) and increased ATP-binding cassette B10 (ABCB10) expression in a Rhipicephalus microplus cell line derived from acaricide-resistant ticks [PDF]
, 2016 Background: The cattle tick Rhipicephalus (Boophilus) microplus is an economically important parasite of livestock. Effective control of ticks using acaricides is threatened by the emergence of resistance to many existing compounds. Several continuous R.
Bell-Sakyi, Lesley +4 more
core +1 more source
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
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
Parameterized Model-Checking for Timed-Systems with Conjunctive Guards (Extended Version)
, 2014 In this work we extend the Emerson and Kahlon's cutoff theorems for process skeletons with conjunctive guards to Parameterized Networks of Timed Automata, i.e.
A Bouajjani +17 more
core +1 more source
The role and therapeutic targeting of α-, β- and γ-secretase in Alzheimer's disease [PDF]
, 2015 Alzheimer's disease (AD) is the most common form of dementia in the elderly and its prevalence is set to increase rapidly in coming decades. However, there are as yet no available drugs that can halt or even stabilize disease progression. One of the main
Baillie, George S. +3 more
core +1 more source
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
Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions [PDF]
, 2014 Probabilistic nondeterministic processes are commonly modeled as probabilistic LTSs (PLTSs). A number of logical characterizations of the main behavioral relations on PLTSs have been studied.
Crafa, Silvia, Ranzato, Francesco
core +1 more source
Forward Analysis for WSTS, Part III: Karp-Miller Trees [PDF]
, 2020 This paper is a sequel of "Forward Analysis for WSTS, Part I: Completions" [STACS 2009, LZI Intl. Proc. in Informatics 3, 433-444] and "Forward Analysis for WSTS, Part II: Complete WSTS" [Logical Methods in Computer Science 8(3), 2012].
Blondin, Michael +2 more
core +3 more sources
Community dynamics of lignicolous lichens on standing deadwood in a 275‐year chronosequence
Oikos, EarlyView.Dead trees provide discrete habitat patches in which patch quality changes gradually due to wood decomposition. Although in most cases these patches persist for not more than a few decades, in some ecosystems deadwood decomposition and the consequent change in habitat patch quality can be a centuries‐long process, potentially leading to dynamics of ...
Aleksi Nirhamo +4 more
wiley +1 more source
Oikos, EarlyView.Population growth reflects the combined influence of regulation and density‐independent factors operating through demographic processes. Under exceptional circumstances (e.g. populations recovering from near‐extinction), growth may initially be weakly regulated but typically slows as negative density dependence (NDD) sets in.
Bård‐Jørgen Bårdsen +2 more
wiley +1 more source