Sites that were originally specified as condition-specific occurred predominantly in the lower range of peak heights, where false negative calls by peak-calling algorithms are most likely, and the peak strength in the other condition tended to be comparable despite the lack of a complementary site call.
We consider stochastic graph games with \omega-regular winning conditions specified as parity objectives.
We consider partially observable Markov decision processes (POMDPs) with ω-regular conditions specified as parity objectives.
We consider concurrent two-player timed automaton games with omega-regular objectives specified as parity conditions.
The results further suggest that molecular weight gradient interfaces are ineffective barriers to mixing even when specified as initial conditions, such as would arise when a compositional gradient is redistributed by another mechanism than buoyancy, such as rotation or internal waves.
Because the seepage faces are specified as Signorini-type conditions, the PVI formulation can effectively eliminate the singularity of spillpoints that evolve with time.
We study games played on graphs with omega-regular conditions specified as parity, Rabin, Streett or Muller conditions.
We study games played on graphs with \omega-regular conditions specified as parity, Rabin, Streett or Muller conditions.
The presented work shows how irrigation requirement can be calculated combining regional projections of climate conditions specified as long-term 'scenario-weather', combined with crop requirements and management, and soil conditions.
We consider stochastic graph games with omega-regular winning conditions specified as Rabin or Streett objectives.
Working under optimum conditions specified as: SCMNPs modified with salicylic acid, sorbent contact time and sample 10 min, mechanical stirring time 57.3 min.
