distance-balanced graphs are introduced as graphs in which every edge uv has the followingproperty: the number of vertices closer to u than to v is equal to the number of vertices closerto v than to u. basic properties of these graphs are obtained. in this paper, we study theconditions under which some graph operations produce a distance-balanced graph.

We propose a method to axiomatize by equations the least pre$xed point of an order preserving function. We discuss its domain of application and show that the Boolean modal -calculus has a complete equational axiomatization. The method relies on the existence of a “closed structure” and its relationship to the equational axiomatization of Action Logic is made explicit. The implication operation...

This study contributes to the on–going worldwide debate on the future form of banking systems by examining the performance of a socialist ASEAN system—Vietnam—with four other ASEAN but capitalist and transition economies—Thailand, Philippines, Indonesia and China. The study finds that over the 1996–2009 period, the Vietnamese banking system may have performed better than the comparator countrie...

Ninety-three years ago, in Lochner v. New York, the Supreme Court struck down a maximum-working-hours law for bakers as an impermissible invasion of employer-employee liberty of contract and, by implication, of the employer's property rights in his business. Lochner came to symbolize, and was vilified for, a vision of state power as rigidly circumscribed by the operation of judicially-determine...

Matthew Spinks [35] introduces implicative BCSK-algebras, expanding implicative BCK-algebras with an additional binary operation. Subdirectly irreducible implicative BCSK-algebras can be viewed as flat posets with two operations coinciding only in the 1and 2-element cases, each, in the latter case, giving the two-valued implication truth-function. We introduce the resulting logic (for the gener...

We consider linear ill-posed inverse problems y = Ax, in which we want to infer many count parameters x from few count observations y, where the matrix A is binary and has some unimodularity property. Such problems are typical in applications such as contingency table analysis and network tomography (on which we present testing results). These properties of A have a geometrical implication for ...

In this paper, we describe ongoing work to investigate the properties of the heat spreader, and its implication on architecture research. In specific, we conduct two experiments to quantify the heat distribution across the surface of a spreader during normal operation. The first experiment uses T-type thermocouples, to find the temperature difference across different points on the spreader. We ...

We propose a notion of morphisms between tree automata based on game semantics. Morphisms are winning strategies on a synchronous restriction of the linear implication between acceptance games. This leads to split indexed categories, with substitution based on a suitable notion of synchronous tree function. By restricting to tree functions issued from maps on alphabets, this gives a fibration o...

With the advent of advanced technology in smart grid, the implementation of renewable energy in a stressed and complicated power system operation, aggravated by a competitive electricity market and critical system contingencies, this will inflict higher probabilities of the occurrence of a severe dynamic power system blackout. This paper presents the proposed stochastic event tree technique use...

Notes: 1. Extensively revised from last version. Comments from Ted, Bill, and Jack incorporated. 2. No conclusions had been reached regarding the acceptability of plant restart or for how long operation could be authorized at the time this draft SE was prepared. 3. The detectability of ODSCC in the small radius u-bends still stands out as an issue we would have had to address in our conclusions...