Today, an increasing number of customers subscribes for a high bandwidth internet access. But not only communication speed is demanded. Quality of Service (QoS) moves more and more into the customers focus. Both Carriers and Internet Service Providers (ISPs) have increasing requirements derived from new services they want to offer to their customers. A new hardware solution is presented, which ...

Program schemas are known to be useful in di erent applications such as program synthesis, transformation, analysis, debugging, teaching : : :This paper tackles two complementary aspects of program schemas. We rst propose a language for the description of program schemas. It is based on a subset of second-order logic, enhanced with constraints and speci c features of program schemas. One of the...

Let {Xn; n ≥ 1} be a standardized non-stationary Gaussian sequence, and let denote Sn ∑n k 1 Xk , σn √ Var Sn . Under some additional condition, let the constants {uni; 1 ≤ i ≤ n, n ≥ 1} satisfy ∑n i 1 1−Φ uni → τ as n → ∞ for some τ ≥ 0 and min1≤i≤n uni ≥ c logn , for some c > 0, then, we have limn→∞ 1/ logn ∑n k 1 1/k I{∩i 1 Xi ≤ uki , Sk/σk ≤ x} e−τΦ x almost surely for any x ∈ R, where I A ...

1 School of Earth and En vi ron men tal Sci ences, Se oul Na tional Uni ver sity, Se oul, Korea 2 De part ment of Earth, At mo spheric and Plan e tary Sci ences, Mas sa chu setts In sti tute of Tech nol ogy, Cam bridge, Mas sa chu setts, USA 3 Col lege of Re sources Sci ence and Tech nol ogy, Beijing Nor mal Uni ver sity, Beijing, China 4 De part ment of Earth Sci ences Cen tre, Gothenburg Uni ...