1389-1286/$ see front matter 2010 Elsevier B.V doi:10.1016/j.comnet.2010.10.005 ⇑ Corresponding author. Tel.: +1 (765) 325 7284 0739. E-mail addresses: [email protected] (R. Kho edu (S. Fahmy), [email protected] (Y.C. Hu), (J. Neville). The Border Gateway Protocol (BGP) maintains inter-domain routing information by announcing and withdrawing IP prefixes. These routing updates can cause prefixes...

This study aims to describe the spelling errors contained in online news text on Instagram Cikampek Info. These include: capitalization errors, word usage and punctuation errors. The subject of this research is as much 32 data. object analyze aspects language method uses a descriptive qualitative method. results are recommended teaching materials for junior high school. In study, it has been de...

Old English had a prefix ge-, which frequently appeared on verb forms but which has proven extremely difficult to characterize. It was particularly common in past-participial forms, yet was never obligatory with them (the way its cognates became obligatory in German and Dutch) and was also regularly found on other forms. It is a matter of debate and controversy whether it served as a true deriv...

Of special interest in verification are safety properties, which assert that the system always stays within some allowed region. For closed systems, the theoretical properties of safety properties as well as their practical advantages with respect to general properties are well understood. For open (a.k.a. reactive) systems, whose behavior depends on their on-going interaction with the environm...

This paper establishes the term ORPHAN PREFIX for a Slavic prefix that no longer shares a dominant spatial meaning with its cognate preposition. Most Slavic prefixes do share such a dominant spatial meaning with their cognate prepositions, cf., e.g., the Russian prefix vand preposition v, both meaning ‘into.’ Orphan prefixes appear to be an important component of many Slavic aspectual systems. ...

A counterexample to the satisfaction of a linear property ψ in a system S is an infinite computation of S that violates ψ. When ψ is a safety property, a counterexample to its satisfaction need not be infinite. Rather, it is a bad-prefix for ψ: a finite word all whose extensions violate ψ. The existence of finite counterexamples is very helpful in practice. Liveness properties do not have bad-p...

A remarkable achievement in algorithmic randomness and algorithmic information theory was the discovery of the notions of K-trivial, K-low and MartinLöf-random-low sets: three different definitions turns out to be equivalent for very non-trivial reasons. This paper, based on the course taught by one of the authors (L.B.) in Poncelet laboratory (CNRS, Moscow) in 2014, provides an exposition of t...

In this paper, I draw on data from Russian to argue for an asymmetry between Goal and Source prepositional phrases. Source prepositional phrases are structurally ambiguous; they can occur both as arguments and adjuncts in certain syntactic contexts. Goal prepositional phrases are unambiguously arguments. I claim that Source prepositions have lexically specified semantics, which determines their...

Identification of all objects in a dataset whose similarity is not less than a specified threshold is of major importance for management, search, and analysis of data. Set similarity joins are commonly used to implement this operation; they scale to large datasets and are versatile to represent a variety of similarity notions. Most set similarity join methods proposed so far present two main ph...