3353 search results - page 359 / 671 » Laver and set theory |
200
click to vote
AB
2008
Springer
16 years 1 months ago
2008
Springer
Biochemical models that exhibit bistability are of interest to biologists and mathematicians alike. Chemical reaction network theory can provide sufficient conditions for the exist...
152
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper takes as its starting point the paradox of process and care in a mental health setting. On the one hand, a number of ‘care pathways’ can be defined and employed, to...
190
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...
213
click to vote
ATAL
2007
Springer
16 years 29 days ago
2007
Springer
We consider the problem of finding optimal strategies in infinite extensive form games with incomplete information that are repeatedly played. This problem is still open in lite...
155
click to vote
ATAL
2007
Springer
16 years 29 days ago
2007
Springer
Interdependent values (IDV) is a valuation model allowing bidders in an auction to express their value for the item(s) to sell as a function of the other bidders’ information. W...