منابع مشابه
Asking the right questions: body scanners, is salus populi supreme lex the answer?
The body scanning device, used at some airports to view through passenger's clothing to the surface of the skin, is considered to be a major improvement toward ensuring that weapons or explosives are not carried onto commercial aircraft, making airline travel safer, and the nation more secure. In the ten years since September 11, 2001, airport security has become increasingly invasive. Air pass...
متن کاملConstructive Suprema
Partially ordered sets are investigated from the point of view of Bishop’s constructive mathematics, which can be viewed as the constructive core of mathematics and whose theorems can be translated into many formal systems of computable mathematics. The relationship between two classically equivalent notions of supremum is examined in detail. Whereas the classical least upper bound is based on ...
متن کاملSnake Lex: An Alternative to Double Lex
Complete row and column symmetry breaking in constraint models using the lex leader method is generally prohibitively costly. Double lex, which is derived from lex leader, is commonly used in practice as an incomplete symmetrybreaking method for row and column symmetries. Double lex is based on a rowwise canonical variable ordering. However, this choice is arbitrary. We investigate other canoni...
متن کاملRobustness in the Salus Scalable Block Store
This paper describes Salus, a block store that seeks to maximize simultaneously both scalability and robustness. Salus provides strong end-to-end correctness guarantees for read operations, strict ordering guarantees for write operations, and strong durability and availability guarantees despite a wide range of server failures (including memory corruptions, disk corruptions, firmware bugs, etc....
متن کاملSuprema of chains of operators
Let E be a real Banach space of operators ordered by a cone K. We give a sufficient condition for that each chain which is bounded above has a supremum. This condition is satisfied in several classical cases, as for the Loewner ordering on the space of all symmetric operators on a Hilbert space, for example. MSC classification (2010): 46B40, 47L07
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Public Health
سال: 2009
ISSN: 0943-1853,1613-2238
DOI: 10.1007/s10389-009-0289-y