We show that, under standard assumptions (data store accesses
Are not known in advance, and transactions may access arbitrary objects in the
Data store), it is impossible to have both SI and GPR. To circumvent this
Impossibility, we propose a weaker consistency criterion, called Non-monotonic
We investigated how
Variation in condition, morphology and genetic variables influenced the amount
Of antibodies produced against two novel antigens in a migrating bird, the
Great snipe (Gallinago media). 3. We found no evidence for condition dependence
Of the antibody response and no effect of MHC...
We consider parity games on infinite graphs where configurations are
Represented by control-states and integer vectors. This framework subsumes two
Classic game problems: parity games on vector addition systems with states
(vass) and multidimensional energy parity games. We show that the
Pubget Updates sends you emails when Pubget finds new papers that match your search. Use Pubget Updates to get the latest articles for your specialty, written by a colleague, or published by your favorite journals.