9405 search results - page 204 / 1881 » Computing a Model of Set Theory |
117
Voted
AML
2010
15 years 3 months ago
2010
When no single universal model for a set of structures exists at a given cardinal, then one may ask in which models of set theory does there exist a small family which embeds the r...
82
Voted
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
We illustrate the flow behaviour of fluids with isotropic and anisotropic microstructure (internal length, layering with bending stiffness) by means of numerical simulations of ...
141
click to vote
HPDC
2010
IEEE
15 years 4 months ago
2010
IEEE
In preparation for the Intergovernmental Panel on Climate Change (IPCC) Fifth Assessment Report, the climate community will run the Coupled Model Intercomparison Project phase 5 (...
131
Voted
TRS
2008
15 years 3 months ago
2008
In this paper, we discuss an approach to structural objects based on a generalisation of indiscernibility relation used in rough set theory. The existing results in rough set theor...
127
click to vote
ENTCS
2010
15 years 3 months ago
2010
The theory of nominal sets is a theory for names, freshness and binders. It has recently been suggested as a framework for modelling local store because it allows for a more eleme...