1101 search results - page 128 / 221 » Forcing in proof theory |
85
Voted
ENTCS
2006
15 years 20 days ago
2006
Abstract. Nelson and Oppen provided a methodology for modularly combining decision procedures for individual theories to construct a decision procedure for a combination of theorie...
129
click to vote
IFIP
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
89
Voted
HICSS
2010
IEEE
15 years 7 months ago
2010
IEEE
The climate change has challenged urban living: As an omnipresent force nature sets the agenda for urban life. Using stakeholder theory for conceptualizing urban life, we install ...
100
Voted
ICRA
2006
IEEE
15 years 6 months ago
2006
IEEE
— This paper provides that an elastic force and an elastic potential energy due to the deformation of soft fingers, which are previously derived, can be calculated into straight...
102
click to vote
ALIFE
2008
15 years 24 days ago
2008
, reproductive value, soft selectionAbstract Structural complexity characterizes our representations of dissipative structures. As a mechanistic concept, when referred to natural s...