Universe

Universe is a graphic adventure game developed and published by Core Design for the Amiga, Amiga CD32 and DOS platforms in 1994. It was Core Design's… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1984-2017
0519842017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
A construction by Hofmann and Streicher gives an interpretation of a typetheoretic universe U in any Grothendieck topos, assuming… (More)
Is this relevant?
2012
2012
Cloud storage is used wildly as online data storing and sharing paradigm today. And customers are willing to protect their data… (More)
  • table II
  • figure 1
Is this relevant?
2009
2009
Object ownership is useful for many applications such as program verification, thread synchronization, and memory management… (More)
  • figure 2
  • figure 3
  • figure 6
  • figure 7
  • figure 9
Is this relevant?
2007
2007
This position paper summarizes recent developments related to the Universe type system and suggests directions for future work. 1… (More)
  • figure 1
  • figure 2
Is this relevant?
2006
2006
A universe without weak interactions is constructed that undergoes big-bang nucleosynthesis, matter domination, structure… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2006
2006
Observations that we are highly unlikely to be vacuum fluctuations suggest that our universe is decaying at a rate faster than… (More)
Is this relevant?
2002
2002
On the basis that the universe is a closed quantum system with no external observers, we propose a paradigm in which the universe… (More)
Is this relevant?
2002
2002
A cosmological surprise: the universe accelerates. Cosmology is in turmoil. The standard model of a few years ago has recently… (More)
Is this relevant?
2001
2001
It has been argued in the literature that if a universe is expanding with an accelerating rate indefinitely, it presents a… (More)
Is this relevant?
1988
1988
Though unifications of some of the numerous theories of default reasoning have been found, we add to doubts about the existence… (More)
Is this relevant?