Items where Division is "Faculty of Science and Health > Computer Science and Electronic Engineering, School of " and Year is 2001

C

Candea, Ciprian and Hu, Huosheng and Iocchi, Luca and Nardi, Daniele and Piaggio, Maurizio (2001) Coordination in multi-agent RoboCup teams. Robotics and Autonomous Systems, 36 (2-3). pp. 67-86. DOI https://doi.org/10.1016/s0921-8890(01)00137-3

H

Henson, M and Reeves, S (2001) CSM-361 - A Logic for Schema-based Program Development. UNSPECIFIED. CSM-361, University of Essex, Colchester.

Hu, Huosheng and Gu, Dongbing (2001) Reactive behaviours and agent architecture for Sony legged robots to play football. Industrial Robot, 28 (1). pp. 45-54. DOI https://doi.org/10.1108/01439910110365421

Hu, Huosheng and Yu, Lixiang and Wo Tsui, Pui and Zhou, Quan (2001) Internet‐based robotic systems for teleoperation. Assembly Automation, 21 (2). pp. 143-152. DOI https://doi.org/10.1108/01445150110388513

S

Scott, PD and Fasli, M (2001) CSM-349 - Benford's Law: An Empirical Investigation and a Novel Explanation. UNSPECIFIED. CSM-349, University of Essex, Colchester.

T

Talli, G and Vickers, AJ and Adams, MJ (2001) Gain-switched laser pulse propagation in a semiconductor optical amplifier. In: UNSPECIFIED, ? - ?.

V

Völker, Norbert (2001) CSM-343 A Deep Embedding of Zc in Isabelle/HOL. Technical Report. CSM-343, University of Essex, Colchester.

Völker, Norbert (2001) CSM-344 - Two Semantic Embeddings of Z Schemas in Isabelle/HOL. Technical Report. CSM-344, University of Essex, Colchester.