The usefulness of well quasi-orderings for some aspects of veriication of innnite-state systems was already recognized by some researchers. This note shows that a ner notion, namely that of ! 2-well quasi-ordering, is the appropriate one for enlightening a particular problem related to termination of a reachabil-ity algorithm; the problem has already been touched on by Abdulla, Jonsson (1998). ...

-In two closely matched colonies of Tricolored Herons (Egretta tricolor) we found no differences in reproductive parameters of the one visited frequently (16 times) and the other visited infrequently (7 times). Visits to colonies were standardized and were initiated only after most of the herons had partially completed their clutches. These results suggest that limited colony visitations beginn...

Determining how Phytophthora ramorum is dispersed across the landscape is critical for understanding the ecology and epidemiology of this influential pathogen. To date, researchers have shown that abiotic factors – such as rain-splash, wind-blown rain and down-stream transport of inoculum – are important in the dispersal of this pathogen. In contrast, very little research has focused on the pot...

This paper describes the architecture of the Airspace Concept Evaluation System (ACES), a fast-time simulation being developed by NASA as an analysis tool for evaluating novel concepts in air traffic management. ACES has the goal of supporting a wide range of studies and evaluations. Researchers will use ACES for evaluating a wide range of air traffic management concepts and technologies. Conse...

The relevance of the problem under study lies in fact that modern world political situation is constantly changing, and this affects reputational capital regions authorities Russian Federation. Reputational totality knowledge, experience expectations associated with a region its economic activity. It can be positive or negative has significant impact on various aspects development regional econ...

The LOD Russia research project funded by the Ministry of Education aims to create a first Linked Open Data Set in Russia enabling scientists, researchers and commercial users to share, access, analyse and reuse knowledge related to scientific data. The position paper is highlighting challenges of the life-cycle management of LOD data, especially focuses on the process of entity linking and the...