For the D S theory of belief functions, the compositional model defined here differs from the one studied by Jiroušek, Vejnarová, and Daniel.
For the version of possibility theory in which combination is the product t-norm, the compositional model defined here reduces to the one studied by Vejnarová.
According to the simple substitution (or nonpooling) model defined here, the observer's response is based on information from a single letter unwittingly taken from one of several locations, as determined by spatial uncertainty or attention.
From the models defined here, single lumped-mass models underestimate the base shear and the overturning moment.
This chapter therefore examines recent progress in the field of global flood hazard modeling and, in particular, looks at the development of so-called 'hyperresolution' models, defined here as those with a spatial resolution of 1 km or less.
Note that the interval models defined here include "point intervals", with coinciding endpoints, following the original semantics of \(\mathsf{HS}\) in Halpern & Shoham (1986).
Here, the workspace represents all regions in the genome in which it is possible to find a particular set of annotations; for the protein-coding genes, this is the completely sequenced regions of the genome, whereas for the lincRNA loci and intergenic regions, this is the portion of the sequenced genome that lies between the gene models defined here.
The California Policy Model as defined here is a collection of 51 pieces of legislation and policy implementations enacted in California between 2011 and 2016 in the areas of workers' rights, the safety net, the environment, taxation, and infrastructure and housing.
According to the (simple) substitution model, as defined here, the observer's response is based on information from a single letter taken from one of several locations (either target or flanker), as determined by spatial uncertainty or attention.
EI-OSM (Zapata-Rivera et al. 2007) integrates evidence about performance from a range of sources, and although not a negotiated learner model in the sense defined here (i.e. with identical interaction moves and identical powers), it is close to our context of multiple-source OLMs.
To examine whether these query languages are an appropriate tool for domain experts to filter IFC models, three sample queries are defined here and their implementation in the different languages is analyzed.
