منابع مشابه
Mixed Strand Spaces
Strand space analysis [13, 12] is a method for stating and proving correctness properties for cryptographic protocols. In this paper we apply the same method to the related problem of mixed protocols, and show that a protocol can remain correct even when used in combination with a range of other protocols. We illustrate the method with the familiar OtwayRees [10, 1] protocol. We identify a simp...
متن کاملDistorting Mixed Tsirelson Spaces∗
Any regular mixed Tsirelson space T (θn, Sn)IN for which θn θn → 0, where θ = limn θ n , is shown to be arbitrarily distortable. Certain asymptotic `1 constants for those and other mixed Tsirelson spaces are calculated. Also a combinatorial result on the Schreier families (Sα)α<ω1 is proved and an application is given to show that for every Banach space X with a basis (ei), the two ∆-spectrums ...
متن کاملUnderstanding digital play in moving spaces
Digital games have traditionally been confined to predefined play spaces such as arcades and living rooms. Recent advancements in technology have allowed players to play digital games beyond these spaces. However little theoretical knowledge exists that can guide the development of digital play beyond the conventional. I aim to conduct research that comprises of several experimental digital gam...
متن کاملChildren’s Perceptions of Mixed Reality Play
This article reports on child-focused reflections from research findings of a year-long investigation working with primary school aged children and young people in England exploring mixed reality play. 58 children and young people were engaged in the project and actively participated in 29 focus group interviews over time. Thematic qualitative analysis revealed five broad features of mixed real...
متن کاملMixed Fuzzy Ideal Lowen Spaces
In this paper we introduce the concept of mixed fuzzy ideal topological spaces in Lowen sense. AMS subject classification: 54A40.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Interactions
سال: 2018
ISSN: 1072-5520,1558-3449
DOI: 10.1145/3178556