منابع مشابه
Pop-Refinement
Pop-refinement is an approach to stepwise refinement, carried out inside an interactive theorem prover by constructing a monotonically decreasing sequence of predicates over deeply embedded target programs. The sequence starts with a predicate that characterizes the possible implementations, and ends with a predicate that characterizes a unique program in explicit syntactic form. Compared to ex...
متن کاملHigh Tech versus Low Tech Training
The United States Marine Corps has some of the most advanced weapons systems and training in the world, yet they make extensive use of “low tech” training tools. Sand table exercises and tactical decision games are used by Marines all over the world, at sea and on land. Although the U.S. Department of Defense has a nearly $18 billion annual training budget, the Marines choose to teach decision ...
متن کاملDetecting the Transition From Pop III to Pop II Stars
We discuss the cosmological significance of the transition from the Pop III to Pop II mode of star formation in the early universe, and when and how it may occur in primordial galaxies. Observations that could detect this transition include those of element abundances in metal-poor Galactic halo stars, and of the helium reionization and associated heating of the intergalactic medium. We suggest...
متن کاملTm ' Tech
BY '"The WMM ouQght not be hypnotized by reports that China ham. retdrne to stability." says Stanley Karnow, a correspondent for the WhaglTon Post and cUpsidend by many to be the fornost "Cina;-watcher.'s Karow was one of the key-vote spakr at Se sympsu on China beld all day Saturday, w-sponspred bvr the MTCM nese Students,_ club I . the Repotson the Center for Bytes d ons of theR a a t i ona i...
متن کاملDo People “Pop Out”?
The human body is a highly familiar and socially very important object. Does this mean that the human body has a special status with respect to visual attention? In the current paper we tested whether people in natural scenes attract attention and "pop out" or, alternatively, are at least searched for more efficiently than targets of another category (machines). Observers in our study searched ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Enquiry The ARCC Journal for Architectural Research
سال: 2008
ISSN: 2329-9339
DOI: 10.17831/enq:arcc.v5i2.18