In this paper we discuss a general methodology to provide a categorical semantics for a wide class of computational systems, whose behaviour can be described by a suitable set of transition steps. We open our survey presenting some results on the semantics of Petri Nets. Starting from this, we elaborate a two-steps procedure allowing for the description of all the sequences of transitions perfo...

This paper reviews aspects of the design and construction of an active wearable camera, and describes progress in equipping it with visual processing for reactive tasks like orientation stabilisation, slaving from head movements, and 2D tracking. The paper goes on to describe a first application of frame-rate simultaneous localisation and mapping (SLAM) to the wearable camera. Though relevant f...

We present results from experiments where the effects of flow control at a single substation are compared to distributed flow control at multiple substations. The latter approach is made possible by equipping individual substations with some computing power and integrating them into a communications network. Software agents, who cooperate with other software agents (substations) and invoke time...

College and university science educators from across Connecticut gathered at Yale's West Campus in April 2010 for a Project Kaleidoscope (PKAL) program entitled "Taking the Plunge: Next Steps in Engaged Learning." Funded by the National Science Foundation (NSF) and co-sponsored by the Connecticut Conference of Independent Colleges (CCIC) and Yale's McDougal Graduate Teaching Center, the event w...

A multiplicative Schwarz overlapping domain decomposition method is considered for solving elliptic boundary value problems. By equipping the relevant Sobolev spaces on the subdomains with wavelet bases, adaptive wavelet methods are used for approximately solving the subdomain problems. The union of the wavelet bases forms a frame for the Sobolev space on the domain as a whole. The resulting me...

A multiplicative Schwarz overlapping domain decomposition method is considered for solving elliptic boundary value problems. By equipping the relevant Sobolev spaces on the subdomains with wavelet bases, adaptive wavelet methods are used for approximately solving the subdomain problems. The union of the wavelet bases forms a frame for the Sobolev space on the domain as a whole. The resulting me...

In this paper, Reed Solomon (RS) decoder adopting the pipelined reduced inversion free Berlekamp Massey (pRiBM) algorithm is proposed. This Reed Solomon decoder is designed by equipping the Syndrome Computation unit, Key Equation Solver (KES), Chien search and Forney algorithm unit. The RS decoder requires long latency for decoding large number of test vectors. Therefore, the Reed Solomon decod...