In my research I apply tools from model theory, a branch of mathematical logic, to study sets obtained from certain integral manifolds. (A good reference for Model Theory is [8].) This program has two central aspects: (1) I extend results that are known to be true on the ordered field of real numbers R := 〈R,+,×, <, 0, 1〉 to larger classes of real closed fields, and (2) I then use model theoret...

Whenever A judges that x-ing is morally wrong and B not wrong, we think they disagree. The two standard types of accounts such moral disagreements both presuppose the class wrong-judgments uniform, though in different ways. According to belief account, disagreement doxastic: have beliefs with conflicting cognitive contents. This presupposes “belief-uniformity”: content concepts invariant a way ...

Motivated by the problem of constructing bijective maps with low differential uniformity, we introduce notion permutation resemblance a function, which looks to measure distance given map is from being permutation. We prove several results concerning permutation resemblance and show how it can ...

Introduction: Non-uniformity test is essentially the only required daily QC procedure in nuclear medicine practice. Noise creates statistical variation or random error in a flood image. Non-uniformity on the other hand does not have statistical nature and may be regarded as systemic error. The present methods of non-uniformity calculation do not distinguish between these two types of erro...

I ncreasing production efficiency is becoming a major theme for producers in order to maintain or increase their economic return in an increasingly competitive global market. In the case of irrigated agriculture, producers must also address increasing public concern about water conservation, water quality, and environmental protection. Two irrigation management issues require attention in order...

We investigate computing models that are presented as families of finite computing devices with a uniformity condition on the entire family. Examples of such models include Boolean circuits, membrane systems, DNA computers, chemical reaction networks and tile assembly systems, and there are many others. However, in such models there are actually two distinct kinds of uniformity condition. The f...

In this paper, we propose a global routing algorithm for multi-layer building-block layouts. The algorithm is based on successive ripup and rerouting while satisfying edge capacity constraints as well as achieving higher routability and good routing flexibility. The init i a l solution consists of nets routed independently b y the SERT-C algorithm which minimizes the Elmore delay at critical si...