Abstract. We have a new proof of the lower bound that k-set agreement requires f/k + 1 rounds in a synchronous, message-passing model with f crash failures. The proof involves cons...
This paper provides a comprehensive framework for the state space approach to Boolean networks. First, it surveys the authors' recent work on the topic: Using semitensor produ...
A central challenge in the design of motivationally intelligent tutoring systems lies in defining and diagnosing a learner’s motivational state: in particular, in distinguishing ...
- This paper presents a boundary control of bipolar square-wave generator using a second-order switching surface. The switching surface is derived by estimating the state trajector...
Kelvin Ka Sing Leung, Y. C. Julian Chiu, Henry Shu...