منابع مشابه
Real Time Inspection of Hidden Worlds
Smart Things” are commonly understood as wireless ad-hoc networked, mobile, autonomous, special purpose computing appliances, usually interacting with their environment implicitly via a variety of sensors on the input side and actuators on the output side. Such smart appliances have started to populate the “real world” with “hidden” or “invisible” services, thus building up an “invisible world”...
متن کاملUnearthing Virtual History: Using Diverse Interfaces to Reveal Hidden Virtual Worlds
We describe an application in which museum visitors hunt for virtual history outdoors, capture it, and bring it back indoors for detailed inspection. This application provides visitors with ubiquitous access to a parallel virtual world as they move through an extended physical space. Diverse devices, including mobile wireless interfaces for locating hotspots of virtual activity outdoors, provid...
متن کاملAdrian Miroiu WORLDS WITHIN WORLDS
It is sometimes argued that possible worlds are too rich. Indeed, for every sentence φ and every world w, either φ is true at w, or ¬φ is true at w. Possible worlds leave nothing unsettled: for any question one may ask, there is always an answer, yes or no. My view goes along the opposite side. I take possible worlds to be incredibly poor, and I think that a good deal can be added to them. The ...
متن کاملA Literary Excursion Into the Hidden (Fan) Fictional Worlds of Tetris, Starcraft, and Dreamfall
In this paper, we discuss a part of participatory culture that so far has not received much attention in the academic world; it is the writing and reading of game fan fiction. The focus in this paper is on fan fiction, based on three different games that represent three different game genres: Tetris, StarCraft and Dreamfall: The Longest Journey. The aim is to advance our understanding of how pl...
متن کاملConstructing Hereditary Worlds Within Worlds
Although they appear unrelated, the type system of the polymorphic λ-calculus with references and the assertions of concurrent separation logic with first-class locks share a critical feature: an unsound contravariant circularity in their naı̈ve semantic model. We developed indirection theory to automatically construct, and cleanly axiomatize, step-indexed approximations to these naı̈ve models, a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: idea journal
سال: 2020
ISSN: 2208-9217,1445-5412
DOI: 10.37113/ij.v17i02.394