منابع مشابه
The Thousand-and-One Cryptographers
Chaum’s Dining Cryptographers protocol crystallises the essentials of security just as other famous diners once captured deadlock and livelock: it is a benchmark for security models and their associated verification methods. Here we give a correctness proof of the Cryptographers in a new style, one in which stepwise refinement plays a prominent role. Furthermore, our proof applies to arbitraril...
متن کاملMutant p53: One, No One, and One Hundred Thousand
Encoded by the mutated variants of the TP53 tumor suppressor gene, mutant p53 proteins are getting an increased experimental support as active oncoproteins promoting tumor growth and metastasis. p53 missense mutant proteins are losing their wild-type tumor suppressor activity and acquire oncogenic potential, possessing diverse transforming abilities in cell and mouse models. Whether various mut...
متن کامل"One-thousand one... one-thousand two...": chronometric counting violates the scalar property in interval timing.
Weber's law applied to interval timing is called the scalar property. A hallmark of timing in the seconds-to-minutes range, the scalar property is characterized by proportionality between the standard deviation of a response distribution and the duration being timed. In this temporal reproduction study, we assessed whether the scalar property was upheld when participants chronometrically counte...
متن کاملOne Thousand Transactions per Second
transaction per second. contrasts the Several companies intend to provide general-purpose processing systems capable of one thousand transactions This paper surveys the need for such systems and approaches being taken by three different groups. This paper appears in the proceedings of IEEE COMPCON-85, held in San Francisco in February 1985.
متن کاملOne-thousand-and-one substrates of protein kinase CK2?
CK2 (formerly termed "casein kinase 2") is a ubiquitous, highly pleiotropic and constitutively active Ser/Thr protein kinase whose implication in neoplasia, cell survival, and virus infection is supported by an increasing number of arguments. Here an updated inventory of 307 CK2 protein substrates is presented. More than one-third of these are implicated in gene expression and protein synthesis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of World Literature
سال: 2016
ISSN: 2405-6472,2405-6480
DOI: 10.1163/24056480-00103005