3552 search results - page 655 / 711 » Proof theory in the abstract |
155
click to vote
CCE
2007
15 years 6 months ago
2007
In this work, a systematic approach to plant-wide control design is proposed. The method combines ingredients from process networks, thermodynamics and systems theory to derive ro...
154
click to vote
GPEM
2006
15 years 6 months ago
2006
Abstract. Bedau et al.'s statistical classification system for long-term evolutionary dynamics provides a test for open-ended evolution. Making this test more rigorous, and pa...
187
click to vote
CGF
2007
15 years 6 months ago
2007
This paper proposes a real-time simulation technique for thin shells undergoing large deformation. Shells are thin objects such as leaves and papers that can be abstracted as 2D s...
148
click to vote
JCM
2008
15 years 6 months ago
2008
Abstract-- Secure group key distribution and efficient rekeying is one of the most challenging security issues in sensor networks at present. In this paper, Latin square is firstly...
188
click to vote
JUCS
2008
15 years 6 months ago
2008
Abstract: Nowadays, in the markets of broadband access services, traditional contracts are of "static" type. Customers buy the right to use a specific amount of resources...