Search
Now showing items 1881-1882 of 1882
Optical and infrared polarimetry and photometry of blazars
(1990)
We have carried out a polarization study of 44 blazars and candidate blazars at optical and near-infrared frequencies covering the period 1986 August to 1988 February. The data show flux and polarization properties changing ...
A CCS case study: a safety-critical system
(University of Hertfordshire, 1990)
A level crossing control system is specified in CCS, motivated by a temporal logic specification of the safety requirements. We show that with certain reservations, these can be satisfactorily stated entirely within CCS. ...