5205 search results - page 273 / 1041 » Tilings and model theory |
ICALT
2008
IEEE
14 years 5 months ago
2008
IEEE
Standardisation of learning technologies as a coordinated design activity needs legitimacy to attract the necessary support from its stakeholders. This paper identifies the need f...
APLAS
2005
ACM
14 years 4 months ago
2005
ACM
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method...
ATAL
2005
Springer
14 years 4 months ago
2005
Springer
Agents often want to protect private information, while at the same acting upon the information. These two desires are in conflict, and this conflict can be modeled in strategic...
ICCS
2004
Springer
14 years 4 months ago
2004
Springer
While modern evolutionary theory has emphasized the role of neutral evolution, protein biochemistry and biophysics has interpreted the properties of proteins as largely resulting f...
MKM
2009
Springer
14 years 3 months ago
2009
Springer
Since Mathematics really is about what mathematicians do, in this paper, we will look at the mathematical practice of framing, in which an object of interest is viewed in terms of ...