/*@ public normal_behavior @ requires !isEmpty(); @ ensures \old(queue).has(\result) && @ queue.equals(\old(queue).remove(\result)) && @ (\forall Comparable o; queue.has(o); @ \result.compareTo(o) <= 0); @ modifies queue; @*/ public Comparable removeFirst() { Comparable first = elems[0]; Comparable last = elems[--numElems]; int pos = 0; int child = 1; while (child < numElems) { if (child + 1 < ...

Given a graph H, we say a graph G is H-saturated if G does not contain H as a subgraph and the addition of any edge e′ 6∈ E(G) results in H as a subgraph. In this paper, we construct (K4 − e)-saturated graphs with |E(G)| either the size of a complete bipartite graph, a 3-partite graph, or in the interval [ 2n− 4, ⌊ n 2 ⌋ ⌈ n 2 ⌉ − n+ 6 ] . We then extend the (K4−e)-saturated graphs to (Kt − e)-...

Geoffrey Grimmett Abstra t. The problem of how to allocate to states the seats in the US House of Representatives is the most studied instance of what is termed the ‘apportionment problem’. We propose a new method of apportionment which is stochastic, which meets the quota condition, and which is fair in the sense of expectations. Two sources of systematic unfairness are identified, firstly the...

Beatty sequences [nα1 + β1]n∈Z and [mα2 + β2]m∈Z are recorded by two athletes running in opposite directions in a round stadium. This approach suggests a nice interpretation for well known partitioning criteria: such sequences (eventually) partition the integers essentially when the athletes have the same starting point. A remarkable observation due to S. Beatty says that if w is any positive i...

Information and communication technologies (ICTs) have increasingly become an integral part of society, enhancing, changing, supporting, and complicating human lives. Although the disregard of technology inventors and designers for the users of ICTs has resulted in disjunctures between ICTs and users, users have refused to become mere agents of the designers. Individual users have developed the...

Both the degree to which the left-hemisphere is specialized for language and the relative ability of the right-hemisphere to subserve language function are underspecified. The present study sought to identify whether the right-frontal fMRI activation seen in a number of case studies in patients with left-sided brain lesions exists as a group-level trend in patients with left-frontal tumors. It ...

The analysis of the passenger spill data is an integral part for the determination of optimal aircraft capacities in the airline fleet assignment process. Most research in this study has assumed that the nominal demand is normally distributed. But empirical evidences show that normal probability distribution is not suitable in many cases because of asymmetry nature of the data. In the present s...

In the statistical literature, the conditional density model specification is commonly used to study regression effects. One attractive model is the semiparametric density ratio model, under which the conditional density function is the product of an unknown baseline density function and a known parametric function containing the covariate information. This model has a natural connection with g...

Small and Medium Enterprises (SMEs) form an integral part of every economy as they are the leading providers of revenue and employment. However, as the global economy becomes more reliant on Information Communication and Technology (ICT), some SMEs are yet to reap the benefits that ICT has to offer. The low rate of adoption and innovative use of ICT amongst SMEs has become significant research ...

While ethics research has gained prominence among the IS community, few have argued explicitly for an objective standard in ethical decision-making. This oversight has left many researchers using subjective standards or an amalgamation of ethic perspectives when analyzing decision-making in organizations. In this paper, we argue that an objective standard is critical to ethical research and tha...