The aim of this paper is to generalize the‎‎notion of pseudo-almost valuation domains to arbitrary‎ ‎commutative rings‎. ‎It is shown that the classes of chained rings‎ ‎and pseudo-valuation rings are properly contained in the class of‎ ‎pseudo-almost valuation rings; also the class of pseudo-almost‎ ‎valuation rings is properly contained in the class of quasi-local‎ ‎rings with linearly ordere...

In this paper the concept of an $Omega$- Almost Boolean ring is introduced and illistrated how a sheaf of algebras can be constructed from an $Omega$- Almost Boolean ring over a locally Boolean space.

The traditional view is that interest deductibility encourages firms to use debt financing; however, some argue that the personal tax disadvantage to interest offsets the corporate tax advantage. This paper investigates the degree to which personal taxes affect corporate financing decisions. In crosssectional regressions that control for personal taxes, debt usage is positively correlated with ...

The inadequacies of traditional design practices for embedded systems have led to a myriad proposals as to improve the state of the art and raise the abstraction level. Almost all of these proposals still start with an imperative “C”-like basis, even though the original mathematical specification has completely different semantics. We show a design process based on a functional language, stayin...

We present the circuit-level verification of a common arbiter circuit. To perform this verification, we address three issues. First, we present a specification for the arbiter and show how this specification amounts to a set of topological constraints on trajectories of the continuous model. Second, we show that computing bounding sets for these trajectories is complicated by stiffness of the d...