منابع مشابه
#513 - Fallout From the Peaceful Atom
It was 1953 --seven years after Hiroshima --when President Dwight Eisenhower announced plans for the "peaceful atom" so that "the miraculous inventiveness of man shall not be dedicated to his death, but consecrated to his life."[1,pg.148] The shining star of this program was to be thousands of nuclear-powered electricity-generating plants, worldwide, making electricity "too cheap to meter."[1,p...
متن کاملTopological Combinatorics" A Peaceful Pursuit
The diversion of science to destructive purposes is as old as science itself. The observation that a club, knife, spear or arrow useful to bring down an animal could be used to similar effect against "the enemy" in the next village was readily perverted to the design of weapons strictly for anti-personnel purposes. Even while enhancing the human condition, science has degraded and brutalized it...
متن کاملLogic Program Termination Analysis Using Atom Sizes
Recent years have witnessed a great deal of interest in extending answer set programming with function symbols. Since the evaluation of a program with function symbols might not terminate and checking termination is undecidable, several classes of logic programs have been proposed where the use of function symbols is limited but the program evaluation is guaranteed to terminate. In this paper, ...
متن کاملRETROSPECTIVE: ATOM A System for Building Customized Program Analysis Tools
1. BACKGROUND A decade ago in the early 1990s, Digital was building its new high performance Alpha processor. As Alpha was Digital’s first 64-bit processor, the compilation systems, binary formats, linkers, and operating system were being redesigned. A wide variety of tools such as optimization tools, architectural simulation tools, and profiling tools were needed. Most existing tools did not s...
متن کاملJustice and Peaceful Cooperation
Justice is important, but so is peaceful cooperation. In this article, I argue that if one takes seriously the autonomy of individuals and groups and the fact of moral pluralism, a just system of cooperation cannot guarantee peaceful cooperation in a pluralistic world. As a response to this consideration, I develop a contractarian theory that can secure peaceful cooperation in a pluralistic wor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Chemical & Engineering News Archive
سال: 1956
ISSN: 0009-2347,2157-4936
DOI: 10.1021/cen-v034n007.p663