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
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
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
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
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
Forking and independence for fragments of Jonsson sets
BULLETIN OF THE KARAGANDA UNIVERSITY-MATHEMATICS, 2018 The concept of independence plays a very important role in Model Theory for classification of a fixed complete theory. In this paper, we study the Jonsson theories, which, generally speaking, are not complete. For such theories, the concept of forking is introduced axiomatically in the framework of the study of the Jonsson subsets of the semantic model
openaire +2 more sources
Evaluation of pre-analytical factors affecting plasma DNA analysis. [PDF]
, 2018 Pre-analytical factors can significantly affect circulating cell-free DNA (cfDNA) analysis. However, there are few robust methods to rapidly assess sample quality and the impact of pre-analytical processing. To address this gap and to evaluate effects of
Berens, Michael E +15 more
core +1 more source
About central types and the cosemanticness of the ∆-PM fragment of the Jonsson set
BULLETIN OF THE KARAGANDA UNIVERSITY-MATHEMATICS, 2017 This article is concerned with the enrichment of the signature. In own time, when studying the stability of the theory and the concept of an elementary pair of models, Mustafin T.G. had noticed that these things are related to each other and he introduced the concept T ∗-stability [1]. In fact, some enrichment of the signature is considered.
openaire +2 more sources
The extension of the taxon cycle model to island plants: insights from the Canarian vascular flora
Biological Reviews, EarlyView.ABSTRACT Taxon cycle models describe eco‐evolutionary patterns of lineage colonization, diversification, and decline across archipelagos, inferring an important role for competition amongst ecologically similar taxa in driving concurrent niche changes.
José María Fernández‐Palacios +2 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