We present a hybrid symbolic-numeric algorithm for certifying a polynomial or rational function with rational coefficients to be non-negative for all real values of the variables by computing a representation for it as a fraction of two polynomial sum-ofsquares (SOS) with rational coefficients. Our new approach turns the earlier methods by Peyrl and Parrilo at SNC’07 and ours at ISSAC’08 both b...

Cooperation is the foundation of many protocols in wireless networks. Without cooperation, the performance of a network significantly decreases. Hence, all nodes in traditional networks are required to cooperate with each other. In this paper, instead of traditional networks, a network of rational and autonomous nodes is considered, which means that each node itself can decide whe...

Cooperation is the foundation of many protocols in wireless networks. Without cooperation, the performance of a network significantly decreases. Hence, all nodes in traditional networks are required to cooperate with each other. In this paper, instead of traditional networks, a network of rational and autonomous nodes is considered, which means that each node itself can decide whe...

this article examines capacity of rational dialogues to achieve ethical universalism. in positive attitude, rational ability considered as most important reason for possibility of achievement to common social-political norms and rights. rational dialogue, by creating a suitable space for dialogue beyond the private interests and involvement of state power; searches consensus on foundation of so...

Much software research and practice involves ostensible measurements of software, yet little progress has been made on a metrological foundation like the International System of Units (SI) for those measurements since the work of Gray, Hogan, et al. in 1996–2001. Given a physical object, one can determine physical properties using measurement principles and express measured values using standar...

The article lays down the basic rules for increasing laying depth of foundations and gives examples how these works are carried out if underground part building needs to be deepened. With small size deepening basement in low-rise buildings, it is possible deepen without hanging them at a lower cost. Meanwhile risk uneven sedimentary deformations than whilehanging load-bearing walls with device ...

While the concept of minimally invasive dentistry has long been considered a rational, viable approach to restorative care, preparation design, material science, and long-term evidentiary support have only recently begun to provide the foundation necessary to support such treatment in the everyday practice. This article reviews the fundamental paradigm shift evidenced in contemporary prosthodon...

The monograph is not so much a test book as an illustration of the application of a particular battery of tests in use at the Menninger Foundation, and their interpretation in the light of the psychological rational advanced in the earlier work. The author presupposes that the reader is acquainted with these concepts and findings, but claims that those generally familiar with the tests composin...